Формула Гаусса

Формула Гаусса (соотношение Гаусса, уравнение Гаусса) — выражение для гауссовой кривизны поверхности в трёхмерном римановом пространстве через главные кривизны и секционную кривизну объемлющего пространства. В частности, если объемлющее пространство евклидово, то гауссова кривизна поверхности равна произведению главных кривизн в этой точке.

Это формула входит в уравнения Петерсона ― Кодацци.

Пусть ${\displaystyle S}$ — двумерная поверхность в трёхмерном римановом пространстве ${\displaystyle M}$. Тогда

${\displaystyle K_{S}(x)=K_{M}(\sigma _{S}(x))+\kappa _{1}(x)\kappa _{2}(x),}$

где

• ${\displaystyle K_{S}}$ — гауссова кривизна поверхности ${\displaystyle S}$ в точке ${\displaystyle x\in S}$,
• ${\displaystyle K_{M}(\sigma _{S}(x))}$ — секционная кривизна пространства ${\displaystyle M}$ в направлении ${\displaystyle \sigma _{S}(x)}$, касательном к поверхности ${\displaystyle S}$ в точке ${\displaystyle x}$,
• ${\displaystyle \kappa _{1}(x)}$, ${\displaystyle \kappa _{2}(x)}$ — главные кривизны поверхности ${\displaystyle S}$ в точке ${\displaystyle x.}$

Формула допускает обобщения на произвольную размерность и коразмерность вложенного подмногообразия ${\displaystyle S\subset M}$. В этом случае тензор кривизны ${\displaystyle R_{S}}$ подмногообразия ${\displaystyle S}$ выражается через сужение тензора кривизны ${\displaystyle R_{M}}$ пространства ${\displaystyle M}$ на подпространство касательное к ${\displaystyle S}$ и вторую квадратичную форму ${\displaystyle q_{S}}$ подмногообразия ${\displaystyle S}$ на касательном пространстве ${\displaystyle TS}$ со значениями в нормальном пространстве к ${\displaystyle S}$:

${\displaystyle \langle R_{S}(X,Y)Z,W\rangle =\langle R_{M}(X,Y)Z,W\rangle +\langle q_{S}(Y,W),q_{S}(X,Z)\rangle -\langle q_{S}(X,W),q_{S}(Y,Z)\rangle .}$^[1]

Следует иметь в виду, что разные авторы определяют тензор кривизны с разным знаком и порядком аргументов.

• 1. Постников М. М. Риманова геометрия М.: Факториал, 1998, стр. 337.
• 2. Кобаяси Ш., Номидзу К. Основы дифференциальной геометрии М.: Наука, 1981, Т. 2, стр. 30.