
Доведення. Як i в теоремi 5.3.1 будуємо iн’єкцiю A 7→ 2
A
, a 7→ {a}.
Те що A i 2
A
не є рiвнопотужними доведемо методом вiд супротивного. При-
пустимо, що iснує бiєкцiя φ : A ↔ 2
A
, яка ставить у вiдповiднiсть кожному
елементу a ∈ A, пiдмножину M
a
⊆ A, тобто a ↔ M
a
. Назвемо елемент a хоро-
шим, якщо a ∈ φ(a) = M
a
i назвемо елемент a поганим, якщо a 6∈ φ( a) = M
a
.
Розглянемо пiдмножину Bad ⊆ A всiх поганих елементiв. Оскiльки φ− бiєкцiя,
то iснує елемент x = φ
−1
(Bad) ∈ A, тобто для якого x ↔ Bad.
Питання. Елемент x є хорошим чи поганим? Якщо вiн хороший, то x ∈ Bad,
а отже вiн поганий. Якщо ж вiн поганий, то x 6∈ Bad, тобто x ∈ Bad, але ж
в множинi Bad зiбрано всi поганi елементи, а отже x− хороший. Отримана
суперечнiсть доводить теорему.
Ця теорема дозволяє будувати нескiнченнi ланцюги множин, де кожна мно-
жина занурюється в наступну, яка має бiльшу потужнiсть, зокрема маємо
N → 2
N
→ 2
2
N
→ 2
2
2
N
→ . . . .
Природне бажання вважати потужнiсть числом приводить до поняття кар-
динальних чисел. Кiлькiсть елементiв в злiченнiй множинi позначається кар-
динальним "числом"ℵ
0
(ℵ — давньогрецька лiтера, читається алеф), тобто за
означенням |N| = ℵ
0
. Потужнiсть булеана 2
N
називається континуумом i по-
значається ℵ
1
= 2
ℵ
0
. i + 1-ше кардинальне число визначається через попереднє,
як потужнiсть булеана множини, що має потужнiсть ℵ
i
, що записують таким
чином:
ℵ
i+1
= 2
ℵ
i
,
Отже, маємо ланцюг потужностей
ℵ
0
< ℵ
1
< ℵ
2
< . . . < ℵ
i
< ℵ
i+1
< . . . .
Виникає природне питання, чи iснують незлiченнi множини, потужнiсть яких
була б менша континуума. Твердження про те, що множин такої потужностi не
iснує називають континуум гiпотезою i в рамках наївної теорiї множин, вона
не може бути нi доведена нi спростована.
Бiльш загальним є питання про iснування промiжних потужностей:
ℵ
i
< ? < ℵ
i+1
Твердження про вiдсутнiсть таких множин, що ℵ
i
< | A| < ℵ
i+1
називають
узагальненою континуум гiпотезою .
89