Многоместные отношения. Композиция отношений. Степень и ядро отношений.

Понятие многоместного отношения является обобщающим понятием отношения и его называют n-местным илиn-арным отношением.

Определение 2.5.n-местным отношением называется любое подмножество множества Аⁿ, где А – произвольное множество,n1. Двухместное отношение называют бинарным.

Многоместное отношение используется, например, в теории баз данных.

Пример.: R  A₁  A₂  …  A_n = {(a₁, a₂, … ,a_n) | a₁  A₁ & a₂  A₂ & … a_n  A_n}.

A₁=A₂= … =A_n=A

Пусть R₁ A C, а R₂  C B. Композицией двух отношенийR₁иR₂называется отношениеR A В,определяемое следующим образом:

R:=R₁R₂:={(а,b) | a  A & b B & c C & aR₁c & cR₂b}

Композиция отношений на множестве Аявляется отношением на множествеА.

Пусть R– отношение на множествеА.

Определение 2.6. Степенью отношенияRна множествеАназывается его композиция с самим собой.Rⁿ :=R…R

Соответственно: R⁰ = 1;R¹ = R;R² = RR и вообще Rⁿ = RR^n-1

Если R– отношение изАвВ, то естьRA B.

Определение 2.7.Композиция отношенияRR^-1называется ядром отношенияR.

Ядро отношения RизАвВявляется отношением на множестваА.

Свойства отношений.

Пусть R– есть отношение на множествеА:R A А | a,b A

Введем следующие понятия:

1) обратное отношение:R^-1:={(a,b)|(b,a)R};

2)дополнение отношения: := {(a,b)|(a,b)R};

3)тождественное отношение:I:= {(a,a)|aR};

4)универсальное отношение:U:= {(a,b) | aA & bA}.

Замечание:пустьR– отношение на множествеА (R А²),тогда:

Если  аА, аRа, то отношениеRназывается рефлексивным.

Если  аА, ¬аRа, то такое отношениеRназывают антирефлексивным.

Если  а,bА, аRb  bRа. Такое отношениеRназывают симметричным.

Если  а,bА, аRb & bRа  a=b. Такое отношениеRназывают антисимметричным.

Если  а,b,сА, аRb & bRс  аRс. Такое отношениеRназывают транзитивным.

Если  а,bА, аb aRb  bRa.Такое отношениеRназывают полным (линейным).

Теорема:пустьR– отношение на множествеА, то естьRAА, тогда:

отношение Rрефлексивно тогда и только тогда, если тождественное отношение включается во множествоR.

отношение Rсимметрично тогда и только тогда, когдаR = R^-1(равно обратному отношению).

отношение Rтранзитивно тогда и только тогда, когда композиция отношенийR·RR(включается в отношениеR).

отношение Rантисимметрично тогда и только тогда, когда пересечение отношенияRс обратным отношением включается в тождественное отношение:RR^-1  I.

отношение Rантирефлексивно тогда и только тогда, когда пересечение отношенияRс тождественным отношениемIобразует пустое множество:R I =.

отношение Rполно тогда и только тогда, когда объединение отношенияRс тождественным отношениемIи с обратным отношением образует полное отношениеU:

R I R^-1 = U.

Для операции композиции отношений существуют две теоремы, позволяющие оценить результат:

Теорема: = | ()_{[i, j]}:= _{[i, k]}& _{[k, j]}

Теорема: = | ( )_{[i, j]}:=R_{1 [i, j]}  R_{2 [i, j]}

Пример

Пусть есть множества А и В, на которых заданы отношения δи ρ соответственно, и

, то композиция отношений

Представление отношений в эвм.

Пусть R– отношение наА (R A A)и |А|=n, тогда отношениеRможно представить матрицейR: array[1…n,1…n]of0…1, где

Матрица - матрица отношений.

Тема 3. Специальные классы отношений. Отношение эквивалентности и разбиения. Отношения порядка. Минимальные элементы. Теорема о существовании минимального элемента. Алгоритм топологической сортировки. Операции над бинарными отношениями.

