[Список тем] [Вступление к этой теме] Страницы темы: [1] [2] [3] [4]

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

Если множества являются бесконечными, то установление между ними взаимно однозначного соответствия наталкивается на трудности, связанные с необходимостью оперировать с бесконечно большим числом элементов множества. За основу для сопоставления бесконечных множеств принято брать натуральный ряд чисел N:
1, 2, .... n ...

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

Следует отметить, что не все бесконечные множества являются счетными.

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

В качестве примера бесконечного множества рассмотрим множество равносторонних треугольников, в которых вершинами каждого треугольника являются середины сторон уже построенного треугольника (рис. 1). Это бесконечное множество равносторонних треугольников можно привести во взаимно однозначное соответствие с натуральным рядом чисел, расположив их в порядке уменьшения длин сторон, т. е. в виде последовательности Т₁. Т₂, ..., Т_n … Следовательно, рассмотренное бесконечное множество равносторонних треугольников является счетным. Однако существует бесконечное множество других равносторонних треугольников, не входящих в рассмотренное множество. Вопрос о том, является ли счетным множество всех равносторонних треугольников или всех треугольников вообще, требует дополнительного исследования.

Рис. 1. Бесконечное множество равносторонних треугольников
Приведем несколько примеров счетных множеств.
1. Множество квадратов целых чисел 1, 4, 9, ..., n² ... представляет собой лишь подмножество множества натуральных чисел N. Однако множество является счетным, так как приводится во взаимно однозначные соответствия с натуральным рядом путем приписывания каждому элементу номера того числа натурального ряда, квадратом которого он является.
2. Счетным является множество С всех целых чисел — положительных и отрицательных, хотя натуральный ряд представляет собой лишь подмножество этого множества. Это можно установить, рассмотрев взаимно однозначное соответствие
N: 1 2 3 4 5 6 7 ...
С: 0 1 —1 2 —2 3 —3 ....
из которого следует, что

3. Еще более удивителен тот факт, что счетным оказывается множество всех рациональных чисел, т. е. чисел, которые могут быть представлены в виде дроби r = q/p, где q и p—любые целые числа.

Один известный гений современной математики - Джордж Кантор доказал что все рациональный числа исчисляемы.
Доказательство он дал как на рисунке.

По рисунку первый элемент -1/1, второй -1/2, третий - 2/1, четвертый - 3/1, пятый - 2/2, и т.д.

Из приведенных примеров видно одно из замечательных свойств бесконечных множеств — возможность приведения во взаимно однозначное соответствие бесконечного множества с его бесконечным же подмножеством, которое не имеет места в случае конечных множеств.
Существование несчетных множеств следует из теоремы, доказанной Г. Кантором в 1874 г.

Рис. 2. Взаимно однозначное соответствие между интервалами (0, 1] и (a, b]
Теорема 1. Множество всех действительных чисел интервала 0<х<= 1 несчетно.
Заметим, что любое число рассматриваемого интервала представляет собой конечную или бесконечную десятичную дробь вида 0, a₁a₂a₃a₄. . . и может быть представлено точкой отрезка вещественной оси. Следовательно, теорема утверждает, что множество точек отрезка(0, 1] несчетно.
Доказательство. Для доказательства предположим, что последовательность х₁, x₂, x₃, x₄ ... представляет собой бесконечный перечень действительных чисел, принадлежащих этому интервалу. Вопрос состоит в том, может или не может подобный перечень содержать все числа этого интервала, т. е. нельзя ли найти число, которое принадлежит этому интервалу, но конечно не входит в указанный перечень чисел. Для того, чтобы найти такое число, запишем все входящие в перечень десятичные дроби одну под другой

Образуем диагональную дробь, указанную стрелками, и заменим в ней каждую из последовательных цифр a_nn на отличную от нее цифру а'_nn так, чтобы при этом не получилась конечная дробь. Полученная дробь 0, а'₁₁ а'₂₂ а'₃₃ a'₄₄ … представляет собой действительное число, принадлежащее нашему интервалу, но не входящее в рассматриваемый перечень. Действительно, эта дробь отличается от первой из данных дробей своей первой цифрой после запятой, от второй — своей второй цифрой после запятой, от третьей — третьей цифрой после запятой и т. д.
Необычные свойства несчетных множеств проявляются в том, что
рассмотренный интервал(0, 1] может быть приведен во взаимно однозначное соответствие с любым другим интервалом (а, &]. Такое взаимно однозначное соответствие можно осуществить с помощью центральной проекции (рис. 2). Таким образом, несчетным является множество всех действительных чисел любого интервала (а, b].

[Список тем] [Вступление к этой теме] Страницы темы: [1] [2] [3] [4]