Нетранзитивность в математике — обозначение ряда похожих свойств бинарных отношений.
Отношение называется транзитивным, если для любых троек А, В и С, таких, что пары (А,В) и (В,С) удовлетворяют ему, то и пара (А,С) также ему удовлетворяет. Ряд авторов называют нетранзитивными отношения, не удовлетворяющие этому свойству, то есть отношения R, такие, что
Например, отношение «есть» в пищевой цепи является нетранзитивным в этом смысле: волки едят оленей, олени едят траву, но волки не едят траву.
Часто термин нетранзитивность используется для обозначения более «сильного» свойства — антитранзитивности отношения[1]. Отношение R называется антитранзитивным, если транзитивность отсутствует для любых троек элементов:
Например, упомянутое выше отношение «есть» не является антитранзитивным: люди едят кроликов, кролики едят морковь, но люди тоже едят морковь.
Антитранзитивное отношение — отношение победить в турнирах «на вылет»: если A победил игрока B, а B победил игрока C, то A не играл с C, следовательно, не мог его победить.
На практике термин нетранзитивность чаще всего употребляется при описании ситуаций, когда отношения описывают предпочтения на парах альтернатив, сравнение которых приводит к наличию циклов: A предпочтительнее B, B предпочтительнее C, а C предпочтительнее A.
Наиболее известным примером наличия циклов является детская игра «Камень, ножницы, бумага». Другие примеры — нетранзитивные кости (кубики Эфрона[2]), «Игра Пенни».
Если отношение предпочтения антирефлексивно, наличие циклов в предпочтениях приводит к нарушению транзитивности. Это свойство не эквивалентно указанным выше отсутствию транзитивности и антитранзитивности отношения.
Данная страница на сайте WikiSort.ru содержит текст со страницы сайта "Википедия".
Если Вы хотите её отредактировать, то можете сделать это на странице редактирования в Википедии.
Если сделанные Вами правки не будут кем-нибудь удалены, то через несколько дней они появятся на сайте WikiSort.ru .