Теорема века. Мир с точки зрения математики

Теорема Ли. Число аксиом, скрытым образом введенных в классические доказательства, больше, чем это необходимо. Было бы интересно свести это число к минимуму. Можно спросить себя сначала, осуществимо ли это желание – не беспредельно ли и число необходимых аксиом, и число воображаемых геометрий. В этого рода исследованиях первое место занимает теорема Софуса Ли. Ее можно выразить так:

Предположим, что допускаются следующие положения:

1. Пространство имеет n измерений.

2. Движение неизменяемой фигуры возможно.

3. Необходимо p условий, чтобы определить положение этой фигуры в пространстве.

Число геометрий, совместимых с этими положениями, будет ограниченное.

Я могу даже прибавить, что если n дано, то для p можно указать высший предел.

Следовательно, если допустить возможность движения неизменяемой фигуры, то можно будет придумать лишь конечное число (и даже довольно ограниченное) геометрических систем трех измерений.

Геометрии Римана. Между тем этот результат, по-видимому, находится в противоречии с заключениями Римана, так как этот ученый построил бесчисленное множество различных геометрий (та, которой обыкновенно дают его имя, есть не более чем частный случай).

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

Геометрии Гильберта. Наконец, Веронезе и Гильберт придумали новые, еще более странные геометрии, которые они назвали неархимедовыми. Они построили их, устранив аксиому Архимеда, в силу которой любая данная протяженность, умноженная на целое достаточно большое число, в конечном счете превзойдет любую данную протяженность, сколь бы велика она ни была. На неархимедовой прямой существуют все точки нашей обычной геометрии, но имеются множества других, которые вставляются между ними, так что между двумя отрезками, которые геометры старой школы рассматривали как смежные, оказывается возможным поместить множество новых точек. Одним словом, неархимедовы пространства уже не являются более непрерывностью второго порядка, если применять язык предыдущей главы, они суть непрерывность третьего порядка.

О природе аксиом. Большинство математиков смотрят на геометрию Лобачевского как на простой логический курьез; но некоторые из них идут дальше. Раз возможно несколько геометрий, то достоверно ли, что наша геометрия есть истинная? Без сомнения, опыт учит нас, что сумма углов треугольника равна двум прямым; но это потому, что мы оперируем треугольниками слишком малыми; разность, по Лобачевскому, пропорциональна площади треугольника; не может ли она сделаться заметной, когда мы будем оперировать большими треугольниками или когда наши измерения сделаются более точными? Таким образом, евклидова геометрия была бы только временной геометрией.

Чтобы обсудить это мнение, мы должны сначала спросить себя, в чем состоит природа геометрических аксиом. Не являются ли они синтетическими априорными суждениями, как говорил Кант?

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

Чтобы убедиться в этом, возьмем настоящее синтетическое априорное суждение, например то, которое, как мы видели в первой главе, играет первенствующую роль: если теорема верна для числа 1 и если доказано, что раз она справедлива для n, то она верна и для n + 1; в таком случае она будет справедлива для всех положительных целых чисел.

Попытаемся затем отвлечься от этого положения и, откинув его, построить ложную арифметику по аналогии с неевклидовой геометрией. Это нам не удастся. Сначала было даже стремление рассматривать эти суждения как аналитические.

С другой стороны, обратимся снова к нашим воображаемым существам без толщины; могли ли бы мы допустить, чтобы эти существа, если бы их ум был устроен по образу нашего, приняли евклидову геометрию, которая противоречила бы всему их опыту?

Итак, не должны ли мы заключить, что аксиомы геометрии суть истины экспериментальные? Но над идеальными прямыми или окружностями не экспериментируют; это можно делать только над материальными объектами. К чему же относятся опыты, которые служили бы основанием геометрии?