# Gauss-Bonnet theorem

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

The total curvature of a two-dimensional compact Riemannian manifold , closed or with boundary, and the rotation of its smooth boundary are connected with the Euler characteristic of by the relation Here where is the Gaussian curvature and is the area element; where is the geodesic curvature and is the line element of the boundary. The Gauss–Bonnet theorem is also valid for a manifold with a piecewise-smooth boundary; in that case where is the rotation of the boundary at a vertex. The theorem is valid, in particular, on regular surfaces in . The Gauss–Bonnet theorem was known to C.F. Gauss ; it was published by O. Bonnet  in a special form (for surfaces homeomorphic to a disc).

For a non-compact complete manifold without boundary, an analogue of the Gauss–Bonnet theorem is the Cohn-Vossen inequality : The Gauss–Bonnet theorem and the given inequality are also valid for convex surfaces and two-dimensional manifolds of bounded curvature.

The Gauss–Bonnet theorem can be generalized to even-dimensional compact Riemannian manifolds , closed or with boundary: where , denote the volume elements in and , while is some polynomial in the components of the curvature tensor of , and is some polynomial in the components of the curvature tensor and the coefficients of the second fundamental form of . The Gauss–Bonnet theorem has also been generalized to Riemannian polyhedra . Other generalizations of the theorem are connected with integral representations of characteristic classes by parameters of the Riemannian metric , , .