О способах представления чисел

В статье приведены аргументы к полемике с некоторыми тезисами теории множеств, предложенной Г. Кантором.

Содержание

• 1.    Вместо предисловия \

• 2.    Теорема о счетности положительных чисел позиционного счисления меньших единицы \

• 3.    Следствия теоремы \ 7

• 4.    Подробный анализ диагонального метода \ 7 Литература 7

2.    Теорема о счетности положительных чисел позиционного счисления меньших единицы

1.    Вместо предисловия

В своей работе «Об одном свойстве совокупности всех действительных чисел» Г. Кантор писал, что его «теорема … оказывается основанием того, почему совокупность всех действительных числовых величин, образующую так называемый континуум (например, совокупность всех действительных чисел, которые ≥ 0 и ≤ 1), нельзя однозначно отобразить на совокупность (ν)» [1, стр.19]. Через (ν)   он обозначал множество целых упорядоченных чисел (1, 2, 3, …). В этой работе он начал формирование особого способа доказательства, который в последствие получил название диагонального метода Кантора. С тех пор после его работ, т. е. с конца XIXв., в математике вошло в норму утверждение о том, что диагональным методом Кантора может быть доказана, например, несчетность множества действительных чисел. Кроме этого, данный метод был задействован в ХХ в. при доказательстве весьма значимых для всей математики теорем.

В самом начале 2020-го года вышла в свет моя книга «Математические основания философии Ноосферы» [4,5], в которой была приведена публикуемая ниже теорема и ее следствия. Фактически она является основанием для признания диагонального метода Г. Кантора математически некорректным способом аргументации.

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

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

Для доказательства теоремы следует указать способ установления биекции между элементами натурального ряда и дробными числами на полуинтервале [0; 1), выраженными в десятичном счислении.

Введем определение.

Операцией зеркального отображения произвольного слова С к :

Ск = окок-1... о3о2о1, состоящего из к (к = 1,2,3,...) букв конечного алфавита Ат

{Ат} = Б1, Б2, Бз.....Бт , назовем математическую операцию, в результате которой получается слово, состоящее из тех же самых букв, размещенных в обратном порядке:

Ск = 010203. .. ок-1 ок .

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

Пользуясь процедурой зеркального отображения чисел, состоящих из цифр десятичного позиционного счисления, нетрудно привести способ установления биекции, требуемой для доказательства теоремы. Так порядковый номер п произвольного (дробного) числа Д_п десятичного позиционного счисления из полуинтервала [0; 1)

