Асимметри́чное отноше́ние в математике — бинарное отношение на некотором множестве обладающее для любых из следующим свойством «невзаимности»[1]: если связано данным отношением с то не связано с . Формальная запись:
Примером может служить отношение «меньше» между вещественными числами: если , то невозможно, чтобы одновременно . Напротив, отношение «меньше или равно» не является асимметричным, так как в случае верны оба неравенства: Другой пример: отношение «быть родителем».
Из определения вытекает, что для непустого асимметричного отношения ситуация невозможна ни для какого элемента Такие отношения называют антирефлексивными (в другой терминологии, иррефлексивными).
Антиподом асимметричного является симметричное отношение, для которого отношение всегда взаимно: если то Единственное бинарное отношение, одновременно симметричное и асимметричное — это пустое отношение.
Не следует путать асимметричное и антисимметричное отношение — последнее не исключает возможности и одновременно, если Упомянутое выше отношение «меньше или равно» антисимметрично, но не асимметрично. Общее правило[2]:
Бинарное отношение асимметрично тогда и только тогда, когда оно антисимметрично и при этом антирефлексивно. |
- Если отношение асимметрично, то его обращение и сужение также асимметричны. Например, ограничение вещественного отношения «меньше» на целые числа асимметрично, таково же и его обращение — отношение «больше».
- Транзитивное отношение асимметрично тогда и только тогда, когда оно антирефлексивно[3]. В самом деле, и в силу транзитивности влечёт откуда видно, что «взаимные отношения» невозможны.
- Следствие: отношение является транзитивным и асимметричным тогда и только тогда, когда это строгий частичный порядок.
- Не все асимметричные отношения представляют строгий частичный порядок. Пример: отношение типа «камень, ножницы, бумага» является асимметричным, но не транзитивным (даже «антитранзитивным»):
- если одолевает , то не одолевает
- если одолевает и одолевает то не одолевает .
- Асимметричное отношение не обязано быть полным[англ.], то есть нет гарантии, что для любой пары элементов имеет место или Например, отношение «быть собственным подмножеством» асимметрично, однако не все подмножества связаны им в ту или иную сторону.
См., например, аксиоматику Тарского для вещественных чисел – в ней одна из аксиом требует асимметричности отношения «меньше».
Wikiwand in your browser!
Seamless Wikipedia browsing. On steroids.
Every time you click a link to Wikipedia, Wiktionary or Wikiquote in your browser's search results, it will show the modern Wikiwand interface.
Wikiwand extension is a five stars, simple, with minimum permission required to keep your browsing private, safe and transparent.