Представьте, что вы стоите на краю бассейна, наполненного до краёв, и кто-то просит вас вычерпать его чайной ложкой за один черпок. Вы, разумеется, откажетесь, потому что задача бессмысленна - воды много, ложка одна, и никакого «результата» тут не получится в принципе. Именно так большинство из нас и думает про деление на ноль: мол, операция запрещена, математики поставили шлагбаум, и на этом разговор закончен. Шлагбаум действительно стоит. Вот только за ним, если присмотреться, выстроилась целая вселенная - от проективной геометрии до теории струн, - и вход туда открыт для всех, у кого хватит наглости обойти табличку сбоку. Потому что делить на ноль можно. Просто результат будет таким, что от привычной арифметики останутся рожки да ножки, а вы получите нечто куда более интересное.
Начнём с того, что в школе нам говорят правду, но не всю. Правда звучит так: в поле действительных чисел у операции деления на ноль нет результата, потому что уравнение 0 × x = a не имеет решения при a, отличном от нуля, и имеет решением любое число при a = 0. Это стандартный аргумент, он верен, и именно поэтому в аксиоматике поля деление на ноль просто не определено - так же, как не определён, скажем, логарифм отрицательного числа в вещественной области. Обратите внимание на формулировку: «не определено». Математика никогда не говорит «нельзя» - она говорит «в рамках этой системы операция не даёт значения». А системы, как известно, строятся людьми и разбираются людьми тоже. Вопрос лишь в том, что вы хотите получить, когда сломаете стену.
Первый и самый древний обход - тот, который придумали ещё до того, как слово «математика» обрело нынешний вес. Индийский математик Брахмагупта в VII веке в трактате «Брахмаспхутасиддханта» прямо писал, что положительное число, делённое на ноль, есть дробь с нулём в знаменателе, и обращался с ней как с объектом, который можно складывать и умножать. Он не пытался выдать этой дроби числовое значение - он вводил её в оборот как формальный символ. Через несколько столетий, в XII веке, Бхаскара II в «Лиливати» и «Биджаганита» довёл эту идею до предела: в его трактовке величина, делённая на ноль, становится «бесконечной» - и он честно оговаривал, что арифметика с такими величинами требует осторожности. Заметьте, о чём идёт речь: не о запрете, а о расширении - о введении нового класса объектов, с которыми нужно научиться работать. Это ровно та же логика, по которой когда-то ввели отрицательные числа, а потом - комплексные. Никто не спрашивал «можно ли извлечь корень из минус единицы», все спросили «а что если», и через двести лет это «если» стало фундаментом квантовой механики.
Второй обход, самый наглядный, лежит в геометрии, и он старше всех учебников. Есть такая штука - проективная плоскость. В обычной евклидовой плоскости две параллельные прямые не пересекаются, и точка. В проективной плоскости к каждой прямой добавляют одну «бесконечно удалённую» точку, и тогда любые две прямые пересекаются ровно в одной точке - включая параллельные, которые встречаются именно там, на горизонте. Что это даёт с делением? Прямая связь: наклон прямой - это тангенс угла, а тангенс - это отношение синуса к косинусу, то есть, грубо говоря, «y делить на x». Когда прямая поворачивается и становится вертикальной, её x обнуляется, и наклон по привычной формуле улетает в бесконечность. В проективной геометрии это не катастрофа, а нормальный элемент: вертикальная прямая просто проходит через бесконечно удалённую точку, и всё сходится. Деление на ноль здесь превращается в переход к горизонту - вы не получаете числа, вы получаете направление. То, что в арифметике выглядит тупиком, в геометрии оказывается точкой на горизонте, и весь фокус в том, что вы смотрите на задачу через неправильную систему координат.
Третий обход - самый технический и самый недооценённый. В 1960-х годах американский математик Абрахам Робинсон построил то, что называют нестандартным анализом: он аккуратно расширил поле действительных чисел, добавив к нему бесконечно малые и бесконечно большие величины, и научился с ними обращаться без малейшей потери строгости. В этой системе у числа есть «стандартная часть» и «нестандартный хвост», и деление на бесконечно малое даёт бесконечно большое - совершенно законным образом. Это не фокус и не философская вольность: нестандартный анализ используется в доказательствах, и его теоремы эквивалентны классическим, только формулируются проще. Здесь важно вот что: математики XIX века потратили лет сто на то, чтобы изгнать из анализа «бесконечно малые» как нечто подозрительное, а потом выяснилось, что их можно вернуть на законных основаниях. Понятие «нельзя» прожило около века и тихо сдалось под напором логики.
Четвёртый обход - самый дерзкий, и он ближе всех к тому, о чём мы вообще говорим. В 1850-х годах Бернхард Риман построил то, что сегодня называют сферой Римана: комплексную плоскость, замкнутую в сферу добавлением одной точки - бесконечности. На этой сфере деление на ноль перестаёт быть проблемой: ноль и бесконечность оказываются двумя полюсами одной и той же сферы, и отображение, которое переводит z в 1/z, просто меняет полюса местами. Ноль - это не дыра, в которую проваливается деление; это точка, которая при инверсии уходит на другой конец сферы. И тут начинается самое интересное: на сфере Римана функция 1/z ведёт себя прилично, аналитически, без всяких сингулярностей - сингулярность была артефактом плоской карты. Второй сюжетный поворот звучит так: то, что мы называем «деление на ноль невозможно», есть свойство не чисел, а нашего способа их рисовать.
Пятый обход - уже совсем экзотический, но абсолютно рабочий. В так называемой «колёсной» алгебре (wheel algebra), формализованной в 1990-х годах, вводят элемент, обозначаемый как 1/0, и строят арифметику, в которой он живёт на равных правах с остальными числами. Правила там непривычные - например, 0 × (1/0) не равно единице, а равно специальному элементу «⊥», - но система непротиворечива, и в ней деление на ноль определено всегда. Это не «настоящая» арифметика в смысле школьного курса, и никто не собирается заменять ею привычную. Это демонстрация принципа: если вы готовы пожертвовать парой привычных законов (в данном случае - дистрибутивностью в её обычном виде), вы получаете операцию, которая работает. Математика - это не свод запретов, это конструктор, где детали можно менять, если понимаешь, что именно ты меняешь.
Теперь давайте отступим на шаг и посмотрим на всю картину целиком, потому что здесь спрятан главный сюрприз. Все пять обходов делают одно и то же: они меняют систему, в которой задан вопрос. Брахмагупта вводит новый символ. Проективная геометрия добавляет точку на горизонте. Нестандартный анализ расширяет поле. Риман замыкает плоскость в сферу. Колёсная алгебра пересобирает аксиомы. Ни в одном случае деление на ноль не становится возможным «внутри» той системы, где оно было запрещено, - оно становится возможным в системе, которая шире. И вот тут кроется то, что меняет взгляд на всю математику: запрет на деление на ноль - это не свойство реальности, а свойство конкретной карты. Как только вы понимаете, что карт может быть много, вопрос «можно ли делить на ноль» распадается на два разных: «можно ли это сделать в арифметике действительных чисел» (нет) и «можно ли построить систему, где это осмысленно» (да, и не одну). Первый вопрос - про правила игры. Второй - про то, зачем вообще играют в игры.
И вот здесь самое время вспомнить, что вся эта история имеет прямое отношение к тому, как устроен физический мир, а не только к доске с мелом. В квантовой теории поля есть процедура перенормировки, где математики и физики долгие десятилетия сражались с расходимостями - выражениями, которые формально уходят в бесконечность. В 1940-х годах Ричард Фейнман, Джулиан Швингер и Синъитиро Томонага независимо разработали способы обходиться с этими бесконечностями так, чтобы предсказания совпадали с экспериментом с точностью до двенадцатого знака. Формально там не «деление на ноль», а расходящиеся интегралы, но логика та же: то, что выглядит как катастрофа в одной системе счёта, оказывается управляемым в другой. И это, пожалуй, самый красивый вывод из всей истории: природа, похоже, не спрашивает у нас разрешения на операции. Она просто работает - а мы подбираем язык, на котором её можно описать.
Есть, впрочем, и честная оговорка, без которой весь этот текст был бы пустой спекуляцией. Все перечисленные конструкции - проективная геометрия, сфера Римана, нестандартный анализ, колёсная алгебра - это математические системы, а не открытия о том, «как на самом деле устроено деление». Ни одна из них не отменяет того факта, что в стандартной арифметике, которой мы пользуемся в магазине и в бухгалтерии, делить на ноль нельзя, и не нужно. Более того, вопрос о том, какая из расширенных систем «правильнее», не имеет смысла: все они непротиворечивы, все работают, и выбор между ними диктуется задачей, а не истиной. Это важное признание, и я делаю его без всякого смущения, потому что именно в этом месте математика перестаёт быть набором фактов и становится тем, чем она на самом деле является - искусством строить миры, в которых вопросы обретают ответы.
Так что же получается, если всё-таки разделить? Получается, что вы не получаете число. Вы получаете указание на то, что ваша система координат кончилась, и за её краем начинается что-то другое - горизонт, полюс, бесконечно удалённая точка, новый элемент с непривычными правилами. Деление на ноль - это не ошибка и не запрет, это сигнальная лампочка на приборной панели, которая загорается в тот момент, когда вы подошли к границе привычного и вам предлагают сделать шаг наружу. Большинство людей, увидев эту лампочку, тормозят и разворачиваются. Математики, которые умеют смотреть на вещи с правильной стороны, видят в ней приглашение. И, честно говоря, вся история науки - это история людей, которые шли на эту лампочку вместо того, чтобы объехать её по обочине.
А теперь вопрос, который стоит задать себе после всего этого. Если запрет на деление на ноль оказался не свойством мира, а свойством нашей карты, - сколько ещё «запретов», в которые мы свято верим, устроены точно так же? Сколько раз мы говорили «так нельзя» там, где правильный ответ звучал «в этой системе нельзя, а в другой - запросто»? Математика даёт нам редкий шанс увидеть, как работает это превращение: сначала шлагбаум, потом табличка «не определено», потом чья-то наглая идея обойти сбоку, и вот уже через сто лет школьники учат новое правило как само собой разумеющееся. Мир не запрещает нам заглядывать за горизонт. Он просто ждёт, пока мы догадаемся, что горизонт - это место, где заканчивается наша карта, а не наша вселенная.
ОТКРЫТ НАБОР НА КУРС "ПЬЕСА"
(ссылка в профиле)
СЛЕДУЙТЕ ЗА БЕЛЫМ КРОЛИКОМ!
