Математика бесконечности

Юрий Лебедев

Аш-функция Хевисайда

Все происходит по ступеням,

Как жизнь сама.

Я чувствую, что постепенно

Схожу с ума.

Н. Глазков, 1943 г.

Однажды вечером Серафим Серафимович Аралов, директор музея истории МХТИ им. Д.И. Менделеева, позвонил мне и сказал, что в связи с реконструкцией дома у метро ВлСмоленскаяВ» под угрозой находятся остатки архива известного химика Петра Петровича Будникова. Нужно было попытаться спасти документы. Следующий день у меня был занят, и мы договорились поехать за бумагами послезавтра. Увы! Мы опоздали. Именно назавтра весь ВлхламВ» из будниковской квартиры был выброшен строителями на помойку. С тех пор я не могу проходить спокойно мимо куч строительного мусора тАУ мне все кажется, что среди этих палок, битого кирпича и клочков бумаги могут валяться чьи-то рукописи, потеря которых приведет в отчаяние будущих историков науки.

И, представьте себе, эти опасения оказались не напрасными! Спустя некоторое тАУ довольно продолжительное тАУ время случай снова поманил меня к архивным изысканиям. В заброшенной деревне Копьево Костромской области, где я проводил лето, рухнул от ветхости дом, и я, глядя не еще пылящую кучу старых бревен, соломы, ободранных обоев, вспомнил историю будниковского архива. А вдруг?!

Когда у меня в руках оказалась старая картонная папка, я был уже уверен, что в ней не вырезки из газет о Влцарице полейВ» кукурузе. И совершенно не удивился тому, что моя уверенность оправдалась. В папке находились рукописи или, точнее, черновики двух статей тАУ ВлПринципы семиотической термодинамикиВ», ВлОтказ от исключенияВ» тАУ и целая пачка других, для прочтения которых потребуется еще много усилий. Ни имени автора, ни даты написания на листках не было. Вероятнее всего, папку забыл кто-то из ВлдикарейВ» прошлых лет. Не имея возможности объясниться с автором, я решил предложить вашему вниманию свой вариант расшифровки одной из этих до крайности небрежно написанных неудобочитаемым почерком статей.

Я долго не мог понять, к какому жанру относится найденная мною рукопись, чего хотел неизвестный автор? Теперь, как мне кажется, я нашел ответ. Папка хранила научные фантазии! Этот жанр, широко известный благодаря трудам С. Лема, не следует путать с научной фантастикой, в которой столь же плодотворно работал Лем. ВлСолярисВ» тАУ это научная фантастика, а ВлИстория битической литературыВ» тАУ это научная фантазия. И поскольку любой жанр, кроме скучного, имеет право претендовать на внимание читателя, найденные мною тексты попытаются реализовать это свое право. Насколько оно законно, судите сами.

Отказ от исключения

..одни сотрудники все время занимались делением нуля

на нуль на настольных ВлмерседесахВ», а другие отпрашивались

в командировки на бесконечность..

А. и Б. Стругацкие. Понедельник начинается в субботу

Листок первый

Весь предшествующий опыт утверждает нас

в вере, что природа представляет собой реализацию

простейших математически мыслимых элементов.

А. Эйнштейн. О методе теоретической физики.

Спенсеровская лекция, 10 июля 1939 г.

Что значит ВлпростейшихВ»? когда летом 1966 г. я задумался над удивительным запретом арифметики тАУ запретом деления на нуль, мне казалось, что простейшим элементом, альфой и омегой всей теории чисел является нуль. Теперь ясно, что и он также сложен, как и все в мире. Как точно сказал об этом Леонардо да Винчи: ВлСреди великих вещей, который находятся меж нас, существование Ничто тАУ вещь величайшая!В»

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

Кстати, скажу для профессионалов, что и о работах индийского математика и астронома VI..VII вв. Брахмагупты, который рассматривал употребление нуля во всех арифметических действиях, я тогда, летом 1966 г., абсолютно ничего не знал.

Главное, по-моему, все-таки то, что идея возникла. Прав Эйнштейн, Влоткрытие не является делом логического мышления, даже если конечный продукт связан с логической формойВ».

Итак, утверждение: нуль есть число.

