Теорема Кантора
Классический пример неравномощных бесконечных множеств (до сих пор такого примера у нас не было!) дает " диагональная конструкция Кантора".
Теорема Кантора
Множество бесконечных последовательностей нулей и единиц несчетно.
Доказательство
Предположим, что оно счетно. Тогда все последовательности нулей
и единиц можно перенумеровать:
Составим бесконечную вниз таблицу, строками которой будут наши
последовательности:
![\begin{array}{c}
\begin{array}{cccccc}
\alpha_0 & = & \underline{\alpha_{00}}&
\alpha_{01} & \alpha_{02} & \ldots\\
\alpha_1 & = & \alpha_{10} & \underline{\alpha_{11}}& \alpha_{12}
& \ldots\\
\alpha_2 & = & \alpha_{20} & \alpha_{21} &
\underline{\alpha_{22}}& \ldots
\end{array}\\
\hbox to 4.5cm{\dotfill}
\end{array}](/sites/default/files/tex_cache/2e02718f338231034f47217efcec62d7.png)
![\alpha_{ij}](/sites/default/files/tex_cache/b08754085328492ba8b18b146f052df0.png)
![j](/sites/default/files/tex_cache/363b122c528f54df4a0446b6bab05515.png)
![i](/sites/default/files/tex_cache/865c0c0b4ab0e063e5caa3387c1a8741.png)
![\alpha_{00}](/sites/default/files/tex_cache/1135403d4016b8f2e11507e7c42932cf.png)
![\alpha_{11}](/sites/default/files/tex_cache/d9750d896f17dc8a31120c7ec12c2da2.png)
![\alpha_{22}](/sites/default/files/tex_cache/bba021e151707adde0e6a93b5dd9850c.png)
![\dots](/sites/default/files/tex_cache/3bde5c71067f2d0732e27d1598d0e3f1.png)
![i](/sites/default/files/tex_cache/865c0c0b4ab0e063e5caa3387c1a8741.png)
![\alpha_{ii}](/sites/default/files/tex_cache/f62ce65dd7edd63192f3e9339a879a5b.png)
![i](/sites/default/files/tex_cache/865c0c0b4ab0e063e5caa3387c1a8741.png)
![i](/sites/default/files/tex_cache/865c0c0b4ab0e063e5caa3387c1a8741.png)
![\beta](/sites/default/files/tex_cache/b0603860fcffe94e5b8eec59ed813421.png)
![\beta_{i}= 1 - \alpha_{ii},](/sites/default/files/tex_cache/5e52870df395c3b457f1e29b7d39307c.png)
![\beta](/sites/default/files/tex_cache/b0603860fcffe94e5b8eec59ed813421.png)
![\alpha_i](/sites/default/files/tex_cache/cd0f1069db14b3485b705eb04d3e58a4.png)
![i](/sites/default/files/tex_cache/865c0c0b4ab0e063e5caa3387c1a8741.png)
Из этой теоремы следует, что
множество действительных
чисел (которое, как мы видели, равномощно множеству
последовательностей нулей и единиц) несчетно. В частности, оно
не может совпадать со счетным множеством алгебраических чисел и
потому существует действительное число, не являющееся
алгебраическим (не являющееся корнем никакого ненулевого многочлена
с целочисленными коэффициентами). Такие числа называют трансцендентными.
К моменту создания Кантором теории множеств уже было
известно,
что такие числа существуют. Первый пример такого числа построил
в 1844 году французский математик Ж.Лиувилль. Он
показал, что число, хорошо приближаемое рациональными, не может
быть алгебраическим (таково, например, число ).
Доказательство теоремы Лиувилля не очень сложно, но все-таки
требует некоторых оценок погрешности приближения; на его фоне
доказательство Кантора, опубликованное им в 1874 году, выглядит
чистой воды фокусом. Эта публикация была первой работой
по теории множеств; в ее первом параграфе доказывается
счетность множества алгебраических чисел, а во втором - несчетность
множества действительных чисел. (Общее определение равномощности
было дано Кантором лишь через три года, одновременно с доказательством
равномощности пространств разного числа измерений, о котором мы
уже говорили.)
Отметим кстати, что в том же 1874 году французский математик
Ш.Эрмит доказал, что основание
натуральных логарифмов трансцендентно, а через восемь лет
немецкий математик Ф.Линдеман
доказал трансцендентность числа
и тем самым невозможность
квадратуры круга.
В нескольких следующих задачах мы предполагаем известными некоторые начальные сведения из курса математического анализа.
54. Покажите, что для всякого несчетного множества
можно указать точку
, любая окрестность которой пересекается
с
по несчетному множеству. (Утверждение остается верным,
если слова " несчетное множество" заменить на " множество
мощности континуума".)
55. Покажите, что любое непустое замкнутое множество без
изолированных точек имеет мощность континуума.
56. Покажите, что любое замкнутое множество либо
конечно, либо счетно, либо имеет мощность континуума. (Указание.
Рассмотрим множество
, состоящее из тех
точек множества
, в любой окрестности которых несчетно много
других точек из
. Если
пусто, то
конечно или счетно.
Если
непусто, то оно замкнуто и не имеет изолированных
точек.)
Эта задача показывает, что для замкнутых подмножеств прямой
верна гипотеза континуума, утверждающая,
что любое подмножество
прямой либо конечно, либо счетно, либо равномощно .
(Кантор, доказавший этот факт,
рассматривал его как первый шаг к доказательству гипотезы
континуума для общего случая, но из этого ничего не вышло.)
57. Из плоскости выбросили произвольное счетное множество точек. Докажите, что оставшаяся часть плоскости линейно связна и, более того, любые две невыброшенные точки можно соединить двухзвенной ломаной, не задевающей выброшенных точек.
Вернемся к диагональной конструкции. Мы знаем, что множество последовательностей нулей и единиц равномощно множеству подмножеств натурального ряда (каждому подмножеству соответствует его " характеристическая последовательность", у которой единицы стоят на местах из этого подмножества). Поэтому можно переформулировать эту теорему так:
Множество
не равномощно множеству своих подмножеств.
Доказательство также можно шаг за шагом перевести на такой язык:
пусть они равномощны; тогда есть взаимно однозначное
соответствие между натуральными числами и
подмножествами натурального ряда. Диагональная
последовательность в этих терминах представляет собой множество
тех
, для которых
, а
последовательность
, отсутствовавшая в перечислении,
теперь будет его дополнением (
).
При этом оказывается несущественным, что мы имеем дело с натуральным рядом, и мы приходим к такому утверждению: