Отношение
-
Бинарное отношение на X - любое подмножество прямого произведения X×X.
-
Единичное отношение ex на X содержит только пары (x,x).
-
Полное отношение U = X×X.
-
Обратное отношение 1 = {(x,y)(y,x) }.
-
Отношение на X рефлексивно, если для любого x X пара (x,x) .
-
Отношение на X антирефлексивно, если для любого x X пара (x,x) .
-
Отношение на X симметрично, если для любой пары (x,y) из условия (x,y) следует (y,x) .
-
Отношение на X антисимметрично, если из условия (x,y) и (y,x) следует x=y.
-
Отношение на X асимметрично, если для любой пары (x,y) из условия (x,y) следует (y,x) .
-
Отношение на X транзитивно, если для любых двух пар (x,y) и (y,z) из условия (x,y) и (y,z) следует (x,z) .
-
Композиция бинарных отношений и на X называют отношение
= = {(x,z)(x,y) ,(y,z) }
-
Теорема. Отношение транзитивно тогда и только тогда, когда .
-
Отношение ^ называют замыканием отношения на свойство A , если ^ обладает свойством A, ^ и для любого отношениясо свойством A , ^ .
-
Транзитивное замыкание произвольного отношения имеет вид + = k = 1 k
-
Рефлексивное транзитивное замыкание отношения имеет вид + = k = 0 k
-
Алгоритм Уоршолла транзитивного замыкания. Рассмотрим булеву матрицу M отношения. Если mij = 1,i j, то i-я строку матрицы заменяем поэлементной дизъюнкцией i-й и j-й строк матрицы. Процедуру повторяем до техпор, пока процесс не установится - матрица перестанет изменяться.
-
Отношение называют отношением эквивалентности, если оно рефлексивно, симметрично и транзитивно.
-
Множество элементов из X, эквивалентных некоторому элементу x0 , называется классом эквивалентности элемента x0 . Обозначения класса эквивалентности [x0 ].
-
Множество всех классов эквивалентности - фактор-множество.
-
Мощность фактор-множества - индекс разбиения.
-
Любое отношение эквивалентности порождает разбиение.
-
Любое разбиение порождает отношение эквивалентности.
-
Отношение называют предпорядком, если оно рефлексивно и транзитивно.
-
Отношение называют порядком, если оно рефлексивно, антисимметрично итранзитивно.
-
Порядок называется линейным (или полным), если для любых элементов xy или yx. В противном случае - частичный порядок.
-
Отношение называют строгим порядком, если оно асимметрично и транзитивно.
-
Элемент y X накрывает элемент x X, если x << y и не существует элемента z X такого, что x << z << y.
-
Любое упорядоченное множество можно представить диаграммой Хассе.
-
Пусть есть частичный порядок на X. Отношение на элементах прямого произведения (x,y)(a,b) называется отношением Парето, если оно выполняется в том и только в том случае, когда xa и yb.
-
Алфавит - множество символов с отношением линейного порядка.
-
Лексикографический порядок a1 << a2 , где a1= x11x12 ...x1i ..x1n и a2 = x21 x22 ...x2i ..x2m на алфавите задается одним из двух условий 1) a1= bx1i c, a2 = bx2id, где b,c,d - некоторые слова, возможно пустые, а символы x1i и x2iсвязаны отношением линейного порядка x1ix2i или 2) a1 = a2f, где f- некоторое непустое слово.