Дп = 0, (1(2(3... сц-1Сцсц+1... (к-1(к;

где ( j = 0,1,2,... ,9 , в точности равен порядковому номеру п -ого натурального числа Ц_п , выраженного на языке десятичного позиционного счисления

Цп = акак-1...а1+1а1а1-1...аза2С1,0;

где число Ц_п является зеркальным отображением числа Д_п . Теперь рассмотрим обратную процедуру. Для определения числа Д_т заданного множества, т. е. 0 <  Д_т < 1 , соответствующего номеру т , необходимо выписать число Ц_т натурального ряда с номером m на языке десятичного позиционного счисления, произвести всю совокупность перестановок цифр до получения его зеркального отображения, затем слева добавить запятую и ноль (для указания количества целых чисел в нем). Теорема доказана.

Для иллюстрации зеркальной симметрии можно привести два столбца чисел. Слева последовательно в столбце выписаны числа Ц_п натурального ряда, а справа - соответствующие числа из Д_п :

0,0	0,0
1,0	0,1
2,0	0,2
9,0	0,9
10,0	0,01
11,0	0,11
12,0	0,21

19,0	0,91
100,0	0,001
156700,0	0,007651

Существуют и другой алгебраический способ реализации биективного зеркального отображения. В общем виде дробное число N д десятичного позиционного счисления из полуинтервала [0; 1) представимо так:

N„ =    ^j^"^ ^₊ _ ₊ -^ = ^^ ^ ;

Д     101    102    103           101          10n       t-1v 101У где Х^ = 0,1, 2,..., 9 — цифры десятичного счисления и п — число, указывающее количество слагаемых, может быть сколь угодно большим. Целое (натуральное) число Nq, представляющее порядковый номер дробного числа Nд в результате зеркального преобразования Nд => Nq, будет вычисляться следующим образом:

Nq = -^101 + -^103 + — 105 + ^ + —102" 1 = q    101        io2         юз             юта

si:j(^i02i-1).

Приведенное преобразование имеет и обратное, которое нетрудно установить.

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

Данная теорема может быть перенесена на позиционное счисление с любым целочисленным основанием.

3.    Следствия теоремы

• 1)    В силу существования биективного соответствия между элементами рассматриваемых бесконечных множеств их мощности равны, т. е. мощность множества чисел из полуинтервала [0; 1) равна К о .

• 2)    Способ построения чисел в позиционное счисление с любым целочисленным основанием больше единицы представляет собой способ построения слов непротиворечивого и полного (без повторений и пропусков) языка (данного позиционного счисления), как законченного единого объекта.

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

Обозначим символом Ж 1о множество всех действительных чисел десятичного позиционного счисления, а символами Ж +о и Ж -о множества соответственно положительных и отрицательных действительных чисел того же счисления, причем в каждое из них включим ноль: в первое – «положительный», а во второе – «отрицательный».

Известно, что множество, например, всех слов языка в произвольном (конечном) алфавите перечислимо. Содержательно, процедура перечисления такова. Поскольку все слова данного множества могут быть упорядочены в словарном порядке, т. е. в виде О- о , О 1 , О₂, О д ,... , то существует алгоритм, дающий по произвольному натуральному числу к получить О ^ член данной последовательности.

Множество Ж+о всех действительных положительных чисел десятичного позиционного счисления ничем не отличается в этом отношении от множества слов подобного языка. Для иллюстрации приведем способ перечисления его элементов. С этой целью воспользуемся тем, что произвольное действительное положительное число М+ Е Ж+о , выраженное на языке данного счисления может, быть представлено в виде двух отдельных частей (слагаемых): целой О и дробной Ь. Дробную часть Ь числа М+ после зеркального отображения Ь => Ь будет представлять целое число Ь, которое по сути будет порядковым номером дробного числа Ь: (0 < Ь < 1) или точно такого же дробного числа Ь: ((М+ — о) < b < (М+ — а + 1)), т. е. числа в множестве дробных чисел на открытом справа полуинтервале между двумя соседними целыми числами, в том числе и между целыми числами а и а + 1, т. к. множество дробных чисел десятичного счисления между любой парой соседних целых чисел того же счисления одинаково. Теперь нетрудно заметить, что каждая из частей числа М+, будучи представленной некоторым целым положительным числом а или b, является перечислимой. Действительно, каждая из них является элементом собственно натурального ряда, а способ упорядочивания членов натурального ряда нам известен. Итак, нами установлено, что произвольному числу М+ Е Ж+ данного позиционного счисления может быть биективно сопоставлена пара чисел натурального ряда.

Так как множество пар (а,Ь) натуральных чисел десятичного счисления перечислимо, например, функцией ( и — натуральное число) [2]

Ф(и) = (а,Ь) ;                      (1)

где и = 2^a(2b + 1) — 1 , то множество Ж +0 является перечислимым.

Множество Ж+0 счетно в силу того, что оно является результатом объединения счетных множеств — счетного множества целых положительных чисел (натурального ряда) и счетного множества счетных множеств дробных чисел, например, на полуинтервале [0;  1),  — выраженных на языке десятичного позиционного счисления. Известен также и альтернативный способ установления счетности результатов (и) перечисления (1), а значит и счетности множества пар номеров, соответствующих двум частям произвольного числа М+ Е Ж+ — целой и дробной, — а следовательно, и счетности собственно чисел в Ж+о . Графически результаты (и) перечисления (1) могут быть представлены в форме двумерной таблицы (матрицы), в которой каждый номер (и) помещается на пересечении соответствующих значений абсциссы а и ординаты b. Краткая запись подобной таблицы (двумерного массива) может выглядеть так:

• и00 и01 и02

• и10 и11 и12

• и20 и21 и22

Здесь индексами обозначены значения абсциссы а и ординаты Ь соответственно. Как известно, подобный массив может быть биективно сопоставлен натуральному ряду. Для этого необходимо по порядку выписывать его члены, лежащие на параллельных диагоналях, начиная с первого — углового:

• ^И00 ,    ^И01 ,    ^И10 , ^И20 , ^И11 , ^И02 , •- .

Это и есть альтернативный способ доказательства счетности множества Ж +0 всех положительных действительных чисел десятичного позиционного счисления; его в свое время использовал Кантор для доказательства счетности множества рациональных чисел.

Точно такой же результат мы получим и для множества Ж-0 вещественных отрицательных чисел данного счисления, если во всех операциях по определению соответствующих порядковых номеров будем игнорировать знак минус перед числами из Ж- , заменив переменные в (1) на И-, а-, Ь-, так что, например, натуральный ряд для чисел данного множества будет обозначаться следующим образом: (и-) = 0,1, 2, 3, .... Итак, мы получили способ вычисления номеров (и) и (и-) для чисел двух различных множеств Ж+0 и Ж-0. После этого уже для произвольной пары чисел М+ Е Ж+0 и М- Е Ж-0   вычислим функцию <р(и±)  от пары им биективно соответствующих номеров (и-, и) :

^(и¹) = (и^-, и),                          (2)

где И ± = 2^я (2и + 1) — 1 и где первым аргументом является порядковый номер из множества (и^-) для отрицательного числа М^- , а вторым — порядковый номер из (и) для положительного числа М⁺ . Возможность установления биективного соответствия полученного двумерного массива элементов (и ± ) с числами натурального ряда (см. выше метод параллельных диагоналей) позволяет доказать также альтернативным методом счетность множества пар (М⁺, м^-) чисел Ж 1 ⁺ 0 и Ж 1 ^- 0 .

Существует и обратный алгоритм, позволяющий по произвольно заданному номеру (натуральному числу) И ± из (и ± ) установить ему биективно соответствующую пару чисел М + Е Ж +0

и Мо Е Ж10 . С этой целью необходимо сначала установить по заданному номеру и± из (и±) какая пара номеров ио из (и) и И1 из (и1) ему соответствует. Для этого требуется вычислять <р(и±) до тех пор, пока не получим и± ; используемые при этом значения для и1 и и будут указывать на искомые номера И1 и и0. Затем, например, по значению номера ио необходимо аналогичным образом установить номера а0 и й0, соответствующие двум частям искомого числа М+ Е Ж^, целой и дробной. После этого, отобразив зеркально второе число, мы получим Ьо, а приписав его справа через запятую к номеру d0, который является в то же время и собственно целой частью числа М+, мы получим искомое положительное действительное число М0 из множества Ж^д, биективно соответствующее заданному номеру и±. Этому же числу будет биективно соответствовать и определенное отрицательное действительное число MQ Е Ж10 , которое не сложно вычислить по аналогии с положительным, имея значение второго номера и1. Тем самым по произвольно заданному номеру и± из натурального ряда (и±) и будет установлена ему соответствующая единственная пара чисел  М+ и  М1  из множества Ж10 всех положительных и отрицательных действительных чисел десятичного позиционного счисления.

Приведенный способ позволяет также перечислить, упорядочить и определить мощность (она равна К_о ) множества С₁₀ всех комплексных чисел данного счисления. Для этих целей потребуется задействовать результаты не двух функций (1) и (2), как для действительных чисел, а четырех подобных функций, учитывая возможные знаки перед мнимой и вещественной частями комплексных чисел. Тем же способом можно перечислить, упорядочить и определить мощность (равную К_о ) множества Ию гиперкомплексных чисел (кватернионов) данного счисления, используя для этих целей уже восемь функций, подобных (1).

Два позиционных счисления с любым целочисленным основанием, как известно, являются эквивалентными в том смысле, что существует алгоритм, дающий по записи произвольного целого числа в первом счислении, запись этого же числа в другом, а также алгоритм, дающий по записи произвольного целого числа во втором счислении запись этого же числа в первом. В силу их так определенной эквивалентности числовая функция (1), вычислимая в одном из них, вычислима и в другом. Отсюда вывод: множество всех чисел позиционного счисления с любым целочисленным основанием счетно и перечислимо, его мощность равна Ко . В завершение следует отметить, что данный вывод правомерен несмотря на то, что в биекции с натуральным рядом участвуют дробные числа из полуинтервала [0; 1) таким образом, что элементам с одним и тем же порядковым номером в разных счислениях (в позиционных счислениях с двумя разными целочисленными основаниями) соответствуют разные точки на участке прямой [0; 1). В частности, это видно и по самому первому ненулевому дробному члену I -значного позиционного счисления. Поскольку один и тот же отрезок от нуля до единицы делится на соответствующее каждому счислению свое оригинальное значение параметра I , постольку и конечные точки первых (1/Z) -ых частей отрезка [0; 1], отображающие первые дробные числа с порядковыми номерами «1» в каждом счислении, не совпадают. Здесь, конечно, имеется в виду, что для дробного числа в данном счислении верно равенство: (0,1) = 1/. Тем самым тезис данного параграфа доказан.

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

4. Подробный анализ диагонального метода

• 1)    В силу специфики способа построения позиционного счисления диагональный аргумент Кантора является, в первую очередь, эффективным методом иллюстрации одного из важнейших свойств языка позиционного счисления – его компактности. Выпишем, например, первые десять упорядоченных членов полуинтервала [0, 1), выраженных на языке десятичного позиционного счисления:

0,0000000000

0,1000000000 0,2000000000 0,3000000000 0,4000000000 0,5000000000

0,6000000000 0,7000000000 0,8000000000 0,9000000000 .

Аргументом Кантора может быть число 0,1211111111 , состоящее из десяти цифр после запятой, которое заведомо не равно ни одному из десяти приведенных членов, но в той же упорядоченной последовательности членов полуинтервала [0, 1) имеет собственное строго определенное место под номером 1111111121 и данный порядковый номер намного превышает номер 9 , т. е. даже номер последнего из десяти вышеприведенных чисел. Вот другой пример. В 60 -значном позиционном счислении для первых 60 членов упорядоченной последовательности дробных чисел, каждое из которых также состоит не более, чем из двух знаков после запятой (если таковых сейчас нет, то их надо придумать), аргументом Кантора может быть диагональное число 0,1211 ... 1 , в котором единиц вместе с двойкой уже не десять, а шестьдесят; данное число также имеет вполне определенное место в упорядоченной последовательности, номер которого является намного большим номера 59 .

Таким образом диагональный метод Кантора действительно демонстрирует свойство компактности позиционного счисления, состоящее в том, что, во-первых, число И является числом намного меньшим числа 10^я , состоящего из И цифр, т. е. И < 10^я , а во-вторых, разница между количеством позиций, на которых они представлены, тем больше, чем больше целочисленное основание позиционного счисления, т. е. 10^я< 20^я< 60^я . Иными словами, то, что диагональный элемент (который с равным успехом может быть построен и на натуральном ряде, если он строится не параллельно, а ортогонально первому), состоящий из И цифр, всегда будет находиться в упорядоченной последовательности первых И чисел намного позже последнего из них, имеющего значение И , является внутренним и неотъемлемым свойством позиционного счисления, использованного Кантором для аргументации своего тезиса.

• 2)    Само по себе свойство диагонального метода Кантора быть прежде всего убедительным аргументом при демонстрации компактности позиционного счисления не ограничивает нас в

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

Хотя, если быть точным, сам автор в работе «Об одном элементарном вопросе учения о многообразиях», датированной 1890/1891г.г. [1, стр.170 ], представил свой метод на примере не позиционного счисления, а на примере бесконечной каким-то образом упорядоченной последовательности всех векторов из множества с бесконечной, но счетной размерностью (мощность множества упорядоченных базисных векторов равна Ко ) при том, что каждый из ортогональных векторов базиса мог принимать только одно из двух возможных (не обязательно числовых) значений m или СО. По сути, не указывая никакого счисления, он имел в виду просто слова, состоящие из бесконечного набора букв двоичного алфавита. Это уже потом, апологеты Кантора, видимо, хотели как лучше и применили его метод к двоичному, а затем десятичному позиционному счислению и не к множеству целых чисел, а к множеству положительных чисел не больших единицы. Вот пример того, как эта идея Кантора была реализована в одном из современных вариантов    доказательства    континуальности    множества действительных чисел.

• 3)    Приведем диагональный метод Кантора в изложении Клини [3, стр.13-14]. «Посредством знаменитого “диагонального метода” Кантора было доказано, что в математике рассматриваются и такие бесконечные множества, которые не могут быть пересчитаны. Множество действительных чисел несчетно.

Рассмотрим сначала действительные числа X в полуинтервале 0 < X < 1. Каждое действительное число из этого полуинтервала однозначно представляется посредством некоторой правильной бесконечной десятичной дроби, т. е. десятичной дроби, первая значащая цифра которой стоит правее запятой и в которой имеется бесконечно много цифр, отличных от 0. Число может представляться в виде конечной десятичной дроби, т. е. дроби с повторяющимися нулями, но такую дробь можно заменить на бесконечную с повторяющимися девятками. Например, 0,483 или 0,483000... можно заменить на 0,482999.... Обратно каждая правильная бесконечная десятичная дробь представляет единственное число из этого полуинтервала.

Допустим теперь, что

Х о ,Х 1 ,% 2 ,Х з, ...

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

0, ^Х00 ^Х01 ^Х02

Х03 . . .

0, ^Х10 ^Х11 ^Х12

0, ^Х20 ^Х21 ^Х22

Х13 . . .

Х23 . . .

0, ^Х30 ^Х31 ^Х32 ^Х33 . . .

Образуем диагональную дробь, указанную стрелками.

Заменим в ней

каждую из последовательных цифр Х_пп на отличную от нее цифру х П_п так, чтобы при этом не получилась конечная дробь. Например, пусть % пп = 5 , если Х_пп ^5 , и Х ^п = 6 , если Х_пп = 5 .

Полученная дробь

0, ^Х00 ^Х11 ^Х22 ^Х33 . . .

представляет некоторое действительное число Х , которое принадлежит нашему полуинтервалу, но не входит в рассматриваемый пересчет. Действительно, эта дробь отличается от первой из данных дробей своей первой цифрой после запятой, от второй - своей второй цифрой после запятой, от третьей - третьей цифрой после запятой и т. д.

Поэтому данный пересчет не является пересчетом всех действительных чисел полуинтервала 0 < Х < 1 . Пересчета всех действительных чисел этого полуинтервала не существует.»

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

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

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

Ниже приводятся аргументы в защиту данного тезиса.

• 4)    Из теоремы, приведенной в начале статьи следует, что, если мы удалим все десятичные числа позиционного счисления из полуинтервала [0, 1), то возможны два взаимоисключающих вывода:

• -    между конечными значениями отрезка 0 и 1 отсутствуют какие бы то ни было числа;

• -    между конечными значениями отрезка 0 и 1 отсутствуют какие бы то ни было иные числа, кроме тех, точное значение которых выразимо или на языке позиционных счислений с иными целочисленными основаниями, или на языке, заведомо не эквивалентном языку позиционного счисления с каким бы то ни было целочисленным основанием.

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

• 5)    В работе «К учению о многообразиях», датированной 1878г. [1,стр.22], обсуждая возможность доказательства своей теоремы на множестве десятичных чисел, Кантор настаивал, что дробные числа, которые заканчиваются справа незначащими (так они называются, по крайней мере, в современной терминологии) нулями, должны рассматриваться как исключенные, ибо они относятся к «конечным десятичным представлениям». Видимо имея в виду то же самое, Клини предложил, что, например, такое число, как 0,483 «можно заменить» на 0,482999.... Однако данное предложение оказывается

  деструктивным. В рассматриваемом нами счетном множестве чисел десятичного позиционного счисления имеет свое место и 0,483, и 0,482999..., поэтому, если мы на место первого поставим второе, то в счетном множестве получим два одинаковых числа, расположенных на разных позициях. Это будет противоречить начальному условию, зафиксированному Клини: «…каждая правильная бесконечная десятичная дробь представляет единственное число из этого полуинтервала». Поэтому единственный способ из числа 0,483 сделать бесконечную дробь, избегая противоречия с начальным условием самого Клини – это добавить бесконечное множество незначащих нулей в конец числа. Кстати, их можно без ущерба добавлять как справа от последней значащей цифры, так и слева от