Специальные классы отношений. Отношение эквивалентности и разбиения. Отношения порядка.

Встречаемые на практике отношения могут обладать или не обладать свойствами рефлексивности, антирефлексивности, симметричности, антисимметричности, полнотой (линейности), транзитивности. Некоторые устойчивые комбинации встречаются очень часто. Они заслуживают внимания и изучения.

Определение 3.1.Рефлексивное, симметричное, транзитивное отношение называютотношением эквивалентности (R, ↔, ≡).

Примеры отношений эквивалентности:

1. Отношение "... Имеет тот же возраст, что и ..." на множестве всех людей . “эквивалентные” люди принадлежат к одной и той же возрастной группе.

2. Если у людей глаза одинакового цвета, то эквивалентны, в отношении цвета глаз.

3. Отношение “... Имеет те же углы что ...” на множестве всех треугольников Очевидно, треугольники эквивалентны тогда и только тогда когда они подобны.

4. Отношение R заданное условием xRy, если толькоxy>0 на множестве ненулевых целых чисел является отношением эквивалентности. При этом эквивалентные числа имеют одинаковый знак.

Определение 3.2.Подмножество элементов множестваM, эквивалентныхx, называют классом эквивалентности дляx{x}≡↔{y|yM&y≡x}

Отношение эквивалентности имеет важную особенность: эквивалентность Rразбивает множество М, на котором оно задано, на непересекающиеся подмножества так, что элементы одного и того же подмножества находятся в отношенииR, а между элементами из разных подмножеств отношениеRотсутствует. В таком случае говорят, что отношениеRзадает разбиение на множестве М, или систему классов эквивалентности по отношениюR. Мощность этой системы называется индексом разбиения.

Теорема 3.1:всякое отношение эквивалентности на множествеMопределяет разбиение на множествеM, причем среди элементов разбиения нет пустых.

Обратная теорема 3.1*:всякое разбиение на множествеM, не содержащее пустых элементов, определяет отношение эквивалентности на множествеM.

Определение 3.3. Множество классов эквивалентности множествах по отношению ρ называется фактор-множеством множества М по отношению ρ и обозначается [Х/ρ].

Определение 3.4. Бинарное отношение a на множестве X называется отношением порядка (), если оно транзитивно:

 а,b,сА, аRb & bRс  аRс

и антисимметрично:

 а,bА, аRb & bRа  a=b

Пример. Рассмотрим отношение "старше" на множестве людей. Очевидно, что оно транзитивно и антисимметрично, и, следовательно, является отношением порядка.

Определение 3.5. Множество X с определенным на нем отношением порядка α называется упорядоченным множеством и обозначается <X; α>.

Упорядоченное множество <M; α> с небольшим числом элементов наглядно представляется ориентированным графом. При этом элементам множества M сопоставляются вершины графа (обозначаются на рисунке точками), а элементам отношения α - дуги (линии со стрелками).

Так, например, на рисунке 3.1 приведен ориентированный граф, представляющий отношение α= {(a, a), (a, b), (a, c), (b, c)} на множестве M = {a, b, c, d}.

Рис. 3.1. Граф упорядоченного множества

Задать порядок на множестве можно различными способами. Так, например, на рисунке 3.2 приведено три способа упорядочения четырех стран.

Площадь	Россия	США	Франция	Англия
Население	США	Россия	Франция	Англия
Плотность населения	Англия	Франция	США	Россия

Рис. 3.2. Три способа упорядочения

На рисунке 3.3 приведены ориентированные графы, представляющие отношения "делится" и "меньше" на множестве M = {1, 2, 3, 4} натуральных чисел.

Рис. 3.3. Графы отношений "делится" (а) и "меньше" (б) на множестве {1,2,3,4}

Разновидности отношений порядка

Определение 3.6. Отношение порядка α называется отношением нестрогого порядка на множестве X, если α рефлексивно:

(aX)(aαa).

