TOPICS
Search

Gauss-Bonnet Formula


The Gauss-Bonnet formula has several formulations. The simplest one expresses the total Gaussian curvature of an embedded triangle in terms of the total geodesic curvature of the boundary and the jump angles at the corners.

More specifically, if M is any two-dimensional Riemannian manifold (like a surface in three-space) and if T is an embedded triangle, then the Gauss-Bonnet formula states that the integral over the whole triangle of the Gaussian curvature with respect to area is given by 2pi minus the sum of the jump angles minus the integral of the geodesic curvature over the whole of the boundary of the triangle (with respect to arc length),

 intint_(T)KdA=2pi-sumalpha_i-int_(partialT)kappa_gds,
(1)

where K is the Gaussian curvature, dA is the area measure, the alpha_is are the jump angles of partialT, and kappa_g is the geodesic curvature of partialT, with ds the arc length measure.

The next most common formulation of the Gauss-Bonnet formula is that for any compact, boundaryless two-dimensional Riemannian manifold, the integral of the Gaussian curvature over the entire manifold with respect to area is 2pi times the Euler characteristic of the manifold,

 intint_(M)KdA=2pichi(M).
(2)

This is somewhat surprising because the total Gaussian curvature is differential-geometric in character, but the Euler characteristic is topological in character and does not depend on differential geometry at all. So if you distort the surface and change the curvature at any location, regardless of how you do it, the same total curvature is maintained.

Another way of looking at the Gauss-Bonnet theorem for surfaces in three-space is that the Gauss map of the surface has Brouwer degree given by half the Euler characteristic of the surface

 intint_(M)KdA=2pichi(M)-sumalpha_i-int_(partialM)kappa_gds,
(3)

which works only for orientable surfaces where M is compact. This makes the Gauss-Bonnet theorem a simple consequence of the Poincaré-Hopf index theorem, which is a nice way of looking at things if you're a topologist, but not so nice for a differential geometer. This proof can be found in Guillemin and Pollack (1974). Millman and Parker (1977) give a standard differential-geometric proof of the Gauss-Bonnet theorem, and Singer and Thorpe (1996) give a Gauss's theorema egregium-inspired proof which is entirely intrinsic, without any reference to the ambient Euclidean space.

A general Gauss-Bonnet formula that takes into account both formulas can also be given. For any compact two-dimensional Riemannian manifold with corners, the integral of the Gaussian curvature over the 2-manifold with respect to area is 2pi times the Euler characteristic of the manifold minus the sum of the jump angles and the total geodesic curvature of the boundary.


Explore with Wolfram|Alpha

References

Chavel, I. Riemannian Geometry: A Modern Introduction. New York: Cambridge University Press, 1994.Guillemin, V. and Pollack, A. Differential Topology. Englewood Cliffs, NJ: Prentice-Hall, 1974.Millman, R. S. and Parker, G. D. Elements of Differential Geometry. Prentice-Hall, 1977.Reckziegel, H. In Mathematical Models from the Collections of Universities and Museums (Ed. G. Fischer). Braunschweig, Germany: Vieweg, p. 31, 1986.Singer, I. M. and Thorpe, J. A. Lecture Notes on Elementary Topology and Geometry. New York: Springer-Verlag, 1996.

Referenced on Wolfram|Alpha

Gauss-Bonnet Formula

Cite this as:

Weisstein, Eric W. "Gauss-Bonnet Formula." From MathWorld--A Wolfram Web Resource. https://mathworld.wolfram.com/Gauss-BonnetFormula.html

Subject classifications