НЕЕВКЛИДОВЫ ГЕОМЕТРИИ

НЕЕВКЛИДОВЫ ГЕОМЕТРИИ в буквальном
понимании - все геометрич. системы, отличные от геометрии Евклида; однако
обычно термин "Н. г." применяется лишь к геометрич. системам (отличным
от геометрии Евклида), в к-рых определено движение фигур, причём с той
же степенью свободы, что и в геометрии Евклида. Степень свободы движения
фигур в евклидовой плоскости характеризуется тем, что каждая фигура без
изменения расстояний между её точками может быть перемещена так, чтобы
любая выбранная её точка заняла любое заранее назначенное положение; кроме
того, каждая фигура может вращаться вокруг любой своей точки. В евклидовом
трёхмерном пространстве каждая фигура может быть перемещена так, чтобы
любая выбранная её точка заняла любое заранее назначенное положение; кроме
того, каждая фигура может вращаться вокруг любой оси, проходящей через
любую её точку.

Среди H. г. особое значение имеют Лобачевского
геометрия и Римана геометрия, к-рые чаще всего и подразумевают,
когда говорят о H. г. Геометрия Лобачевского - первая геом. система, отличная
от геометрии Евклида, и первая более общая теория (включающая евклидову
геометрию как предельный случай). Геометрия Римана, открытая позднее, в
нек-рых отношениях противоположна геометрии Лобачевского, но вместе с тем
служит ей необходимым дополнением. Совместное исследование геометрий Евклида
(см. Евклидова геометрия), Лобачевского и Римана позволило в должной
мере выяснить особенности каждой из них, а также их связи друг с другом
и с др. геом. системами. Ниже обе H. г. и геометрия Евклида сопоставляются
как синтетич. теории, затем в плане дифференциальной геометрии и, наконец,
в виде проективных моделей.

H. г. как синтетические теории. Геометрия
Лобачевского строится на основе тех же аксиом, что и евклидова, за исключением
только одной аксиомы о параллельных. Именно, согласно аксиоме о параллельных
евклидовой геометрии, через точку, не лежащую на данной прямой а, проходит
только одна прямая, к-рая лежит в одной плоскости с прямой я и не пересекает
эту прямую; в геометрии Лобачевского принимается, что таких прямых несколько
(затем доказывается, что их бесконечно много).

В геометрии Римана принимается аксиома:
каждая прямая, лежащая в одной плоскости с данной прямой, пересекает эту
прямую. Эта аксиома противоречит системе аксиом евклидовой геометрии с
исключением аксиомы о параллельных. T. о., система аксиом, лежащая в основе
геометрии Римана, необходимо должна отличаться от системы аксиом евклидовой
геометрии не только заменой одной аксиомы о параллельных др. утверждением,
но и в части остальных аксиом. Различными в этих геометриях являются аксиомы,
которые служат для обоснования т. H. отношений порядка геом. элементов.
Сущность в следующем: в евклидовой геометрии и в геометрии Лобачевского
порядок точек на прямой является линейным, т. е. подобным порядку в множестве
действительных чисел; в геометрии Римана порядок точек на прямой является
циклическим, т. е. подобным порядку в множестве точек на окружности. Кроме
того, в геометриях Евклида и Лобачевского каждая прямая, лежащая в данной
плоскости, разделяет эту плоскость на две части; в геометрии Римана прямая
не разделяет плоскость на две части, т. е. любые две точки плоскости, не
лежащие на данной прямой, можно соединить в этой плоскости непрерывной
дугой, не пересекая данную прямую (топологич. моделью плоскости Римана
служит проективная плоскость).

Требования аксиом, определяющих движение
фигур, для всех трёх геометрий одинаковы.

Примеры теорем H. г.

1) В геометрии Лобачевского сумма внутренних
углов любого треугольника меньше двух прямых; в геометрии Римана эта сумма
больше двух прямых (в евклидовой геометрии она равна двум прямым).

2) В геометрии Лобачевского площадь
треугольника выражается формулой:

S = R²(---),
(D где,,
- внутренние углы треугольника, R - нек-рая постоянная, к-рая определяется
выбором единицы измерения площадей. В геометрии Римана имеет место формула:

S = R²(++-)
(2) при аналогичном значении символов (в евклидовой геометрии зависимости
между площадью треугольника и суммой его углов нет).

3) В геометрии Лобачевского между сторонами
и углами треугольника существует ряд зависимостей, напр.

