|San José State University|
& Tornado Alley
The Partition of a Closed Simple |
Manifold Satisfying the Conditions
of the Gauss-Bonnet Theorem into
Three or More Parts
The Gauss-Bonnet Theorem says that for a manifold topologically equivalent to a sphere the surface integral of the Gaussian curvature is equal to 4π. In symbols
Since the properties being considered are topological it is reasonable to evaluate them for a simple, tractible case. Consider a unit sphere divided by latitude circles at Θ1 and Θ2 with Θ1<Θ2.
The more general version of the Gauss-Bonnet Theorem says that for a manifold M with a boundary ∂M the surface integral of the Gaussian curvature plus the line integral of the geodesic curvature for the boundary equals 2π times the Euler characteristic of the manifold. In symbols
One portion of the partitioned sphere is that part between −π/2 and Θ1. Another is between Θ1 and Θ2. The third one is between Θ2 and π/2.
Since the Gaussian curvature of a unit sphere is everywhere unity the integral of the Gaussian curvature of a portion of a unit sphere is equal to its area. For any two latitude circles the area between them is 2π times the difference in the sines of the latitude angles. This means that for the three portions of the sphere the areas are:
It has been determined that the line integral of the geodesic curvature of a latitudinal circle is −2πsin(Θ). Note that the term is positive if Θ is negative. Thus for the first portion
The complement of the portion of the sphere below Θ is equivalent to the portion below (π−Θ) and thus the value of the line integral of geodesic curvature for it is 2πsin(Θ). More simply the line integral of geodesic curvature for one side of a latitude circle is the opposite in sign for its value on the other side of the latitude circle. This is as it should be because when two parts of the same manifold are brought together the line integrals for the geodesic curvature of the two parts should cancel out. Thus for the middle portion
For the third portion
The first and third portions are topologically equivalent to a disk and therefore their Euler characteristics are both 1. The middle portion is topologically equivalently is a torus and therefore its Euler characteristic is zero.
|HOME PAGE OF applet-magic|