Математическая энциклопедия - римана геометрия

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

Система аксиом трехмерной Р. г. может быть построена по основе тех же понятий, что и Гильберта система аксиом евклидовой геометрии, где в качестве основных понятий полагаются "точка", "прямая", "плоскость". "Прямая" и "плоскость" понимаются как нек-рые классы "точек", а под "пространством" подразумевается совокупность всех объектов: "точек", "прямых" и "плоскостей".

Система аксиом состоит из четырех групп.

I группа а к с и о м ы п р и н а д л е ж н о ст и содержит все аксиомы, составляющие I группу гильбертовой системы аксиом, и, кроме того, дополняется еще одной аксиомой: каждым двум различным прямым в плоскости принадлежит одна и только одна общая им точка.

II группа а к с и о м ы п о р я д к а, или расположения т о ч е к н а п р я м о й. Аксиомы этой группы описывают понятие "разделенность двух пар точек прямой", с помощью к-рого определяется порядок точек на прямой. II1. Каковы бы ни были три различные точки А, В, С произвольной прямой, существует на этой прямой такая точка D, что пара А, В разделяет пару С, D (обозначается ). Если , то все четыре точки А, В, С, D различны. II2. Если , то и . II3. Каковы бы ни были четыре различные точки А , В, С, D прямой, из них могут быть всегда и единственным образом составлены две разделенные пары. II4. Пусть точки А, В, С, D, E лежат на одной прямой, если и , то пара DE не разделяет пару АB.II5. Если пары CD и СЕ не разделяют пару АВ, то и пара DE не разделяет пару АВ (см. II4). II6. Пусть четыре различные прямые нек-рого пучка пересекаются двумя различными прямыми соответственно в точках А, В, С, D и А 1, B1 C1, D1, тогда если , то и

III группа а к с и о м ы к о н г р у э н т н о ст и описывает отношение "конгруэнтность" отрезков, углов и т. д. Под отрезком подразумевается множество точек прямой, определенное парой различных точек А, В этой прямой следующим образом. Вследствие аксиом II группы на прямой существует такая пара точек М, N, что ; множество точек X, к-рые удовлетворяют соотношению , образуют класс внутренних точек отрезка, определяемого точками Аи В;. обозначается [ АВ]M- Точки прямой, внешние относительно [ АВ]M, образуют в з а и м н о д о п о л н и т е л ьн ы й о т р е з о к [AB]N, точки А к В наз. концами отрезков [ АВ]M и [ АВ]N. В аксиомах, относящихся к понятию отрезка, под отрезком подразумевается всегда класс внутренних точек или всегда класс внешних точек. III1. Каждый отрезок конгруэнтен самому себе. III2. Если первый отрезок конгруэнтен второму, то второй отрезок конгруэнтен первому. III3. Если первый отрезок конгруэнтен второму, а второй конгруэнтен третьему, то и первый конгруэнтен третьему. III4. Из конгруэнтности двух отрезков следует конгруэнтность их взаимно дополнительных отрезков III5 . Каждый отрезок не конгруэнтен своей части. Полупрямыми наз. конгруэнтные взаимно дополнительные отрезки одной прямой. Концы таких отрезков наз. противоположными точками прямой. III6. Для каждой точки прямой существует ей противоположная. III7. Все полупрямые конгруэнтны между собой. III8. Если отрезок [ АВ]конгруэнтен отрезку [A1B1] и точка С есть внутренняя точка первого отрезка, то внутри второго отрезка существует такая точка C1, что отрезок [A1C1] конгруэнтен отрезку [ АС]и отрезок [С 1B1] конгруэнтен отрезку [ СВ], Пусть на сторонах угла, образованного двумя прямыми, отмечены противоположные точки относительно вершины угла, тогда отрезком, соотнесенным углу, наз. отрезок прямой, проходящий через эти две точки, к-рый расположен внутри данного угла. Два угла наз. к о н г р у э н т н ы м и, если конгруэнтны соотнесенные им отрезки. III9. Если в двух треугольниках ABC и А 1 В 1 С 1. сторона АВ конгруэнтна стороне A1 В 1, а сторона АС - стороне А 1 С 1, то угол Аконгруэнтен углу А 1 тогда и только тогда, если конгруэнтны стороны ВС и В 1 С 1.

