Множества мощности континуума

Существуют бесконечные множества, элементы которых нельзя перенумеровать. Такие множества называются несчетными.

Теорема Кантора. Множество всех точек отрезка [0, 1] несчетно.

Доказательство.

Пусть множество точек отрезка [0, 1] счетно. Значит, эти точки можно перенумеровать, т. е. расположить в виде последовательности x₁, x₂ … x_n, … .

Рис. 1.7

Разобьем отрезок [0, 1] на три равные части. Где бы ни находилась точка x₁, она не может принадлежать всем отрезкам , , . Поэтому среди них есть отрезок D₁, не содержащий точку x₁ (рис. 1.7). Возьмем этот отрезок D₁ и разделим его на три равные части. Среди них всегда есть отрезок D₂, не содержащий точку x₂. Разделим этот отрезок на три равные части и т. д. Получим последовательность отрезков D₁ É D₂ É D₃ É…ÉD_n É… . В силу аксиомы Кантора сходится к некоторой точке x при n ® ¥. По построению эта точка x принадлежит каждому отрезку D₁, D₂, D₃,…, D_n, …, т. е. она не может совпадать ни с одной из точек x₁, x₂, … x_n, …, т. е. последовательность x₁, x₂ … x_n, …не исчерпывает всех точек отрезка [0, 1], что противоречит первоначальному предположению. Теорема доказана.

Множество, эквивалентное множеству всех точек отрезка [0, 1] называется множеством мощности континуума.

Так как множества точек интервалов, отрезков и всей прямой эквивалентны между собой, то все они имеют мощность континуума.

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

Пример 1.24.

Из рис. 1.8 следует, что множество точек параболы y = x² эквивалентно множеству точек прямой –¥ < x < ¥ и, следовательно, имеет мощность континуума.

Рис.1.8

Установить мощность континуума можно также, используя следующие теоремы о множествах мощности континуума (приводятся без доказательств).

Теорема 1. Множество всех подмножеств счетного множества счетно.

Теорема 2. Множество иррациональных чисел имеет мощность континуума.

Теорема 3. Множество всех точек n-мерного пространства при любом n имеет мощность континуума.

Теорема 4. Множество всех комплексных чисел имеет мощность континуума.

Теорема 5. Множество всех непрерывных функций, определенных на отрезке [a, b] имеет мощность континуума.

Итак, мощности бесконечных множеств могут различаться. Мощность континуума больше, чем мощность счетного множества. Ответ на вопрос, существуют ли множества более высокой мощности, чем мощность континуума, дает следующая теорема (приводится без доказательства).

Теорема о множествах высшей мощности. Множество всех подмножеств данного множества имеет более высокую мощность, чем данное множество.

Из этой теоремы следует, что множеств с максимально большой мощностью не существует.

Контрольные вопросы к теме 1

1. Пусть a Î А. Следует ли отсюда, что {a} А?

2. В каком случае А АÇВ?

3. Назовите множество, которое является подмножеством любого множества.

4. Может ли быть множество эквивалентно своему подмножеству?

5. Мощность какого множества больше: множества натуральных чисел или множества точек отрезка [0, 1]?