ПРОЕКТИВНОЕ МЕРООПРЕДЕЛЕНИЕ

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

Чтобы получить евклидово мероопределение в п- мерном проективном пространстве Р, выделяют в нем одну ( п-1)-мерную гиперплоскость p, называемую несобственной гиперплоскостью,, и устанавливают в этой гиперплоскости эллиптическое полярное соответствие П точек и ( п-2)-мерных гиперплоскостей (т. е. полярное соответствие, при к-ром никакая точка не принадлежит соответствующей ей ( п-2)-мерной плоскости).

Пусть Е _п - подмножество проективного пространства Р, получающееся удалением из него несобственной гиперплоскости; X, Y, X', Y' - точки, принадлежащие Е _n. Два отрезка XY и X'Y' наз. конгруэнтными, если существует проективное преобразование j, переводящее точки Xи Yсоответственно в точки X' и Y', при к-ром сохраняется поляритет П.

Определенное таким образом понятие конгруэнтности отрезков позволяет в Е _n ввести метрику евклидова пространства. Для этого в проективном пространстве Рвводится система проективных координат с базисным симплексом ОА ₁ А ₂. . .А ,Д причем точка Оне принадлежит несобственной гиперплоскости p, а точки А ₁, А ₂, . .., А _п принадлежат этой плоскости. Пусть точка Ов этой системе имеет координаты 0,0, . . .,0, 1, а точки А _i, i=1, 2, . . ., п, имеют координаты

x₁=0, x₂=0, ...,x_i-1=0, x_i=1, x_i+1=0,...,x_n+1=0. Тогда эллиптическое полярное соответствие П, заданное в гиперплоскости я, может быть записано в виде

Матрица ||a_ij|| этого соответствия будет симметрической, а соответствующая ей квадратичная форма

- положительно определенной. Пусть

- две точки, принадлежащие Е _n (то есть , ). Можно положить:

Тогда расстояние р между точками Xи Yопределяется соотношением

Для установления П. м. в n-мерном гиперболич. пространстве в n-мерном проективном пространстве Ррассматривается множество Uвнутренних точек действительной овальной гиперповерхности S2-го порядка. Пусть X, Y, X', Y' принадлежат множеству U, тогда отрезки XY и X'Y' считаются конгруэнтными, если существует проективное преобразование пространства Р, при к-ром гиперповерхность Sотображается на себя, переводящее точки Xи Yсоответственно в точки X' и Y. Введенное таким образом понятие конгруэнтности отрезков приводит к установлению во множестве Uметрики гиперболич. пространства. Длина отрезка в этой метрике определяется соотношением

где Ри Q - точки пересечения прямой XY с гиперповерхностью S, а с - положительное число, связанное с кривизной пространства Лобачевского.

Для введения в проективном пространстве Рэллиптич. метрики в этом пространстве рассматривается эллиптическое полярное соответствие П. Два отрезка XY и X'Y' наз. конгруэнтными, если существует проективное преобразование ф, переводящее точки Xи Yсоответственно в точки X' и Y', при к-ром сохраняется поляритет П (т. е. для любой точки Ми ее поляры тполярой точки j(M) будет j(m)). Если эллиптическое полярное соответствие П задано соотношениями

то матрица ( а _ij) будет симметрической, а соответствующая ей квадратичная форма - положительно определенной. Тогда если

то

где В - билинейная форма с матрицей || а _ij||.

Во всех рассмотренных случаях (если дополнить действительное проективное пространство до комплексного проективного пространства) при проективных преобразованиях, определяющих конгруэнтность отрезков, т. е. движениях, остаются инвариантными нек-рые гиперповерхности 2-го порядка, наз. абсолютами. В случае евклидова мероопределения абсолютом будет мнимая ( п-2)-мерная овальная поверхность 2-го порядка, в случае гиперболич. мероопределения - овальная ( п-1)-мерная действительная гиперповерхность 2-го порядка, в случае эллиптич. мероопределения - мнимая (n-1 )-мерная овальная гиперповерхность 2-го порядка.

Лит.:[1] Ефимов Н. В., Высшая геометрия, 6 изд., М., 1978; [2] Глаголев Н. А., Проективная геометрия, 2 изд., М., 1963; [3] Буземан Г., Келли П. Д ж., Проективная геометрия и проективные метрики, пер. с англ., М., 1957. П. С. Моденов, А. С. Пархоменко.