Дифференциальная геометрия многообразий фигур

Материал из Википедии — свободной энциклопедии
Перейти к навигации Перейти к поиску

Дифференциа́льная геоме́трия многообра́зий фигу́р (англ. differential geometry of shape manifolds[1][2]) — раздел дифференциальной геометрии, который изучает многообразия, образующие элементы которых не точки исходного пространства, а различные фигуры этого пространства (линии, поверхности и так далее)[3]. Такие многообразия называются многообразиями фигур[4].

Геометров давно интересовала проблема описания многообразий фигур, но до создания:

не существовало общего подхода к решению этой проблемы[3].

Наиболее важные разделы дифференциальной геометрии многообразий фигур следующие[3]:

В России с 1970 года выходит журнал Дифференциальная геометрия многообразий фигур на русском и английском языках.

Историческая справка

[править | править код]

В прошлом, как в конце XIX века, так и в первой половине XX века, дифференциальная геометрия многообразий фигур (тогда называлась дифференциальной геометрией семейств линий и поверхностей) развивалась в основном внутри классической геометрии. На начальном этапе рассматривались только семейства простейших линий и поверхностей (обычно в евклидовом, аффинном и проективном пространствах)[6][4]:

  • точек, прямых и плоскостей,
  • окружностей и сфер,
  • коник и квадрик.

Не только в трёхмерных пространствах исследовались семейства алгебраических линий и поверхностей. В многомерных пространствах с помощью инвариантного теоретико-группового метода Г. Ф. Лаптева изучались многообразия следующих элементов:

  • квадратичных,
  • плоских алгебраических.

Первоначальные исследования многообразий конкретных типов фигур привели к необходимости более детального рассмотрения самих образующих элементов — фигур. Это дало возможность получить принципиально новые результаты в теории дифференциально-геометрических объектов[6].

Формальное определение многообразия фигур

[править | править код]

Пусть — однородное -мерное пространство и — фигура этого пространства ранга . Тогда -мерное многообразие фигур — это -параметрическое семейство (совокупность) фигур . Если внешние структурные формы, то есть левые части уравнений инвариантности (стационарности) фигуры , то замкнутую систему пфаффовых уравнений, определяющих многообразие , можно представить в следующем виде[3][4]:

где — формы Пфаффа, возникающие при замыкании пфаффовых уравнений системы , причём

Осуществляя последовательные продолжения этой дифференциальной системы на производные следующих порядков[3][4]:

  • получают последовательность фундаментальных объектов многообразия ;
  • выделяют из неё основной объект, однократное продолжение которого определяет многообразие с точностью до преобразований фундаментальной группы однородного пространства ;
  • осуществляют инвариантное построение дифференциальной геометрии многообразия, то есть строят различные геометрические объекты, охватываемые основным объектом[3][4].

Изучая многообразия фигур, целесообразно использовать также параметрические уравнения

где — параметрические формы. Тогда фундаментальные объекты многообразия фигур рассматриваются относительно произведения двух групп[3]:

  • исходной фундаментальной группы однородного пространства ;
  • линейной дифференциальной группы соответствующего порядка в пространстве параметров.

Изучение дифференциальной геометрии многообразий фигур однородного пространства полностью включается в исследование геометрии оснащенного многообразия Л. С. Понтрягина -структуры с базой [3].

Квадратичные (двумерные) конусы и их сечения — коники в трёхмерном пространстве образуют восьмимерное пространство, квадрики — девятимерное пространство, что обеспечивает широкий диапазон размерностей многообразий указанного типа. Семейства коник, например, могут зависеть от одного до семи (на единицу меньше восьми) параметров[7].

Многообразия фигур в трёхмерном пространстве

[править | править код]

Однопараметрические многообразия коник

[править | править код]

Простейшими многообразиями с нелинейными образующими элементами являются многообразия коник. Со всяким одномерным, то есть однопараметрическим, многообразием коник в трёхмерном пространстве (евклидовом, аффинном или проективном) ассоциируется торс, являющийся огибающей поверхностью плоскостей коник. Многообразие называется фокальным или нефокальным в зависимости от того, касается образующая коники торса или нет[7][4].

Конгруэнции коник

[править | править код]

Конгруэнция коник, то есть их двупараметрическое (двумерное) многообразие, в трёхмерном пространстве имеет в общем случае шесть фокальных поверхностей и шесть фокальных семейств. Все коники конгруэнции касаются этих поверхностей. Конгруэнции коник с неопределенными фокальными семействами (всякие две смежные коники которой пересекаются с точностью до 2-го порядка малости) характеризуются принадлежностью всех коник конгруэнции некоторой одной квадрике[8][4].

