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

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

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

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

Но было бы то же самое, если бы опыт показал нам обратное и если бы известное ощущение схождения не всегда сопровождалось одним и тем же ощущением аккомодации? В таком случае два ощущения, возникающие в одной и той же точке сетчатки и сопровождающиеся одним и тем же ощущением схождения, – два ощущения, которые, следовательно, принадлежали бы оба купюре С’’ , – могли бы тем не менее быть различимы, потому что сопровождались бы двумя различными ощущениями аккомодации. Поэтому С’’ было бы в свою очередь непрерывностью и имело бы (по меньшей мере) одно измерение; тогда С’ имело бы два измерения, С – три, а полное визуальное пространство имело бы четыре измерения .

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

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

Сколько измерений имеет эта непрерывность? Возьмем сначала из C два элемента A и B и предположим, что существует ряд элементов Σ, принадлежащих непрерывности С , таких, что A и B суть два крайних члена этого ряда и что каждый член ряда неотличим от предыдущего. Если можно будет найти такой ряд Σ, то мы скажем, что A и В связаны между собой; а если в C два каких угодно элемента связаны между собой, мы скажем, что C односвязна.

Теперь выберем вполне произвольно на непрерывности C некоторое число элементов. Совокупность этих элементов будет называться купюрой . Среди рядов Σ, которые связывают A с B , мы будем различать ряды, один элемент которых будет неотличим от одного из элементов купюры (мы скажем, что это – ряды, которые пересекают купюру), и ряды, все элементы которых будут отличимы от всякого элемента купюры. Если все ряды Σ, связывающие A с B , пересекают купюру, то мы скажем, что A и В отделены друг от друга купюрой и что купюра разделяет C . Если невозможно найти на C два элемента, которые были бы отделены друг от друга купюрой, то мы скажем, что купюра не разделяет С .