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

  Т. о., выясняется двоякое значение истолкования геометрической теории — физическое и математическое. Если речь идёт об истолковании на конкретных объектах, то получается опытное доказательство истинности теории (конечно, с соответствующей точностью); если же сами объекты имеют абстрактный характер (как геометрическая поверхность в рамках геометрии Евклида), то теория связывается с другой математической теорией, в данном случае с евклидовой Г., а через неё с суммированными в ней опытными данными. Такое истолкование одной математической теории посредством другой стало математическим методом обоснования новых теорий, приёмом доказательства их непротиворечивости, поскольку противоречие в новой теории порождало бы противоречие в той теории, в которой она интерпретируется. Но теория, посредством которой производится истолкование, в свою очередь, нуждается в обосновании. Поэтому указанный математический метод не снимает того, что окончательным критерием истины для математических теорий остаётся практика. В настоящее время геометрические теории чаще всего истолковывают аналитически; например, точки на плоскости Лобачевского можно связывать с парами чисел х и у, прямые — определять уравнениями и т.п. Этот приём даёт обоснование теории потому, что сам математический анализ обоснован, в конечном счёте, огромной практикой его применения.

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

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

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

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