Следствие: 1/0 тАУ тоже число! Но 1/0 > M, где M тАУ сколь угодно велико! И это очень важно тАУ существует число, качественно отличающееся от любого до сих пор известного. Качественно новое число.. k-число. Пусть так и обозначается в дальнейшем. Любопытно отметить, что среди ВлбесконечныхВ» чисел оно не единственное, оно только начало ряда: k, 2k, 3k и т.д. Числовая ось перешагнула порог бесконечности.

Листок второй

Дорогу осилит идущий..

Ригведа. Гимн щедрости, X век до н.э.

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

(Хм.. Опять мотив мусорной кучи, в которой и была найдена эта рукопись.. Но не в этом дело. Фраза у автора получилась выразительной, но по сути она неправильна, ибо с натяжкой может быть отнесена лишь к потенциальной бесконечности, к актуальной же и вовсе неприменима. Кроме того, в ней подразумевается, что нуль тАУ это предел функции, и бесконечность тАУ функциональная. В тексте же рассматривается числовая бесконечность. Но не будем придираться, как всякая образная фраза, интуитивно она может быть и глубока. тАУ Ю.Л.)

Более того, k-числа тАУ продолжение оси действительных чисел:

1 - 2 - 3 - 4 - 5 - 6 - 7 - 8 - 9 - .. - k - 2k - 3k - 4k - 5k - 6k- ..

А что такое ∞В·k? Может быть, это тАУ k²? В таком случае тАУ опять качественный скачок в направлении возрастания чисел и числовая ось принимает вид:

0 - 1 - 2 - .. - k - 2k - 3k - .. - k² - 2k² - 3k² - .. - k³ - 2k³ - 3k³ - .. - kⁿ -

Эти отрезки числовой оси имеют качественные границы k, k², .., kⁿ. Но они не изолированы друг от друга. Все тот же нуль связывает их. Действительно,

k²В·0 = kВ·kВ·0 = kВ·1/0В·0 = k,

ибо нуль тАУ число, и его можно сокращать как обычные числа. Отсюда правило: при умножении на нуль в области чисел вида kⁿ происходит переход в область чисел вида k^nтАУ1. При делении на нуль, что равносильно умножению на k, происходит переход в область kⁿ⁺¹.

Листок третий

Разбросанным в пыли по магазинам

(Где их никто не брал и не берет!)

Моим стихам, как драгоценным винам,

Настанет свой черед.

М.И. Цветаева, май 1913 г., Коктебель

Увы!. Все новое тАУ это хорошо забытое старое. Цитирую из ВлОснований алгебры Леонарда Эйлера части первой первыя три отделения, переведенныя с французского языка на Российской, со многими присовокуплениями, Василием Висковатовым, Академии Наук Экстраординарным АкадемикомВ». Издано в 1812 г. в Санкт-Петербурге:

ВлВз83

..Поелику дробь 1/∞ показывает частное, происходящее от деления 1 на ∞, и мы знаем также, что когда делимое 1 на частное число 1/∞ или 0, как прежде мы видели, разделится, то выйдет делитель ∞, и из сего получаем мы новое понятие о бесконечности, а именно, что оная происходит от разделения 1 на 0; чего ради по справедливости сказать можно, что 1, разделенная на 0, означает бесконечно великое число, или ∞..В»

Итак, о том, что 1/0 есть именно число, а не предел функции, сказано еще в XVIII в. Эйлером! Однако здорово же пропылилась на книжных полках эта ВлновостьВ»..

(Может быть, именно эта пропыленность и мешает современным математикам воспринимать ее серьезно? Ведь k-числа не только не вошли в школьные учебники, но и среди преподавателей математики мало кто о них знает. тАУ Ю.Л.)

Но хватит эмоций. Продолжу цитату:

ВлВз84

Здесь надлежит еще опровергнуть довольно обыкновенное заблуждение: многие утверждают, что бесконечно великое количество увеличено уже быть не может; но сие мнение не согласуется с вышеупомянутыми твердыми основаниями. Ибо когда 1/0 бесконечно великое число означает, и 2/0 неоспоримо в два раза больше 1/0, то из сего явствует, что бесконечно великое число сделаться может еще вдвое, или даже в несколько раз большеВ».

И чему это я так бурно радовался? Мои ВлпрозренияВ» тАУ это только несколько элементарных утверждений из области чисел, больших бесконечности, о которых еще в XVIII в. говорил Эйлер.

(Да, Эйлер говорил вполне внятно. Но слушали его почему-то впол-уха. тАУ Ю.Л.)

Листок четвертый

