Нетранзитивность | это... Что такое Нетранзитивность? (original) (raw)

Нетранзитивность в математике — обозначение ряда похожих свойств бинарных отношений.

Содержание

Отсутствие транзитивности

Отношение называется транзитивным, если для любых троек А, В и С, таких, что пары (А,В) и (В,С) удовлетворяют ему, то и пара (А,С) также ему удовлетворяет. Ряд авторов называют нетранзитивными отношения, не удовлетворяющие этому свойству, т.е. отношения R, такие, что

\neg\forall a, b, c: a R b \wedge b R c \Rightarrow a R c.

Например, отношение «есть» в пищевой цепи является нетранзитивным в этом смысле: волки едят оленей, олени едят траву, но волки не едят траву.

Антитранзитивность

Часто термин нетранзитивность используется для обозначения более «сильного» свойства — антитранзитивности отношения [1]. Отношение R называется антитранзитивным, если транзитивность отсутствует для любых троек элементов:

\forall a, b, c: a R b \wedge b R c \Rightarrow \neg (a R c)

Например, упомянутое выше отношение «есть» не является антитранзитивным: люди едят кроликов, кролики едят морковь, но люди тоже едят морковь.

Антитранзитивное отношение — отношение победить в турнирах «на вылет»: если A победил игрока B, а B победил игрока C, то A не играл с C, следовательно, не мог его победить.

Циклы в бинарных отношениях

На практике термин нетранзитивность чаще всего употребляется при описании ситуаций, когда отношения описывают предпочтения на парах альтернатив, сравнение которых приводит к наличию циклов: A предпочтительнее B, B предпочтительнее C, а C предпочтительнее A.

Наиболее известным примером наличия циклов является детская игра «Камень, ножницы, бумага».

Если отношение предпочтения антирефлексивно, наличие циклов в предпочтениях приводит к нарушению транзитивности. Это свойство не эквивалентно указанным выше отсутствию транзитивности и антитранзитивности отношения.

Возникновение нетранзитивности предпочтений

Ссылки

  1. Guide to Logic, Relations II

См. также