где sh, ch - гиперболические синус
и косинус (см. Гиперболические функции), а, b, с - стороны треугольника,,,
- противолежащие им углы, R - постоянная, определяемая выбором масштаба;
для прямоугольного треугольника (с гипотенузой с и прямым углом)
имеет место, напр., равенство:

При нек-ром согласовании линейного
масштаба и единицы измерения площадей постоянная R в формулах (1), (3),
(4) будет одинаковой. Число R наз. радиусом кривизны плоскости (или пространства)
Лобачевского. Число R при данном масштабе выражает определённый отрезок
в плоскости (пространстве) Лобачевского, к-рый также наз. радиусом кривизны.
Если масштаб меняется, то меняется число R, но радиус кривизны, как отрезок,
остаётся неизменным. Если радиус кривизны принять за масштабный отрезок,
то R - 1. В геометрии Римана существуют сходные равенства:

(для произвольного треугольника) и

(для прямоугольного) при аналогичном
значении символов. Число R наз. pадиусом кривизны плоскости (или
пространства) Римана. Как видно из формул (4) и (6), в каждой из H. г.
гипотенуза прямоугольного треугольника определяется его углами; более того,
в H. г. стороны любого треугольника определяются его углами, т. е. не существует
подобных треугольников, кроме равных. В евклидовой геометрии нет формул,
аналогичных формулам (4) и (6), и нет никаких др. формул, выоажаюших линейные
величины через уг-

ловые. При замене R на Ri

формулы (1), (3), (4) превращаются
в формулы (2), (5), (6); вообще, при замене R на Ri все метрич. формулы
геометрии Лобачевского (сохраняющие при этой замене геометрич. смысл) переходят
в соответствующие формулы геометрии Римана. При R -> оо и те и другие дают
в пределе формулы евклидовой геометрии (либо теряют смысл). Стремление
к бесконечности величины R означает, что масштабный отрезок является бесконечно
малым по сравнению с радиусом кривизны (как с отрезком). То обстоятельство,
что при этом формулы H. г. переходят в пределе в формулы евклидовой геометрии,
означает, что для малых (по сравнению с радиусом кривизны) неевклидовых
фигур соотношения между их элементами мало отличны от евклидовых.

H. г. в плане дифференциальной геометрии.
В каждой из H. г. дифференциальные свойства плоскости аналогичны дифференциальным
свойствам поверхностей евклидова пространства (см. Дифференциальная
геометрия)', в неевклидовой плоскости могут быть введены внутренние
координаты и,, так что дифференциал
ds
дуги
кривой, соответствующий дифференциалам du, dv координат, определяется
равенством:

ds² = Edu²-
+ 2Fdudv + Gdv². (7) Пусть,
в частности, в качестве координаты и произвольной точки M берётся
длина перпендикуляра, опущенного из M на фиксированную прямую, а
в качестве координаты - расстояние
от фиксированной точки О этой прямой до основания указанного перпендикуляра;
величины и, следует брать
со знаком, подобно обычным декартовым координатам. Тогда формула (7)
для
плоскости Лобачевского будет иметь вид:

а для плоскости Римана

R - та же постоянная, к-рая
входит в формулы предыдущего раздела (радиус кривизны). Правые части (8)
и (9) суть метрические формы поверхностей евклидова пространства, имеющих
соответственно постоянную отрицательную кривиз-

ну К = - 1/R² (как,
напр., псевдосфера) и постоянную положительную кривизну К = 1/R²(как,
напр., сфера). Поэтому внутренняя геометрия достаточно малой части плоскости
Лобачевского совпадает с внутренней геометрией на соответствующей части
поверхности постоянной отрицательной кривизны. Аналогично, внутренняя геометрия
достаточно малых частей плоскости Римана реализуется на поверхностях постоянной
положительной кривизны (поверхностей, к-рые реализуют геометрию всей плоскости
Лобачевского, в евклидовом пространстве нет). При замене
R на Ri
метрич.
форма (8) переходит в метрич. форму (9). T. к. метрич. форма определяет
внутреннюю геометрию поверхности, то при такой замене и др. метрич. соотношения
геометрии Лобачевского переходят в метрич. соотношения геометрии Римана
(что уже было отмечено выше). При R = oо каждое из равенств (8) и (9) даёт

ds²=du²+dv²,

т. е. метрич. форму евклидовой плоскости.

