Фигура

- подмножество Fоднородного пространства Е п с фундаментальной группой G, к-рое можно включить в систему (F)подмножеств этого пространства, изоморфную нек-рому пространству геометрич. Объекта Ф (см. Геометрических объектов теория).Множество R(F)наз. Пространством фигуры F. Компоненты геометрич. Объекта Ф наз. Координатами соответствующей Ф. F. Каждой Ф. F пространства Е п соответствует класс {Ф} подобных геометрич. Объектов. Ранг, жанр, характеристика и тип геометрич. Объекта Ф класса {Ф} наз. Рангом, жанром, характеристикой и типом фигуры F(т. Н. Арифметические инварианты фигуры). Напр., окружность в трехмерном евклидовом пространстве является фигурой ранга 6, жанра 1, характеристики 1, типа 1. Точка в трехмерном проективном пространстве - фигурой ранга 3, жанра 0, характеристики 2, типа 1.

Вполне интегрируемая система уравнений Пфаффа, определяющая геометрический объект Ф, наз. Системой уравнений стационарностифигуры F. Пусть Fи -две Ф. Пространства Е п. Если существует отображение пространства R(F)на пространство при к-ром любой геометрич. Объект, соответствующий Ф. охватывается любым геометрич. Объектом, соответствующим Ф. F, то говорят, что Ф. Fохватывает или индуцирует Ф. (Ф. охватывается или индуцируется Ф. F). Ф. Fранга Nназ. Простой, если она не охватывает никакой другой Ф. Меньшего ранга. Ф. Наз. Индуцирующей фигурой индекса если существует охватываемая ею Ф. Ранга причем ранг N' любой другой Ф. F', охватываемой Ф. F, не превосходит Напр., точка, р-мерная плоскость, гиперквадрика в n-мерном проективном пространстве являются простыми Ф., а гиперквадрика в n-мерном аффинном пространстве и d-мерная квадрика в n-мерном проективном пространстве являются индуцирующими Ф.

Соответственно индексов n и (d+2)(n- d-1). Парой фигур F=(Fl, F2 )наз. Упорядоченная совокупность двух Ф. Коэффициентом инцидентности пары Ф. Наз. Число k=N1+N2-N, где Ni(i=1,2) ранг фигуры Fi, а N - ранг системы форм являющихся левыми частями уравнений стационарности Ф. F1 и F2. Если k =0, то пара F =(F1, F2 )наз. Неинцидентной. Лит.:[1] Лаптев Г. Ф., лТр. Моск. Матем. Об-ва.