О  СТРУКТУРЕ  РАЦИОНАЛЬНЫХ  ЧИСЕЛ

Алатин  Сергей  Дмитриевич

канд.  техн.  наук  главный  инженер  ООО  «Русское  решение»,  РФ,  г.  Нижний  Новгород

E-mail:  alatin1949@mail.ru

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

Оставаясь  в  рамках  алгоритма  апории  Зенона  про  Ахиллеса  и  черепаху,  (необходимо  признать,  что  Ахиллес  не  перегонит  черепаху,  и  чтобы  уйти  от  этого  парадокса,  уходят  от  заданного  алгоритма:  наш  опыт  дает  нам  возможность  видеть  его  итог.

Кантор  строит  свое  доказательство  по  форме  и  структуре  точно  так  же,  как  парадокс  Ахиллеса: 

Таблица  1.

В  доказательстве  Кантора  множество  рациональных  чисел  изображается  таблицей  с  бесконечным  (счетным)  числом  строк  и  столбцов,  затем  организуется  движение  по  диагоналям  таблицы.  Алгоритм  (движение  по  диагоналям)  указан,  и  с  ним  не  спорят,  во-первых,  в  силу  его  наглядности,  во-вторых,  потому,  что  наш  конечный  опыт  не  дает  нам  возможности,  как  в  случае  с  черепахой,  непосредственно  идентифицировать  его  итог.

Не  смущает  экстравагантность  приема:  алгоритм,  выражаясь  фигурально,  предлагает  «прочесывать»  взад-вперед  множество  рациональных  чисел  на  постоянно  увеличивающемся  интервале;  при  этом,  так  как  в  таблице  все  числа,  расположенные  выше  главной  диагонали,  меньше  единицы,  а  расположенные  ниже  главной  диагонали  —  больше  единицы,  участок  от  нуля  до  единицы  прочесывается  столько  же  раз,  сколько  и  участок  от  единицы  до  бесконечности.

Не  настораживает,  что  алгоритм  не  соответствует  требованию  биекции,  поскольку  в  таблице  каждое  число  повторяется  бесконечное  (счетное)  количество  раз;  считается:  если  в  таблице  чисел  «больше»,  чем  рациональных,  то  доказательство  Кантора  заведомо  верно,  а  повторяющиеся  числа  предлагается  при  пересчете  просто  пропускать.

Приведем  три  примера:

1.  При  сравнении  конечных  множествах  натуральные  числа  имеют  одинаковое  отношение  порядка. 

2.  При  биекции  одного  на  другое  счетных  бесконечных  множеств,  например  множества  натуральных  чисел  на  множество  чисел  четных,  также  имеет  место  сохранение  отношения  порядка.

3.  При  биекции  одного  на  другое  несчетных  множеств,  например  одного  интервала  действительных  чисел  на  другой,  тоже  сохраняется  отношение  порядка. 

В  приведенных  примерах  биекция  согласуется  с  отношениями  порядка.  И  это  существенно:

«Для  того  чтобы  множества  А  и  В  были  равномощны,  необходимо  и  достаточно,  чтобы  реляционные  системы  áА,  АхАñ  и  áВ,  ВхВñ  были  изоморфны».  (1,  181)

Реляционные  системы  áА,  Rñ  и  áВ,  Sñ  называются  изоморфными,  если  существует  биекция  f,  отображающая  А  на  В  так,  что  для  всех  х,у  Π А

хRy  º  f(х)Sf(у).  (1,  91)

Биекция  предполагает  наличие  в  обоих  множествах  структур,  и  эти  структуры  должны  быть  согласованы  с  биекцией.  Множество  натуральных  чисел  вполне  упорядочено  отношением  R,  а  на  множестве  чисел  диагоналей  таблицы  отношение  S,  удовлетворяющее  1,91  отсутствует.  Поэтому  «диагональное»  отображение  признать  биекцией  неправомерно.

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

1.  Строка  (столбец)  матрицы  равномощна  всей  матрице  в  случае,  когда  строки  и  столбцы  матрицы  представляют  собой  бесконечные  счетные  последовательности,  или:  счетное  множество  равномощно  счетному  семейству  счетных  множеств. 

2.  Плотное  множество  рациональных  чисел  представимо  в  виде  разреженного  множества  рациональных  чисел  с  возможностью  уложить  его  в  матрицу  предыдущего  пункта.  Для  этого  вводится  допущение:  каждое  рациональное  число  «вставляется»  в  матрицу  бесконечное  число  раз.  Сделав  такое  допущение,  у  каждого  элемента  матрицы  индексы  записывают  не  по  порядку,  а  как  частное  от  деления  первого  на  второй.  Далее  сами  элементы  упраздняются,  а  новые  индексы  оставляются.

Так  получается  таблица  Кантора.  (Возможно,  исторически  так  и  было).

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

По  п.  2:  сам  факт  построения  таблицы  является  произвольным  актом  трансформации  множества  плотного  в  множество  разреженное,  и  именно  эта  операция  приводит  к  счетности  множества  рациональных  чисел. 

Имеется  и  такая  точка  зрения: 

действительные  числа  изготавливаются  из  чисел  натуральных  по  определенным  для  каждого  класса  чисел  алгоритмам; 

выбор  этих  алгоритмов  не  проистекает  из  природы  действительных  или  натуральных  чисел  и  определяется  исключительно  потребностями  людей:

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

Разный  инструментарий  дает  и  разные  числа:

*рациональные  числа  представляются  десятичной  конечной  либо  периодической  дробью.

*иррациональные  числа  —  десятичной  непериодической  дробью.

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

Все  же  правомерен  вопрос:  каких  чисел  «больше»  —  рациональных  или  иррациональных?

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

Множество  всех  точек  отрезка  0  ≤  х  ≤  1  несчетно.  (Г.  Кантор)

Д  о  к  а  з  а  т  е  л  ь  с  т  в  о.  Допустим,  что,  напротив,  множество  всех  точек  отрезка  [  0,  1  ]  счетно  и  все  их  можно  расположить  в  последовательность 

х₁,  х₂,  …,  х_n,…  Имея  эту  последовательность,  построим  следующим  образом  последовательность  вложенных  друг  в  друга  отрезков.

Разделим  отрезок  [  0,  1  ]  на  три  равные  части.  Где  бы  не  находилась  точка  х₁,  она  не  может  принадлежать  одновременно  всем  трем  отрезкам  [0,  1/3]  ,

[1/3,  2/3]  ,  [2/3,  1]  ,  и  среди  них  можно  указать  такой,  который  не  содержит  точки  х₁  (ни  внутри,  ни  на  границе);  этот  отрезок  мы  обозначим  через  Δ₁.

Далее,  обозначим  через  Δ₂  ту  из  трех  равных  частей  отрезка  Δ₁,  на  которой  не  лежит  точка  х₂.

Когда  таким  образом  будут  построены  отрезки  Δ₁  É  Δ₂  É  …  É  Δ_n  ,  мы  обозначим  через  Δ_n+1  ту  из  трех  равных  частей  отрезка  Δ_n,  на  которой  не  лежит  точка  х_n+1,  и  т.  д.  Бесконечная  последовательность  отрезков  Δ₁  É  Δ₂  É  …

в  силу  известной  теоремы  анализа  имеет  общую  точку  ξ.  Эта  точка  ξ  принадлежит  каждому  из  отрезков  Δ_n  и,  следовательно,  не  может  совпадать  ни  с  одной  из  точек  х_n.  Но  это  показывает,  что  последовательность  х₁,  х₂,…,х_n,…  не  может  исчерпывать  всех  точек  отрезка  [0,  1],  в  противовес  первоначальному  предположению.  Теорема  доказана.

Заменив  в  этой  теореме  слова  «точки»  словами  «рациональные  числа»  или  «иррациональные  числа»,  получим  три  теоремы.

Все  три  теоремы  одинаково  логичны.

Это  возможно,  потому  что  во  всех  трех  случаях  используются  такие  свойства  множеств,  которыми  обладают  и  действительные,  и  рациональные,  и  иррациональные  числа.  Эти  свойства  суть:

1.  Плотность  множества,  дающая  возможность  бесконечного  деления  отрезка  на  все  более  мелкие  части.

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

3.  Упорядоченность  множеств,  благодаря  которой  и  возможна  топология.

Что  же  правильно  —  «диагональный»  метод,  приводящий  к  счетности  множества  рациональных  чисел,  или  только  что  приведенная  теорема,  приводящая  к  несчетности  этого  множества?

Если  структуру  множеств  во  внимание  не  принимать,  то:

  «докажем»  счетность  рациональных  чисел  на  отрезке  (0,  1):

1.  Делим  отрезок  на  две  части  и  нумеруем  полученные  числа. 

2.  делим  отрезок  на  три  части  и  продолжаем  нумерацию.

3.  Делим  отрезок  на  четыре  части  и  снова  продолжаем  нумерацию  и  т.  д.

Продолжая  процесс  до  бесконечности,  пронумеровываем  все  множество  рациональных  чисел  на  заданном  отрезке.  Именно  эта  операция  и  применена  Кантором  в  таблице  последовательно  для  отрезков  [0,  1],  [0,  2],  [0,  3]  …

«Докажем»  счетность  иррациональных  чисел  на  отрезке  [0,  1]:

1.  Делим  отрезок  на  несколько  не  обязательно  равных  частей  с  помощью  каких-нибудь  иррациональных  чисел  и  нумеруем  полученные  числа.

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

Продолжая  процесс  до  бесконечности,  пересчитываем  все  иррациональные  числа. 

Возможно,  истоки  теоремы  Кантора  следует  искать  не  в  логике,  а  в  психологии.  Действительно,  если  пытаться  пронумеровать  по  порядку  рациональные  числа,  то  между  соседними  числами  всегда  найдутся  еще  числа.  Представив  числа  эти  как  отношение  числителя  к  знаменателю,  где  последние  суть  счетные  множества,  не  ясно,  как  занумеровать  одним  множеством  индексов  два  множества  индексов.  (Иными  словами,  как  одномерное  пространство  «расщепить»,  чтобы  получилось  двумерное).

Нарисуем  таблицу.  И  пусть  всю  таблицу  нарисовать  не  представляется  возможным;  пусть  в  ней  каждое  рациональное  число  встречается  бесконечное  количество  раз;  пусть  нет  правила,  как  избавиться  от  лишних  чисел;  пусть  каждая  диагональ  все  длиннее;  пусть  бесконечность  уходит  не  только  вправо,  но  и  вниз,  да  еще  счетное  число  раз;  пусть  по  числам  приходится  двигаться  взад  вперед  от  нуля  до  бесконечности:  но  как  наглядно,  логично  и  убедительно  смотрится  ее  левый  верхний  угол!

Воспроизведение  структуры  апории  Зенона  в  области  чисел,  по  мнению  автора,  налицо: 

*и  у  Ахиллеса,  и  у  Кантора  задаются  объективно  не  обоснованные  маркировки  пути,  при  этом  так,  чтобы  из  них  следовали  нужные  выводы;

*и  у  Ахиллеса,  и  у  Кантора  -  строгая  внутренняя  логика:

  парадоксальность  наличествует  лишь  в  результатах.

*у  Ахиллеса  упущена  структура  —  время,  у  Кантора  —  структура  множеств.

Наглядность  таблицы  Кантора  и  была,  вероятно,  тем  фактором,  который  затруднил  тщательное  рассмотрение  его  «диагонального»  метода.

И  наконец:  «диагональный»  метод  не  безобиден:  он  затрагивает  основание  философии  —  соотношение  «бытие-ничто»  (2,  139).  Манипулируя  бесконечным  числом  бесконечных  рядов,  конструируя  по  произволу  таблицу,  по  произволу  задавая  путь  по  таблице,  используя  неявным  образом  понятие  актуальной  бесконечности,  метод  этот  строит  из  материала,  отпущенного  на  строительство  одномерного  пространства,  пространство  двумерное.  Последнее  равносильно  творению  из  ничего,  что  доступно  только  Богу,  все  людские  попытки  в  этом  направлении,  по  мнению  автора,  несостоятельны.

Поэтому  результатом  стали  парадоксы:  разреженное  множество  натуральных  чисел  равномощно  плотному  множеству  чисел  рациональных,  прямая  равномощно  плоскости  и  вообще  n-мерному  пространству,  и  т.  п.

И  до  сих  пор  они  считаются  хрестоматийными  фактами.

Список  литературы:

1. Куратовский  К.,  Мостовский  А.Теория  множеств.  М.:  Мир,  1970.
2. Гегель  Г.В.Ф.  Наука  логики.  Т.  1,  М.,  1970.