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

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

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

Множество всех подмножеств

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

Множество всех подмножеств (булеан, показательное множество) — множество, состоящее из всех подмножеств данного множества (включая пустое множество и само множество ); обозначается или (так как оно соответствует множеству отображений из в ).

Если два множества равномощны, то равномощны и соответствующие множества всех подмножеств. Обратное утверждение (то есть инъективность операции для кардиналов) является независимым от ZFC.

В категории множеств можно снабдить функцию структурой ковариантного или контравариантного функтора следующим образом:

  • ковариантный функтор отображает функцию в функцию такую, что она отображает в образ относительно ;
  • контравариантный функтор отображает функцию в такую, что она отображает в полный прообраз относительно .

Мощность конечного множества подмножеств

Справедливо следующее утверждение: число подмножеств конечного множества, состоящего из элементов, равно . Результат доказывается методом математической индукции. База индукции: у пустого множества () только одно подмножество — оно само, и . Шаг индукции: пусть утверждение установлено для множеств мощности . Рассмотрим произвольное множество с кардинальным числом . Если зафиксировать некоторый элемент , подмножества множества разделяются на два семейства:

  1. , элементы которого содержат ,
  2. , элементы которого не содержат , то есть являются подмножествами множества .

Подмножеств второго типа по предположению индукции , однако подмножеств первого типа ровно столько же. С одной стороны, из каждого подмножества второго типа можно получить подмножество первого типа добавлением элемента . С другой стороны, из каждого подмножества первого типа можно получить подмножество второго типа удалением элемента . Следовательно,

и .

По индукционному предположению и , то есть:

.

См. также

Примечания

Литература

  • Брудно А. Л. Теория функций действительного переменного. — М.: Наука, 1971. — 119 с.
Эта страница в последний раз была отредактирована 10 декабря 2023 в 17:49.
Как только страница обновилась в Википедии она обновляется в Вики 2.
Обычно почти сразу, изредка в течении часа.
Основа этой страницы находится в Википедии. Текст доступен по лицензии CC BY-SA 3.0 Unported License. Нетекстовые медиаданные доступны под собственными лицензиями. Wikipedia® — зарегистрированный товарный знак организации Wikimedia Foundation, Inc. WIKI 2 является независимой компанией и не аффилирована с Фондом Викимедиа (Wikimedia Foundation).