Транзитивное множество

Транзитивное множество — множество, включающее все свои неатомарные элементы в качестве подмножеств. Следующие определения множества ${\displaystyle A}$ как транзитивного эквивалентны:

• если ${\displaystyle y\in x}$ и ${\displaystyle x\in A}$, то ${\displaystyle y\in A}$;
• для любого ${\displaystyle x\in A}$, являющегося множеством, верно, что ${\displaystyle x\subseteq A}$;
• ${\displaystyle \bigcup A\subseteq A}$.
• ${\displaystyle A\subseteq {\mathcal {P}}(A)}$.

Аналогично определяется понятие транзитивного класса.

Понятие введено Бернайсом и Гёделем при построении теории порядковых чисел^[1]. Все ординалы (в стандартном определении фон Неймана) транзитивны, в частности, любое натуральное число (в определении фон Неймана) и множество натуральных чисел — транзитивны. Множество ${\displaystyle {\mathcal {P}}(\mathbb {N} )}$ — множество всех подмножеств натуральных чисел — также транзитивно. Класс всех ординалов — пример транзитивного собственного класса. Класс всех множеств — ещё один пример транзитивного собственного класса.

Если ${\displaystyle A}$ транзитивно, то также транзитивны множества ${\displaystyle \bigcup A}$ и ${\displaystyle {\mathcal {P}}(A)}$.

Множество ${\displaystyle \{\{\},\{\{\}\},\{\{\{\}\}\}\}}$ — простейший пример транзитивного множества, не являющегося ординалом.

Транзитивное замыкание множества ${\displaystyle A}$ обозначается ${\displaystyle \operatorname {tc} A}$ и определяется как

${\displaystyle \operatorname {tc} A=A\cup \left(\bigcup A\right)\cup \left(\bigcup \bigcup A\right)\cup \left(\bigcup \bigcup \bigcup A\right)\cup \ldots }$

Множество является транзитивным тогда и только тогда, когда оно совпадает с его транзитивным замыканием.

Транзитивное замыкание множества ${\displaystyle A}$ является наименьшим по включению транзитивным множеством, содержащим множество ${\displaystyle A}$. Оно также может быть определено как пересечение всех транзитивных множеств, включающих в себя ${\displaystyle A}$.

Существование транзитивного замыкания для любого множества обеспечивается схемой преобразования.

Множество ${\displaystyle A}$ называется наследственно транзитивным, если оно транзитивно и все его элементы транзитивны. Это является частным случаем наследственно выполняющегося свойства для множества, если учесть, что транзитивное замыкание транзитивного множества совпадает с самим множеством.

При соблюдении аксиомы регулярности наследственно транзитивные множества есть в точности ординалы в определении фон Неймана. Для любого порядкового числа ${\displaystyle \alpha }$ существует и единственно транзитивное множество, упорядоченное отношением принадлежности по типу ${\displaystyle \alpha }$^[2], причём такое множество является наследственно транзитивным. Обратно, наследственно транзитивное множество является вполне упорядоченным по отношению принадлежности (при соблюдении аксиомы регулярности). Отношение принадлежности здесь является строгим порядком.

Транзитивность множества совершенно не означает, что отношение принадлежности на нём транзитивно: есть не транзитивные множества с транзитивным отношением принадлежности (например ${\displaystyle \{\{\{\}\}\}}$) и транзитивные множества с нетранзитивным отношением принадлежности (например ${\displaystyle \{\{\},\{\{\}\},\{\{\{\}\}\}\}}$). Для того, чтобы транзитивное множество было наследственно транзитивным, необходимо и достаточно, чтобы отношение принадлежности было транзитивным.

Без аксиомы регулярности нетрудно придумать пример наследственно транзитивного множества, которое линейно упорядочено отношением принадлежности, но ординалом не является. Для этого нужно рассмотреть счётное множество ${\displaystyle \{a_{1},a_{2},a_{3},a_{4},\ldots \}}$ такое, что ${\displaystyle a_{1}=\{a_{2},a_{3},a_{4},\ldots \}}$, ${\displaystyle a_{2}=\{a_{3},a_{4},\ldots \}}$, ${\displaystyle a_{3}=\{a_{4},\ldots \}}$, …

• Френкель А., Бар-Хиллел И. Основания теории множеств. — М.: Мир, 1966. — 149 с.
• Лавров И. А., Максимова Л. Л. Задачи по теории множеств, математической логике и теории алгоритмов. — М.: Наука, 1975. — 240 с.