Детская энциклопедия




Меню сайта




Реклама











Множество всех действительных чисел не счетно. Г. Кантор

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

Воспроизводим доказательст­во Кантора. Доказываем, что несчетным являет­ся уже множество всех действительных чисел интервала1 (0; 1).

Каждое такое действительное число может быть записано в виде бесконечной десятичной дроби с целой частью нуль. При этом каждому действительному числу соответствует лишь од­на такая запись, за исключением действительных чисел, выражаемых конечными десятичны­ми дробями: каждое такое число, например 0,2476622021711, может быть записано двумя способами в виде бесконечной десятичной дроби:

0,2476622021711000000000... и

0,2476622021710999999999...

Одна из этих записей начиная с некоторого момента содержит одни лишь нули, а другая— одни девятки. Если мы согласимся не употреблять записей, в которых, начиная с какого-нибудь места, идут одни девятки, то каждое действительное число будет иметь лишь един­ственную запись в виде бесконечной десятич­ной дроби. Докажем теперь теорему о несчет­ности множества действительных чисел от про­тивного: предположим, что множество дей­ствительных чисел [мы говорим все время о чис­лах X интервала (0 ; 1)] счетно, т.е. может быть занумеровано посредством натуральных чисел. Тогда вся совокупность действительных чисел интервала (0 ; 1) может быть записана в виде последовательности: х1, х2,... Запишем разложение числа xn в бесконечную десятичную дробь в виде:

 

где

 

  суть последовательные десятичные знаки числа xn, причем, согласно заключенному нами условию, не может слу­читься, что все десятичные знаки начиная с некоторого суть девятки. Итак, все действительные числа х [интерва­ла (0; 1)] предполагаются записанными в виде:
Табл: I








Приведем наше предположение к противоре­чию, найдя действительное число с, заклю­ченное между 0 и 1 и заведомо не входящее в табл. I. Для этого рассмотрим цифры, стоя­щие по диагонали в табл. I, а именно:


и выберем для каждого n натуральное число bn, не превосходящее число 8 и отличное от числа a(n)n (например, при а (n)n<8 полагаем


а при a(n)n=8 полагаем bn=7). Рассмотрим бесконечную десятичную дробь

0, b1b2b3b4b5...bn....

Она не содержит ни одной девятки и выражает число с, заключенное между 0 и 1, заведомо отличное от всех чисел х1, x2, x3, ..., хn,... В самом деле, если бы было:

 

 то на nместе в разложении числа с мы должны были бы иметь цифру


тогда как действительно имеем


 
Теорема доказана.

1 Под интервалом (а; b) числовой прямой понимает­ся множество всех действительных чисел х, удовлет­воряющих неравенству а<х<b.

 





 
 
----------------------------------------------------
Календарь
«  Сентябрь 2017  »
ПнВтСрЧтПтСбВс
    123
45678910
11121314151617
18192021222324
252627282930

Реклама

  • Новые статьи
    Каталог статей
    Как подготовить ребенка к школе
    Освоение навыков чтения
    Природные материалы на уроках труда

    Статистика




     
    Адрес почты Вопросы по рекомендациям, размещению рекламы и обратных ссылок обращайтесь pochta@enciklopediya1.ru
    2013 © 2017