Открыть главное меню

Вторая квадратичная форма (или вторая фундаментальная форма) поверхностиквадратичная форма на касательном расслоении поверхности, которая, в отличие от первой квадратичной формы, определяет внешнюю геометрию поверхности в окрестности данной точки.

Вторая квадратичная форма часто обозначается , а её компоненты традиционно обозначаются , и .

Знание первой и второй квадратичных форм достаточно для вычисления главных кривизн и средней кривизны поверхности.

Содержание

ОпределениеПравить

В трёхмерном пространствеПравить

Пусть в трёхмерном евклидовом пространстве со скалярным произведением   поверхность задана уравнением   где   и   ― внутренние координаты на поверхности;   ― дифференциал радиус-вектора   вдоль выбранного направления смещения из точки   в бесконечно близкую точку  ;   — нормальный вектор к поверхности в точке  . Тогда вторая квадратичная форма имеет вид

 

где коэффициенты определяются формулами:

 
 
 

где   обозначает смешанное произведение векторов и       ― коэффициенты первой квадратичной формы поверхности.

График функцииПравить

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

 

Многомерный случайПравить

Рассмотрим k-мерную поверхность в m-мерном евклидовом пространстве со скалярным произведением  . Пусть   — локальная карта поверхности в точке  , то есть локально поверхность задается системой m уравнений   и   — нормальный вектор к поверхности в точке  .

Тогда коэффициенты второй квадратичной формы вычисляется по формуле

 

Большая коразмерностьПравить

Вторая фундаментальная форма определяется также и для подмногообразий произвольной коразмерности.

 

где   обозначает проекцию ковариантной производной   на нормальное пространство.

В этом случае вторая фундаментальная форма является билинейной формой на касательном пространстве со значениями в нормальном пространстве.

Для подмногообразий Евклидова пространства тензор кривизны подмногообразия может быть посчитан с помощью так называемой формулы Гаусса:

 

Для подмногообразий риманова многообразия следует добавить кривизну объемлющего пространства; если многообразие   вложено в риманово многообразие   тогда тензор кривизны   многообразия   снабжённого индуцированой метрикой задаётся второй фундаментальной формой и тензором кривизны   объемлющего многообразия  :

 

СвойстваПравить

Вариации и обобщенияПравить

  • Оператор формы линейный оператор   на касательной плоскости определяемый как
     
где   — поле единичных нормалей к поверхности. Оператор формы связан с второй квадратичной формой следующим соотношением:
 

См. такжеПравить

ЛитератураПравить

  • Мищенко А.С. Фоменко А.Т. Курс дифференциальной геометрии и топологии. — Физматлит, 2004. — ISBN 5-9221-0442-X.
  • Топоногов В.А. Дифференциальная геометрия кривых и поверхностей. — Физматкнига, 2012. — ISBN 9785891552135.

СсылкиПравить