Жизнь в невозможном мире: Краткий курс физики для лириков - [23]
Нетривиальность ситуации в том, что математика является «абстрактной» наукой. Когда в разговорной речи употребляют термин «абстрактный», то имеют в виду что-то, не имеющее отношения к реальной жизни. И конечно же, с математикой это в 90 % случаев так. То есть можно заниматься ею самой по себе, совершенно не обращая внимания на происходящее вокруг и не имея в виду, что результаты твоих исследований кому-нибудь, кроме твоих коллег, пригодятся. У математики есть свои внутренние проблемы, она движима своими внутренними импульсами. И вдруг!.. И вдруг результаты этих кабинетных изысканий оказываются совершенно необходимыми при изучении природы, того мира, от которого математик отвлекся и затворился. Меня лично это всегда глубоко потрясало, и без преувеличения скажу, что мой непреходящий интерес к физике основан в большой мере на этом.
Примеров того, как абстрактные идеи переставали быть абстрактными и становились в высшей степени конкретными, можно приводить бесконечно. Ну, возьмем хотя бы историю самого понятия числа. Начиналась она как раз с другого конца, то есть теория шла за практикой. Сначала думали, что есть только целые числа и дроби, потом обнаружили, что есть и иррациональные числа, такие как квадратный корень из двух или отношение длины окружности к ее диаметру (число «пи»). Все это пришло из непосредственных наблюдений; нужно было соотнести длину диагонали квадрата с его стороной или длину окружности с ее диаметром. Пифагорейский мир от этих открытий чуть не рухнул: человека, открывшего иррациональные числа, говорят, утопили. Но вот история появления мнимых чисел несколько иная (напомню, что мнимым числом является произведение любого «обычного» числа и квадратного корня из минус единицы; последний в математике обозначается символом i). Мнимые числа возникли в математике (кажется, в XVI веке) как промежуточная ступень при решении алгебраических уравнений, то есть из нужд самой математики. Долгое время казалось, что их использование есть просто вопрос удобства и ничего глубокого за ними не стоит. Действительно, такими числами для простого счета пользоваться нельзя; не может же быть i яблок или расстояние от одного города до другого не может равняться i километрам. Однако оказалось, что мнимые числа очень даже нужны для физики, не просто нужны, а так нужны, что обойтись она без них просто не может.
Чтобы обсуждение не выглядело совершенно отвлеченно, приведу пример применения комплексных чисел. Вот, скажем, нам надо посчитать площадь под кривой, заданной уравнением у = 1/(х>2 + 1), часть которой изображена на рисунке (предполагается, что кривая простирается от минус до плюс бесконечности, но этого, понятно, не нарисуешь).
Математически эта задача эквивалентна вычислению интеграла:
Все числа и функции здесь действительные, что очевидно хотя бы из того, что площадь под кривой (закрашена на рисунке серым цветом) действительна. Однако оказывается, что интеграл очень просто вычисляется, если переопределить его как интеграл от комплексной функции. Он равен π = 3,14159… Разумеется, я привел самый простой пример; в данном случае интеграл можно посчитать и без комплексных чисел, но есть множество примеров, когда этого сделать нельзя.
На мнимых числах расширение понятия числа не остановилось. В начале XIX века были введены кватернионы, перешедшие в физику сто лет спустя. В конце XIX века появились так называемые Грассмановы числа, названные так по имени открывшего их немецкого математика Германа Грассмана. Представьте себе объекты, которые можно перемножать (но не делить друг на друга) и складывать, а также интегрировать. Отличие этих объектов от обычных чисел состоит в том, что произведение двух Грассмановых чисел ab меняет знак, когда сомножители меняются местами: ba = — ab. Соответственно, произведение любого Грассманова числа на себя равно нулю. Звучит как игра абстрактного ума, не правда ли? Оказалось (через сто лет), что квантовая теория поля без таких чисел не может обойтись.
А не вспомнить ли историю геометрии Лобачевского? Задал человек себе вопрос: можно ли построить логически непротиворечивую геометрию, отказавшись от постулата о том, что параллельные прямые никогда не пересекаются. Выяснилось, можно. Казалось бы, чистая абстракция. Практики (типа Чернышевского) говорили, что Лобачевский просто сумасшедший. А потом еще более сумасшедший немецкий математик Риман построил общую теорию таких геометрий, куда геометрия Лобачевского вошла как частный случай. А через несколько десятков лет Альберт Эйнштейн воспользовался этими «праздными измышлениями» для создания общей теории относительности, теории непревзойденной красоты и изящества.
Итак, математика, являясь абстрактной и отвлеченной наукой, самым неожиданным образом приносит вполне конкретные плоды. Однако на этом чудеса не кончаются. Давайте зададим себе вопрос: где находятся те объекты, которые математика изучает? Даже самая прикладная математика не имеет дела непосредственно с вещами и явлениями этого мира. Вместо этого она имеет дело с какими-то моделями, идеализациями типа идеальной сферы или окружности. В природе ничего такого совершенного нет (как говорил Гегель, «природа бессильна следовать идее»). Все утверждения математики касаются таких вот идеальных объектов. Например, доказал Пифагор теорему о том, что сумма квадратов катетов прямоугольного треугольника равна квадрату гипотенузы — но где эти треугольники? А вот еще вопрос: выдумал Пифагор эту теорему или открыл? Если бы никто к настоящему времени не доказал этой теоремы, была бы она верна? Или: если все математики когда-нибудь исчезнут, останется ли верной теорема Пифагора? Ясно поэтому, что мир математики принадлежит к миру идей — разумных нематериальных сущностей, существующих объективно, вне нашего желания и воли.
