Вклад Римана
В любом случае революция, начатая Гауссом, проходила в трехмерном евклидовом пространстве. Многомерные случаи были еще впереди, а пока обычная аналитическая геометрия занималась изучением координатных пространств первых трех измерений (на прямой, на плоскости и в трехмерном пространстве). Как мы уже говорили, признать существование высших измерений было нелегкой задачей для ученых и философов. Однако в середине 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 г. была разработана общая теория относительности Эйнштейна.