12.07.2015 Views

DIFFERENTIAL GEOMETRY: A First Course in Curves and Surfaces

DIFFERENTIAL GEOMETRY: A First Course in Curves and Surfaces

DIFFERENTIAL GEOMETRY: A First Course in Curves and Surfaces

SHOW MORE
SHOW LESS

You also want an ePaper? Increase the reach of your titles

YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.

82 Chapter 3. <strong>Surfaces</strong>: Further Topics<strong>in</strong>terior vertex<strong>in</strong>terior edge∆ µ∆ λFigure 1.8boundary edgesboundary vertex<strong>in</strong>terior/boundary edgeson the boundary, edges <strong>in</strong> the <strong>in</strong>terior, <strong>and</strong> edges that jo<strong>in</strong> a boundary vertex to an <strong>in</strong>terior vertex;we denote the respective numbers of these by E b , E i , <strong>and</strong> E ib .Now observe that∫∫m∑∫∫KdA = KdAR∆ λs<strong>in</strong>ce all the orientations are compatible, <strong>and</strong>∫κ g ds =∂Rλ=1m∑∫λ=1∂∆ λκ g dsbecause the l<strong>in</strong>e <strong>in</strong>tegrals over <strong>in</strong>terior <strong>and</strong> <strong>in</strong>terior/boundary edges cancel <strong>in</strong> pairs. Let ɛ λj , j =1, 2, 3, denote the exterior angles of the “triangle” ∆ λ . Then, apply<strong>in</strong>g Theorem 1.5 to ∆ λ ,wehave∫∫∫3∑κ g ds + KdA+ ɛ λj =2π,∂∆ λ ∆ λ<strong>and</strong> now, summ<strong>in</strong>g over the triangles, we obta<strong>in</strong>∫ ∫∫κ g ds + KdA+∂MMm∑λ=1 j=1j=13∑ɛ λj =2πm =2πF .Now we must do some careful account<strong>in</strong>g: Lett<strong>in</strong>g ι λj denote the respective <strong>in</strong>terior angles oftriangle ∆ λ ,wehave(∗)∑ɛ λj =∑(π − ι λj )=π(2E i + E ib ) − 2πV i<strong>in</strong>teriorvertices<strong>in</strong>teriorvertices<strong>in</strong>asmuch as each <strong>in</strong>terior edge contributes two <strong>in</strong>terior vertices, whereas each <strong>in</strong>terior/boundaryedge contributes just one, <strong>and</strong> the <strong>in</strong>terior angles at each <strong>in</strong>terior vertex sum to 2π. Next,(∗∗)∑boundaryverticesɛ λj = πE ib +l∑ɛ k .k=1

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!