первой значащей цифры – это нормальное правило элементарной арифметики; поскольку эти нули вообще ничего не значат, то их можно добавлять конечное или произвольное количество или не добавлять совсем. Таким образом, если у Клини одно число «можно» заменять другим, то мы вынуждены признать, что «можно» и не заменять, т. е. не следовать его пожеланиям, дабы не противоречить его же более категоричному условию. Если так, то теперь полуинтервал Клини 0 <  X < 1 без проблем заменяется на интервал 0 <  X < 1 . Он заменял 1 на 0,999..., а последнее число и так должно быть в нашей счетной последовательности. Поэтому без ущерба для доказательства единицу можно удалить из рассматриваемого множества действительных чисел, а ноль добавить. Итак, если теперь к каждому дробному числу, список которых приведен в теореме в начале статьи, добавить справа бесконечное множество незначащих нулей, то мы получим счетный список действительных чисел полуинтервала 0 < X < 1 в форме бесконечных дробей, где «каждая правильная бесконечная десятичная дробь представляет единственное число…» на избранном полуинтервале.

Так вот, если мы теперь исключим из данного полуинтервала не только те числа, о которых говорил Кантор, но и счетное множество чисел десятичного позиционного счисления, то больше чисел данного счисления на указанном полуинтервале быть не может, по определению собственно данного счисления и согласно вышеприведенной теореме. Хотелось бы сказать, что метод формулирования по Кантору диагонального элемента десятичного позиционного счисления является по сути разновидностью парадокса о Лжеце, да беда в том, что метод – это не говорящий субъект, данная категория, увы, безмолвна «по определению», но парадоксальность имеет место. Ведь данный метод составления элемента Кантора связан со свойством диагонали квадратной матрицы, которая проходит через элементы, расположенные на пересечении одинакового количества строк (чисел позиционного счисления в упорядоченной последовательности) и столбцов (количество цифр после запятой). Но из свойства позиционного счисления, не обязательно десятичного, следует, что диагональное слово (или число) Кантора, не приводя к противоречию, может быть членом данного позиционного счисления только в случае рассмотрения конечной последовательности чисел с добавлением к каждому числу определенного количества незначащих нулей для выравнивания количества строк и столбцов и получения квадратной матрицы; ведь без обязательного добавления незначащих нулей диагональное слово Кантора не может быть построено даже в конечной последовательности чисел в силу свойства компактности счисления. При данных условиях диагональное слово, имея заведомо не нулевую последнюю цифру (т. к. ноль должен быть заменен на любую другую цифру), будет обладать порядковым номером, намного превышающим номер последнего числа в квадратной матрице, а потому оно действительно будет расположено далеко за границей матрицы, но, тем не менее, оно будет находиться в пределах счетного множества всех десятичных чисел. В ином случае, когда последовательность охватывает все числа данного счисления, диагональное слово Кантора (если оно вообще может быть составлено) должно быть чем угодно, но только не числом, имеющим свое точное значение на языке данного счисления, т. е. чем угодно, но только не тем, чем ему предписывается быть по утверждению Кантора-Клини. Ну посудите сами. Если это число является числом десятичного позиционного счисления, то оно должно быть расположено внутри счетного множества таких чисел, которые полностью и по порядку располагаются в строках матрицы. Но тогда оно не может служить аргументом, убеждающим нас в существовании, по крайней мере, еще одного десятичного числа, кроме счетного множества десятичных чисел, приведенных в бесконечной матрице. А если оно находится вне приведенной бесконечной матрицы, то оно не может быть числом десятичного позиционного счисления даже при том, что оно составлено из цифр десятичного алфавита. Следовательно, и в этом случае оно утрачивает силу аргумента, способного убедить нас в существовании еще одного такого же числа, но не равного ни одному из их приведенного счетного множества. Известно, что числа позиционного счисления составляют множество элементов, упорядоченных четырьмя способами: во первых, каждая цифра - по алфавиту, во-вторых, каждая позиция — по номеру П от запятой, в-третьих, одна и та же цифра на разных позициях — по «весу», пропорциональному десятке в степени П с соответствующим знаком для целой и дробной частей, например, 10±0,10±1,10±2, .„, и, в-четвертых, каждое следующее целое число и каждый номер следующего дробного числа — по порядку на единицу больше текущего. Во избежание вышеотмеченного противоречия диагональное слово Кантора может представлять собой, если не слово языка, аналогичного, например, русскому, то, в лучшем случае, только слово языка позиционного счисления, основанием которого является бесконечное целое число, т. е. слово, состоящее, например, из символов бесконечного алфавита, включая и символы алфавита десятичного счисления, которые не упорядочены и не могут быть упорядоченными в нем должным образом, а потому данное слово может быть уже не только элементом иного множества, нежели просто счетного десятичного позиционного, но и элементом именно континуального множества в силу принципиальной невозможности упорядочивания его букв хотя бы по «весу»:

