Pogrebnoj

§ 11. Континуум - гипотеза

Сравнительно легко устанавливается, что нет мощности, промежуточной между IC₀ и IC₁. Но после счетных мы рассматривали континуальные множества. Возникает вопрос:

какой алеф есть мощность континуума? Есть ли мощности, промежуточные между счетной и континуальной? Знаменитая континуум - гипотеза утверждает, что c = IC₁, т. е. между a и c нет промежуточных мощностей. Что c > IC_l - устанавливается бесспорно.

Континуум - гипотеза тесно связана с аксиоматикой теории множеств. Особую роль играет т. н. аксиома произвольного выбора Цермело: если есть дизъюнктное семейство множеств {А}_е, то можно построить новое множество В, имеющее с

каждым А один и только один общий элемент. Анализ многих математических доказательств привел к тому, что они, в конце концов, опираются на эту аксиому. На нее же опираются и т. н. контрпримеры - «странные» множества, функции и т. д. Но отказ от аксиомы произвольного выбора не оставил бы от математики почти ничего. Эта аксиома дает возможность доказать теорему Цермело, что каждое множество можно вполне упорядочить, а доказательство имеет неконструктивный характер.

В 1969 году американский математик Поль Коэн установил, что аксиома произвольного выбора не вступает в противоречие с другими аксиомами теории множеств и не зависит от них. Таким образом, здесь получается аналогия с аксиомой параллельности. Можно строить теории множеств с аксиомой Цермело, можно без нее. С ней получается все-таки более привычная математика: всякая мощность есть алеф, каждые два алефа сравнимы, наибольшего алефа нет, каждый алеф имеет непосредственно следующий. Обобщенная гипотеза континуума звучит так: 2^ICn = IC_n+1. П. Коэн установил, что она не зависит от аксиом

теории множеств и не противоречит им.

В будущем, по-видимому, будут рассматриваться различные «математики» и с континуум - гипотезой, и без нее, как сейчас рассматриваются различные геометрии.

На этом мы закончим наш очень краткий и беглый обзор общей теории множеств и перейдем к более специальным множествам.

Решение типовых задач к главе 1

П 1. Доказательство включения множеств. Требуется доказать, что X с Y. Доказательство, проводится исходя из определения понятия подмножества: X с Y: := "хе X ^ х е Y.

Задача 1

Доказать, что А \( А \ В) с А п В

Решение

"хе А\( А \ В) ^ хе А а хеА \ В. Для того чтобы, хеА \ В, есть 2 возможности:

хеА, тогда хеА \ В. Но уже известно, что хе А. Следовательно, эта возможность не реализуется.
хе А а хе В. Но тогда хе А, что и требовалось доказать. П 2. Доказательство равенства множеств.

X = Y о X с Y а Y с X, потому доказательство имеет 2 этапы:

"х е X ^ х е Y.
"jе Y ^ jе X .

Задача 2

Доказать, что А \ (В u C ) = ( А \ В) п ( А \ C). Решение

1) "х е А \ (В u C) ^ х е А а х= В u C ^ ^ х е А а хе В а хе C ^ х е А \ В п х е А \ C ^ ^ х е ( А \ В) u ( А \ C).

2) "y e ( A \ B) п ( A \ C) ^ x e A л xe B л xeC ^ ^ x e A л xe B u C ^ x e A \ (B u C).

П 3. Доказательство равенства или включения в том случае, когда множества являются декартовыми произведениями. Производится аналогично, исходя из того, что элементы множеств - упорядоченные наборы элементов.

Задача 3

Доказать, что A х( B u C ) = ( A х B) u ( A х C). Решение 1)

"(x, y) e A х (B u C) ^ x e A л y e B u C ^ ^ xe A л (ye B u ye C) ^ (x, y)e A х B u (x, y)e A х C ^ ^ (x, y) e ( A х B) u ( A х C); 2)

"(x, y) e ( Aх B) u ( Aх C) ^ (x, y)e Aх Bu (x, y)e Aх C ^ ^ (x e A, y e B) u (x e A, y e C) ^ x e A л( y e B v y e C) ^ ^ x e A, y e B u C ^ (x, y )e A х( B u C).

П 4. Доказательство равномощности множеств, ^A = ^B, производится доказательством существование биекции f : A « B. Например, путем её конструктивного построения.

Задача 4

Доказать, что [-2,-1]~[3,7].

Решение

Одним из примеров биекций f: R « R является линейная функция f = kx + b. Подберем подходящие значения k, b. Поскольку f ( x) строго возрастает при k > 0 , будем искать k > 0 и be R : f (-2) = 3, f (-1 ) = 7. Имеем: -2k + b = 3, -k + b = 7. Отсюда k = 4. Тогда b = 11, f (х ) = 4х +11. Эта функция строго монотонна и непрерывна. Следовательно, она биекция, f ([-1,-1]) = [3,7].

П 5. Установление счетности или континуальности данного множества.

Для этого может использоваться одно из свойств множеств указанной мощности.

Задача 5

Какую мощность имеет множество всех треугольников на декартовой плоскости, координаты которых есть целые числа? Решение

Каждый такой треугольник взаимно однозначно определяется своими вершинами, а каждая вершина - своими 2 координатами. Итак, треугольник определяется 6 числами- индексами, определяющими это множество треугольников, каждый из которых независимо от других принимает счётное

количество значений (Z = IC₀). По 9⁰ счётных множеств множество указанных треугольников счетно.

Задачи к главе 1

Доказать включение: А \ C с ( А \ В) u (В \ C).
Доказать равенства: ( А \ В) \ C = ( А \ C) \ (В \ C). А \ (В п C ) = ( А \ В) u (А \ C);

( А \ В) п C = ( А п C) \ (В п C); ( А u В) х C = ( А х C) u (В х C).

Установить биекцию (-5,-1) на (0,7).
Установить, что (0,1)~(0,+ ^¥ ).
Какую мощность имеет множество многочленов переменной x, степени не больше 7, коэффициенты которых есть рациональные числа?
Пусть X - счетное множество точек на окружности. Можно ли повернуть окружность вокруг центра на некоторый угол j, так, чтобы полученное множество точек X * не пересекалось с X ?
Какую мощность может иметь множество букв L на плоскости, если буквы попарно не пересекаются?

Содержание