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

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

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

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

Итак, наши воображаемые существа должны будут, как и мы, классифицировать наблюдаемые ими явления и выделить из них «изменения положения», которые можно компенсировать соответственным волевым движением.

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

В этом именно смысле допустимо говорить о возможности представить себе четвертое измерение.

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

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

Если бы она была экспериментальной наукой, она имела бы только временное, приближенное – и весьма грубо приближенное! – значение. Она была бы только наукой о движении твердых тел. Но на самом деле она не занимается реальными твердыми телами; она имеет своим предметом некие идеальные тела, абсолютно неизменные, которые являются только упрощенным и очень отдаленным отображением реальных тел.

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

Предмет геометрии составляет изучение лишь частной «группы» перемещений, но общее понятие группы существует раньше в нашем уме (dans notre esprit), по крайней мере в виде возможности. Оно присуще нам не как форма нашего восприятия, а как форма нашей способности суждений. Надо только среди всех возможных групп выбрать ту, которая служила бы, так сказать, эталоном, с которым мы соотносили бы реальные явления. Опыт направляет нас при этом выборе, но не делает его для нас обязательным; он показывает нам не то, какая геометрия наиболее правильна, а то, какая наиболее удобна.

Читатель заметит, что я был бы в состоянии описывать фантастические миры, которые я представлял себе выше, не переставая пользоваться языком обыкновенной геометрии.

И в самом деле, мы не изменили бы его, даже если бы были перенесены в такой мир.

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

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

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