115 年 國立臺灣大學數學系碩士班《幾何》
第 1 題15 分
If all (principal) normals of a parameterized planar curve pass through a given point, show that the curve is contained in a circle.
登入後即可作答並保存紀錄。
核心觀念
設平面曲線以弧長參數表示為 ,其單位切向量與主法向量分別為
曲率為 。由平面曲線的 Frenet 公式,
題意「所有主法線皆通過固定點」表示存在固定向量 ,使得對每個 ,
平行於 ,亦即
其中 為純量函數。
解題方法
由於 沿主法線方向,因此它與切向量垂直:
代入
可得
這只是確認法向量與切向量正交。對原本的垂直關係對 微分:
因為 為固定點,且 ,所以
利用
得到
因此
故固定點 可表示為
第 2 題10 分
Determine the region of the unit sphere covered by the Gauss map of the paraboloid .
登入後即可作答並保存紀錄。
這題考驗對高斯映射的理解,以及如何計算和描述曲面的高斯映射所映射到的區域。
核心觀念:
高斯映射將曲面上的點映射到單位球面上的點,該點的單位法向量。
對於參數化曲面 ,高斯映射為 。
我們要找出拋物面 的高斯映射所映射到的單位球面上的區域。
解題步驟:
-
參數化拋物面:
令 , 。則 。
曲面參數化為 ,其中 。 -
計算偏導數:
-
計算法向量:
-
計算法向量的模長:
-
計算單位法向量 (高斯映射):
-
確定映射到的區域:
我們需要找出 的所有可能值所構成的集合。
令 。
首先,觀察 Z 的範圍。
令 。則 。
。
由於 ,
當 (即 ) 時,。
當 (即 或 趨近於無限大) 時,。
因此,。接下來,考慮 X 和 Y。
令 。
。我們知道 ,所以 。
從 可以解出 ,所以 。
代入 的表達式:
。所以,映射到的點 滿足 。這表示映射點位於單位球面。
我們還需要確定 Z 的範圍。
我們已經得到 。當 時,,所以 ,即 。
這對應於 ,即拋物面的頂點。此時法向量是 ,這是一個單位向量,位於單位球的北極。當 時,。
這意味著映射點趨近於單位球的赤道。
當 趨近於 0 時,意味著 趨近於無限大,即 趨近於無限大。
這表示拋物面延伸到無限遠處,其法向量趨向於水平方向(平行於 xy 平面)。考慮法向量的 z 分量 。
由於 ,所以 。
當 時,。此時 。所以點 被映射。
當 時,。
。當 , 。
這表示映射點 落在單位球面 上。
且 Z 的範圍是 。因此,高斯映射覆蓋了單位球面上 的部分,即單位球的上半球面(不包含赤道)。
然而,這裡的法向量 是指向拋物面「上方」的。
拋物面 開口向上。
對於參數化 ,法向量 的 z 分量總是正的。
這意味著所有法向量都指向 z 軸的正方向。
這與圖形相符。拋物面在頂點 的法向量是 。
隨著 或 增大,法向量的 分量 變得越來越大,而 分量 相對變小。
這意味著法向量越來越趨向於平行於 平面。所以,映射點 滿足 且 。
這正是單位球的上半球面。我們要仔細檢查 Z 的範圍。
。
令 。
。
當 ,。
當 ,。
所以 。因此,映射點 滿足 且 。
這描述了單位球的上半球面,包括北極點 ,但不包括赤道。如果題目要求的是「單位球面」,那麼通常是指 。
這裡的映射是 。
我們找到了 。這就是單位球的北半球,不包含赤道。
一個額外思考:如果拋物面是 ,開口向下。
。
。
此時 Z 分量 仍然是 。
這看起來不對。
第 3 題10 分
Show that no neighborhood of a sphere may be isometrically mapped into a portion of the plane.
登入後即可作答並保存紀錄。
這題考驗對等距映射(isometry)的理解,以及曲率在等距映射中的不變性。
核心觀念:
等距映射是一種保持距離的變換。對於曲面而言,等距映射保持第一基本形式(first fundamental form)。
第一基本形式與曲面的內在幾何性質相關,例如測地線、角度等。
曲率是曲面的一個重要幾何不變量。對於球面和平面,它們的曲率是截然不同的。
球面(非退化)的高斯曲率 ,而平面 。
證明思路:
假設存在一個等距映射 ,其中 是球面 的一個鄰域(包含一個小圓盤), 是平面 的一個區域。
等距映射意味著 保持距離,因此它也保持第一基本形式。
由於第一基本形式被保持,曲面的所有內在幾何性質都會被保持,包括高斯曲率。
步驟:
- 考慮球面 的一個鄰域 。我們可以選擇 為一個小圓盤,例如,球面上的上半部分 ,其中 是球的半徑。
- 球面的高斯曲率 為常數 。對於單位球面 (), 。
- 假設存在一個等距映射 ,其中 是平面 的一個區域。
- 等距映射保持第一基本形式。因此,映射後的曲面 必須具有與 相同的內在幾何性質,包括高斯曲率。
- 平面的高斯曲率 為 0。
- 由於 是球面的一部分,其高斯曲率 (假設 )。
- 平面區域 的高斯曲率 。
- 如果存在一個等距映射,則 必須等於 。
- 但是, 且 是不同的值。因此,。
- 這是一個矛盾。因此,假設不成立,即不存在這樣的等距映射。
更嚴謹地說:
設 為單位球面。取 的一個開集 (一個小圓盤)。
設 是一個等距映射。
等距映射保持第一基本形式。
對於球面 ,其第一基本形式為 (在球座標下),其高斯曲率 。
對於平面 ,其第一基本形式為 ,其高斯曲率 。
如果 是等距映射,則 是一個區域,並且 在 上誘導了一個第一基本形式。
這個誘導的第一基本形式必須與 的第一基本形式相同。
因此, 上的高斯曲率必須與 上的高斯曲率相同。
由於 是球面的一部分,其高斯曲率為 1。
而 是平面的一部分,其高斯曲率為 0。
第 4 題10 分
Consider the surface in parametrized by
Show that:
(a) The coefficients of the first and second fundamental forms are given by
and
(b) The principal curvatures at the point are given by
登入後即可作答並保存紀錄。
核心觀念
本題考查曲面的第一、第二基本形式,以及由基本形式求主曲率。
對參數曲面 ,定義
取單位法向量
則第二基本形式係數為
主曲率是形算子
的特徵值,其中
解題方法
令
先計算一階偏導數:
再計算二階偏導數:
(a)第一基本形式
由定義,
因此
\begin{align*}
E
&=(1-u^2+v^2)^2+(2uv)^2+(2u)^2\
&=(1+u^2+v^2)^2\
&=s^2.
\end{align*}
同理,
\begin{align*}
G
&=\mathbf r_v\cdot \mathbf r_v\
&=(2uv)^2+(1-v^2+u^2)^2+(-2v)^2\
&=(1+u^2+v^2)^2\
&=s^2.
\end{align*}
再計算 :
\begin{align*}
F
&=\mathbf r_u\cdot \mathbf r_v\
&=(1-u^2+v^2)(2uv)
+(2uv)(1-v^2+u^2)
+(2u)(-2v)\
&=0.
\end{align*}
故第一基本形式係數為
單位法向量
計算叉積:
其長度平方為
\begin{align*}
|\mathbf r_u\times \mathbf r_v|^2
&=4u^2s^2+4v^2s^2+\left(1-q^2\right)^2\
&=4qs^2+(1-q^2)^2\
&=(1+q)^4\
&=s^4.
\end{align*}
因此
單位法向量為
第 5 題7 分
Let be a smooth surface. A geodesic on is defined to be a smooth curve on such that is perpendicular to at .
Prove that:
(a) A geodesic has constant speed.
(b) A geodesic has zero geodesic curvature.
(c) Suppose is a geodesic on the standard unit sphere . Prove that is contained in a plane through the origin.
登入後即可作答並保存紀錄。
這題考察了測地線 (geodesic) 的定義及其性質,包括恆定速度、零測地曲率,以及在球面上的特殊行為。
核心觀念:
- 測地線的定義: 垂直於曲面 在 點的切平面。
- 速度:。
- 測地曲率:描述曲線在曲面上彎曲的程度,與法向曲率相關。
- 球面上的測地線:是圓的一部分。
Part (a): 證明測地線有恆定速度
證明思路:
測地線的定義 實際上是說 是曲面的法向量方向。
我們可以利用這個條件來證明速度的平方 是常數。
步驟:
- 設 是一條測地線。根據定義, 垂直於曲面 在點 的切平面 。
- 由於 在曲面上,所以其切向量 始終在曲面的切平面內,即 。
- 由於 ,所以 垂直於 。
也就是說,。 - 考慮速度的平方:。
- 對速度的平方微分:
- 根據步驟 3,我們知道 。
- 所以,。
- 這意味著 是一個常數。因此,速度 也是一個常數。
【答案】
證明:設 是一條測地線。根據測地線的定義, 垂直於曲面 在點 的切平面 。由於 在曲面上,其切向量 始終位於切平面 中。因此, 垂直於 ,即 。
考慮速度的平方 。對其關於 微分,我們得到:
由於 ,所以 。這表明 是一個常數,因此速度 也是一個常數。
[答案] 測地線有恆定速度。
Part (b): 證明測地線有零測地曲率
證明思路:
測地曲率 是曲線曲率向量 在切平面上的投影。如果 垂直於切平面(即在法向量方向),那麼它在切平面上的投影就是零向量,從而測地曲率為零。
步驟:
- 設 是一條測地線。
- 根據定義, 垂直於曲面 在點 的切平面 。
- 令 為單位法向量。則 的方向與 同向或反向。
,其中 是法向曲率。 - 曲線 的曲率向量為 。
- 曲線的曲率向量可以分解為切向分量和法向分量。
。
其中 位於切平面 上, 垂直於切平面。 - 測地曲率 是切向分量 的大小。
- 由於 已經垂直於切平面,所以其在切平面上的投影為零向量。
。 - 因此,測地曲率 。
【答案】
證明:設 是一條測地線。根據定義, 垂直於曲面 在點 的切平面 。
曲線 的曲率向量 可以分解為一個在切平面上的分量(切向分量)和一個垂直於切平面的分量(法向分量)。測地曲率 被定義為曲率向量在切平面上的投影的大小。
由於 本身就垂直於切平面 ,它在切平面上的投影為零向量。
因此,測地曲率 。
[答案] 測地線有零測地曲率。
Part (c): 證明球面上的測地線包含在通過原點的平面內
證明思路:
球面上的測地線是圓的一部分。如果這個圓通過原點,那麼它一定在一個通過原點的平面內。
我們需要證明球面上測地線的定義與其本身就是大圓 (great circle) 的事實相符。
步驟:
-
設 是標準單位球面,其方程為 ,其中 。
-
設 是一條測地線。根據 Part (a), (常數)。我們可以重新參數化 使其成為單位速度曲線,即 。
-
根據 Part (b),測地曲率 。
-
曲線 的曲率向量 可以分解為切向分量和法向分量。
。
測地曲率 。
所以 ,這意味著 始終垂直於切平面 。 -
我們知道 在球面 上,所以 。
對此方程微分兩次:
第一次微分:。
這表示切向量 垂直於位置向量 。
這也意味著 始終位於球面 上點 的切平面 中。
(注意:對於球面 ,位置向量 是法向量 。)
所以 。第二次微分:。
。
由於我們已經參數化為單位速度,。
所以 。 -
我們知道 垂直於切平面 。
對於球面 ,切平面 由所有垂直於位置向量 的向量組成。
所以, 必須平行於位置向量 。
對某個標量 。 -
將 代入 :
第 6 題20 分
Let be a connected compact orientable smooth surface which is not homeomorphic to a sphere.
Recall the following definitions:
• A point is called an elliptic point if the Gaussian curvature , equivalently, the two principal curvatures have the same sign.
• A point is called a hyperbolic point if , equivalently, the two principal curvatures have opposite signs.
• A point is called a flat point (or parabolic point) if .
Prove that contains elliptic points, hyperbolic points, and flat points.
登入後即可作答並保存紀錄。
核心觀念
本題使用三個關鍵事實:
-
由緊緻、連通、可定向且不與球面同胚,依閉曲面分類定理, 的虧格為 ,因此
-
高斯–博內定理:
-
必須先證明 至少有一個橢圓點。再由高斯曲率的連續性與高斯–博內定理,推出雙曲點及平點的存在。
以下採用微分幾何中「緊緻光滑曲面」表示無邊界閉曲面的標準約定。
解題方法一:先證明橢圓點存在
由 Jordan–Brouwer 分離定理, 將 分成有界內部與無界外部。取一點 位於 的有界內部。
考慮距離函數
因為 緊緻, 在 上取得最大值。令 為最大值點,並設
令
由極值條件,向量 垂直於 ,故 是 在 點的一個單位法向量。
由 是最遠點, 完全位於以 為中心、半徑 的閉球內。以 為原點,並以 作為第三座標軸,則 。在 附近,將 表成圖形
其中 ,且由切平面條件有
因為曲面位於球面內部,對所有充分接近原點的 ,有
由於 ,上式的二次項給出
因此
換言之, 在原點的 Hessian 矩陣為負定矩陣。由於在此座標中第一基本形式於 點就是標準內積,第二基本形式與 相差至多一個整體符號,所以兩個主曲率具有相同的非零符號。
故