IV группа а к с и о м а н е п р е р ы в н о с т и. Пусть внутренние точки отрезка [ АВ]M разделены на два класса таких, что 1) каждая точка отрезка попадает в один из этих классов, 2) каждый класс не пуст, 3) если точка Xпринадлежит первому классу, а точка Yвторому, то X - всегда внутренняя точка отрезка [AY]M. Тогда на отрезке [ АВ]M существует такая точка С, что всякая внутренняя точка отрезка [AC]M принадлежит первому классу, а всякая внутренняя точка отрезка [ СB]M второму.

Имеются и другие системы аксиом Р. г., в основе к-рых лежат иные основные понятия и отношения (см., напр., [3], [5]).

Метрич. свойства Р. г. "в малом" совпадают с метрич. свойствами нек-рой гиперсферы в соответствующем евклидовом пространстве. Напр., для любой точки плоскости Римана существует содержащая эту точку часть плоскости, изометричная нек-рой части сферы в 3-мерном евклидовом пространстве, радиус rэтой сферы один и тот же для всех плоскостей данного пространства Римана наз. радиусом кривизны этого пространства; метрич. свойства 3-мерного пространства Римана "в малом" совпадают с метрич. свойствами гиперсферы 4-мерного евклидова пространства и т. д. Число наз. к р и в и з н о й п р о с т р а н с тв а Р и м а н а.

Ниже приведены основные факты Р. г. прямой, плоскости и 3-мерного пространства.

П р я м а я Р и м а н а (э л л и п т и ч е с к а я п р я м а я) замкнутая конечная линия Э ¹. Моделью прямой в евклидовой плоскости Е ^r может служить окружность радиуса r с отождествленными диаметрально противоположными точками. Две различные точки прямой делят ее на две части. Взаимное расположение точек на прямой определяется с помощью понятия "разделенности двух пар точек". Расстояние между двумя точками прямой определяется двузначно: меньшее из них не превышает pr/2, большее превосходит pr/2. Длина всей прямой равна pr. Две точки, расстояние между к-рыми равно pr/2, наз. взаимно п о л я р н ы м и; каждой точке прямой соответствует единственная, полярная ей.

П л о с к о с т ь Р и м а н а (э л л и п т и ч е с к а я п л о с к о с т ь) замкнутая конечная односторонняя поверхность Э ², гомеоморфная листу Мёбиуса, граница к-рого заклеена кругом. Моделью плоскости Р. г. с кривизной 1/r² в 3-мерном евклидовом пространстве может служить сфера радиуса r с отождествленными диаметрально противоположными точками. Прямая не разделяет плоскость на две области.

Всякие две прямые на плоскости обладают общим перпендикуляром; его длина равна ar, где a угол между прямыми, r радиус кривизны плоскости Римана. Две различные прямые делят плоскость на две области, к-рые наз. у г л а м и. Трехсторонник разделяет всю плоскость на 4 области, к-рые наз. т р е у г о л ьн ик а м и.

Метрич. соотношения в треугольнике на плоскости Э ². кривизны 1/r² выражаются соответствующими соотношениями сферич. тригонометрии на сфере радиуса rв евклидовом пространстве Е ³. Вообще, формулы тригонометрии в Э ³ Р. г. тождественны формулам сферической тригонометрии на сфере соответствующего радиуса в евклидовом пространстве, однако существуют определенные условия справедливости сферич. формул на плоскости Э ².

Множество точек плоскости, отстоящих от данной точки (п о л ю с а) на расстоянии pr/2, есть прямая п о л я р а полюса. Любая прямая однозначно определяется своим полюсом и, обратно, определяет свой полюс. Полюсы прямых, проходящих через данную точку, располагаются на поляре этой точки, а поляры точек, лежащих на нек-рой прямой, пересекаются в полюсе этой прямой. В з а и м н о п о л я р н ы е т р еу г о л ь н и к и имеют вершинами полюсы соответствующих сторон. Для двух взаимно полярных треугольников имеет место т е о р е м а Ш а л я о пересечении в одной точке трех прямых, соединяющих соответствующие вершины этих треугольников. Если вершины треугольника являются полюсами его сторон, то его наз. а в т о п о л я р н ы м т р е у г о л ь н и к о м.

Сумма углов треугольника больше p; его площадь пропорциональна угловому избытку , где r радиус кривизны плоскости Римана .