Аксиома выбора и парадоксы наивной теории множеств

Если бы удалось доказать континуум-гипотезу, то тогда континуум, непрерывное было как бы отождествлено с некоторым вполне упорядоченным множеством, было бы, так сказать, сложено из точек.

Два вполне упорядоченных множества всегда можно сравнить между собой: отобразить одно на часть другого. Из этого следует сравнимость соответствующих этим множествам ординалов. А из последнего — и сравнимость соответствующих ординалам кардиналов, т.е. мощностей множеств. Значит, любые мощности — а значит, и мощность континуума, и алефы —сравнимы, если соответствующие им множества можно вполне упорядочить.

Но как это сделать для конкретных множеств непонятно. Уже отмечалось, что одномерный континуум, например интервал действительных чисел (0; 1), взятых в их естественном упорядочении по величине, не является вполне упорядоченным множеством. Множество рациональных чисел Q в его естественном упорядочении по величине также не является вполне упорядоченным множеством. Но его можно упорядочить, потому что Q есть счетное множество, т.е. его можно поставить во взаимно-однозначное соответствие с N. Таким же образом можно вполне упорядочить любое счетное множество. Но Кантор показал, что континуум есть несчетное множество.

В 1904 году Э.Цермело доказал теорему о том, что любое множество может быть вполне упорядочено. Доказательство опиралось на безобидную мысль, что в бесконечном множестве множеств можно осуществить процедуру выбора в каждом из этих множеств одного элемента. Она получила название аксиомы выбора (или аксиомы Цермело) и вошла в число семи аксиом теории множеств, предложенных также Цермело и Френкелем в 1908 году.

Таким образом, Цермело и Френкель поставили наивную теорию множеств на аксиоматическую основу. Необходимость введения аксиоматики была связана с противоречиями теории множеств, придуманных специально с целью обнаружить в ней противоречия. Все они построены по следующей схеме: предположим, что существует некоторый объект X. Тогда этот объект X одновременно обладает и не обладает некоторым свойством. Но это в точности и значит, что требуемого объекта X не существует. Именно так устроены доказательства от противного.

Парадокс Рассела.Факторизуем все множества таким образом: “нерефлексивные”, то есть те, которые не содержат себя в качестве своего элемента (множество крокодилов не крокодил), и “рефлексивные”, содержащие себя в качестве своего элемента (множество поворотов поворот). Рассмотрим множество всех нерефлексивных множеств. Если оно нерефлексивно, то есть не содержит себя в качестве своего элемента, то оно должно входить в множество по определению множества , то есть оно рефлексивно и не входит в него. Если же оно рефлексивно, то есть содержит себя в качестве своего элемента и таким образом не входит в множество , оно входит в множество по определению рефлексивного множества. Парадокс Рассела можно сформулировать и не используя теорию множеств. Вот классические формулировки.

Брадобрей. Вождь повелел, чтобы единственный брадобрей деревни брил тех и только тех мужчин, которые не бреются сами. Должен ли он брить себя?

Каталог. Библиотека решила составить библиографический каталог, в который входят те и только те каталоги, которые не включают себя. Включает ли такой каталог себя?

Ясно, что нельзя задавать множества произвольными словосочетаниями, то есть не любое свойство должно определять множество. Сюда же относится понятие “множество всех множеств”.

Парадокс Кантора.Рассмотрим множество всех возможных множеств. Оно должно обладать максимальной мощностью. Но тогда согласно теореме Канторао больших алефахмножество всех подмножеств данного множества имеет ещё большую мощность.

Отсюдапервый способ борьбы с парадоксами – способ Кантора, в котором запрещаются все действия и операции, ведущие к парадоксам. Разрешается работать с множествами, которые “встречаются в природе” или получаются из них “разумными” теоретико-множественными операциями. Второй способ – аксиоматический (система аксиом Цермело–Френкеля, система аксиом Геделя–Бернайса).

Однако оказалось, что с помощью аксиомы выбора строятся такие экстравагантные примеры, как множество Витали, неизмеримое по Лебегу, или парадокс Банаха Тарского: можно разбить шар на конечное число частей, которые можно переставить так, что получатся два шара такого же размера, как и исходный шар. То есть следствия из аксиомы выбора совершенно противоречат нашей интуиции пространства.

