复分析五讲第五讲微分几何与Picard定理.PDFVIP

數學傳播 35 卷 2 期, pp. 66-90 複分析五講 第五講 微分幾何與 Picard 定理 龔 昇 張德健 5.1. 度量與曲率 (metric and curvature) 在這一講中, 我們將介紹一些複幾何的基礎知識並用之來處理複分析中的一些定理 , 例如 Picard 定理。 Picard 定理也許是複變函數論尤其是值分佈理論中最經典的定理之一, 原來的 證明非常的繁複, 但如果用微分幾何的角度來討論, 就顯得簡單得多了。 若 Ω 為 C 中的一個區域, 在 Ω 上定義一個非負的 C2 函數 ρ, 稱之為度量 (metric), 即 2 2 2 ds = ρ |dz | 。 由此得到距離函數 d, 在兩點 z , z ∈ Ω 之的距離定義為 1 2 ρ d(z , z ) = inf ρ(z)|dz |, (5.1) 1 2 γ 這裡 inf 是所連接 z , z 兩點且各點全在 Ω 中的曲線 γ 上取的。 1 2 對度量 ρ, 可以定義曲率 (curvature) 如下: ∆ log ρ(z) K (z, ρ) = − 2 , (5.2) ρ (z) 這裡 ∆ 為 Laplace 算子, 即 ∂2 ∂2 ∂ ∂ ∂ ∂ ∂2 1 ∂ 1 ∂2 ∆ = 2 + 2 = 4 = 4 = 2 + + 2 2 , ∂x ∂y ∂z ∂z ∂z ∂z ∂r r ∂r r ∂θ iθ 其中 z = x + iy = re 。 我們可以證明這樣定義的曲率與一般在微分幾何中定義的 Gauss 曲 率是一致的。 在複幾何中常用的度量有如下三種。 (1) 歐氏度量 (Euclidean metric) 2 2 若 Ω = C, 在 C 中取度量 ρ(z) ≡ 1, 對所有 z ∈ C, 即 ds = |dz | , 這個度量稱為歐 氏度量 (Euclidean metric) 或拋物度量 (parabolic metric), 兩點 z , z 之間的距離稱為歐 1 2 66 複分析五講 第五講 67 氏距離, 而 d(z , z ) = inf |dz | = |z − z | = 連接z , z 兩點的直線段之長度, 1 2 1 2 1 2