Жюль Пуанкаре - Теорема века. Мир с точки зрения математики

Но трудность остается в силе, и она непреодолима. Если бы геометрия была опытной наукой, она не была бы наукой точной и должна была бы подвергаться постоянному пересмотру. Даже более, она немедленно была бы уличена в ошибке, так как мы знаем, что не существует твердого тела абсолютно неизменного.

Итак, геометрические аксиомы не являются ни синтетическими априорными суждениями, ни опытными фактами . Они суть условные положения (соглашения): при выборе между всеми возможными соглашениями мы руководствуемся опытными фактами, но самый выбор остается свободным и ограничен лишь необходимостью избегать всякого противоречия. Поэтому-то постулаты могут оставаться строго верными, даже когда опытные законы, которые определяли их выбор, оказываются лишь приближенными.

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

Если теперь мы обратимся к вопросу, является ли евклидова геометрия истинной, то найдем, что он не имеет смысла. Это было бы все равно что спрашивать, какая система истинна – метрическая или же система со старинными мерами, или какие координаты вернее – декартовы или же полярные. Никакая геометрия не может быть более истинна, чем другая; та или иная геометрия может быть только более удобной . И вот, евклидова геометрия есть и всегда будет наиболее удобной по следующим причинам:

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

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

Начнем с маленького парадокса.

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

Для нас, ум которых сформировался под влиянием окружающего нас мира, не составило бы никакой трудности отнести к нашему евклидову пространству явления этого нового мира, если бы мы были в него внезапно перенесены. И, напротив, если бы существа из того мира были перенесены к нам, они должны были бы отнести наши явления к неевклидову пространству.

Но ведь с небольшими усилиями этого же могли бы достигнуть и мы.

Тот, кто всю свою жизнь посвятил бы такой задаче, может быть, оказался бы в состоянии представить себе четвертое измерение.

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

Всем, кто так думает, предыдущая фраза должна показаться крайне странной. Но надо рассмотреть, не обманываются ли они некоторой иллюзией, которую более глубокий анализ мог бы рассеять.

Каковы, прежде всего, свойства пространства в собственном смысле? Я хочу сказать – того пространства, которое является предметом геометрии и которое я назову пространством геометрическим . Вот некоторые из наиболее существенных его свойств:

1. Оно непрерывно.

2. Оно бесконечно.

3. Оно имеет три измерения.

4. Оно однородно, т. е. все точки его тождественны между собой.

5. Оно изотропно, т. е. все прямые, которые проходят через одну и ту же точку, тождественны между собой.

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