Математика. Утрата определенности.
Шрифт:
Чаще всего в качестве подходящего примера чистые математики ссылаются на греческие работы о конических сечениях:параболе, эллипсе и гиперболе. По мнению чистых — математиков, эти кривые были исследованы греками, в первую очередь Аполлонием, ради удовлетворения чисто математического интереса. Тем не менее восемнадцать столетий спустя Кеплер доказал, что именно по коническим сечениям движутся вокруг Солнца планеты. Однако хотя ранняя история конических сечений доподлинно и неизвестна, но все же по свидетельству такого авторитетного историка, как Отто Нейгебауэр (р. 1899), параболы, эллипсы и гиперболы впервые возникли в работах, посвященных конструкции солнечных часов. Известно, что древние действительно использовали в солнечных часах эти кривые. Задолго до того, как Аполлоний посвятил коническим сечениям свой классический труд (гл. I), было известно, что параболы позволяют фокусировать падающий на них солнечный свет. Следовательно, физические приложения конических сечений в оптике — области науки, которой греки уделяли немало внимания, — несомненно, послужили толчком к некоторым из исследований по геометрии конических сечений.
Коническими сечениями греки занимались задолго до Аполлония в связи с решением знаменитой
Разумеется, Аполлоний доказал сотни теорем о конических сечениях, не имеющих не только непосредственных приложений, но даже потенциально неприменимых. В этом отношении он мало чем отличался от современных математиков, которые, напав на благодатную тему, начинают разрабатывать ее либо по причинам, о которых говорилось выше, — из желания побольше узнать о чем-то важном либо из стремления ответить, так сказать, на интеллектуальный вызов.
Второй, наиболее часто приводимый пример чистой математики, впоследствии нашедшей, однако, немаловажные приложения, — неевклидова геометрия.По словам тех, кто ссылается на этот пример, получается, будто математики создали неевклидову геометрию, размышляя на досуге над тем, что произойдет, если изменить евклидову аксиому о параллельных. Но утверждать подобное — значит игнорировать более чем двухтысячелетнюю историю науки. Аксиомы Евклида считались самоочевидными истинами о реальном физическом пространстве (гл. I). Аксиома о параллельных, весьма произвольно и своеобразно сформулированная Евклидом, стремившимся избежать исходного предположения о существовании параллельной, по сравнению с остальными аксиомами была куда как менее очевидной. Многие усилия, затраченные на поиск более приемлемого варианта аксиомы, привели в конце концов к открытию: аксиома о параллельных не обязательно должна быть истинной — другая аксиома о параллельных, отличающаяся от евклидовой (и, следовательно, неевклидова геометрия), может так же хорошо описывать физическое пространство. Итак, подчеркнем главное: попытки доказать истинность аксиомы Евклида о параллельных предпринимались не для «услаждения мозгов, поднаторевших в умозрительных рассуждениях», а для того, чтобы удостовериться в истинности геометрии, лежащей в основе тысяч и тысяч теорем чистой и прикладной математики.
Чистые математики нередко ссылаются также на работы Римана, который обобщил известную в его время неевклидову геометрию и указал на существование целого семейства неевклидовых геометрий, получивших впоследствии название римановых геометрий(или геометрий римановых пространств). И в этом случае чистые математики полагают, будто Риман создал свои геометрии лишь с той целью, чтобы «посмотреть, что можно сделать». Думающие так глубоко заблуждаются. Как мы уже говорили, усилия математиков, направленные на устранение малейших сомнений в адекватности евклидовой геометрии окружающему нас миру, увенчались созданием неевклидовой геометрии, оказавшейся столь же пригодной для описания свойств физического пространства, как и евклидова геометрия. Существование двух различных геометрий заставило математиков задуматься над вопросом о том, что, собственно, нам достоверно известно о физическом пространстве? Этот вопрос послужил для Римана отправным пунктом для размышлений. Отвечая на него, Риман в своей лекции [106] 1854 г., которая была опубликована лишь после его смерти, развил общую теорию, включающую классическую геометрию Евклида и неевклидову геометрию Лобачевского — Бойаи в качестве частных случаев. Вследствие ограниченности наших физических знаний римановы геометрии могли оказаться столь же полезными для описания физического пространства, как и евклидова геометрия. Риман предвидел, что пространство и материю нужно рассматривать в неразрывной связи. {157} Следует ли удивляться после этого, что Эйнштейн счел риманову геометрию полезной? Предвидение Римана относительно физичности предложенной им геометрии отнюдь не умаляет остроумного применения, которое нашел римановой геометрии Эйнштейн. Применимость римановой геометрии явилась следствием работы над решением наиболее фундаментальной из физических проблем, которыми когда-либо занимались математики, — выяснением природы физического пространства.
157
В последней части «Применение к пространству» замечательной лекции [106] Риман сам подробно обсуждает приложимость к (будущей) физике предложенных им геометрических схем.
Нельзя не упомянуть еще об одном примере. Одно из интенсивно развивающихся направлений современной математики — теория групп.По мнению чистых математиков, теория групп также была создана «из любви к искусству». Понятие группы ввел в математику Эварист Галуа (1811-1832), хотя неявно оно встречалось в работах Лагранжа, норвежца Абеля и итальянца Паоло Руффини (1765-1822). Внимание Галуа привлекла по существу самая простая и практически важная задача всей математики — разрешимость простых алгебраических уравнений, таких, как квадратное уравнение
3 x 2+ 5 x+ 7 = 0,
кубическое уравнение
4 x 3+ 6x 2– 5 x+ 9 = 0
и уравнения более высоких степеней. Уравнения такого типа встречаются в тысячах физических задач. К тому времени, когда эта задача привлекла внимание Галуа, математики научились решать в радикалах общие алгебраические уравнения от первой до четвертой степени (т.е. выражать корни таких уравнений через их коэффициенты с помощью конечного числа алгебраических операций), а Нильс Хенрик Абель (1802-1829) доказал неразрешимость в радикалах общего алгебраического уравнения пятой степени
ax 5+ bx 4+ cx 3+ dx 2+ ex+ f = 0,
где a, b, c, d, e
Кроме того, теория групп была вызвана к жизни не только работами Галуа. Возможно, от внимания чистых математиков ускользнула работа французского кристаллографа Огюста Браве (1811-1863) по структуре кристаллов типа кварца, алмаза и горного хрусталя. Эти вещества состоят из различных атомов, расположенных по определенной схеме, многократно повторяющейся в объеме кристалла. Атомы в кристаллах таких веществ, как поваренная соль и обычные минералы, расположены особым образом. В простейшем случае (поваренной соли) можно считать, что соседние атомы расположены в вершинах куба. С 1848 г. Браве занялся изучением преобразований (поворотов кристалла вокруг какой-либо оси), трансляций (параллельных переносов, или сдвигов) или отражений, переводящих кристалл в себя. Такие преобразования образуют различные группы. Камил Жордан (1833-1922), обративший внимание на работу Браве, дополнил и обобщил ее в своей работе 1868 г. и в своем труде «Трактат о подстановках» ( Trait'e des substitutiones,1870), сыгравшем существенную роль в распространении понятия группы в среде математиков, использовал заимствованные из кристаллографии соображения наряду с другими аргументами, подтверждающими важность изучения теории групп.
Работа Браве навела Жордана на мысль об изучении бесконечныхгрупп — групп вращений и параллельных переносов. Бесконечные (непрерывные)группы обрели известность после знаменитой лекции [107] Феликса Клейна, прочитанной в Эрлангенском университете в 1872 г. и тогда же опубликованной, где он предложил различать все известные в то время геометрии по допускаемым ими группами «движений» и по инвариантам этих «движений». Так, евклидова геометрия занимается изучением тех свойств фигур, которые остаются инвариантными при поворотах, параллельных переносах и преобразованиях подобия (см., например, [108]). Занимавшую в 1872 г. умы математиков проблему, чем отличаются известные и столь непохожие друг на друга геометрии и какая из них соответствует физическому пространству, вряд ли можно отнести к чистой математике. Немало работ по применению дискретных и непрерывных групп к классификации методов решений дифференциальных уравнений {158} вошло в математику, прежде чем в 90-х годах XIX в. было сформулировано современное понятие группы. {159}
158
Классификация дифференциальных уравнений по свойственным им группам симметрии была произведена великим норвежским математиком Софусом Ли (1842-1899), который построил своеобразную «теорию Галуа для дифференциальных уравнений», где вопрос о решимости алгебраического уравнения в радикалах заменялся вопросом о решимости дифференциального уравнения «в квадратурах» (т.е. с применением операции интегрирования). В свое время эта теория пользовалась очень большой популярностью, но затем в связи с наступлением века ЭВМ, поставившего совсем по-другому вопрос о решении дифференциальных уравнений, была почти забыта. Взрывоподобный рост интереса к учению Ли о «группах симметрии дифференциальных уравнений», выразившийся, в частности, в появлении большого числа посвященных этой теме книг (см., например, [109]) и диссертаций, относится к последним десятилетиям; это связано с той большой ролью, которую играют соображения симметрии в современной физике.
159
Артур Кали дал общее (абстрактное) определение группы еще в работах 1849-1854 гг. [у Э. Галуа фигурировали только группы подстановок. — Ред.], но значение этого понятия было оценено по достоинству лишь после того, как оно стало широко применяться в математике и естественных науках (о некоторых применениях мы упоминали выше).
К аналогичному выводу приводит изучение и всех других понятий и теорий, якобы являющихся продуктом чистой математики: матриц тензорного исчисления, топологии. Например, вся современная алгебра обязана своим происхождением кватернионам Гамильтона (гл. IV). Мотивы создания абстрактной алгебры прямо или косвенно были связаны с физическими соображениями, и ее творцы неусыпно заботились о приложениях, которые могут иметь вводимые ими понятия. Следовательно, история неоспоримо свидетельствует, что любая математическая дисциплина, намеренно создаваемая как область чистой математики и лишь впоследствии нашедшая различные применения, как правило, возникала при исследовании реальных физических проблем или проблем, имеющих непосредственное отношение к изучению природы. Часто случается, что «хорошая математика», создание которой первоначально было стимулирование потребностями физики, находит новые приложения, которых не предвидели творцы теории. Так математика возвращает свой долг естествознанию. Новых, непредвиденных приложений следует ожидать заранее. Не удивляемся же мы, что молотком, который был изобретен для того, чтобы крушить горные породы, можно также и забивать гвозди. Неожиданные естественнонаучные приложения математики возникают по той простой причине, что математические теории с самого начала имеют физическую подоплеку а отнюдь не обязаны своим происхождением пророческому прозрению всеведущих математиков, сражающихся разве лишь с собственным духом. Неизменный успех абстрактных математических теорий отнюдь не случаен.