Плоскость (К = 0, Н = 0); цилиндр радиуса r (К = 0, Н = 1/r > 0); сфера радиуса r(К = Н = 1/r2 > 0).
Заметим, что внутренняя геометрия сферы, гауссова кривизна которой постоянна и положительна, отличается от внутренней геометрии плоскости. Вот почему жители сферы могут понять, что они живут на искривленной поверхности, не выходя за ее пределы. Это можно сделать, проверив, что сумма углов геодезического треугольника больше 180°. Гаусс пытался доказать это для поверхности Земли, но погрешность его измерений была слишком велика. Важным следствием этого является невозможность построения правильных карт поверхности Земли, сохраняющих геометрию (расстояния, кратчайшие пути, площади и направления). Более того, для большинства поверхностей значение гауссовой кривизны варьируется от точки к точке.
Примером может служить поверхность тора (или бублика), которая имеет точки с положительной, отрицательной и нулевой гауссовой кривизной (внешние, внутренние и граничные точки поверхности тора соответственно).
Точки поверхности тора выделены разным цветом в зависимости от кривизны — положительной, нулевой или отрицательной.
* * *
МОДЕЛИ ГЕОМЕТРИЙ НА ПОВЕРХНОСТЯХ
Чтобы построить модель неевклидовой геометрии, надо представить пространство в виде поверхности, а геодезические линии на ней (кратчайшие расстояния между двумя точками) назвать прямыми линиями. Дифференциальная геометрия помогает определить, на каких поверхностях справедливы постулаты Евклида. Такие поверхности должны быть геодезически полными (геодезические линии неограниченны), чтобы выполнялись постулаты 1 и 2, и иметь постоянную гауссову кривизну К для выполнения постулатов 3 и 4. Таким образом, если К = 0, то справедлива евклидова геометрия на плоскости. Если К > 0, то мы имеем модель эллиптической геометрии (например, на сфере) с гипотезой тупых углов. В этом случае первый постулат не выполняется, так как через диаметрально противоположные точки проходит бесконечное количество геодезических линий. Диаметрально противоположные точки сферы можно отождествить, но тогда получится абстрактная поверхность вне трехмерного евклидова пространства. Если К < 0, то мы имеем модель гиперболической геометрии (псевдосферу) с гипотезой острых углов. Эта модель тоже не является геодезически полной, и, следовательно, ее тоже приходится обобщать до абстрактной поверхности вне трехмерного евклидова пространства.
Вклад Римана
В любом случае революция, начатая Гауссом, проходила в трехмерном евклидовом пространстве. Многомерные случаи были еще впереди, а пока обычная аналитическая геометрия занималась изучением координатных пространств первых трех измерений (на прямой, на плоскости и в трехмерном пространстве). Как мы уже говорили, признать существование высших измерений было нелегкой задачей для ученых и философов. Однако в середине XIX в. многомерные пространства появились как естественное продолжение аналитической геометрии. Одной из двух важных работ, связанных с этим, была статья «Главы из аналитической геометрии п измерений» английского математика Артура Кэли (1821–1895). Второй базисной работой стали «Лекции о линейном расширении» немецкого математика и философа Германа Грассмана (1809–1877).
Потом появился доклад Римана, представленный в Гёттингенском университете, «О гипотезах, лежащих в основании геометрии». Он содержал великие геометрические идеи:
1. Понятие n-мерного геометрического пространства (называемого дифференцируемым многообразием), обобщающее понятие поверхности, данное Гауссом.
2. Понятие метрического тензора, обобщающее понятие расстояния, и изучение метрических отношений на дифференцируемых многообразиях (рождение геометрии Римана).
3. Обобщение понятия кривизны и других элементов внутренней геометрии поверхности на римановы n-мерные многообразия.
Понятие n-мерного дифференцируемого многообразия включает в себя тот факт, что локально его можно определить с помощью n локальных координат x1, …, xn, а также законов их преобразований. Геометрическое пространство (дифференцируемое многообразие) необязательно связано с реальным пространством, но может быть любым объектом, в котором выполняются общие условия, заданные определением.
Более того, Риман отказался от обычного математического и философского подхода, согласно которому понятие пространства подразумевает расстояние, заданное как обычное евклидово расстояние. Этим он разделил понятия пространства (п-мерного дифференцируемого многообразия) и расстояния, называемого метрическим тензором Римана. Таким образом, в одном и том же пространстве могут существовать три расстояния, с которыми, конечно, связаны различные значения кривизны. Поэтому геометрия Римана является неевклидовой геометрией в гораздо более общем смысле, чем разработанная Лобачевским и Бойяи, так как она подразумевает большее количество измерений и ее кривизна может принимать разные значения в разных точках.
Риман также глубоко интересовался проблемами физики и попытался объединить физические силы природы — гравитационные, электрические и магнитные.
По его мнению, силы притяжения являются следствием геометрии пространства и его кривизны. Он надеялся, что введенная им новая геометрия позволит обобщить силы природы.
Его идеи являются фундаментальными для физики XX в. В частности, они заложили основы теории относительности. В 1905 г. немецкий физик Альберт Эйнштейн (1879–1955) вместе с нидерландским физиком и математиком Хендриком Лоренцем (1853–1928) и французским математиком Анри Пуанкаре (1854–1912) представил специальную теорию относительности. Вскоре после этого немецкий математик Герман Минковский (1864–1909) связал четырехмерное многообразие Римана, пространство-время, с пространственным метрическим тензором Римана, который содержал скорость света. Именно на основе этого пространства в 1916 г. была разработана общая теория относительности Эйнштейна.
* * *
БЕРНХАРД РИМАН (1826–1866)
Риман за свою короткую жизнь опубликовал всего несколько работ, зато они были исключительно высокого достоинства, так как в них он решил некоторые из наиболее сложных математических проблем. Также он ввел новые понятия и методы и кардинально изменил представление о пространстве. Он был застенчивым человеком и избегал публичных выступлений, а из-за слабого здоровья страдал частыми нервными срывами.
Детство его было скромным, что неудивительно: он был сыном пастуха, но это не помешало проявлению фантастических способностей к вычислениям и особого математического таланта. Еще в школе юный Бернхард прочитал книгу Лежандра по теории чисел, поглощая 900 страниц в неделю.
Начав учиться на факультете теологии и философии, Риман вскоре увлекся математикой, поэтому отправился изучать ее в Берлинский университет. Там он начал развивать свои идеи по теории функций комплексного переменного, написав по этой теме докторскую диссертацию под руководством Гаусса в Гёттингенском университете. В 1859 г. Риман опубликовал свою единственную работу по простым числам. Этой областью он увлекался в течение многих лет, сформулировав одну из самых известных в математике гипотез.
Карикатура на Римана авторства Херардо Басабе.