Теорема века. Мир с точки зрения математики
Шрифт:
Геометр, рассуждающий таким образом, сделал бы – сознательно или нет – то же самое, что мы сделали раньше, желая доказать, что две пересекающиеся линии имеют общую точку; и его интуиция могла бы показаться такой же законной.
Между тем она его обманула бы. Можно доказать, что существуют кривые, не имеющие касательных, если эта кривая определена как аналитическая непрерывность второго порядка.
Несомненно, какая-нибудь уловка, аналогичная ранее изученным нами, позволила бы устранить противоречие, но так как оно встречается только в весьма исключительных случаях, то им и не занимаются. Вместо того чтобы стараться примирить интуицию с анализом, удовольствовались тем, что пожертвовали
Физическая непрерывность нескольких измерений. Выше я исследовал физическую непрерывность такою, какой она вытекает из непосредственных данных наших чувств или, если угодно, из прямых результатов опытов Фехнера; я показал, что эти результаты резюмируются противоречивыми формулами
А = В, В = С, А < С.
Посмотрим теперь, как это понятие было обобщено и как оказалось возможным вывести из него понятие непрерывностей многих измерений.
Рассмотрим две любые группы ощущений. Мы или будем в состоянии различить их, или нет, подобно тому как в опытах Фехнера вес в 10 граммов можно было отличить от веса в 12 граммов, но не от веса в 11 граммов. Ничего другого не нужно для построения непрерывности многих измерений.
Назовем элементом одну из этих групп ощущений. Это будет нечто аналогичное математической точке, однако не совсем то же самое. Мы не можем определить размеры нашего элемента, так как мы не умеем отличить его от соседних элементов, он как бы окутан туманом. Если бы можно было употребить астрономическое сравнение, наши «элементы» были бы подобны туманностям, между тем как математические точки уподоблялись бы звездам.
Если так, то система элементов образует непрерывность, раз есть возможность перейти от любого из них к какому угодно другому через ряд последовательных элементов – таких, что каждый из них не мог бы быть различен от предыдущего. Этот линейный ряд является по отношению к линии математика тем же, чем является изолированный элемент по отношению к точке.
Прежде чем идти дальше, я должен разъяснить, что такое купюра. Рассмотрим непрерывность С и возьмем у нее некоторые из ее элементов, которые на одно мгновение будем рассматривать не принадлежащими больше к этой непрерывности. Совокупность элементов, взятых таким образом, будет называться купюрой. Может статься, что вследствие этой операции С окажется подразделенной на несколько отдельных непрерывностей, так как совокупность остающихся элементов не будет более составлять единую непрерывность.
Тогда у С найдутся два элемента A и В, которые необходимо будет считать принадлежащими двум различным непрерывностям; мы узнаем это потому, что нельзя будет найти в С линейный ряд последовательных элементов (каждый из этих элементов не может отличаться от предыдущего; за первый возьмем A, а за последний В), если хоть один из элементов этого ряда не будет неотличим от одного из элементов купюры.
Может, напротив, случиться, что реализация купюры будет недостаточна для подразделения непрерывности С. В целях классификации физических непрерывностей мы должны исследовать, каковы должны быть купюры, которые необходимы для подразделения непрерывности.
Если физическую непрерывность С можно подразделить, реализуя
Если, напротив, можно подразделить С только при помощи купюр, которые сами представляют собой непрерывности, то мы скажем, что С – непрерывность нескольких измерений. Если это достигается купюрами, которые являются непрерывностями одного измерения, то мы скажем, что С имеет два измерения; если достаточно купюр, имеющих два измерения, то мы скажем, что С имеет три измерения, и т. д.
Таким образом, понятие физической непрерывности многих измерений оказывается определенным благодаря тому весьма простому факту, что две группы ощущений могут быть различимыми или же неразличимыми.
Математическая непрерывность нескольких измерений. Понятие математической непрерывности n измерений вытекает отсюда совершенно естественно при помощи процесса, вполне подобного тому, который мы изучили в начале этой главы. Точка подобной непрерывности, как известно, представляется нам определенной при помощи системы n различных величин, называемых ее координатами.
Не всегда необходимо, чтобы величины эти были измеримыми. В геометрии имеется целая отрасль, в которой отвлекаются от измерения этих величин; в ней занимаются, например, только изучением вопроса, лежит ли точка В на кривой АВС между точками A и С, и не стараются узнать, равна ли дуга АВ дуге ВС, или она в два раза больше ее. Это – так называемый Analysis Situs.
В этом вся сущность учения, привлекшего к себе внимание величайших геометров, учения, из которого вытекает ряд замечательных теорем. Эти теоремы отличаются от теорем обыкновенной геометрии тем, что они являются чисто качественными, и они остались бы справедливыми, если бы фигуры копировались искусным чертежником, который грубо нарушал бы их пропорции и заменял бы прямые линии более или менее искривленными.
Когда в только что определенную нами непрерывность пожелали ввести меру, эта непрерывность превратилась в пространство: родилась геометрия. Но я откладываю это исследование для второй части.
Часть II. Пространство
Глава III. Неевклидовы геометрические системы
Всякое заключение предполагает наличие посылок; посылки же эти или сами по себе очевидны и не нуждаются в доказательстве, или могут быть установлены, только опираясь на другие предположения. Но так как этот процесс не может продолжаться беспредельно, то всякая дедуктивная наука, и в частности геометрия, должна основываться на некотором числе недоказуемых аксиом. Поэтому все руководства по геометрии прежде всего излагают эти аксиомы. Но между этими аксиомами приходится делать различие; некоторые их них, как, например, аксиома: «две величины, равные одной и той же третьей, равны между собой», суть предложения не геометрии, а анализа. Я рассматриваю их как аналитические априорные суждения и не буду заниматься ими. Но я должен остановиться на других аксиомах, которые относятся к геометрии. Большинство руководств излагают три такие аксиомы: