Московский государственный университет имени М.В.Ломоносова
Опубликован: 21.02.2007 | Доступ: свободный | Студентов: 1681 / 169 | Оценка: 4.60 / 3.50 | Длительность: 14:25:00
Специальности: Программист, Математик
Лекция 2:

Счетные множества

< Лекция 1 || Лекция 2: 12 || Лекция 3 >

Теорема 3. Если множество A бесконечно, а множество B конечно или счетно, то объединение A\hm\cup B равномощно A.

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

Можно считать, что B не пересекается с A (пересечение можно выбросить из B, останется по-прежнему конечное или счетное множество).

Выделим в A счетное подмножество P ; остаток обозначим через Q. Тогда нам надо доказать, что B\hm+P\hm+Q равномощно P\hm+Q (знак + символизирует объединение непересекающихся множеств). Поскольку B\hm+P и P оба счетны, между ними существует взаимно однозначное соответствие. Его легко продолжить до соответствия между B\hm+P\hm+Q и P\hm+Q (каждый элемент множества Q соответствует сам себе).

35. Примените эту конструкцию и явно укажите соответствие между отрезком [0,1] и полуинтервалом [0,1).

36. Теорема 3 показывает, что добавление счетного множества к бесконечному не меняет его мощности. Можно ли сказать то же самое про удаление? Докажите, что если A бесконечно и не является счетным, а B конечно или счетно, то A\setminus B равномощно A.

37. Немецкий математик Р.Дедекинд предложил такое определение бесконечного множества: множество бесконечно, если оно равномощно некоторому своему подмножеству, не совпадающему со всем множеством. Покажите, что указанное Дедекиндом свойство действительно определяет бесконечные множества.

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

38. Укажите взаимно однозначное соответствие между множеством [0,1]\hm\cup[2,3]\hm\cup[4,5]\cup\ldots и отрезком [0,1].

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

40. Докажите, что полуплоскость (точки плоскости, лежащие по одну сторону от некоторой прямой) равномощна плоскости. (Это верно независимо от того, включаем мы граничную прямую в полуплоскость или нет.)

Теорема 4. Отрезок [0,1] равномощен множеству всех бесконечных последовательностей нулей и единиц.

Доказательство. В самом деле, каждое число x\hm\in[0,1] записывается в виде бесконечной двоичной дроби. Первый знак этой дроби равен 0 или 1 в зависимости от того, попадает ли число x в левую или правую половину отрезка. Чтобы определить следующий знак, надо выбранную половину поделить снова пополам и посмотреть, куда попадет x, и т.д.

Это же соответствие можно описать в другую сторону: последовательности x_0x_1x_2\dots соответствует число, являющееся суммой ряда

\frac{x_0}{2} + \frac{x_1}{4} + \frac{x_2}{8} + \ldots
(В этом построении мы используем некоторые факты из математического анализа, что не удивительно - нас интересуют свойства действительных чисел.)

Описанное соответствие пока что не совсем взаимно однозначно: двоично-рациональные числа (дроби вида m/2^n ) имеют два представления. Например, число 3/8 можно записать как в виде 0{,}011000{\dots}, так и в виде 0{,}010111{\dots} Соответствие станет взаимно однозначным, если отбросить дроби с единицей в периоде (кроме дроби 0{,}1111\ldots, которую надо оставить). Но таких дробей счетное число, поэтому на мощность это не повлияет.

Какая двоичная дробь соответствует числу 1/3?

В этом доказательстве можно было бы использовать более привычные десятичные дроби вместо двоичных. Получилось бы, что отрезок [0,1] равномощен множеству всех бесконечных последовательностей цифр 0,1,\dots,9. Чтобы перейти отсюда к последовательностям нулей и единиц, можно воспользоваться приемом, описанным ранее.

Теперь все готово для доказательства такого удивительного факта:

Теорема 5. Квадрат (со внутренностью) равномощен отрезку.

Доказательство. Квадрат равномощен множеству [0,1]\hm\times [0,1] пар действительных чисел, каждое из которых лежит на отрезке [0,1] (метод координат). Мы уже знаем, что вместо чисел на отрезке можно говорить о последовательностях нулей и единиц. Осталось заметить, что паре последовательностей нулей и единиц \langle x_0x_1x_2\ldots, y_0y_1y_2\ldots\rangle можно поставить в соответствие последовательность-смесь x_0y_0x_1y_1x_2y_2\ldots и что это соответствие будет взаимно однозначным.

Этот результат был получен в 1877 году немецким математиком Георгом Кантором и удивил его самого, поскольку противоречил интуитивному ощущению " размерности" (квадрат двумерен, поэтому вроде бы должен содержать больше точек, чем одномерный отрезок). Вот что Кантор писал Дедекинду (20 июня 1877 года), обсуждая вопрос о равномощности пространств разного числа измерений: " Как мне кажется, на этот вопрос следует ответить утвердительно, хотя на протяжении ряда лет я придерживался противоположного мнения".

В одном из ответных писем Дедекинд отмечает, что результат Кантора не лишает смысла понятие размерности, поскольку можно рассматривать лишь непрерывные в обе стороны соответствия, и тогда пространства разной размерности можно будет различить. Эта гипотеза оказалось верной, хотя не такой простой; первые попытки ее доказать, в том числе одна из статей Кантора, содержали ошибки, и только спустя тридцать лет голландский математик Л.Брауэр дал правильное доказательство. Впрочем, отсутствие непрерывного в обе стороны соответствия между отрезком и квадратом доказать несложно; трудности начинаются в больших размерностях. (Заметим также, что существует непрерывное отображение отрезка в квадрат, которое проходит через любую точку квадрата. Оно называется " кривой Пеано".)

Из теоремы 5 легко получить много других утверждений про равномощность геометрических объектов: круг равномощен окружности, прямая равномощна плоскости и т.п.

Можно также заметить, что пространство (точки которого задаются тремя координатами \langle x,y,z\rangle ) равномощно плоскости (надо закодировать пару \langle x,y\rangle одним числом), и, следовательно, прямой. То же самое можно проделать и для пространств большей размерности.

42. Докажите, что множество всех конечных последовательностей действительных чисел равномощно \bbR (множеству всех действительных чисел).

43. Докажите, что множество всех бесконечных последовательностей действительных чисел равномощно \bbR.

Отметим, что мы пока не умеем доказывать, что множество действительных чисел (или множество бесконечных последовательностей нулей и единиц) несчетно. Это будет сделано в "лекции 4" .

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

< Лекция 1 || Лекция 2: 12 || Лекция 3 >