
- •Глава III. Натуральные числа. Конечные и бесконечные множества.
- •§1. Натуральные числа.
- •§2. Определения по индукции.
- •§3. Отображение множества nn на n и связанные с ним отображения.
- •§4. Конечные и бесконечные множества.
- •§5. Теорема д. Кёнига.
- •§6. Графы. Теорема Рамсея.
- •Глава IV. Бесконечные суммы, произведения и декартовы произведения.
- •§1. Бесконечные суммы и произведения.
- •§2. Операции на бесконечных последовательностях множеств.
- •§3. Семейства множеств, замкнутые относительно данной операции.
- •§5. Обобщённые декартовы произведения.
- •§6. Декартовы произведения топологических пространств.
- •§ 7. Теорема Тихонова.
- •§8. Приведенные Декартовы произведения.
- •§ 9. Обратные системы и их пределы.
- •§ 10. Бесконечные операции в решетках и булевых кольцах.
- •§ 11. Расширение упорядоченного множества до полной решетки.
- •§12. Теория представления дистрибутивных решеток.
- •II. Множества одновременно открыты и замкнуты в.
- •III. Каждое открытое и замкнутое множество в совпадает с одним из множеств.
- •Глава V. Теория кардинальных чисел.
- •§1. Равномощность множеств. Кардинальные числа.
- •§ 2. Счетные множества.
- •§ 3. Шкала кардинальных чисел.
- •§ 4. Арифметика кардинальных чисел.
- •§ 5. Неравенства между кардинальными числами. Теорема Кантора-Бернштейна и ее обознчения.
- •§ 6. Свойства чисел ℵ0 и c.
- •§ 7. Обобщенные суммы кардинальных чисел.
- •§ 8. Обобщенные произведения кардинальных чисел.
- •Глава VI. Линейно упорядоченные множества.
- •§ 1. Введение.
- •§ 2. Плотные, разреженные и непрерывные множества.
- •§3. Типы ω (омега
- •Λ (лямбда
- •§ 4. Арифметика порядковых типов.
- •§ 5. Лексикографический порядок.
- •Литература
§ 3. Шкала кардинальных чисел.
Теперь мы докажем, что кроме конечных кардинальных чисел и числа а существует бесконечно много других кардинальных чисел. Для этого докажем теорему, играющую большую роль во многих разделах теории множеств.
Теорема 1 (о
диагонали (Кантор)). Если область
определения
функции
содержится в
,
и значениям функции
служит подмножество множества
,
то множество
не является значением функции
.
Д
о
к
а
з
а
т
е
л
ь
с
т
в
о.
Мы должны показать, что
для всех
.
Из определения множества
следует, что для
.
Если
,
получается противоречие
.
В случае
теорема 1 имеет наглядную геометрическую
интерпритацию.
Представим множество
в виде квадрата (смотреть главуII,
§4) и рассмотрим в нем множество
.
Тогда
-
проекция на ось одинат
тех точек из
,
абсциссы которых равны
,
-
проекция на ось ординат множества тех
точек диагонали квадрата, которые не
принадлежат
.
Из такого геометрического представления
совершенно очевидно, что
для всех
.
В самом деле :
если
,
то
,
но
,
если же
,
то
,
но
.
Эта интерпритация объясняет название «теоремы о диагонали».
Разница в этом
предельном случае будет хотя бы в одну
точку
.
,
,
.
Применим теорему 1 для доказательства существования различных бесконечных мощностей.
Теорема 2.
Множество
не равномощно ни самому
,
ни его подмножеству.
Д
о
к
а
з
а
т
е
л
ь
с
т
в
о.
Действительно, в противном случае
существовала бы взаимно однозначная
функция
с областью определения в
,
значениями которой были бы все подмножества
множества
,
а это противоречит теореме 1.
Теорема 3. Никакие два из множеств
(1)
не равномощны.
Д
о
к
а
з
а
т
е
л
ь
с
т
в
о.
Обозначим
-е
множество этой последовательности
символом
.
Предположим, что существуют такие
и
,
что
и
равномощно подмножеству
.
Ясно, что
тогда будет равномощно некоторой части
множества
,
а именно той части, которая состоит из
всех одноэлементных множеств
,
где
.
Отсюда следует,
что множество
также равномощно некоторому подмножеству
множества
.
Повторив это
рассуждение достаточное число раз,
придем к заключению, что каждое из
множеств
равномощно какому-то подмножеству
множества
,
а это противоречит теореме 2, т.к.
.
Теорема 4. Пусть
семейство множеств
обладает свойством: для каждого
существует множество
,
не ранвомощное никакому подмножеству
множества
.
(2)
Тогда сумма
не равномощна никакому
и никакому его подмножеству.
Д
о
к
а
з
а
т
е
л
ь
с
т
в
о.
Предположим, что
.
Тогда существует такая взаимно однозначная
функция
,
что
.
Согласно (2), существует множество
,
не равномощное никакому подмножеству
множества
.
Т.к.
,
то
,
т.е.
,
откуда
.
Это противоречие и доказывает теорему.
Из теорем 3 и 4
следует, что различных бесконечных
кардинальных чисел бесконечно много.
Исходя из множества
натуральных чисел, имеющего мощность
,
построим множества
(3),
среди которых (согласно теореме 3) нет ни одной пары равномощных. Таким способом можно получить бесконечно много различных кардинальных чисел.
Из аксиомы замены вытекает существование семейства А, элементами которого служат все множества (3).
Семейство А
в силу теоремы 3 обладает свойством (2).
Тогда по теореме 4 мощность суммы
отлична от мощностей любого из множеств
(3) и их подмножеств. Снова применяя
теорему 3, получаем последовательность
(4),
каждые два множества которой имеют различные мощности и ни одно из них не равномощно никакому из множеств (3).
Таким образом, получаем бесконечно много новых кардинальных чисел.
Другие кардинальные числа получаем, беря семейство В всех множеств (3) и (4) и строя последовательность
.
Этот процесс можно продолжать бесконечно. Отсюда видно, что шкала всех бесконечных кардинальных чисел намного богаче шкалы конечных мощностей (которая совпадает со шкалой целых положительных чисел).
Отметим дальнейшие следствия теоремы 2.
Теорема 5. Не
существует такого семейства множеств
,
которое для каждого множества
содержало бы множество
,
равномощное множеству
.
По теореме 2
множество
не равномощно никакому подмножеству
множества
и, значит, не равномощно никакому
подмножеству
,
принадлежащему
(поскольку
из
следует
).
Теорема 6. Не существует множества всех множеств.
В противном случае
это множество было бы множеством
из
теоремы 5.
Теорема 6 снова
указывает, что нельзя приянть аксиому,
утверждающую существование для каждой
высказывательной функции
множества, состоящего из элементов,
удовлетворяющих этой функции (смотреть
главуII,
§3).
Теорема 5 еще раз подтверждает большое разнообразие кардинальных чисел: их так много, что нельзя образовать множества, содержащего по крайней мере по одному множеству каждой мощности.