Формула Гаусса
(
соотношение Гаусса
,
уравнение Гаусса
) — выражение для
гауссовой кривизны
поверхности в трёхмерном
римановом пространстве
через
главные кривизны
и
секционную кривизну
объемлющего пространства.
В частности, если объемлющее пространство евклидово, то гауссова кривизна поверхности равна произведению главных кривизн в этой точке.
Формулировка
Пусть
S
{\displaystyle S}
— двумерная поверхность в трёхмерном римановом пространстве
M
{\displaystyle M}
. Тогда
K
S
(
x
)
=
K
M
(
σ
S
(
x
)
)
+
κ
1
(
x
)
κ
2
(
x
)
,
{\displaystyle K_{S}(x)=K_{M}(\sigma _{S}(x))+\kappa _{1}(x)\kappa _{2}(x),}
где
K
S
{\displaystyle K_{S}}
— гауссова кривизна поверхности
S
{\displaystyle S}
в точке
x
∈
S
{\displaystyle x\in S}
,
K
M
(
σ
S
(
x
)
)
{\displaystyle K_{M}(\sigma _{S}(x))}
— секционная кривизна пространства
M
{\displaystyle M}
в направлении
σ
S
(
x
)
{\displaystyle \sigma _{S}(x)}
, касательном к поверхности
S
{\displaystyle S}
в точке
x
{\displaystyle x}
,
κ
1
(
x
)
{\displaystyle \kappa _{1}(x)}
,
κ
2
(
x
)
{\displaystyle \kappa _{2}(x)}
— главные кривизны поверхности
S
{\displaystyle S}
в точке
x
.
{\displaystyle x.}
Обобщение на большие размерности
Формула допускает обобщения на произвольную
размерность
и
коразмерность
вложенного
подмногообразия
S
⊂
M
{\displaystyle S\subset M}
. В этом случае
тензор кривизны
R
S
{\displaystyle R_{S}}
подмногообразия
S
{\displaystyle S}
выражается через сужение тензора кривизны
R
M
{\displaystyle R_{M}}
пространства
M
{\displaystyle M}
на подпространство касательное к
S
{\displaystyle S}
и
вторую квадратичную форму
q
S
{\displaystyle q_{S}}
подмногообразия
S
{\displaystyle S}
на касательном пространстве
T
S
{\displaystyle TS}
со значениями в нормальном пространстве к
S
{\displaystyle S}
:
⟨
R
S
(
X
,
Y
)
Z
,
W
⟩
=
⟨
R
M
(
X
,
Y
)
Z
,
W
⟩
+
⟨
q
S
(
Y
,
W
)
,
q
S
(
X
,
Z
)
⟩
−
⟨
q
S
(
X
,
W
)
,
q
S
(
Y
,
Z
)
⟩
.
{\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 .}
Следует иметь в виду, что разные авторы определяют тензор кривизны с разным знаком и порядком аргументов.
См. также
Примечания
Постников М. М.
Риманова геометрия М.: Факториал, 1998, стр. 337.
Литература
1.
Постников М. М.
Риманова геометрия М.: Факториал, 1998, стр. 337.
2.
Кобаяси Ш.
, Номидзу К.
Основы дифференциальной геометрии М.: Наука, 1981, Т. 2, стр. 30.