(ю)±0,(ю)±1,(ю)±2, ....

В любом случае диагональное слово Кантора – Клини во избежание указанных противоречий не должно быть числом, а значит его использование в доказательстве так, как это делали они, является не корректным. Клини, например, не мудрствуя лукаво просто констатирует, что полученная дробь «… представляет некоторое действительное число X , которое принадлежит нашему полуинтервалу, но не входит в рассматриваемый пересчет». Однако чтобы оно стало действительно убедительным аргументом при доказательстве, например, континуума рассмотренного множества чисел, необходимо сначала в явном виде привести доказательство того, что данное слово является числом, а значит обладает всеми его свойствами, а потом уже констатировать этот факт как доказанное утверждение, иначе это действительно будет «не математика, а теология».

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

• 6)    С учетом сказанного можно предположить, что к множеству чисел на полуинтервале [0, 1) относятся:

• -    счетное множество чисел, значение которых однозначно выражаемо на языке данного позиционного счисления, например, десятичного;

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

результаты алгебраических операций и выразимых в соответствии со своим точным значением или на языке позиционных счислений с иными целочисленными основаниями, если числа рациональные, или, если числа иррациональные, на символьном языке (например, п — 3 , е — 2 , V2 - 1 и т. п.), не эквивалентном языку ни данного ни любого другого целочисленного позиционного счисления, а потому в рамках, по крайней мере, данного позиционного счисления каждое из них имеет бесконечное множество только приближенных значений в зависимости от заданной (требуемой) точности.

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