Трёхмерные неевклидовы пространства
по своим дифференциальным свойствам относятся к числу римановых пространств
в широком смысле (см. Риманово пространство) и выделяются среди
них прежде всего тем, что имеют постоянную рима-нову кривизну (см. Риманова
геометрия). Как в двумерном, так и в трёхмерном случае постоянство
кривизны обеспечивает однородность пространства, т. е. возможность движения
фигур в нём, причём с той же степенью свободы, как (соответственно) на
евклидовой плоскости или в евклидовом пространстве. Пространство Лобачевского
имеет отрицательную кривизну, равную - 1/R², пространство Римана
- положительную кривизну, равную 1/R² (R - радиус кривизны).
Евклидово пространство занимает промежуточное положение и является пространством
нулевой кривизны.

Пространства постоянной кривизны могут
иметь весьма разнообразное строение в смысле топологии. Среди всех
пространств постоянной отрицательной кривизны пространство Лобачевского
однозначно выделяется двумя свойствами: оно полно (в смысле полноты метрического
пространства), топологически эквивалентно обычному евклидову пространству.
Пространство Римана среди всех пространств положительной кривизны однозначно
выделяется свойством топологич. эквивалентности проективному пространству.
Аналогичными условиями выделяются многомерные пространства Лобачевского
и Римана среди многомерных пространств постоянной ри-мановой кривизны.

H. г. в виде проективных моделей. Пусть
на проективной плоскости введены проективные однородные координаты (x1,
х2, х3) и задана нек-рая овальная линия второго порядка, обозначаемая
дальше буквой k, напр.

х2 + х2-х2=0.

Каждое проективное отображение проективной
плоскости на себя, к-рое оставляет на месте линию k, наз. автоморфизмом
относительно k. Каждый автоморфизм отображает внутренние точки линия
k также во внутренние её точки. Множество всех автоморфизмов относительно
линии k составляет группу. Пусть рассматриваются только точки
проективной плоскости, лежащие внутри k; хорды линии k наз.
"прямыми". Две фигуры пусть считаются равными, если одна из них переводится
в другую нек-рым автоморфизмом. T. к. автоморфизмы составляют группу, то
имеют место осн. свойства равенства фигур: если фигура А равна фигуре,
то равна А', если фигура
А
равна
фигуре В, а В равна фигуре С, то А равна С. В получаемой
т. о. геом. теории будут соблюдены требования всех аксиом евклидовой геометрии,
кроме аксиомы о параллельных: вместо этой последней аксиомы соблюдается
аксиома о параллельных Лобачевского (см. рисунок, где показано, что через
точку P проходит бесконечно много "прямых", не пересекающих "прямой"
а). Тем самым получается истолкование (двумерной) геометрии Лобачевского
при помощи объектов проективной плоскости или, как говорят, проективная
модель геометрии Лобачевского; линию k наз. абсолютом этой модели.
Автоморфизмы относительно k играют роль движений. Поэтому геометрию
Лобачевского можно рассматривать как теорию, изучающую свойства фигур и
связанные с фигурами величины, к-рые остаются неизменными при автоморфизмах;
короче говоря, геометрию Лобачевского можно рассматривать как теорию инвариантов
группы автоморфизмов относительно овального абсолюта.

Геометрия Римана (двумерная) допускает
сходное истолкование; именно она является теорией инвариантов относительно
нулевого абсолюта

х2 + х2+х2=0.(10)

При этом в качестве точек и прямых
модели берутся все точки и прямые проективной плоскости; автоморфизмы определяются
чисто алгебраически как линейные преобразования, к-рые переводят ур-ние
(10) в ур-ние того же вида.

Евклидову геометрию также можно рассматривать
как теорию инвариантов нек-рой группы проективных преобразований, именно,
группы автоморфизмов относительно вырожденного абсолюта

х2 + х2=0.,
xт,
е. относительно мнимых точек (1, г, О), (1 - i, О); эти точки наз.
круговыми точками. Предметом модели являются все точки проективной плоскости,
кроме точек прямой xО, и все прямые проективной
плоскости, кроме прямой XО. В последнем случае автоморфизмы
играют роль подобных преобразований, а не движений, как в случае H. г.

Рассмотренные модели относятся к двумерным
геометриям; проективные модели высших размерностей строятся аналогично.

Соответственно характеру ур-ний абсолютов,
геометрия Лобачевского наз. гиперболической, геометрия Римана - эллиптической,
геометрия Евклида - параболической.

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

Лит.: Александров П. С., Что
такое неевклидова геометрия, M., 1950; Клейн Ф., Неевклидова геометрия,
пер. с нем., M.-Л., 1936; Ефимов H. В., Высшая геометрия, 4 изд., M., 1961.

H. В. Ефимов.