Полуэллиптическое пространство
Полуэллипти́ческое простра́нство, проективное -пространство, в котором метрика определяется заданным абсолютом, состоящим из совокупности мнимого конуса 2-го порядка с -плоской вершиной , -мнимого конуса с -плоской вершиной в -плоскости , -мнимого конуса с -плоской вершиной в -плоскости и т. д. до -мнимого конуса с -плоской вершиной и невырожденной мнимой -квадрикой в -плоскости , . Индексы конусов , равны: ; , ; . Полуэллиптическое пространство обозначается .
В случае, когда конус является парой слившихся плоскостей, совпадающих с плоскостью (при ), пространство с несобственной плоскостью называется полуевклидовым пространством .
Расстояние между точками и определяется в зависимости от расположения прямой относительно плоскостей . Если, в частности, прямая не пересекает плоскость , то расстояние между точками и определяется с помощью скалярного произведения аналогично определению расстояния в квазиэллиптическом пространстве. Если же прямая пересекает плоскость , но не пересекает плоскость или пересекает плоскость , но не пересекает плоскость , расстояние между точками определяется с помощью скалярного квадрата разности соответствующих векторов точек и .
В зависимости от расположения относительно плоскостей абсолюта в полуэллиптическом пространстве различаются 4 типа прямых.
Углы между плоскостями в полуэллиптическом пространстве определяются аналогично определению углов между плоскостями в квазиэллиптическом пространстве, т. е. с использованием расстояний в двойственном пространстве.
Проективная метрика полуэллиптического пространства является метрикой наиболее общего вида. Частным случаем метрики полуэллиптического пространства является, например, метрика квазиэллиптического пространства. В частности, -плоскость совпадает с евклидовой, – с коевклидовой, -пространство – с квазиэллиптическим, – с евклидовыми -пространствами, -пространство является галилеевым, – флаговым пространством и т. д. -пространство соответствует по принципу двойственности галилееву -пространству и называется когалилеевым пространством. [Абсолют когалилеева пространства состоит из пары мнимых плоскостей (конус ) и точки на прямой пересечения этих плоскостей.]
Движениями полуэллиптического пространства являются его коллинеации, переводящие абсолют в себя. В случае , полуэллиптическое пространство является двойственным самому себе, в нём определяются кодвижения, определение которых аналогично определению кодвижений квазиэллиптического пространства.
Движения и кодвижения образуют группы, являющиеся группами Ли. Движения (как и кодвижения) описываются ортогональными операторами.
Полуэллиптические пространства являются полуримановыми пространствами.