Павел Флоренский - Павел Флоренский История и философия искусства
Итак, кривизна пространства тут понимается как удельная емкость пространства данной точки. Написанное соотношение дает по–прежнему:
где К3 есть среаняя кривизна пространства внутри тетраэдра.
Очевидно:
т. е. средняя кривизна равняется отношению гиперсферического избытка, рассчитанного на единицу объема. Делая тетраэдр все меньше и затягивая его около точки, мы заставим сферический избыток, рассчитанный на единицу объема, стремиться к некоторому пределу, и предел этот есть истинная кривизна в точке, около которой сжимается тетраэдр.
Можно пояснить весь этот прием на частном примере. Перенесем тетраэдр на гиперсферу, так чтобы всеми своими вершинами он расположился в трехмерном многообразии, содержащем четырехмерное содержимое многообразие гиперсферы. —Ясное дело, в нетронутом виде он не совпадет с содержащим гиперсферу многообразием, и для совпадения должен быть искривлен. Тогда ребра тетраэдра пойдут по большим кругам—геодезическим содержащего многообразия гиперсферы; грани совпадут с большими сферами того же содержащего многообразия, а объем деформированного тетраэдра составит часть объема вышеуказанного содержащего многообразия. Получится гиперсферический тетраэдр, аналогичный в двухмерном пространстве сферическому треугольнику. Измеряя телесные углы этого гиперсферического тетраэдра, мы нашли бы сумму их большею, нежели 4π. Разность той и другой величины зависит очевидно от степени искривленности тетраэдра, т. е. от кривизны гиперсферы, или от величины
а кроме того, она зависит от размеров тетраэдра.
В самом деле, тетраэдр, весьма малый сравнительно с площадью гиперсферического содержащего многообразия, и искривлен был бы весьма мало; а совсем малый тетраэдр мог бы считаться не подвергшимся деформации. Итак, если бы мы хотели, обратно, оценить кривизну гиперсферы по величине гиперсферического избытка, то этот последний надлежало бы отнести к единице объема. Таким образом, удельная емкость трехмерного сферического пространства характеризует собою его кривизну.
Подобные же рассуждения можно было бы применить и к пространствам большего», чем три, числа измерений. Тут опять пришлось бы говорить об удельной емкости, но уже не в отношении объемов, а — гипер–объемов и прочих n–мерных содержаний соответственных п–мерных пространств. Удельная емкость могла бы быть принята за характеристику кривизны.
До сих пор кривизна определялась как удельная емкость в отношении несжимаемой жидкости, подобно тому как длина оценивалась в отношении гибкой нерастяжимой нити. Но как нерастяжимая нить не есть единственная возможная наглядная основа для определения и оценки длины, так же и несжимаемая жидкость —не единственный эталон объема, но допускает рядом с собою и многие другие. Тогда, следовательно, и кривизна пространства, сохраняя формальное единство своего определения, как коэффициент емкости, будет получать различные оттенки в зависимости от косвенного дополнения при слове «емкость». Чего именно коэффициент емкости есть кривизна, это в разных случаях будет определяться различно, смотря по данному применению геометрии. Негибкость определения кривизны сделала бы геометрию неприменимою во всех случаях, за исключением того, когда мы имеем дело с несжимаемыми жидкостями. Итак, в одних случаях мы будем говорить об удельной емкости в отношении жидких и сыпучих тел, а в других —о емкости в отношении прочих физических величин и вообще — характеристик. Это может быть электрическая или магнитная масса, теплота, волновая энергия и т. д., и т. д. Мы можем относить удельную емкость пространства к среде, выделяя ее, эту емкость, как особое самостоятельное многообразие, сосуществующее пространству, которому, как таково^, вообще не приписываем ничего, кроме функции распространять — etendre — среду, т. е. быть etendu, и, следовательно, тогда запрещаем непосредственно сочетать с пространством понятие о емкости. Либо многообразие емкостного параметра мы не обособляем от пространства как такового, т. е. не гипостазируем переменной, вообще говоря, характеристики пространства — свойства иметь различную емкость в разных местах —в самостоятельное многообразие. Тогда речь идет только уже о пространстве и физическом факторе, который нами в данном случае рассматривается и в отношении которого определяется удельная емкость, т. е. кривизна пространства.
Когда определение прямизны, или длины, или угла и т. д. опирается на различные физическое наглядности, то, как мы видели, некоторое согласие этих наглядностей держится только внутри той или иной ограниченной действительности и расстраивается за ее пределами — за пределами «круга сходимости». Было бы весьма странно, если бы по какой‑то предустановленной гармонии различные определения прямизны, длины и проч. всюду и всегда не расходились бы между собою; если бы это произошло, то все убеждало бы нас, что лишь по недоразумению эти определения считаются различными, на самом же деле — просто тождественны. В этом смысле правильно сказано, что кривизна, длина, угол и проч., определенные в отношении разных физических наглядностей, суть вообще разное и лишь приблизительно покрывают друг друга.
Конечно, не иначе обстоит и с определением емкости, а следовательно — и кривизны. Емкость пространства данной точки не есть определенная величина, покуда не указано косвенным дополнением о емкости чего именно, какого именно физического деятеля идет речь. Вообще говоря, лишь внутри небольшой области кривизна пространства может быть одною и тою же в отношении нескольких различных деятелей, и было бы счастливой случайностью, если бы такое совпадение обнаружилось далеко за пределами исходной области исследования. Если нам кажется порою, будто такое согласие в отношении нескольких деятелей имеется всюду, то это — самообман: мы перекладываем расхождение удельных емкостей пространств в отношении нескольких деятелей на соответственное расхождение коэффициентов сред, в которых разыгрываются рассматриваемые физические процессы. Среды эти там и тут наделяются совсем разными свойствами, т. с. признаются разными. Иначе говоря, различное поведение пространств в отношении разных деятелей приводится как будто к полному единству, но потому, что отклонение от единства мы гипостазируем в виде особых сред, и притом разных—для разных деятелей; этим‑то средам и вменяется расхождение пространственных емкостей. Разумеется, нельзя помешать такому гипостазированию; но необходимо ясно понимать, что на самом деле преодоления много–пространственности тут вовсе не делается. Так, в прежние времена, чтобы спасти во что бы то ни стало евклидовское пространство, придумывали много разных imponderabilia — невесомых жидкостей, для каждого деятеля особая, и все они отличались особыми свойствами. Затем пестроту этих жидкостей старались уничтожить, сливая их все в единый эфир. Но тогда многообразие поведения должно было вернуться к пространству, и оказалось необходимым, чтобы спасти единство евклидовского пространства, приписание эфиру в отношении разных деятелей разных, друг другу противоречащих, свойств. Наиболее прямой, откровенный и сознательный исход, принимающий геометрию гак, как она в самом деле есть, был бы просто геометрический, т. е. различное поведение разных факторов относить к кривизне пространства, различной в отношении разных физических деятелей.
XVII
Следует для большей ясности дальнейшего пояснить эти соображения частными примерами, впрочем, частными лишь относительно, ибо они охватывают обширнейшие классы физических явлений[69].
XVIII[70]
«Если в случае дискретного (прерывного) многообразия основание определения меры заключается уже в самом понятии этого многообразия, то для непрерывного оно должно прийти извне. Поэтому то реальное, что лежит в основании пространства, или должно составлять дискретное многообразие, или же основания определений меры, должно быть разыскиваемо вне многообразия, в действующих и связывающих его силах». Так высказался об определении пространственных характеристик действующими в пространстве силами в 1854 году Бернгард Риман[71].
Эта мысль, столь блистательно ракрытая Эйнштейном, Вейлем и др., имеет однако смысл несравненно более глубокий и объем применения несравненно более широкий, нежели это делается, и то с значительными урезками, современной физикой. Эта узость есть отчасти пережиток механического миропонимания, которое соответственно и сузило геометрию. Так как все процессы были сведены к движениям механики, а силы —к механическим, то поэтому и геометрия стала наукою о пространстве механических движений. Между тем, постоянное наше пользование понятия пространства и пространственных отношений вовсе не только в одной механике и возможность пользоваться геометрией в областях иных, нежели группа движений хотя бы в той же физике, заставляет признать глубоко ошибочным, когда лишь механика признается единственной конкретной основою геометрии. Как уже было сказано, нет геометрии без конкретного опыта; но опыт этот может быть весьма многообразным и ни в коем случае не ограничивается одними механическими движениями.