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

  Не следует, однако, представлять развитие Г. так, что она лишь регистрирует и описывает на геометрическом языке уже встретившиеся на практике формы и отношения, подобные пространственным. В действительности Г. определяет широкие классы новых пространств и фигур в них, исходя из анализа и обобщения данных наглядной Г. и уже сложившихся геометрических теорий. При абстрактном определении эти пространства и фигуры выступают как возможные формы действительности. Они, стало быть, не являются чисто умозрительными конструкциями, а должны служить, в конечном счёте, средством исследования и описания реальных фактов. Лобачевский, создавая свою Г., считал её возможной теорией пространственных отношений. И так же как его Г. получила обоснование в смысле её логической состоятельности и применимости к явлениям природы, так и всякая абстрактная геометрическая теория проходит такую же двойную проверку. Для проверки логической состоятельности существенное значение имеет метод построения математических моделей новых пространств. Однако окончательно укореняются в науке только те абстрактные понятия, которые оправданы и построением искусственной модели, и применениями, если не прямо в естествознании и технике, то хотя бы в др. математических теориях, через которые эти понятия так или иначе связываются с действительностью. Лёгкость, с которой математики и физики оперируют теперь разными «пространствами», достигнута в результате долгого развития Г. в тесной связи с развитием математики в целом и других точных наук. Именно вследствие этого развития сложилась и приобрела большое значение вторая сторона Г., указанная в общем определении, данном в начале статьи: включение в Г. исследования форм и отношений, сходных с формами и отношениями в обычном пространстве.

  В качестве примера абстрактной геометрической теории можно рассмотреть Г. n-мерного евклидова пространства. Она строится путём простого обобщения основных положений обычной Г., причём для этого имеется несколько возможностей: можно, например, обобщать аксиомы обычной Г., но можно исходить и из задания точек координатами. При втором подходе n-мерное пространство определяют как множество каких-либо элементов-точек, задаваемых (каждая) n числами x1, x2,¼, xn, расположенными в определённом порядке, — координатами точек. Далее, расстояние между точками Х = (x1, x2,¼, xn) и X'= (x’1, x’2,¼, х’n) определяется формулой:

  что является прямым обобщением известной формулы для расстояния в трёхмерном пространстве. Движение определяют как преобразование фигуры, которое не изменяет расстояний между её точками. Тогда предмет n-мерной Г. определяется как исследование тех свойств фигур, которые не меняются при движениях. На этой основе легко вводятся понятия о прямой, о плоскостях различного числа измерений от двух до n—1, о шаре и т.д. Т. о. складывается богатая содержанием теория, во многом аналогичная обычной евклидовой Г., но во многом и отличная от неё. Нередко бывает, что результаты, полученные для трёхмерного пространства, легко переносятся с соответствующими изменениями на пространство любого числа измерений. Например, теорема о том, что среди всех тел одинакового объёма наименьшую площадь поверхности имеет шар, читается дословно так же в пространстве любого числа измерений [нужно лишь иметь в виду n-мерный объём, (n—1)-мерную площадь и n-мерный шар, которые определяются вполне аналогично соответствующим понятиям обычной Г.]. Далее, в n-мерном пространстве объём призмы равен произведению площади основания на высоту, а объём пирамиды — такому произведению, деленному на n. Такие примеры можно продолжить. С др. стороны, в многомерных пространствах обнаруживаются также качественно новые факты.

  Истолкования геометрии. Одна и та же геометрическая теория допускает разные приложения, разные истолкования (осуществления, модели, или интерпретации). Всякое приложение теории и есть не что иное, как осуществление некоторых её выводов в соответствующей области явлений.

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

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

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

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