Для установки нажмите кнопочку Установить расширение. И это всё.

Исходный код расширения WIKI 2 регулярно проверяется специалистами Mozilla Foundation, Google и Apple. Вы также можете это сделать в любой момент.

4,5
Келли Слэйтон
Мои поздравления с отличным проектом... что за великолепная идея!
Александр Григорьевский
Я использую WIKI 2 каждый день
и почти забыл как выглядит оригинальная Википедия.
Статистика
На русском, статей
Улучшено за 24 ч.
Добавлено за 24 ч.
Что мы делаем. Каждая страница проходит через несколько сотен совершенствующих техник. Совершенно та же Википедия. Только лучше.
.
Лео
Ньютон
Яркие
Мягкие

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

Из Википедии — свободной энциклопедии

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

  • если и , то ;
  • для любого , являющегося множеством, верно, что ;
  • .
  • .

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

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

Если транзитивно, то также транзитивны множества и .

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

Транзитивное замыкание

Транзитивное замыкание множества обозначается и определяется как

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

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

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

Наследственная транзитивность

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

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

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

Без аксиомы регулярности нетрудно придумать пример наследственно транзитивного множества, которое линейно упорядочено отношением принадлежности, но ординалом не является. Для этого нужно рассмотреть счётное множество такое, что , , , …

Примечания

Литература

  • Френкель А., Бар-Хиллел И. Основания теории множеств. — М.: Мир, 1966. — 149 с.
  • Лавров И. А., Максимова Л. Л. Задачи по теории множеств, математической логике и теории алгоритмов. — М.: Наука, 1975. — 240 с.
Эта страница в последний раз была отредактирована 29 февраля 2024 в 01:50.
Как только страница обновилась в Википедии она обновляется в Вики 2.
Обычно почти сразу, изредка в течении часа.
Основа этой страницы находится в Википедии. Текст доступен по лицензии CC BY-SA 3.0 Unported License. Нетекстовые медиаданные доступны под собственными лицензиями. Wikipedia® — зарегистрированный товарный знак организации Wikimedia Foundation, Inc. WIKI 2 является независимой компанией и не аффилирована с Фондом Викимедиа (Wikimedia Foundation).