Конгруэнции коник, плоскости которых образуют однопараметрическое семейство, имеют одно счетверённое фокальное семейство, которому соответствуют четыре фокальные точки пересечения двух смежных коник, принадлежащих одной плоскости. Две другие фокальные точки являются точками пересечения коники с характеристикой её плоскости[9][4].

Конгруэнции квадрик

[править | править код]

Конгруэнция квадрик в трёхмерном проективном пространстве имеет в общем случае восемь фокальных поверхностей, которых касаются все квадрики конгруэнции. Точка квадрики конгруэнции , определяемая вдоль любого направления системой уравнений

называется её фокальной точкой порядка . Фокальная точка 2-го порядка является четырёхкратной точкой 1-го порядка; фокальная точка 3-го порядка является фокальной точкой любого порядка [4].

Комплексы коник

[править | править код]

На каждой конике трёхпараметрического (трёхмерного) многообразия коник, то есть комплекса коник, существуют в общем случае шесть инвариантных (неподвижных) точек, которые называются -фокальными точками коники. Для каждой коники комплекса коник, плоскости которого образуют двупараметрическое семейство, однозначно определяется некоторая другая коника , проходящая через характеристическую точку плоскости коники и четыре точки пересечения коники со смежной коникой той же плоскости (эти четыре точки суть (характеристические точки коники )[10][4]. Геометрические свойства многопараметрических семейств коник существенно зависят от числа параметров, характеризующих плоскости коник таких семейств[4].

Многообразия фигур в n-мерном пространстве

[править | править код]

Многообразия (h, m, n

[править | править код]

Непосредственное обобщение коники в трёхмерном проективном пространстве квадратичный элемент, то есть -мерная невырожденная квадрика в при . Многообразием в пространстве называется -параметрическое семейство квадратичных элементов, гиперплоскости которых образуют -параметрическое семейство. Многообразия , где суть наиболее общие соответственно однопараметрические семейства, конгруэнции и комплексы коник в [11][12].

Многообразия (h, h, n

[править | править код]

С каждым локальным квадратичным элементом многообразия при ассоциируется -мерное характеристическое подпространство и -мерное полярное подпространство. Рангом многообразия называется число , равное , где — размерность подпространства, по которому характеристическое подпространство пересекается с его полярным пространством[13][12].

Многообразия (n, n, n

[править | править код]

Дифференциальную геометрию многообразия можно рассматривать как геометрию некоторой регулярной гиперповерхности -мерного тангенциального центропроективного пространства , в котором исходное -мерное пространство играет роль неподвижной точки[13][12].

Примечания

[править | править код]
  1. Kendall D. G. Shape Manifolds, Procrustean Metrics, and Complex Projective Spaces, 1984.
  2. Meng L., Breitkopf P., Le Quilliec G., Raghavan B., Villon P. Nonlinear Shape-Manifold Learning Approach: Concepts, Tools and Applications, 2018.
  3. 1 2 3 4 5 6 7 8 Малаховский В. С. Дифференциальная геометрия многообразий фигур, 1981, с. 31—32.
  4. 1 2 3 4 5 6 7 8 9 10 11 Малаховский В. С. Фигур многообразие, 1985, стб. 612.
  5. Евтушик Л. Е., Малаховский В. С. Герман Фёдорович Лаптев — выдающийся геометр XX века, 2009.
  6. 1 2 Малаховский В. С. Дифференциальная геометрия семейств линий и поверхностей, 1972, с. 113.
  7. 1 2 Малаховский В. С. Дифференциальная геометрия семейств линий и поверхностей, 1972, с. 114.
  8. Малаховский В. С. Дифференциальная геометрия семейств линий и поверхностей, 1972, с. 115, 116.
  9. Малаховский В. С. Дифференциальная геометрия семейств линий и поверхностей, 1972, с. 116.
  10. Малаховский В. С. Дифференциальная геометрия семейств линий и поверхностей, 1972, с. 120.
  11. Малаховский В. С. Дифференциальная геометрия семейств линий и поверхностей, 1972, с. 122.
  12. 1 2 3 Малаховский В. С. Фигур многообразие, 1985, стб. 613.
  13. 1 2 Малаховский В. С. Дифференциальная геометрия семейств линий и поверхностей, 1972, с. 123.