Если же существуют математические предметы, то необходимо,

чтобы они либо находились в чувственно воспринимаемом..

либо существовали отдельно от чувственно воспринимаемого..

а если они не существуют ни тем, ни другим образом, то они либо

вообще не существуют, либо существуют иным способом.

Аристотель, Метафизика, кн. 13, гл. 1

Итак, числовая ось включает качественно однородные отрезки, разделенные особыми точками. Назовем их точками связи. Удобно рассматривать математику целых k-чисел. Обобщение может быть получено при умножении целых k-чисел на некое неравное целому a. Рассмотрим отрезки между точками связи. Начнем с отрезка от 1 до k. Далее тАУ от k до k², еще далее тАУ от k² до k³. В этой серии отрезков обобщенной числовой оси точками связи являются числа вида kⁿ, где n тАУ целое положительное. Продвигаясь в том же направлении далее, мы встретимся с точками связи нового вида: при n = k точка связи имеет вид k^k. Точки связи в первой серии можно назвать точками связи первого рода (символ k входит в них один раз), во второй тАУ точками связи второго рода (символ k входит в них два раза). Например, k^k, k^2k, k^{k^2}, k^k+1 и т.д. Но и они не замыкают последовательность! Возникают точки связи третьего рода: k^{k^k}! А там и четвертого, пятого.. Качественное разнообразие числовой оси безгранично. И безгранично велико разнообразие качественно различных бесконечных чисел.

(А почему, собственно, нужно тут удивляться? Бесконечность тАУ это элемент некоего непустого множества, и было бы более удивительно, если бы оно вдруг оказалось единичным. тАУ Ю.Л.)

Листок пятый

Рассказали страшное,

Дали точный адрес.

Б. Пастернак. Звезды летом.

Ну, а теперь можно крикнуть ВлЭврика!В». А если n = тАУ2 ? В этом случае:

k^тАУ2 = 1/k² = 1/(1/0)² = 0²!

Это число получено от умножения нуля на нуль. Следовательно, оно на разряд меньше нуля тАУ смотри правило умножения на нуль в ВлЛистке второмВ». В самом нуле тАУ бесконечно много k-чисел, имеющих отрицательную степень. В тишине нуля скрыто нескончаемое движение Вселенных..

Вглядимся попристальнее в нуль. Сначала мы увидим:

- тАУ1 - 0 - +1 - или - тАУk⁰ - k^тАУ1 - +k⁰ -

Глубже:

- тАУ0 - 0² - +0 - или - тАУk^тАУ1 - k^тАУ2 - +k^тАУ1 -

И наконец, поняв идею сложного строения нуля:

- тАУ0^nтАУ1 - 0ⁿ - +0^nтАУ1 - или - тАУk^{тАУ(nтАУ1)} тАУ k^тАУn - +k^{тАУ(nтАУ1)} -

Таким образом, нуль безгранично глубок, а граница между плюсом и минусом более непроницаема, чем граница между единицей и бесконечностью, поскольку во втором случае между единицей и бесконечностью одна точка связи первого рода тАУ k, а в первом тАУ неисчислимое множество точек связи как угодно большого рода.

Теперь очень важное замечание. Обычно принимают, что 1 + 0 = 1. В этом есть определенный практический смысл. Если к k-числу высшего разряда прибавить число низшего разряда, то оно Влне изменитсяВ». В самом деле, что значит Вселенная плюс атом? Без большого греха результат такого сложения можно принять равным Вселенной. Но ведь это не так..

Сумма двух k-чисел, одно из которых принадлежит к низшему разряду, выражает структуру k-числа. Эта сумма и равна одному из слагаемых, и в то же время отлична от него! Это несколько похоже на тонкую структуру линий спектра. Число, этот математический атом, не является ВлпервокирпичикомВ», оно имеет структуру! Оно содержит в себе противоречие тАУ тождественно и нетождественно самому себе тАУ и, следовательно, способно к какой-то форме движения и развития.

Листок шестой

В самом деле, когда же было иначе, когда это порицалось,

когда запрещалось, когда нельзя было того, что можно?

М.Т. Цицерон. ВлВ защиту Марка Целия РуфаВ»

Оказывается, k-числа не могут пожаловаться на отсутствие внимания к себе. На одну известную мне работу в этой области тАУ уже цитировавшегося Эйлера тАУ есть по крайней мере две критические заметки. Представляю их в хронологической последовательности с сохранением грамматики:

