Однако до сих пор мы не вводили понятия о числе измерений. Что мы хотим сказать, когда говорим, что математическая непрерывность или физическая непрерывность имеет два или три измерения?
Нам надо прежде всего ввести понятие купюры, приспособляя это понятие сначала к исследованию физических непрерывностей. Мы видели, чем характеризуется физическая непрерывность; каждый элемент этой непрерывности состоит из совокупности впечатлений; может случиться: либо что один элемент не может быть отличен от другого элемента той же непрерывности, если этот новый элемент соответствует совокупности слишком мало разнящихся впечатлений, либо, напротив, что отличение возможно; наконец, может быть и так, что два элемента, неотличимые от одного и того же третьего, тем не менее могут быть отличены друг от друга.
После этого, если A и B суть два различимых элемента непрерывности C, то можно найти ряд элементов
E1, E2, …, Еn
принадлежащих той же самой непрерывности С и притом таких, что каждый из них неотличим от предыдущего; так E1 будет элементом, неотличимым от A, а Еn — от B. Поэтому можно будет переходить от A к B непрерывным путем, в то же время не выходя из C. Если это условие выполнено для двух любых элементов A и B непрерывности C, то мы можем сказать, что эта непрерывность С односвязна.
Теперь выделим некоторые из элементов C, которые могут или все быть отличены друг от друга, или же могут сами образовать одну или несколько непрерывностей. Совокупность элементов, таким образом произвольно выбранных из всех элементов C, даст то, что я назову купюрой или купюрами.
Возьмем снова на C два любых элемента A и В. Тогда или можно будет найти еще ряд элементов
E1, E2, …, Еn
таких, чтобы: 1) все они принадлежали С; 2) чтобы каждый из них был неотличим от следующего; E1 неотличим от A и Еn — от B; 3) кроме того, чтобы каждый из элементов Е отличался от каждого из элементов купюры. Или же, напротив, во всех рядах E1, E2, …, Еn, удовлетворяющих первым двум условиям, будет содержаться элемент E, неотличимый от одного из элементов купюры. В первом случае мы можем идти от A к B непрерывным путем, не выходя из С и не встречая купюр; во втором случае это невозможно.
Итак, если для любых двух элементов A и B непрерывности C всегда находит себе место первый случай, мы скажем, что C остается односвязной, несмотря на купюры.
Следовательно, если мы известным, впрочем произвольным, образом выберем купюры, то может случиться, что непрерывность или останется, или не останется односвязной; в последнем случае мы скажем, что она разделена купюрами.
Нельзя не заметить, что все эти определения основаны единственно на том простом факте, что две совокупности впечатлений то могут, то не могут быть различаемы.
Если для разделения непрерывности достаточно бывает рассматривать в качестве купюр известное число элементов, отличимых друг от друга, то говорят, что эта непрерывность одного измерения; если же, напротив, для разделения непрерывности необходимо брать в качестве купюр систему элементов, которые сами образуют одну или несколько непрерывностей, то мы скажем, что эта непрерывность многих измерений.
Если для разделения непрерывности C достаточно купюр, образующих одну или несколько непрерывностей одного измерения, то мы скажем, что C есть непрерывность двух измерений; если достаточно купюр, образующих одну или несколько непрерывностей самое большее двух измерений, то мы скажем, что C есть непрерывность трех измерений, и т. д.
Чтобы оправдать это определение, надо посмотреть, так ли геометры вводят понятие трех измерений в начале своих работ. Что же мы видим? Чаще всего они начинают с определения поверхностей как пределов объемов или частей пространства, линий как пределов поверхностей, точек как пределов линий и утверждают, что тот же самый процесс не может идти дальше.