Теорема Кантора - Бернштейна
Продолжая эту конструкцию, мы получаем убывающую последовательность множеств
![A_0 \supset A_1 \supset A_2 \supset A_3 \supset A_4 \supset\ldots](/sites/default/files/tex_cache/695fd9fcb8f1604d80bfca0a1e5364d6.png)
![f\colon A_0\hm\to A_2](/sites/default/files/tex_cache/8377010f0604c12a0a732e178226bbc3.png)
![A_i](/sites/default/files/tex_cache/693a3b974c23e87e8c941211cd45cfb8.png)
![A_{i+2}](/sites/default/files/tex_cache/ef5275205502da529f1d4471b1f5c08e.png)
![f(A_i)\hm=A_{i+2}](/sites/default/files/tex_cache/b4d8e012c2780312975d2bc6170fce71.png)
![A_{2n}](/sites/default/files/tex_cache/a240e4fdb2a783ea7346c942234c2114.png)
![A_0](/sites/default/files/tex_cache/8ac42c30dec10068185957dc69fce8e0.png)
![n](/sites/default/files/tex_cache/7b8b965ad4bca0e41ab51de7b31363a1.png)
![f](/sites/default/files/tex_cache/8fa14cdd754f91cc6554c9e71929cce7.png)
![A_{2n+1}](/sites/default/files/tex_cache/39d8203bb6f5626d01beeda7b010a13a.png)
![A_1](/sites/default/files/tex_cache/4be60c01260fad068dd84cb934d15c36.png)
![n](/sites/default/files/tex_cache/7b8b965ad4bca0e41ab51de7b31363a1.png)
![f](/sites/default/files/tex_cache/8fa14cdd754f91cc6554c9e71929cce7.png)
Заметим, что пересечение всех множеств вполне может быть
непусто: оно состоит из тех элементов, у которых
можно сколько угодно раз брать
- прообраз. Теперь можно сказать
так:
множество
мы разбили на непересекающиеся слои
и на сердцевину
.
Слои ,
,
,
равномощны (функция
осуществляет
взаимно однозначное соответствие между
и
,
между
и
и т.д.):
![C_0 \stackrel{f}\longrightarrow C_2 \stackrel{f}\longrightarrow
C_4 \stackrel{f}\longrightarrow \ldots](/sites/default/files/tex_cache/1b49449dff77295eb3c266efbd1e0aa8.png)
![C_1 \stackrel{f}\longrightarrow C_3 \stackrel{f}\longrightarrow
C_5 \stackrel{f}\longrightarrow \ldots](/sites/default/files/tex_cache/20aa04eece25dce65540d3843c98544d.png)
![f](/sites/default/files/tex_cache/8fa14cdd754f91cc6554c9e71929cce7.png)
![C](/sites/default/files/tex_cache/0d61f8370cad1d412f80b84d143e1257.png)
Теперь легко понять, как построить взаимно однозначное
соответствие между
и
. Пусть
. Тогда
соответствующий ему элемент
строится так:
при
и
при
или
(см. рис. 3.4).
История этой теоремы (называемой также теоремой Шредера- Бернштейна) такова. Кантор формулирует ее без доказательства в 1883 году, обещая: " К этому я еще вернусь в одной более поздней работе и тогда выявлю своеобразный интерес этой общей теоремы". Однако этого обещания он не выполнил, и первые доказательства были даны Шредером (1896) и Бернштейном (1897). Как видно из работ и писем Кантора, он предполагал доказывать эту теорему одновременно с возможностью сравнить любые два множества (см. "Теорема Цермело" , теорема 25, но как именно - остается непонятным. (Работы Кантора по теории множеств и его письма переведены на русский язык ; все цитаты даются по этому изданию.)
Теорема Кантора-Бернштейна значительно упрощает доказательства равномощности: например, если мы хотим доказать, что бублик и шар в пространстве равномощны, то достаточно заметить, что из бублика можно вырезать маленький шар (гомотетичный большому), а из шара - маленький бублик.
45. Посмотрите на приведенные выше задачи, где требовалось доказать равномощность, и убедитесь, что во многих из них применение теоремы Кантора - Бернштейна сильно упрощает дело.
46. Докажите, что все геометрические фигуры, содержащие хотя бы кусочек прямой или кривой, равномощны.
47. Докажите, что если квадрат разбит на два множества, то хотя бы одно из них равномощно квадрату. (Указание. Если одна из частей содержит отрезок, то можно воспользоваться теоремой Кантора - Бернштейна. Если же, скажем, первая часть не содержит отрезков, то в каждом горизонтальном сечении квадрата есть точка второй части, и снова можно сослаться на теорему Кантора - Бернштейна.)