• 7)    Существует еще один фактор, который является хотя и опосредованным, но тем не менее весьма убедительным аргументом в пользу приведенной критики диагонального метода Кантора. Речь идет о двух формах представления произвольного числа (алгебраического, трансцендентного и т. п.) с неограниченным количеством цифр: гомоморфной и полиморфной. В гомоморфной форме число представляется в символьном виде, например п , что отображает его единственное точное значение. В полиморфной – с помощью неограниченного множества строго упорядоченных значений, например, в десятичном счислении: 3; 3,1; 3,14; 3,141; .... В последнем случае вся бесконечная совокупность его приближенных значений является единым полиморфным объектом. Между данными формами может быть установлено обусловленное биективное соответствие. Это значит, что трансцендентное число (гомоморфизм) п , имеющее единственное точное значение, не выражаемое на языке десятичного позиционного счисления, может быть взаимно однозначно сопоставлено с одним из значений полиморфного объекта, если оно обусловлено получением заранее заданной точности. Конечно, сама по себе возможность представления

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

В принципе принимая гипотезу, основываясь на одном из приведенных выводов (см. выше пункт 4), можно получить, как уже отмечалось, или дискретную математику, или математику непрерывных величин, т. е. два уровня математики, которые в современной науке не обязательно должны сосуществовать в «параллельных мирах» и, тем более, ни в коем случае не должны взаимно исключать друг друга. Здесь будет неуместным подробное обсуждение способа объединения их в рамках единой системы. Поэтому сначала лишь справочно отметим, что в книге [4, 5] представлен общий метод однообразно мотивированного поэтапного расширения математики, начиная с начального уровня (в качестве которого обоснованно выбрана аддитивная математика шумеров), возможно, до конструкции, объединяющей единым алгоритмом все известные математические структуры; а затем кратко опишем его.

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

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

