Гомогенные многообразия: геометрия пространств постоянной кривизны
Когда мы переходим от изучения отдельных поверхностей к анализу свойств всего пространства как единого целого (например, при моделировании формы Вселенной), математики фокусируются на пространствах с максимальной симметрией. Пространства, в которых нет выделенных «особых» точек, а геометрия в каждой точке абсолютно идентична геометрии в любой другой точке, называются гомогенными (однородными) многообразиями. Аналитическая дифференциальная геометрия строго доказывает, что в трехмерном мире существует всего три фундаментальных типа изотропных пространств постоянной Гауссовой кривизны: плоское евклидово пространство, гиперболическая геометрия Лобачевского и сферическая геометрия Римана.