Отношение нестрогого порядка обычно обозначается символом ≤. Если x≤y, то говорят, что "элемент x предшествует элементу y" или "y следует за x".

Пример. Отношение x≤y на множестве действительных чисел является отношением нестрогого порядка.

Пример 1*. Отношение m|n (m делит n) на произвольном подмножестве натуральных чисел является нестрогим порядком. На рисунке 3.4 приведен граф, соответствующий упорядоченному множеству <{2, 3, 6, 7, 14},|>.

Рис. 3.4. Граф нестрого упорядоченного множества

Пример. Тождественное отношение является как отношением эквивалентности, так и отношением нестрогого порядка.

Определение 3.7. Два элемента x, y  X называются сравнимыми элементами упорядоченного множества X, если либо xαy, либо yαx.

Например: Несравнимыми элементами в упорядоченном множестве из примера 1* являются элементы 7 и 2, 2 и 3, 3 и 7.

Определение 3.8. Отношение порядка α называется отношением строгого порядка на множестве X, если α антирефлексивно:

.

Отношение строгого порядка обозначается символом <.

Пример. Пусть f и g – функции с одинаковыми областями определения. Определим отношение > следующим образом: f > g, если для любого x из области определения функции f(x) > g(x). Очевидно, что данное отношение является отношением строгого порядка.

Для функций f и g, изображенных на рисунке 3.5, имеет место соотношение f > g. Пары функций f и h, а также g и h несравнимы.

Рис. 3.5. Три функции

Пример. Алфавитный порядок является отношением строгого порядка на множестве букв.

Пример. Пусть на множестве X задано отношение строго порядка α. Как можно задать отношение строгого порядка на множестве XX, то есть, как сравнивать пары элементов из множества X? Один из возможных вариантов состоит в следующем. На множестве X определим отношение  условием:

.

Отношение  является строгим порядком.

Пример. Другой способ задания строгого порядка на множестве XX состоит в следующем. Будем считать, что выполнено соотношение (a, b)γ(c, d), если

.

Это отношение порядка называется лексикографическим. В общем случае оно определяется следующим образом. Для слов v и w одинаковой длины полагается v < w, если существует такой номер k, что v₁=w₁, v₂=w₂, …, v_k-1=w_k-1, v_k=w_k, где v_i, w_i – i-ые буквы слов v и w соответственно. Для слов v=v₁v₂…v_n и w=w₁w₂…w_nw_n+1…w_n+k (k > 0) разной длины считается v < w, если v₁v₂…v_n<w₁w₂…w_n или v₁v₂…v_n=w₁w₂…w_n, и w<v, если w₁w₂…w_n<v₁v₂…v_n. Такой способ упорядочения используется в словарях. В этом порядке, например:

детство < отрочество < юность,

институт < школа < ясли,

12 < 123 < 4.

Как уже отмечалось, упорядоченные множества удобно изображать в виде графов. При этом если α – отношение строго порядка, то граф отношения α не содержит циклов. Верно и обратное: для любого графа G без циклов существует отношение α строгого порядка такое, что граф, ассоциированный с данным отношением, совпадает с транзитивным замыканием графа G. (Транзитивным замыканием графа G называется граф, полученный из графа G добавлением дуг, связывающих каждую вершину α с вершинами, достижимыми из α.) Действительно, пусть G – граф без контуров. Определим на множестве M вершин этого графа отношение α:xαy, если существует путь по направлению дуг, ведущий из x в y. Легко видеть, что ввиду отсутствия циклов отношение α является строгим порядком.

Определение 3.9. Множество X с бинарным отношением α называется связным, если для любых двух различных элементов x и y из X либо xαy, либо yαx.

Определение 3.10. Связное отношение порядка на множестве X называется отношением линейного порядка.

Пример. Лексикографический порядок слов в словаре является линейным порядком.

Пример. Отношение включения на множестве фигур линейным порядком не является (рис. 3.6).

Рис. 3.6. Две несравнимые фигуры

Пример. Отношение "старше" на множестве людей является линейным порядком.