Ноль: биография опасной идеи

Лопиталь нанял себе лучшего учителя, какого только можно было нанять за деньги, — Иоганна Бернулли, швейцарского математика, одного из первых, кто освоил лейбницевское исчисление бесконечно малых. В 1692 году Бернулли обучил Лопиталя анализу. Лопиталь так увлекся новым математическим методом, что побудил Бернулли за деньги сообщить ему обо всех новых математических открытиях, чтобы маркиз мог делать с ними, что пожелает. В результате был создан учебник. В 1696 году Лопиталь издал «Анализ бесконечно малых». Эта книга стала первым учебником математического анализа и познакомила с лейбницевской версией дифференциального исчисления большую часть Европы. Лопиталь не только изложил основы анализа, но и добавил некоторые важные новые результаты. Самое знаменитое новшество стало известно как правило Лопиталя.

Правило Лопиталя нанесло первый удар по тревожащим математиков выражениям 0 / 0, постоянно встречавшимся в математическом анализе. Правило дало способ определять истинную величину математических функций, стремящихся к 0 / 0 в данной точке. Правило Лопиталя гласит, что значение отношения функций равно производной верхнего выражения, деленному на производную нижнего выражения. Например, рассмотрим выражение x / (sin x), когда x = 0. При x = 0 sin x = 0, так что выражение принимает вид 0 / 0. Используя правило Лопиталя, мы увидим, что выражение стремится к 1 / (cos x), поскольку производная x — это 1, а производная sin x — это cos x. При x = 0 cos x равен 1, так что все выражение равно 1 / 1 = 1. Ловкие манипуляции могли также позволить с использованием правила Лопиталя разрешать и другие странные вопросы: ∞ / ∞, 0 / 0, 0 / ∞, ∞0.

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

Вскоре после смерти Лопиталя в 1704 году Бернулли начал утверждать, что тот украл его работу. В то время математическое сообщество отвергло претензии Бернулли: не только Лопиталь проявил себя как умелый математик; Иоганн Бернулли имел запятнанную репутацию. Он уже раньше пытался приписать себе заслугу другого математического доказательства (другим математиком был его брат, Якоб Бернулли). В данном случае, однако, претензии Иоган на Бернулли были обоснованны: это подтверждалось его перепиской с Лопиталем. К огорчению Бернулли, название «правило Лопиталя» прижилось.

Это правило было чрезвычайно важным для разрешения трудностей с 0 / 0, однако лежащая в их основе проблема оставалась. Новая математика Ньютона и Лейбница зависит от деления на ноль и от чисел, которые чудесным образом исчезают при возведении в квадрат. С помощью правила Лопиталя 0 / 0 исследуется инструментами, изначально опирающимися на 0 / 0. Эти аргументы — замкнутый круг. Физики и математики по всему миру начали использовать математический анализ для изучения природы, а концепцию абсолютного пространства — для объяснения движения — под крики протеста со стороны Церкви.

В 1734 году, через 7 лет после смерти Ньютона, ирландский епископ Джордж Беркли написал книгу под названием «Аналитик, или рассуждение, адресованное неверующему математику». (Под неверующим математиком, вероятнее всего, подразумевался Эдмунд Галлей, всегда поддерживавший Ньютона.) В «Аналитике» Беркли обрушился на грязные трюки с нолем Ньютона и Лейбница.

Называя бесконечно малые «призраками исчезнувших величин», Беркли показал, что безнаказанное исчезновение этих бесконечно малых ведет к противоречию. Он заключал: «Разве математики, столь чувствительные в вопросах религии, строго скрупулезны в своей собственной науке?»

Хотя математики того времени язвили по поводу логики Беркли, славный епископ был совершенно прав. В те дни исчисление было очень отлично от других областей математики. Каждая теорема в геометрии строго доказывалась. Позаимствовав несколько правил у Евклида и тщательно, шаг за шагом продвигаясь вперед, математик мог доказать, что углы треугольника в сумме равны 180 градусам, или любой другой геометрический факт. С другой стороны, анализ основывался на вере.

Никто не мог объяснить, как при возведении в квадрат исчезают бесконечно малые. Этот факт просто принимался потому, что, заставив их исчезнуть в нужный момент, математики получали правильный результат. Никого не беспокоило деление на ноль, раз удобное игнорирование правил математики объясняло все — от падения яблока до орбит планет на небе. Хотя анализ давал правильные результаты, его использование было таким же актом веры, как вера в Бога.

Конец мистицизма