ФИГУР МНОГООБРАЗИЕ

- многообразие, образующими элементами к-рых являются различные фигуры рассматриваемого однородного пространства. С аналитич. точки зрения наиболее простыми фигурами являются алгебраич. линии и поверхности. Поэтому в основном исследовались многообразия (как правило, в евклидовом, аффинном и в проективном пространствах), образующими элементами к-рых являются точки, прямые линии, плоскости, окружности, сферы, коники, квадрики и их многомерные аналоги.
m-мерное многообразие фигурF.ранга Nопределяется замкнутой системой дифференциальных уравнений

где -левые части уравнений стационарности фигуры Fи -формы Пфаффа, возникающие при замыкании пфаффовых уравнений системы (1), причем Осуществляя последовательные продолжения системы (1), получают последовательность фундаментальных объектов многообразия выделяют из нее основной объект многообразия и осуществляют инвариантное построение дифференциальной геометрии многообразия.
Дифференциальная геометрия линейчатых многообразий разработана достаточно глубоко. Простейшими многообразиями с нелинейными образующими элементами являются многообразия коник. Со всяким одномерным многообразием С₁²коник в трехмерном пространстве (евклидовом, аффинном или проективном) ассоциируется торсТ,являющийся огибающей поверхностью плоскостей коник.Многообразие С₁²наз. фокальным или дефокальным в зависимости от того, касается коники образующая торса Тили нет. Двумерное многообразие (конгруэнция) коник в трехмерном пространстве имеет в общем случае шесть фокальных поверхностей и шесть фокальных семейств. Все коники конгруэнции касаются этих поверхностей. Конгруэнции коник с неопределенными фокальными семействами (всякие две смежные коники к-poй пересекаются с точностью до 2-го порядка малости) характеризуются принадлежностью всех коник конгруэнции одной квадрике. Конгруэнции коник, плоскости к-рых образуют однопараметрич. семейство, имеют одно счетверенное фокальное семейство, к-рому соответствуют четыре фокальные точки пересечения двух смежных коник, принадлежащих одной плоскости. Две другие фокальные точки являются точками пересечения коники с характеристикой ее плоскости.
Конгруэнция К₂квадрик в Р₃имеет в общем случае восемь фокальных поверхностей, к-рых касаются все квадрики конгруэнции. Точка квадрикиF=0конгруэвции К₂, определяемая вдоль любого направления системой уравнений F=0,dF=0, . . .,d^mF=0,наз. ее фокальной точкой порядкат.Фокальная точка 2-го порядка является четырехкратной точкой 1-го порядка; фокальная точка 3-го порядка является фокальной точкой любого порядка т>3. На каждой конике Стрехмерного многообразия (комплекса) коник существуют в общем случае шесть инвариантных точек (t-фокальные точки коники). Для каждой коники Скомплекса, плоскости к-poгo образуют двупараметрич. семейство, однозначно определяется коникаС*,проходящая через характеристич. точку плоскости коники Си четыре точки пересечения коники со смежной коникой той же плоскости. Геометрич. свойства многопараметрич. семейств коник существенно зависят от числа параметров, характеризующих плоскости коник таких семейств.
Непосредственным обобщением коники вР₃является квадратичный элемент - (n-2)-мерная невырожденная квадрика вP_n(n>3). Многообразием (h,т, n)²в пространствеР_пназ. m-параметрич. семейство квадратичных элементов, гиперплоскости к-рых образуют h-параметрич. семейство. Многообразия (h,h,3)², h=l, 2, 3, являются наиболее общими однопараметрич. семействами, конгруэнциями и комплексами коник в Р₃.С каждым локальным квадратичным элементом многообразия (h,h, и)²при h2 наз. число R, равноеn-h-1-v,где v - размерность подпространства, но к-рому характеристич. подпространство пересекается с его полярным пространством.
Дифференциальную геометрию многообразия (и, п, п)²можно рассматривать как геометрию нек-рой регулярной гиперповерхности (n+1)-мерного тангенцального центронроективного пространства в к-ром исходное n-мерное пространство играет роль неподвижной точки.
Квадрика размерности пространстваР_пвсегда лежит в (р+1)-мерном подпространстве. Алгебраич. поверхности порядкаk>2этим свойством в общем случае не обладают. При исследовании многообразий алгебраич. поверхностей оказалось целесообразным выделить семейства поверхностей таких, к-рые лежат в плоскостях на единицу большей размерности. Невырожденная (n-2)-мерная алгебраич. поверхность порядкаk,принадлежащая гиперплоскостиР_п-1.пространстваР_п,наз. плоским алгебраич. элементом порядкаk.Многообразием (h, т, n)^kназ. m-мерное многообразие плоских алгебраич. элементов порядка k, гиперплоскости к-рых образуют h-параметрич. семейство. Фундаментальный объект 1-го порядка является основным объектом многообразия (h,т, n)^k.
В применениях геометрии к гидромеханике, теории поля и дифференциальным уравнениям используются многообразия линий и поверхностей, не являющихся в общем случае алгебраическими. Изучение таких многообразий представляет и самостоятельный интерес для геометрии. Криволинейной конгруэнцией в трехмерном пространстве наз. двупараметрич. семейство Г_tкривыхx=x(t, и, v)такое, что через каждую точку пространства проходит в общем случае единственная кривая семейства. При фиксированных ии vвыделяется криваяC_tсемейства Г_t; при фиксированном tи переменныхи, vвыделяется поверхностьs_uv,называемая трансвереальной поверхностью конгруэнции Г_tТочки кривой С_t, в к-рых (xx_tx_ux_v)=0.наз. фокальными точками. Совокупность фокальных точек кривыхC_tконгруэнции Г_tобразует фокальную поверхность конгруэнции. Поверхностьv=v(u)конгруэнции Г_t, на к-рой кривыеC_tимеют огибающую, наз. главной поверхностью конгруэнции Г_t.

Лит.:[1] Малаховский В. С., в кн.: Итоги науки и техники. Проблемы геометрии, т. 12, М., 1981, с. 31-60.
В. С. Малаховский.