2. Рефлексивность – это свойство означает, что объект находится в отношении R к самому себе xiRxi. Определяет эквивалентность объекта к самому себе.
3. Антирефлексивность xiRxj – означает, что объекты не одинаковы xi не равно xi . это отношение выполнимо только для разных объектов.
4. Симметричность. Из отношения xiRxi следует xjRxi. Это отношение определяет взаимнооднозначное соответствие.
5. Антисимметричность. Из xiRxj и xjRxi следует, что эти объекты эквивалентны xi = xi.
6. Транзитивность. Если xiRxj, xjRxk, то xiRxk xi xj xk
Перечисленные свойства бинарных отношений позволяют определить отношения эквивалентности, отношения строгого и не строгого порядка. Эти отношения позволяют сравнивать объекты между собой, в том числе цели, ограничения и решения.
Бинарные отношения позволяют определить отношения эквивалентности, отношения строгого порядка и отношения не строгого порядка.
Отношения эквивалентности обладают свойствами симметричности, транзитивности.
Отношение строгого порядка является антирефлексивным, антисимметричным и транзитивным отношением, и представляет собой предпочтительность одного объекта по отношению к другим. Эта предпочтительность может быть выражена в числовой форме или качественной.
Отношение не строгого порядка – это объединение отношений строгого порядка и эквивалентности. Оно обладает свойствами рефлексивности, ассимеетричности и транзитивности. Для обозначения этих 3-ех типов отношений будем использовать следующие символы:
~ - эквивалентность.
> - строгого порядка.
>= - не строгого порядка.
Отношения >= порождают строгое упорядочивание классов эквивалентных объектов.
x1 ~ x2
x5 ~ x6
x1 < x5
x1 ~ x2 < x5 ~ x6
x1 ~ x2 <= x5 ~ x6
Такие методы установления отношений между объектами позволяют определить качественное и количественное преимущества одного объекта по сравнению с другими.
В качестве универсальной системы с отношениями порядка используется числовая система.
M = < C, W >
{W}={=, <, >, >=, <=}.
Числовая система используется для унификации процесса измерения. Измерение заключается в отображении объектов эмпирической (измеряемой) системы на множество чисел, таким образом, чтобы отношения между объектами соответствовали отношениям между числами. Схематично это можно представить в следующем виде:
N = < X, R>
M = < C, W>
Для того, чтобы числовая система сохранила свойства и отношения объектов, необходимо, чтобы она была из аморфной эмпирической системы. Т.е. необходимо обеспечить взаимнооднозначное отображение объектов на множество чисел, при чем такое, чтобы отношение R было действительным только тогда, когда существует отношение между числами. Это требование определяет выбор функции отображения f, которая должна быть определена на множестве X и однозначно на множестве C.
С = f(x).
Это требование определяет выбор функции отображения f, которая должна быть определена на множестве X (аргумент функции) и однозначно на множестве C. С помощью этой функции каждому объекту эмпирической системы ставится в соответствие некоторое число, при чем при таком отображении отношение между числами должны отображать отношения между объектами.
Пример, если xi > xj, то Ci > Xj.
Ci < Cj.
Довольно часто не требуется взаимной однозначности отображения. Имеются глобальные проблемы при отображении множества эмпирических объектов на множества чисел:
1. Проблема представления.
2. Проблема единственности.
xi < xj
f1 f2
Cj = f1(xi) Ci = f2(xi)
Ci = φ(Ci’)
Уважаемый посетитель!
Чтобы распечатать файл, скачайте его (в формате Word).
Ссылка на скачивание - внизу страницы.