Это достигается, в частности, тем, что результат измерения во вновь построенной математике редуцируется по очереди к одной к одной из «разновидностей» расширяемой математики и сравнивается с результатом измерения, полученным в ней; затем из равенства результата новой математики порознь каждому из двух возможных результатов расширяемой математики и следует вывод доказываемой теоремы.

Затем опять симметризуются некоторые другие несовместимые условия конструктивных процессов измерения и математическая конструкция снова расширяется. Анализ показал, что в подобный способ последовательного расширения математик могут быть вовлечены все известные математические структуры, т. к. в рамках каждой из них что-нибудь да симметризуется. На худой конец любое уравнение является средством симметризации множества значений в мультиплете, который мы обычно называем переменной. Здесь важным остается лишь поиск обоснования и причины того, какие способы измерения объединяются и почему они объединяются. Тем самым в рамках единой стройной системы каждая из известных на сегодня математических структур найдет свое убедительное обоснование. Следовательно, без всякого преувеличения можно сказать, что данный метод и является искомым уже не одно столетие методом обоснования начал математики.

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

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

В рамки данного метода органично вписывается и этап подобного расширения математик, упомянутых выше в начале настоящего параграфа: с уровня математики дискретных величин до (более высокого) уровня математики непрерывных величин с возможностью (обратного) редуцирования результатов с верхнего уровня на нижний. И главная роль в возможности обратного непротиворечивого и биективного редуцирования результатов именно в данном объединении математик отводится особому свойству (идеальных или абстрактных) чисел, факт существования которых доставляет нам алгебра (которая кстати является и способом их верификации), а не только структура позиционного счисления сама по себе. Это свойство и заключается в том, что каждое подобное число с необходимостью должно представляться в любой из двух возможных форм — гомоморфной и моносемантической или полиморфной и полисемантической.

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

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

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

Особо хотелось отметить еще раз, что речь идет не о континуальности множества таких чисел как таковой, а о диагональном методе доказательства данной континуальности.

• 8)    Математическая некорректность диагонального аргумента Кантора в применении к позиционным счислениям для установления существования бесконечных множеств мощности континуума ставит под сомнение легитимность его использования и в других резонансных теоремах прошлого столетия.