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

Create successful ePaper yourself

Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.

§2. An Introduction to Hyperbolic Geometry 93a. Show that A, B, P , <strong>and</strong> Q lie on a l<strong>in</strong>e or circle if <strong>and</strong> only if their cross ratio is a realnumber.b. Prove that if S is a l<strong>in</strong>ear fractional transformation with S(A) = 0, S(B) = ∞, <strong>and</strong>S(P )=1, then S(Q) =[A : B : P : Q]. Use this to deduce that for any l<strong>in</strong>ear fractionaltransformation T ,wehave[T (A) :T (B) :T (P ):T (Q)] = [A : B : P : Q].c. Prove that l<strong>in</strong>ear fractional transformations map l<strong>in</strong>es <strong>and</strong> circles to either l<strong>in</strong>es or circles.(For which such transformations do l<strong>in</strong>es necessarily map to l<strong>in</strong>es?)d. Show that if A, B, P , <strong>and</strong> Q lie on a l<strong>in</strong>e or circle, then[A : B : P : Q] = AQ / BQAP BP .Conclude that d(P, Q) =| ln[A : B : P : Q]|, where A, B, P , <strong>and</strong> Q are as illustrated <strong>in</strong>Figure 2.2.e. Check that if T is a l<strong>in</strong>ear fractional transformation carry<strong>in</strong>g A to 0, B to ∞, P to P ′ ,<strong>and</strong> Q to Q ′ , then d(P, Q) =d(P ′ ,Q ′ ).11. a. Let O be any po<strong>in</strong>t not ly<strong>in</strong>g on a circle C <strong>and</strong> let P <strong>and</strong> Q be po<strong>in</strong>ts on the circle C sothat O, P , <strong>and</strong> Q are coll<strong>in</strong>ear. Let T be the po<strong>in</strong>t on C so that OT is tangent to C. Provethat (OP)(OQ) =(OT) 2 .b. Def<strong>in</strong>e <strong>in</strong>version <strong>in</strong> the circle of radius R centered at O by send<strong>in</strong>g a po<strong>in</strong>t P to the po<strong>in</strong>tP ′ on the ray OP with (OP)(OP ′ )=R 2 . Show that an <strong>in</strong>version <strong>in</strong> a circle centered atthe orig<strong>in</strong> maps a circle C centered on the u-axis <strong>and</strong> not pass<strong>in</strong>g through O to anothercircle C ′ centered on the u-axis. (H<strong>in</strong>t: For any P ∈ C, let Q be the other po<strong>in</strong>t on Ccoll<strong>in</strong>ear with O <strong>and</strong> P , <strong>and</strong> let Q ′ be the image of Q under <strong>in</strong>version. Use the result ofpart a to show that OP/OQ ′ is constant. If C is the center of C, let C ′ be the po<strong>in</strong>t onthe u-axis so that C ′ Q ′ ‖CP. Show that Q ′ traces out a circle C ′ centered at C ′ .)c. Show that <strong>in</strong>version <strong>in</strong> the circle of radius R centered at O maps vertical l<strong>in</strong>es to circlescentered on the u-axis <strong>and</strong> pass<strong>in</strong>g through O <strong>and</strong> vice-versa.12. a. Prove that every (orientation-preserv<strong>in</strong>g) isometry of H can be written as the compositionof l<strong>in</strong>ear fractional transformations of the formT 1 (z) =z + b for some b ∈ R <strong>and</strong> T 2 (z) =− 1 z .(H<strong>in</strong>t:[It’s]probably[ ]easiest to work[with]matrices. Show that you have matrices of the1 b 0 −11 0form , , <strong>and</strong> therefore , <strong>and</strong> that any matrix of determ<strong>in</strong>ant 1 can be0 1 1 0b 1obta<strong>in</strong>ed by row <strong>and</strong> column operations from these.)b. Prove that T 2 maps circles centered on the u-axis <strong>and</strong> vertical l<strong>in</strong>es to circles centered onthe u-axis <strong>and</strong> vertical l<strong>in</strong>es (not necessarily respectively). Either do this algebraically oruse Exercise 11.c. Use the results of parts a <strong>and</strong> b to prove that isometries of H map geodesics to geodesics.13. We say a l<strong>in</strong>ear fractional transformation T = T a,b,c,d is elliptic if it has one fixed po<strong>in</strong>t, parabolicif it has one fixed po<strong>in</strong>t at <strong>in</strong>f<strong>in</strong>ity, <strong>and</strong> hyperbolic if it has two fixed po<strong>in</strong>ts at <strong>in</strong>f<strong>in</strong>ity.a. Show that T is elliptic if |a + d| < 2, parabolic if |a + d| =2,<strong>and</strong> hyperbolic if |a + d| > 2.

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

Saved successfully!

Ooh no, something went wrong!