Template:D4 honeycombs

In differential geometry, Cohn-Vossen's inequality, named after Stephan Cohn-Vossen, relates the integral of Gaussian curvature of a non-compact surface to the Euler characteristic. It is akin to the Gauss–Bonnet theorem for a compact surface.

A divergent path within a Riemannian manifold is a smooth curve in the manifold that is not contained within any compact subset of the manifold. A complete manifold is one in which every divergent path has infinite length with respect to the Riemannian metric on the manifold. Cohn-Vossen's inequality states that in every complete Riemannian 2-manifold S with finite total curvature and finite Euler characteristic, we have

$\underset{S}{\iint }KdA\le 2\pi \chi (S),$

where K is the Gaussian curvature, dA is the element of area, and χ is the Euler characteristic.

Examples

• If S is a compact surface (without boundary), then the inequality is an equality by the usual Gauss–Bonnet theorem for compact manifolds.
• If S has a boundary, then the Gauss–Bonnet theorem gives

$\underset{S}{\iint }KdA=2\pi \chi (S)-\underset{\partial S}{\int }{k}_{g}ds$

where $k_g$ is the geodesic curvature of the boundary, and its integral the total curvature which is necessarily positive for a boundary curve, and the inequality is strict. (A similar result holds when the boundary of S is piecewise smooth.)

• If S is the plane R², then the curvature of S is zero, and χ(S) = 2, so the inequality is strict: 0 < 4π.

Notes and references

43 year old Petroleum Engineer Harry from Deep River, usually spends time with hobbies and interests like renting movies, property developers in singapore new condominium and vehicle racing. Constantly enjoys going to destinations like Camino Real de Tierra Adentro.

• S. E. Cohn-Vossen, Some problems of differential geometry in the large, Moscow (1959) (in Russian)

External links

• Gauss–Bonnet theorem, in the Encyclopedia of Mathematics, including a brief account of Cohn-Vossen's inequality