Большая Советская энциклопедия (ГЕ)

  2) Второй важнейший принцип определения тех или иных пространств и их исследования представляет введение координат. Многообразием называется такое (связное) топологическое пространство, в окрестности каждой точки которого можно ввести координаты, поставив точки окрестности во взаимно однозначное и взаимно непрерывное соответствие с системами из n действительных чисел x₁, x₂,(, xn. Число n есть число измерений многообразия. Пространства, изучаемые в большинстве геометрических теорий, являются многообразиями; простейшие геометрические фигуры (отрезки, части поверхностей, ограниченные кривыми, и т.п.) обычно — куски многообразий. Если среди всех систем координат, которые можно ввести в кусках многообразия, выделяются системы координат такого рода, что одни координаты выражаются через другие дифференцируемыми (то или иное число раз) или аналитическими функциями, то получают т. н. гладкое (аналитическое) многообразие. Это понятие обобщает наглядное представление о гладкой поверхности. Гладкие многообразия как таковые составляют предмет т. н. дифференциальной топологии. В собственно Г. они наделяются дополнительными свойствами. Координаты с принятым условием дифференцируемости их преобразований дают почву для широкого применения аналитических методов — дифференциального и интегрального исчисления, а также векторного и тензорного анализа (см. Векторное исчисление, Тензорное исчисление). Совокупность теорий Г., развиваемых этими методами, образует общую дифференциальную Г.; простейшим случаем её служит классическая теория гладких кривых и поверхностей, которые представляют собою не что иное, как одно- и двумерные дифференцируемые многообразия.

  3) Обобщение понятия движения как преобразования одной фигуры в другую приводит к общему принципу определения разных пространств, когда пространством считается множество элементов (точек), в котором задана группа взаимно однозначных преобразований этого множества на себя. «Геометрия» такого пространства состоит в изучении тех свойств фигур, которые сохраняются при преобразованиях из этой группы. Поэтому с точки зрения такой Г. фигуры можно считать «равными», если одна переходит в другую посредством преобразования из данной группы. Например, евклидова Г. изучает свойства фигур, сохраняющиеся при движениях, аффинная Г. — свойства фигур, сохраняющиеся при аффинных преобразованиях, топология — свойства фигур, сохраняющиеся при любых взаимно однозначных и непрерывных преобразованиях. В эту же схему включаются геометрия Лобачевского, проективная Г. и др. Фактически этот принцип соединяется с введением координат. Пространство определяется как гладкое многообразие, в котором преобразования задаются функциями, связывающими координаты каждой данной точки и той, в которую она переходит (координаты образа точки задаются как функции координат самой точки и параметров, от которых зависит преобразование; например, аффинные преобразования определяются как линейные: x'_i = a_i1x₁ + a_i2x₂ +¼+ a_inx_n, i = 1, ¼, n). Поэтому общим аппаратом разработки таких «геометрий» служит теория непрерывных групп преобразований. Возможна другая, по существу эквивалентная, точка зрения, согласно которой задаются не преобразования пространства, а преобразования координат в нём, причём изучаются те свойства фигур, которые одинаково выражаются в разных системах координат. Эта точка зрения нашла применение в теории относительности, которая требует одинакового выражения физических законов в разных системах координат, называемых в физике системами отсчёта.