This preview has intentionally blurred sections. Sign up to view the full version.
View Full Document
Unformatted text preview: Math 6455 Oct 10, 2006 1 Differential Geometry I Fall 2006, Georgia Tech Lecture Notes 13 Integration on Manifolds, Volume, and Partitions of Unity Suppose that we have an orientable Riemannian manifold ( M,g ) and a function f : M → R . How can we define the integral of f on M ? First we answer this question locally, i.e., if ( U,φ ) is a chart of M (which preserves the orientation of M ), we define Z U fdv g := Z φ ( U ) f ( φ 1 ( x )) q det( g φ ij ( φ 1 ( x ))) dx, where g ij are the coefficients of the metric g in local coordinates ( U,φ ). Recall that g φ ij ( p ) := g ( E φ i ( p ) ,E φ j ( p )) , where E φ i ( p ) := dφ 1 φ ( p ) ( e i ) . Now note that if ( V,ψ ) is any other (orientation preserving) local chart of M , and W := U ∩ V , then there are two ways to compute R W fdv g , and for these to yield the same answer we need to have Z φ ( W ) f ( φ 1 ( x )) q det( g φ ij ( φ 1 ( x ))) dx = Z ψ ( W ) f ( ψ 1 ( x )) q det( g ψ ij ( ψ 1 ( x ))) dx. (1) To check whether the above expression is valid recall that the change variables formula tells that if D ⊂ R n is an open subset, f : D → R is some function, and u : D → D is a diffeomorphism, then Z D f ( x ) dx = Z D f ( u ( x ))det( du x ) dx. Now recall that, by the definition of manifolds, φ ◦ ψ 1 : ψ ( W ) → φ ( W ) is a diffeo morphism. So, by the change of variables formula, the integral on the left hand side of (1) may be rewritten as Z ψ ( W ) f ( ψ 1 ( x )) q det( g φ ij ( ψ 1 ( x )))det( d ( φ ◦ ψ ) 1 x ) dx. 1 Last revised: November 23, 2009 1 So for equality in (1) to hold we just need to check that q det( g ψ ij ( ψ 1 ( x ))) = q det( g φ ij ( ψ 1 ( x )))det( d ( φ ◦ ψ 1 ) x ) , for all x ∈ ψ ( W ) or, equivalently, q det( g ψ ij ( p )) = q det( g φ ij ( p ))det( d ( φ ◦ ψ 1 ) ψ ( p ) ) , (2) for all p ∈ W . To see that the above equality holds, let ( a ij ) be the matrix of the linear transformation d ( φ ◦ ψ 1 ) and note that g ψ ij = g ( dψ 1 ( e i ) ,dψ 1 ( e j )) = g ( dφ 1 ◦ d ( φ ◦ ψ 1 )( e i ) ,dφ 1 ◦ d ( φ ◦ ψ...
View
Full Document
 Spring '08
 Staff
 Geometry, Topology, General topology, aα

Click to edit the document details