Антисимметричное отношение

Материал из Викиконспекты
Версия от 19:25, 4 сентября 2022; Maintenance script (обсуждение | вклад) (rollbackEdits.php mass rollback)
(разн.) ← Предыдущая | Текущая версия (разн.) | Следующая → (разн.)
Перейти к: навигация, поиск

Основные определения

Определение:
Бинарное отношение [math]R[/math] на множестве [math]X[/math] называется антисимметричным (англ. antisymmetric binary relation), если для любых элементов [math]a[/math] и [math]b[/math] множества [math]X[/math] из выполнения отношений [math]aRb[/math] и [math]bRa[/math] следует равенство [math]a[/math] и [math]b[/math].
[math]\forall a, b \in X,\ aRb \wedge bRa \; \Rightarrow \; a = b[/math]

Или эквивалентное

Определение:
Бинарное отношение [math]R[/math] на множестве [math]X[/math] называется антисимметричным, если для любых неравных элементов [math]a[/math] и [math]b[/math] множества [math]X[/math] из выполнения отношения [math]aRb[/math] следует невыполнение отношения [math]bRa[/math].
[math]\forall a, b \in X,\ aRb \wedge a \ne b \Rightarrow \lnot bRa[/math]

Определение антисимметричного отношения как [math] aRb \Rightarrow \neg bRa [/math] является избыточным (и потому неверным), поскольку из такого определения также следует антирефлексивность R.

Антисимметричность отношения не исключает симметричности. Существуют бинарные отношения:

  • одновременно симметричные и антисимметричные (отношение равенства);
  • ни симметричные, ни антисимметричные;
  • симметричные, но не антисимметричные;
  • антисимметричные, но не симметричные ("меньше или равно", "больше или равно");

Антирефлексивное антисимметричное отношение иногда называют асимметричным. Следует различать эти два понятия. Формальное определение:

Определение:
Бинарное отношение [math]R[/math] на множестве [math]X[/math] называется асимметричным (англ. asymmetric binary relation), если для любых элементов [math]a[/math] и [math]b[/math] множества [math]X[/math] одновременное выполнение отношений [math]a R b[/math] и [math]b R a[/math] невозможно.

Примеры антисимметричных отношений

Примерами антисимметричных отношений являются, по определению, все отношения полного и частичного порядка ([math] \lt , \gt , \leqslant, \geqslant [/math] и другие).

Антисимметрично отношение делимости на натуральных числах (если [math]a \mid b[/math] и [math]b \mid a[/math], то [math]a=b[/math])

Отношение включения на [math]2^U[/math], где [math]U[/math] — универсум, антисимметрично ([math] A \subseteq B \wedge B \subseteq A \Rightarrow A = B[/math]).

Свойства антисимметричного отношения

Граф антисимметричного отношения (не имеет кратных ребер)
Граф отношения, не являющегося антисимметричным

Матрица смежности антисимметричного отношения может содержать единицы на главной диагонали, притом если элемент [math]a_{ij}[/math] матрицы равен единице, то элемент [math]a_{ji}[/math] равен нулю.

Например, если [math]A[/math] — матрица смежности отношения "[math]\leqslant[/math]" на [math]X \subset N, X = \{1, 2, 3 ,4 , 5\}[/math]; [math]B[/math] — матрица смежности отношения делимости на том же множестве [math]X[/math], то

[math] A=\bordermatrix{ & 1 & 2 & 3 & 4 & 5 \cr 1 & 1 & 1 & 1 & 1 & 1 \cr 2 & 0 & 1 & 1 & 1 & 1 \cr 3 & 0 & 0 & 1 & 1 & 1 \cr 4 & 0 & 0 & 0 & 1 & 1 \cr 5 & 0 & 0 & 0 & 0 & 1 \cr } [/math]

[math] B=\bordermatrix{ & 1 & 2 & 3 & 4 & 5 \cr 1 & 1 & 1 & 1 & 1 & 1 \cr 2 & 0 & 1 & 0 & 1 & 0 \cr 3 & 0 & 0 & 1 & 0 & 0 \cr 4 & 0 & 0 & 0 & 1 & 0 \cr 5 & 0 & 0 & 0 & 0 & 1 \cr } [/math]

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

Если [math]a[/math] и [math]b[/math] — некоторые антисимметричные отношения, то антисимметричными также являются отношения:

  1. [math]a\cap b[/math]
  2. [math]a^{-1}[/math]
  3. [math]b^{-1}[/math]

Однако объединение и композиция [math]a[/math] и [math]b[/math] могут не сохранять антисимметричности.

См. также

Источники информации