Композиция отношений — различия между версиями
(1) use \iff, Luke 2) = = для названия статьи) |
(→Степень отношений: мои глаза) |
||
Строка 25: | Строка 25: | ||
<tex> R^{+} = \bigcup\limits^{\infty}_{i=1} R^{i}; </tex> | <tex> R^{+} = \bigcup\limits^{\infty}_{i=1} R^{i}; </tex> | ||
− | <tex> R^{*} = \bigcup\limits^{\infty}_{i=0} R^{i} </tex> | + | <tex> R^{*} = \bigcup\limits^{\infty}_{i=0} R^{i} </tex> — [[Транзитивное замыкание]] отношения R |
== Обратное отношение == | == Обратное отношение == |
Версия 01:27, 17 января 2011
Определение: |
Композицией (произведением, суперпозицией) бинарных отношений | и называется такое отношение , что: .
Примером такого отношения может служить отношение на некотором множестве населенных пунктов - отношение "можно доехать на поезде", а - отношение "можно доехать на автобусе". Тогда отношение - отношение "можно добраться из пункта А в пункт Б, сначала проехав на поезде, а потом на автобусе (только по одному разу)".
Степень отношений
Определение: |
Степень отношения
| , определяется следующим образом:
В связи с этим понятием, также вводятся обозначения:
Транзитивное замыкание отношения R
—Обратное отношение
Определение: |
Отношение | называют обратным для отношения , если:
Определение: |
Ядром отношения R называется отношение |
Свойства
- Ядро отношения R симметрично: