WikiSort.ru - Не сортированное

Булеан (степень множества, показательное множество, множество частей) — множество всех подмножеств данного множества ${\displaystyle A}$ , обозначается ${\displaystyle {\mathcal {P}}(A)}$ или ${\displaystyle 2^{A}}$ (так как оно соответствует множеству отображений из ${\displaystyle A}$ в ${\displaystyle \{0,1\}}$ ).

Если два множества равномощны, то равномощны и их булеаны. Обратное утверждение (то есть инъективность операции ${\displaystyle \kappa \mapsto 2^{\kappa }}$ для кардиналов) является независимым от ZFC.

В категории множеств можно снабдить функцию ${\displaystyle {\mathcal {P}}}$ структурой ковариантного или контравариантного функтора следующим образом:

• ковариантный функтор отображает функцию ${\displaystyle f\colon A\to B}$ в функцию ${\displaystyle {\mathcal {P}}f\colon {\mathcal {P}}A\to {\mathcal {P}}B}$ такую, что она отображает ${\displaystyle X}$ в образ ${\displaystyle X}$ относительно ${\displaystyle f}$ ;
• контравариантный функтор отображает функцию ${\displaystyle f\colon A\to B}$ в ${\displaystyle {\mathcal {P}}f\colon {\mathcal {P}}B\to {\mathcal {P}}A}$ такую, что она отображает ${\displaystyle X}$ в полный прообраз ${\displaystyle X}$ относительно ${\displaystyle f}$ .

Открытая математическая проблема: cуществуют ли такие бесконечные множества ${\displaystyle A}$ и ${\displaystyle B}$ , что мощность множества ${\displaystyle A}$ меньше мощности множества ${\displaystyle B}$ и мощность множества ${\displaystyle B}$ меньше мощности множества всех подмножеств множества ${\displaystyle A}$ : ${\displaystyle |A|<|B|<|2^{A}|}$ ?^[1]

Мощность конечного булеана

Справедливо следующее утверждение: число подмножеств конечного множества, состоящего из ${\displaystyle n}$ элементов, равно ${\displaystyle 2^{n}}$ . Результат доказывается методом математической индукции. В базе, у пустого множества ${\displaystyle \varnothing }$ (${\displaystyle n=0}$ ) только одно подмножество — оно само, и ${\displaystyle 2^{0}=1}$ . На шаге индукции утверждение считается установленным для множеств мощности ${\displaystyle n}$ и рассматривается произвольное множество ${\displaystyle M}$ с кардинальным числом ${\displaystyle n+1}$ ; зафиксировав некоторый элемент ${\displaystyle a_{0}\in M}$ , подмножества множества ${\displaystyle M}$ разделяются на два семейства:

1. ${\displaystyle M_{1}}$ , содержащие ${\displaystyle a_{0}}$ ,
2. ${\displaystyle M_{2}}$ , не содержащие ${\displaystyle a_{0}}$ , то есть являющиеся подмножествами множества ${\displaystyle M\setminus \{a_{0}\}}$ .

Подмножеств второго типа по предположению индукции ${\displaystyle 2^{n}}$ , подмножеств первого типа ровно столько же, так как подмножество такого типа получается из некоторого и притом единственного подмножества второго типа добавлением элемента ${\displaystyle a_{0}}$ и, следовательно:

${\displaystyle 2^{M}=M_{1}\bigcup M_{2}}$ и ${\displaystyle M_{1}\bigcap M_{2}=\varnothing }$ .

По индукционному предположению ${\displaystyle \left|M_{1}\right|=2^{n}}$ и ${\displaystyle \left|M_{2}\right|=2^{n}}$ , то есть:

${\displaystyle \left|2^{M}\right|=\left|M_{1}\right|+\left|M_{2}\right|=2^{n}+2^{n}=2^{n+1}=2^{\left|M\right|}}$ .

См. также

• Аксиома булеана
• Теорема Кантора
• Континуум-гипотеза

Примечания

Литература

• Брудно А. Л. Теория функций действительного переменного. — М.: Наука, 1971. — 119 с.

Для улучшения этой статьи желательно: Найти и оформить в виде сносок ссылки на независимые авторитетные источники, подтверждающие написанное.