The Gauss-Bonnet Theorem
8.1 Statement for Surfaces
Theorem 8.1 (Gauss-Bonnet, Global). Let be a compact, oriented Riemannian 2-manifold without boundary. Then:
where is the Gaussian curvature, is the area form, and is the Euler characteristic.
Corollary 8.2. The total curvature of a compact surface depends only on its topology, not on the metric.
Examples.
- : . For the standard metric (): . ✓
- (torus): . For the flat metric (): . ✓
- (genus 2): , so total curvature .
8.2 Gauss-Bonnet with Boundary
Theorem 8.3. Let be a compact oriented Riemannian 2-manifold with boundary consisting of smooth curves meeting at exterior angles . Then:
where is the geodesic curvature of the boundary.