双曲平面.doc

PAGE  PAGE 5 雙 曲 平 面 令H = { z ? C│ z = x + iy , y 0 }, 設H的長度元素為 在複數平面C上，變換 稱為C上的線性變換。為了使上述變換能夠有1-1且onto，所以在C上加入一個理想元素?，並且上述變換w將z = ? d / c映至 ?，且將 ? 映至a / c ，則w在C????上為1-1且onto的變換。 定理1：C上的線性變換對合成運算形成一個群的代數結構。 定義： 稱為四點z1 , z2 , z3 , z4之交比。 定理2：線性變換保持交比不變。 證明： 令 註：存在一線性變換，將任給定的三點 z1 , z2 , z3映至任給定三點 w1 , w2 , w3 . 此變換可具體寫成 ( z1 z2 z3 z ) = ( w1 w2 w3 w ).  若A1 , A2 , A3 , P分別表 z1 , z2 , z3 , z的點， 則 arg ( z1 z2 z3 z ) = ?A1PA2 ? ?A1A3A2 , 如圖所示。 由此可見，若交比是實數，則 ?A1PA2 ? ?A1A3A2 等於 ? 的倍???，所以P在通過A1 , A2 , A3 的圓上。 註：在此通常將直線看成直徑為無窮大的圓。 定理3：(1) 線性變換將圓變換為圓。 線性變換保持二圓之交角不變。(即若二圓之交角為 ? ，則經線性變換另得二圓其交角仍為 ? 。) 證明：(1) 若( z1 z2 z3 z ) 是實數，則由定理1得出 ( w1 w2 w3 w ) 也是實數，即當z在過 z1 , z2 , z3的圓上時，w亦在通過 w1 w2 w3 的圓上，且反之亦然。故線性變換將圓變換為圓。 令z1 , z2為二圓之交點。在z1點附近，二圓上各取一點z3 , z4 . 則交比之幅角 arg ( z3 z4 z1 z2 ), 即為 ?z3z2z4 ? ?z3z1z4. 當z3及z4都趨近於z1時，即得二圓之交角。由於交比之不變性， 故定理得證。# 令 ? = .則 ? 成為一個群，且?中之變換將實數軸映至實數軸。對任意三實數，有一實係數的線性變換將其映至任給定的三實數。 定理4：?中之變換將H (即C的上半平面，y 0 ) 變換至H本身。 證明：令 故得証。 # 定義：在C的上半平面內圓心在x軸上之半圓或與x軸垂直之半線，稱為H的測地線。 定理5：?中之變換將H的測地線變換為H的測地線。 證明：由定理3及定理4。 定理6：?中之變換將H的長度元素保持不變，所以相應的面積元素亦不變。 證明：在上半平面中任取二點z1 , z2 . 若存在一個 ? 中的變換將z1及z2映至w1 , w2 , 則有 定理7：設z1 , z2為H內之兩點，?為H上連接此兩點之一曲線，則使 取最小值者，乃 ? 為H的測地線。 ?1 ?2 證明：若 z1 , z2之連線不垂直x軸，則作一圓心在x軸上之圓，且通過z1 , z2二點。令其圓心為 ( t , 0 )，則圓之參數式可以寫成 設 ? = ?1及 ?2時，z = z1及z2 .該曲線 ? 之參數式可以寫成 定義：在定理3中之最小值稱為此兩點z1 , z2在H上的非歐距離。 定義：三測地線所圍成之弧三角形，稱為H上的三角形。 定理8：H上的三角形ABC之非歐面積 等於 ? ? ?A ? ?B ? ?C. 證明：(1) 當 ?B = ?C = 0之情形(如圖1)，在 ? 中存在一線性變換將B變到?，C變到1，D變到 ?1. 則圖1變成圖2. 設A的坐標為 ( x0 , y0 )，則 若 ?C = 0，用一次 ? 中的變換將C變到?，得到圖3。 ?ABC = ?BDC ? ?ADC = (? ? ?B) ? [? ? (? ? ?A)] = ? ? ?A ? ?B. (3) 若 ?A, ?B, ?C 皆不為0，如圖4。則由(2)得 ?ABC = ?ADB ? ?ABD = (? ? ?C ? ?A ? ?BAD) ? [? ? (? ? ?B) ? ?BAD] = ? ? ?A ? ?B ? ?C . # ※ 由定理8可知H內的三角形三內角之和小於 ? . 參考資料：數論導引 問題： 在H上，可否作一條過測地線外一點的垂線？如何作？ 在H上，過線外一點作