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

Современная геометрия. Принятое в современной математике формально-математическое определение понятий пространства и фигуры исходит из понятия множества (см. Множеств теория ). Пространство определяется как множество каких-либо элементов («точек») с условием, что в этом множестве установлены некоторые отношения, сходные с обычными пространственными отношениями. Множество цветов, множество состояний физической системы, множество непрерывных функций, заданных на отрезке [0, 1], и т.п. образуют пространства, где точками будут цвета, состояния, функции. Точнее, эти множества понимаются как пространства, если в них фиксируются только соответствующие отношения, например расстояние между точками, и те свойства и отношения, которые через них определяются. Так, расстояние между функциями можно определить как максимум абсолютной величины их разности: max| f ( x ) —g ( x ) | . Фигура определяется как произвольное множество точек в данном пространстве. (Иногда пространство — это система из множеств элементов. Например, в проективной Г. принято рассматривать точки, прямые и плоскости как равноправные исходные геометрические объекты, связанные отношениями «соединения».)

Основные типы отношений, которые в разных комбинациях приводят ко всему разнообразию «пространств» современной Г., следующие:

1) Общими отношениями, имеющимися во всяком множестве, являются отношения принадлежности и включения: точка принадлежит множеству, и одно множество есть часть другого. Если приняты во внимание только эти отношения, то в множестве не определяется ещё никакой «геометрии», оно не становится пространством. Однако, если выделены некоторые специальные фигуры (множества точек), то «геометрия» пространства может определяться законами связи точек с этими фигурами. Такую роль играют аксиомы сочетания в элементарной, аффинной, проективной Г.; здесь специальными множествами служат прямые и плоскости.

Тот же принцип выделения некоторых специальных множеств позволяет определить понятие топологического пространства — пространства, в котором в качестве специальных множеств выделены «окрестности» точек (с условием, что точка принадлежит своей окрестности и каждая точка имеет хотя бы одну окрестность; наложение на окрестности дальнейших требований определяет тот или иной тип топологических пространств). Если всякая окрестность заданной точки имеет общие точки с некоторым множеством, то такая точка называется точкой прикосновения этого множества. Два множества можно назвать соприкасающимися, если хотя бы одно из них содержит точки прикосновения другого; пространство или фигура будет непрерывной, или, как говорят, связной, если её нельзя разбить на две несоприкасающиеся части; преобразование непрерывно, если оно не нарушает соприкосновений. Т. о., понятие топологического пространства служит для математического выражения понятия непрерывности. [Топологическое пространство можно определить также другими специальными множествами (замкнутыми, открытыми) или непосредственно отношением прикосновения, при котором любому множеству точек ставятся в соответствие его точки прикосновения.] Топологические пространства как таковые, множества в них и их преобразования служат предметом топологии. Предмет собственно Г. (в значительной её части) составляет исследование топологических пространств и фигур в них, наделённых ещё дополнительными свойствами.

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

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