Первая. Это сноска В. Висковатова в разбиравшейся книге ВлОснований алгебры..В» под номером 31. В тексте Эйлер выводит формулу ряда:

1/(1 тАУ a) = 1 + a + a² + a³ + .. + aⁿ + aⁿ⁺¹/(1 тАУ a)

и пишет: ВлПоложим, во-первых, а = 1; наш ряд сделается:

1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + и так далее бесконечно;

а дробь, которой он должен быть равен, сделается 1/0. Но мы уже заметили выше, что 1/0 есть число бесконечно великоеВ». На что В. Висковатов тАУ переводчик и комментатор тАУ замечает: ВлВозьмем общее выражение

1/(1 тАУ a) = 1 + a + a² + a³ + .. + aⁿ + aⁿ⁺¹/(1 тАУ a).

Когда положим а = 1, то выйдет 1/0 = 1 + 1 + 1 + .. + 1/0 или 1/0 + n + 1 = 1/0, и когда 1/0 почитать за количество, то выйдет n + 1 = 0, что совсем нелепо..

Когда в выражении 1/0 = n + 1 + 1/0 оба количества умножить на нуль, то выйдет

1 = (n + 1)В·0 + 1 или 1 = 1, что весьма справедливо; и так то же самое выражение

1/0 = n + 1 + 1/0 вести может и к нелепому и к истинному заключению; а сие само показывает, что выражение сие само есть нелепоеВ».

Весьма обстоятельно, но.. неверно! Ошибка Висковатова заключается в том, что из-за отсутствия четкого понятия k-числа и его разрядов он не понял сущности суммы

n + 1 + 1/0.

В данном случае в правой части стоит сумма k + n + 1, где n + 1 = (n + 1)В·k⁰, т.е. сумма k и k⁰, каковая может быть записана просто как k (по аналогии с 1 + 0 = 1). Умножая же на нуль обе части, мы переводим их в разряд k-чисел низшего порядка. А здесь аналогичное равенство привычно, а потому и очевидно: 1 + 0 = 1.

(Автор вступился за честь Эйлера. Это невеликий подвиг! Вот если кто-то вступится за Висковатова против Эйлера и автора тАУ это будет мужественным поступком. Конечно, если причина тому не простое упрямство. тАУ Ю.Л.)

Вторая. В ВлМатематических рукописяхВ» Карл Маркс пишет: Вл..так как 1/0 = 1/(1 тАУ 1), а 1/(1 тАУ 1) = 2В·1/2В·(1 тАУ 1) = 2/(2 тАУ 2), то опять-таки 2/0 = 1/0. С тем же успехом, как с помощью ряда из единиц вроде

1/0 = 1/(1 тАУ 1) = 1 + 1 + 1 + ..

можно представить ∞ посредством бесконечного ряда чисел, растущих в любом заданном отношении. Хотя при этом определенная часть одного бесконечного ряда может быть равна ¹/₂, ¹/₃ и т.д. определенной части другого бесконечного ряда, но ни первая, ни вторая определенная часть не находится в какой-нибудь пропорции ко всему бесконечному ряду, и в этом случае можно сказать только, что ряды по-разному шагают в бесконечностьВ» (Курсив К. Маркса.)

Может быть, кто-то сочтет мое утверждение кощунственным, но я все-таки рискну утверждать: в данном случае Маркс был не прав! Хотя и убедительно продемонстрировал недостаточную доказательность эйлеровского утверждения о том, что 2/0 > 1/0. Доказать же это более строго можно следующим образом:

1/0 = 1/(1 тАУ 1) = 2В·1/(2В·(1 тАУ 1)) = 2/(2В·0) = 1/0.

Ошибка Маркса в том, что 2В·0 ≠ 0, так как 2В·0 = 2В·k^тАУ1, что совсем не то же самое, что k^тАУ1.

Любопытно отметить, что Маркс обращался к понятию нуля и в других работах. Например, в работе ВлО дифференциалеВ» он совершенно четко разделил Влнуль-числоВ» и Влнуль-пределВ» как совершенно различные самостоятельные понятия.

Для подготовки данной работы были использованы материалы с сайта http://" onclick="return false">

Вместе с этим смотрят:

"Инкарнация" кватернионов

* Алгебры и их применение

*-Алгебры и их применение

10 способов решения квадратных уравнений

Bilet