Когда прямые искривляются. Неевклидовы геометрии (Гомес) - страница 31
На надутом воздушном шарике прямая превращается в кривую, называемую геодезической линией, которая является большим кругом на сфере. Риман не мог провести этот простой, но наглядный эксперимент. В его время воздушные шарики еще не были изобретены.
* * *
Там же Риман добавляет:
«Следовательно, бесконечной прямой не существует, потому что в конце концов она стала бы кривой, и не существует совершенно плоской поверхности, потому что при продолжении она должна следовать кривизне Вселенной. Но так как плоскость будет искривляться во всех направлениях, искривленная плоскость оказывается сферической. Единственная геометрия, которая действительно существует, является сферической».
Эта спонтанная презентация содержала самую суть будущей геометрии Римана, которая отличается и от евклидовой, и от геометрии Лобачевского. В геометрии Римана нет прямых линий, а сумма углов треугольника больше 180°. Поверхность сферы является лучшей моделью для геометрии Римана. Сфера является частным случаем эллипсоида, удлиненной сферы. В этой модели прямые, как и в гиперболической геометрии, называются геодезическими линиями и являются большими окружностями, то есть такими окружностями, которые делят сферу на два равных полушария.
Все геодезические линии пересекаются, а треугольник АВС содержит два прямых угла, так что сумма его углов больше 180° (см. рисунок на предыдущей странице). В этой геометрии чем больше площадь треугольника, тем больше сумма его углов, и подобными являются только конгруэнтные треугольники, то есть те, которые совпадают при наложении друг на друга. Таким образом, поверхность сферы является моделью эллиптической геометрии. Как видно на предыдущей странице, сумма углов треугольника на такой поверхности больше 180°.
Риман не только построил эллиптическую геометрию, он также использовал алгебраические выражения (дифференциальные уравнения) для вычисления минимальных расстояний. Ему также удалось посчитать кривизну любого трехмерного пространства. Кроме того, его вычисления могут быть применены для многомерных пространств. Его результаты позже использовал Альберт Эйнштейн при работе над теорией относительности.
Первыми математиками, которые разделили все геометрии на три типа, были Феликс Клейн и основатель современной британской школы чистой математики Артур Кэли (1821–1895). Выделив гиперболическую и эллиптическую геометрии, они описали евклидову геометрию как параболическую. О причинах этого мы расскажем позже.
Неевклидовы геометрии не затмили их знаменитую предшественницу. Конечно, они все отличаются, но и сходств между ними достаточно много. В евклидовой геометрии две прямые пересекаются в точке, то же самое происходит в геометрии Лобачевского. У Римана две прямые (большие окружности) всегда пересекаются в точке и в ее антиподе с другой стороны сферы.