Gauss-Bonnet theorem
|
|
The Gauss-Bonnet theorem in differential geometry is an important statement about surfaces which connects their geometry (in the sense of curvature) to their topology (in the sense of the Euler characteristic).
Suppose <math>M<math> is a compact two-dimensional orientable Riemannian manifold with boundary <math>\partial M<math>. Denote by <math>K<math> the Gaussian curvature at points of <math>M<math>, and by <math>k_g<math> the geodesic curvature at points of <math>\partial M<math>. Then
- <math>\int_M K\;dA+\int_{\partial M}k_g\;ds=2\pi\chi(M)<math>
where <math>\chi(M)<math> is the Euler characteristic of <math>M<math>.
The theorem applies in particular if the manifold does not have a boundary, in which case the integral <math>\int_{\partial M}k_g\;ds<math> can be omitted.
If one bends and deforms the manifold <math>M<math>, its Euler characteristic will not change, while the curvatures at given points will. The theorem requires, somewhat surprisingly, that the total integral of all curvatures will remain the same.
A generalization to <math>n<math> dimensions was found in the 1940s, by Allendoerfer, Weil, and Chern. See generalized Gauss-Bonnet theorem and Chern-Weil homomorphism.de:Satz von Gauß-Bonnet ru:Формула Гаусса—Бонне