Но аксиома Цермело применяется в доказательстве многих теорем как теории множеств, так и анализа. Например:

— объединение счетного числа не более чем счетных множеств само не более чем счетно;

— всякое бесконечное множество содержит счетное подмножество;

— теорема о непрерывной функции, принимающей значения разных знаков на концах промежутка;

— лемма Больцано — Вейерштрасса о сходящейся подпоследовательности у ограниченной последовательности;

— теорема Коши о конечных приращениях;

— теорема Лопиталя о раскрытии неопределенностей и много других уже требуют применения аксиомы выбора.

Гёделем (1939) и Коэном (1963) было установлено, что аксиома выбора не может быть ни доказана, ни опровергнута исходя из системы аксиом Цермело Френкеля или какой-либо другой системы аксиом теории множеств. Более того, если теория множеств непротиворечива без аксиомы выбора, то она остается непротиворечивой и после присоединения к ней аксиомы выбора. Сложилось тем самым положение, напоминающее ситуацию с пятым постулатом Евклида в геометрии.

КУЛЬТУРНЫЙ МИНИМУМ.

1. Что такое множество? Задание множеств. Свойства операций.
2. Что такое отношения? Бинарные отношения. Общие свойства отношений.
3. Отношение эквивалентности и его свойства.
4. Отношение строгого порядка и его свойства.
5. Отношение нестрогого порядка и его свойства.
6. Что такое отображение? Типы отображений: сюръекция, инъекция, биекция, гомоморфизм, гомеоморфизм.
7. Что такое линейный и полный порядок?
8. Эквивалентность множеств. Конечные, счётные, несчётные множества.
9. Кризисы в математике.
10. Проблема континуума, континуум-гипотеза иаксиома выбора.
11. Парадоксы Рассела и Кантора.

ВОПРОСЫ.

1. Теоремы о счётных множествах: о подмножествах, о минимальности, об идемпотентности.

2. Теорема Кантора о континууме (оба доказательства).

3. Теорема Кантора о больших алефах.

4. Теорема Бернштейна об эквивалентности.

5. Показать, что множество всех действительных функций, непрерывных и нет, имеет мощность, большую, чем .

6. Метод трансфинитной индукции.

ЗАДАЧИ.

1. Установить биекцию между отрезком и всей числовой осью.
2. Доказать, что множество всех последовательностей нулей и единиц равномощно множеству всех подмножеств натурального ряда.
3. Доказать, что множество бесконечных последовательностей цифр 0, 1, 2, 3 равномощно множеству бесконечных последовательностей цифр 0 и 1, то есть имеет мощность континуума.
4. Доказать, что множество бесконечных последовательностей цифр
   0,1,2 равномощно множеству бесконечных последовательностей цифр 0 и 1, то есть имеет мощность континуума.
5. Найти мощность множества точек единичного куба.
6. Найти мощность множества точек всех чисел отрезка [0,1] в разложении которых в троичную дробь отсутствует цифра 1.
7. Установить мощность множества всех сфер пространства с рациональными радиусами и центрами с рациональными координатами.
8. Установить мощность всех конечных подмножеств счётного множества.
9. Какова мощность множества попарно не пересекающихся отрезков на прямой?
10. Найти мощность множества всех треугольников на плоскости, с рациональными координатами вершин.
11. Найти мощность множества точек единичного квадрата.
12. Установить биекцию между множеством всех последовательностей и множеством всех возрастающих последовательностей натуральных чисел.
13. Найти мощность множества всех стационарных последовательностей действительных чисел.
14. Доказать, что множество всех бесконечных последовательностей из 0,1,2, в которых 0 и 1 встречаются конечное число раз, счетно.
15. Доказать, что множество точек плоскости, лежащих на графике любой функции, заданной на отрезке [0,1], имеет мощность континуума.
16. Являются ли данные отношения отношениями эквивалентности: “быть знакомым ”, “быть кратным”?
17. Сколько фактор-множеств содержит множество, состоящее из двух, трёх, четырёх элементов?