Юрий Лебедев
Аш-функция Хевисайда
Все происходит по ступеням,
Как жизнь сама.
Я чувствую, что постепенно
Схожу с ума.
Н. Глазков, 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? Может быть, это – k2? В таком случае – опять качественный скачок в направлении возрастания чисел и числовая ось принимает вид:
0 - 1 - 2 - ... - k - 2k - 3k - ... - k2 - 2k2 - 3k2 - ... - k3 - 2k3 - 3k3 - ... - kn -
Эти отрезки числовой оси имеют качественные границы k, k2, ..., kn. Но они не изолированы друг от друга. Все тот же нуль связывает их. Действительно,
k2·0 = k·k·0 = k·1/0·0 = k,
ибо нуль – число, и его можно сокращать как обычные числа. Отсюда правило: при умножении на нуль в области чисел вида kn происходит переход в область чисел вида kn–1. При делении на нуль, что равносильно умножению на k, происходит переход в область kn+1.
Листок третий
Разбросанным в пыли по магазинам
(Где их никто не брал и не берет!)
Моим стихам, как драгоценным винам,
Настанет свой черед.
М.И. Цветаева, май 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 до k2, еще далее – от k2 до k3. В этой серии отрезков обобщенной числовой оси точками связи являются числа вида kn, где n – целое положительное. Продвигаясь в том же направлении далее, мы встретимся с точками связи нового вида: при n = k точка связи имеет вид kk. Точки связи в первой серии можно назвать точками связи первого рода (символ k входит в них один раз), во второй – точками связи второго рода (символ k входит в них два раза). Например, kk, k2k, kk^2, kk+1 и т.д. Но и они не замыкают последовательность! Возникают точки связи третьего рода: kk^k! А там и четвертого, пятого... Качественное разнообразие числовой оси безгранично. И безгранично велико разнообразие качественно различных бесконечных чисел.
(А почему, собственно, нужно тут удивляться? Бесконечность – это элемент некоего непустого множества, и было бы более удивительно, если бы оно вдруг оказалось единичным. – Ю.Л.)