Существует ли множество самой большой мощности?

Пока что самой большой мощностью, которую мы знаем, является мощность множества точек на прямой, то есть мощность континуума. Ни множество точек квадрата, ни множество точек куба не имеют большей мощности. Не является ли мощность континуума самой большой? Оказывается, что нет. Более того, вообще нет множества самой большой мощности. Для любого множества A есть множество, мощность которого больше мощности A. Этим множеством является, например, множество В всех функций, заданных на множестве A и принимающих значения 0 и 1.

Покажем сначала, что мощность множества B не меньше, чем мощность множества A. Для этого каждой точке ? множества A поставим в соответствие функцию f^a(x), принимающую в этой точке значение 1, а в остальных точках значение 0. Ясно, что разным точкам соответствуют разные функции. Например, если множество A состоит из трех точек 1, 2, 3, то точке 1 соответствует функция, принимающая в этой точке значение 1, а точке 2 — функция, принимающая в точке 1 значение 0. Эти функции не равны друг другу.

Итак, мощность множества B не меньше мощности множества A. Покажем теперь, что эти мощности не равны друг другу, то есть что нет взаимно однозначного соответствия между элементами множеств A и B.

В самом деле, предположим, что такое соответствие существует. Обозначим тогда функцию, соответствующую элементу a из A, через f_a(x). Напомним, что все функции f_a(x) принимают только два значения: 0 и 1.

Составим новую функцию ?(x), заданную равенством

?(x) = 1 — f_x(x).

Таким образом, чтобы найти значение функции ?(x) в некоторой точке а из A, надо найти сначала соответствующую этой точке функцию f_a(x) и вычесть из 1 значение этой функции x = a. Ясно, что функция ? (x) также задана на множестве A и принимает значения 0 и 1. Следовательно, ? (x) является элементом множества B. Но тогда, по предположению, ? (x) соответствует некоторой точке b из A, а значит,

?(x) = f_b (x).

Учитывая первое равенство для ?(x), получаем, что для всех x из A

1 — f_x(x) = f_b(x),

Положим в этом равенстве x = b. Мы найдем тогда, что

1 — f_b(b) = f_b(b),

и потому

Но это противоречит тому, что значения функции f_b(x) равны 0 и 1. Полученное противоречие показывает, что взаимно однозначного соответствия между множествами A и B быть не может.

Итак, для любого множества A можно построить множество B большей мощности. Поэтому множества самой большой мощности не существует. Отправляясь от самой малой из бесконечных мощностей — мощности множества натуральных чисел, мы получим сначала мощность континуума, потом мощность множества всех функций, заданных на множестве действительных чисел, и будем без конца подниматься вверх по этой головокружительной лестнице все увеличивающихся бесконечных мощностей.