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

  На почве теории относительности возникла теория пространств, в которых определено понятие следования точек, так что каждой точке Х отвечает множество V (X) следующих за нею точек. (Это является естественным математическим обобщением следования событий, определённого тем, что событие Y следует за событием X, если Х воздействует на Y, и тогда Y следует за Х во времени в любой системе отсчёта.) Т. к. само задание множеств V определяет точки, следующие за X, как принадлежащие множеству V (X), то определение этого типа пространств оказывается применением первого из перечисленных выше принципов, когда «геометрия» пространства определяется выделением специальных множеств. Конечно, при этом множества V должны быть подчинены соответствующим условиям; в простейшем случае — это выпуклые конусы. Эта теория включает теорию соответствующих псевдоримановых пространств.

  6) Аксиоматический метод в его чистом виде служит теперь либо для оформления уже готовых теорий, либо для определения общих типов пространств с выделенными специальными множествами. Если же тот или иной тип более конкретных пространств определяют, формулируя их свойства как аксиомы, то используют либо координаты, либо метрику и др. Непротиворечивость и тем самым осмысленность аксиоматической теории проверяется указанием модели, на которой она реализуется, как это впервые было сделано для геометрии Лобачевского. Сама модель строится из абстрактных математических объектов, поэтому «окончательное обоснование» любой геометрической теории уходит в область оснований математики вообще, которые не могут быть окончательными в полном смысле, но требуют углубления (см. Математика, Аксиоматический метод).

  Перечисленные принципы в разных сочетаниях и вариациях порождают обширное разнообразие геометрических теорий. Значение каждой из них и степень внимания к её задачам определяются содержательностью этих задач и получаемых результатов, её связями с др. теориями Г., с др. областями математики, с точным естествознанием и задачами техники. Каждая данная геометрическая теория определяется среди других геометрических теорий, во-первых, тем, какое пространство или какого типа пространства в ней рассматриваются. Во-вторых, в определение теории входит указание на исследуемые фигуры. Так различают теории многогранников, кривых, поверхностей, выпуклых тел и т.д. Каждая из этих теорий может развиваться в том или ином пространстве. Например, можно рассматривать теорию многогранников в обычном евклидовом пространстве, в n-мерном евклидовом пространстве, в пространстве Лобачевского и др. Можно развивать обычную теорию поверхностей, проективную, в пространстве Лобачевского и т.д. В-третьих, имеет значение характер рассматриваемых свойств фигур. Так, можно изучать свойства поверхностей, сохраняющиеся при тех или иных преобразованиях; можно различать учение о кривизне поверхностей, учение об изгибаниях (т. е. о деформациях, не меняющих длин кривых на поверхности), внутреннюю Г. Наконец, в определение теории можно включать её основной метод и характер постановки задач. Так различают Г.: элементарную, аналитическую, дифференциальную; например, можно говорить об элементарной или аналитической Г. пространства Лобачевского. Различают Г. «в малом», рассматривающую лишь свойства сколь угодно малых кусков геометрического образа (кривой, поверхности, многообразия), от Г. «в целом», изучающей, как ясно из её названия, геометрические образы в целом на всём их протяжении. Очень общим является различение аналитических методов и методов синтетической Г. (или собственно геометрических методов); первые используют средства соответствующих исчислений: дифференциального, тензорного и др., вторые оперируют непосредственно геометрическими образами.

  Из всего разнообразия геометрических теорий фактически более всего развиваются n-мерная евклидова Г. и риманова (включая псевдориманову) Г. В первой разрабатывается, в особенности, теория кривых и поверхностей (и гиперповерхностей разного числа измерений), причём особое развитие получает исследование поверхностей «в целом» и поверхностей, существенно более общих, чем гладкие, изучавшиеся в классической дифференциальной Г.; сюда же включаются многогранники (многогранные поверхности). Затем нужно назвать теорию выпуклых тел, которая, впрочем, в большой части может быть отнесена к теории поверхностей в целом, т.к. тело определяется своей поверхностью. Далее — теория правильных систем фигур, т. е. допускающих движения, переводящие всю систему саму в себя и какую-либо её фигуру в любую другую (см. Федоровские группы). Можно отметить, что значительное число важнейших результатов в этих областях принадлежат сов. геометрам: очень полная разработка теории выпуклых поверхностей и существенное развитие теории общих невыпуклых поверхностей, разнообразные теоремы о поверхностях в целом (существования и единственности выпуклых поверхностей с заданной внутренней метрикой или с заданной той пли иной «функцией кривизны», теорема о невозможности существования полной поверхности с кривизной, всюду меньшей какого-либо отрицательного числа, и др.), исследование правильного деления пространства и др.

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

  В дополнение следует упомянуть алгебраическую геометрию, развившуюся из аналитической Г. и исследующую прежде всего геометрические образы, задаваемые алгебраическими уравнениями; она занимает особое место, т.к. включает не только геометрические, но также алгебраические и арифметические проблемы. Существует также обширная и важная область исследования бесконечномерных пространств, которая, однако, не причисляется к Г., а включается в функциональный анализ, т.к. бесконечномерные пространства конкретно определяются как пространства, точками которых служат те или иные функции. Тем не менее в этой области есть много результатов и проблем, носящих подлинно геометрический характер и которые поэтому следует относить к Г.

  Значение геометрии. Применение евклидовой Г. представляет самое обычное явление всюду, где определяются площади, объёмы и т.п. Вся техника, поскольку в ней играют роль формы и размеры тел, пользуется евклидовой Г. Картография, геодезия, астрономия, все графические методы, механика немыслимы без Г. Ярким примером является открытие И. Кеплером факта вращения планет по эллипсам; он мог воспользоваться тем, что эллипс был изучен ещё древними геометрами. Глубокое применение Г. представляет геометрическая кристаллография, послужившая источником и областью приложения теории правильных систем фигур (см. Кристаллография).

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

  Впервые понятие о многомерном пространстве зародилось в связи с механикой ещё у Ж. Лагранжа, когда к трём пространств. координатам х, у, z в качестве четвёртой формально присоединяется время t. Так появляется четырёхмерное «пространство — время», где точка определяется четырьмя координатами х, у, z, t. Каждое событие характеризуется этими четырьмя координатами и, отвлеченно, множество всех событий в мире оказывается четырёхмерным пространством. Этот взгляд получил развитие в геометрической трактовке теории относительности, данной Г. Минковским, а потом в построении А. Эйнштейном общей теории относительности. В ней он воспользовался четырехмерной римановой (псевдоримановой) Г. Так геометрические теории, развившиеся из обобщения данных пространственного опыта, оказались математическим методом построения более глубокой теории пространства и времени. В свою очередь теория относительности дала мощный толчок развитию общих геометрических теорий. Возникнув из элементарной практики, Г. через ряд абстракций и обобщений возвращается к естествознанию и практике на более высокой ступени в качестве метода.