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

При этих условиях компенсация может произойти. Но мы, не будучи еще знакомы с геометрией, – потому что у нас еще не образовалось понятие пространства, – не можем рассуждать таким образом; мы не можем предвидеть a priori, возможна ли компенсация. Но опыт учит нас, что она иногда имеет место, и это – тот опытный факт, из которого мы исходим для различения изменений состояния от изменений положения.

Твердые тела и геометрия. Среди окружающих нас предметов есть такие, которые часто испытывают перемещения, способные быть компенсированными соответственным (коррелятивным) движением нашего собственного тела. Это – тела твердые .

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

Только позднее и вследствие новых опытов мы научаемся разлагать тела переменной формы на меньшие элементы такого рода, что каждый из них перемещается почти по тем же законам, что и твердые тела. Мы таким образом отличаем «деформации» от других изменений состояния; при таких деформациях каждый элемент испытывает простое изменение положения, которое может быть компенсировано, но изменение, испытываемое всей совокупностью элементов, более глубоко и уже не способно компенсироваться коррелятивным движением [5] То есть коррелятивным движением нашего собственного тела (см. выше). – Прим. ред . .

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

Следовательно, если бы не было твердых тел в природе, не было бы и геометрии.

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

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

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

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

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

Итак.

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

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

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

Законы этих явлений и составляют предмет геометрии.

Закон однородности. Первый из этих законов есть закон однородности.

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

Предположим теперь, что другое внешнее изменение α’ снова приводит нас от системы А к системе В .

Опыт учит нас тогда, что это изменение α’, как и α, способно компенсироваться коррелятивным волевым движением β’ и что это движение β’ соответствует тем же мускульным ощущениям, что и движение β, которое компенсировало α.

Именно этот факт и выражается обыкновенно словами: пространство однородно и изотропно .

Можно сказать также, что движение, происшедшее один раз, может повториться второй раз, третий раз и т. д., не меняя своих свойств.

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

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

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

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

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