К неожиданным результатам привело и изучение параллельных прямых на поверхности планеты. Ведь если провести на плоскости замкнутую линию, а потом перемещать вдоль нее отрезок так, чтобы он оставался все время параллелен самому себе, то отрезок вернется в исходную точку, не изменив направления (рис. 3, а). Измерения на малых участках поверхности планеты, казалось бы, подтверждали этот результат (параллельными ялмезяне считали прямые, перпендикулярные одной и той же прямой).
Рис. 3
Ио измерения больших участков поверхности привели совсем к иным результатам. Возьмем, например, треугольник ABC (рис. 3, б) и проведем в точке A "отрезок", перпендикулярный AB. Будем переносить этот отрезок вдоль контура треугольника ABC, следя за тем, чтобы он оставался все время параллельным самому себе. Когда мы придем в точку B, то получим отрезок, направленный по экватору. Так как экватор сам является "прямой", то после параллельного переноса в точку C отрезок снова будет направлен по экватору. А когда мы перенесем его еще по меридиану CA, то получим отрезок, повернутый на 90° относительно первоначального направления (то есть как раз на величину избытка треугольника ABC). А если бы мы переносили отрезок по контуру треугольника ABD на рис. 2, б, то он повернулся бы на 180°.
Вообще, при параллельном переносе по контуру любого сферического треугольника отрезок поворачивается на угол, равный избытку этого треугольника. Любопытный результат получается, если переносить отрезок вдоль экватора. На первый взгляд кажется, что он возвратится в исходную точку, не повернувшись. Но это неверно. Если все время сносить движущийся отрезок в одну и ту же точку — полюс сферы, то мы увидим, что он повернулся на 360° (рис. 4). Но это и неудивительно. Дополним экватор дугой меридиана АВ, пробегаемой в обоих направлениях. Мы получим "треугольник" ABA. В этом треугольнике два угла прямые, а третий равен 360°. Поэтому и его избыток равен 360°.
Рис. 4
Измерение кривизны.
Итак, измеряя сумму углов треугольника, наблюдая за поворотом параллельных при переносе по замкнутому контуру, проверяя теорему Пифагора, жители планеты убедились, что они живут не на плоскости, а на какой-то искривленной поверхности. За меру кривизны некоторого участка поверхности они приняли угол поворота отрезка, параллельно перенесенного вдоль границы этого участка. Эту кривизну можно было считать и по-другому: разбить участок на треугольники и сложить избытки всех треугольников. Ведь, если два треугольника объединяются в один, то их избытки складываются.
Оказалось, что чем больше площадь участка, тем сильнее он искривлен. Точнее говоря, избыток любого треугольника оказался пропорционален его площади:
α + β +γ — π = kS(1)
мы будем измерять углы не в градусах, а в радианах; при таком измерении сумма углов плоского треугольника равна π). Отсюда был сделан вывод, что кривизна поверхности на единицу площади всюду одна и та же. Число к и приняли за меру кривизны.
Но среди всех поверхностей есть только одна поверхность, для которой избыток треугольника на единицу площади всегда один и тот же — это сфера. Поэтому геометры Ялмеза установили, что они живут на сфере, а не на какой-нибудь другой поверхности. Без особого труда удалось даже найти радиус этой сферы. Ведь если число к не зависит от выбора треугольника, его достаточно подсчитать для одного треугольника. Возьмем, например, треугольник ABC на рис. 2, а. Его избыток равен 90°, или, в радианной мере, π/2. Площадь же этого треугольника равна 1/8 площади сферы, то есть πR2/2. Подставляя эти значения в формулу (1), получаем, что k = 1/R2, а потому для любого сферического треугольника
α + β +γ — π =S/R2,
где α, β, γ — его углы, S — площадь и R — радиус сферы. Полученная формула позволяет определить радиус сферы путем измерения углов и площади треугольника. Разумеется, этот способ не очень удобен, так как требует весьма большой точности измерения углов. Для измерения радиуса Земли прибегли к иному способу — измерению длины дуги меридиана, что потребовало наблюдений за звездами.
Гауссова кривизна.
Формула (1) определяет кривизну к поверхности сферы, отнесенную к единице площади. Как мы видели, она равна 1/R2. Иными словами, чем больше радиус сферы, тем меньше искривлен участок ее поверхности, имеющий единичную площадь; поверхность мяча искривлена гораздо больше, чем поверхность Земли.
Гаусс предложил таким же образом измерять кривизну любой поверхности. На любой поверхности можно строить геометрию точно так же, как и на поверхности сферы. Роль прямолинейных отрезков играют при этом кратчайшие (их еще называют геодезическими) линии, то есть линии, длина которых меньше длины всех остальных линий, соединяющих данные две точки. С ними впервые столкнулись геодезисты при измерении расстояний на поверхности Земли. К слову сказать, и сам Гаусс пришел к занятиям геометрией на поверхностях после того, как он в течение нескольких лет занимался геодезическими измерениями.
Из геодезических линий можно строить треугольники, четырехугольники и т. д. При этом на любой кривой поверхности, как и на сфере, сумма углов треугольника не будет, вообще говоря, равна π. Кривизной треугольника, отнесенной к единице площади, мы снова назовем число (α + β + γ — π)/S. Однако на произвольных поверхностях это число будет для различных треугольников различным. Более того, оно может быть для одних треугольников положительным, а для других — отрицательным (треугольники могут иметь не только избыток, но и недостаток).
Чтобы найти кривизну в какой-то точке поверхности, надо брать все меньшие и меньшие треугольники, охватывающие эту точку, и искать их кривизну, отнесенную к единице площади. В пределе мы получим кривизну поверхности в данной точке. Это определение кривизны дал Гаусс, и ее обычно называют гауссовой кривизной. Если треугольники имеют избыток, то гауссова кривизна поверхности положительна, а если сумма углов меньше π, то кривизна отрицательна.
Если поверхность выпукла, то ее гауссова кривизна во всех точках положительна, а для бублика, изображенного на рис. 5 (математики называют его тором), в одних точках гауссова кривизна положительна, а в других — отрицательна.
Рис. 5
Замечательным свойством гауссовой кривизны является то, что она не меняется при изгибании поверхности, то есть при ее преобразованиях, не изменяющих расстояний между точками. Отсюда ясно, например, что во всех точках цилиндра гауссова кривизна равна нулю. Ведь цилиндр получается изгибанием куска плоскости, а кривизна плоскости равна нулю. Равна нулю гауссова кривизна и во всех точках конуса, кроме его вершины.
Псевдосфера и геометрия Лобачевского.
На сфере во всех точках кривизна одна и та же, и притом положительна. А есть поверхность постоянной отрицательной кривизны. Ее называют псевдосферой. Она получается следующим образом.
Представим себе, что в точке A стоит человек, который держит на поводке собаку (рис. 6). Вначале собака находится в точке O. После этого она бежит по прямой Oz с постоянной скоростью, а ее хозяин бежит вслед за ней так, что его скорость все время направлена вдоль поводка. Поэтому сначала хозяин бежит в направлении AO. Но по мере того, как собака продвигается по прямой Ox, направление бега хозяина образует все меньший угол с этой прямой, причем расстояние от бегущего человека до прямой Ox становится все меньше. На рис. 6 изображена линия, по которой бежит человек. Она называется трактрисой и обладает следующим замечательным свойством: в какой бы точке M к ней ни провести касательную, отрезок этой касательной между точкой M и осью Ox имеет одну и ту же длину.
Рис. 6
Если повернуть трактрису вокруг прямой Ox, то получится псевдосфера (рис. 7). Эта поверхность замечательна тем, что геометрия на ней совпадает с геометрией на куске плоскости Лобачевского. Поэтому открытие псевдосферы было очень важным этапом в развитии неевклидовой геометрии.
Рис. 7
Гаусс и Риман.
В работах Гаусса был до конца решен вопрос о том, что такое кривизна поверхности. На повестку дня встала проблема, как определить меру кривизны пространства. Это удалось сделать одному из самых замечательных математиков XIX в.- Бернгарду Риману.[28]
Проблеме кривизны пространства была посвящена пробная лекция, прочитанная Риманом в 1854 г. Тогда в университетах существовал хороший обычай: начинающий преподаватель должен был прочесть лекцию для членов факультета, чтобы они могли определить его педагогические способности. Риман предложил несколько тем пробных лекций, из которых Гаусс выбрал одну, сильнее всего заинтересовавшую его — "О гипотезах, лежащих в основании геометрии". Надо полагать, что слушатели остались не слишком высокого мнения о педагогических дарованиях Римана: содержание лекции понял до конца лишь один слушатель — Гаусс.
Почти без формул и выкладок Риман развил общие идеи о многомерных многообразиях, об измерении длин в таких многообразиях, их кривизне и т. д. В лекции были поставлены интересующие до сих пор физиков-теоретиков вопросы о том, непрерывно или дискретно наше пространство, применима ли обычная геометрия к бесконечно-малым областям пространства. Глубина этих идей захватила Гаусса, и, как рассказывают очевидцы, он ушел домой в глубокой задумчивости.
Кривизна пространства.
Как же ответил Риман на вопрос: что такое кривизна пространства и как она измеряется? Он применил тот же способ, каким Гаусс измерял кривизну поверхности: подсчитывал сумму углов треугольника, составленного из отрезков геодезических линий, и смотрел, на сколько она отличается от π. Однако при этом возникло осложнение: ведь в пространстве через точку можно провести много плоскостей и кривизна зависит не только от того, в какой точке ее вычисляют, но и от того, в какой плоскости лежат треугольники. Поэтому Риман говорил не о кривизне в данной точке, а о кривизне в данной точке в направлении данной плоскости.