Несчетность множества действительных чисел

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

Рис.39

 

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

Для доказательства несчетности множества будем использовать так называемый «диагональный метод», оригинально предложенный Кантором в 1891г.

Предположим противное, то есть предположим счетность множества ; это означает, что все числа промежутка можно занумеровать в некоторую счетную последовательность . Известно, что каждое действительное число можно записать в виде бесконечной десятичной дроби; будем использовать эту запись для чисел :

,

где — это любые из цифр 0, 1, ... , 9, взятые в любом порядке.

Теперь будем строить новое число следующим образом:

, …

 


Например, если то

 

 

Очевидно, что число и отличается от всех чисел , потому что:

, так как отличается от первой цифрой после запятой,

, так как отличается от второй цифрой после запятой,
, так как отличается от третьей цифрой после запятой, и т.д.

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

Очевидно, что аналогичных «незанумерованных» чисел построить можно сколько угодно, например, заменяя цифры 1 и 0 на другие цифры. Следовательно, предположение о возможности занумеровать все числа является неверным. Из этого следует, что множество не является счетным, но имеет бо́льшую мощность, чем мощность счетного множества.

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








Дата добавления: 2015-10-19; просмотров: 9479;


Поиск по сайту:

При помощи поиска вы сможете найти нужную вам информацию.

Поделитесь с друзьями:

Если вам перенёс пользу информационный материал, или помог в учебе – поделитесь этим сайтом с друзьями и знакомыми.
helpiks.org - Хелпикс.Орг - 2014-2024 год. Материал сайта представляется для ознакомительного и учебного использования. | Поддержка
Генерация страницы за: 0.004 сек.