跳到主要內容

[微分拓樸] 淺論 Manifold (1)

基本想法:
Manifold 一般譯為 "流形" ,本質上是作為  $\mathbb{R}^n$ 空間中 曲線 or 曲面 的進一步推廣。故我們可將 Manifold 視為 $\mathbb{R}^n$ 空間中的子集,這樣一來,整個 $\mathbb{R}^n$ 之上定義的概念 (極限、微分、積分) 都可以在 manifold上面做處理。

==============
Definition: k-dimensional manifold of class $C^r$ without Boundary
一個子集合 $M \subset \mathbb{R}^n$ 為 k-dimensional manifold of class $C^r$ without Boundary 若下列條件成立:對任意 $p \in M$ 存在兩個 open sets: $U_p \subset \mathbb{R}^k$ 與 $V_p \subset M$ ($V_p$ open in $M$) 且 存在 連續 bijection 函數 $\alpha:U_p \to V_p$ 滿足
 (i) $\alpha \in C^1$
 (ii) $\alpha^{-1}$ 為 連續
 (iii) $D \alpha$ 具備 rank $k$
==============

Comment: 
$\alpha: U_p \to V_p$ 一般稱為 coordinate patch。

以下我們看幾個例子:
-----------
Example 1: 1-manifold example
考慮 $M:=\{(x,y) \in \mathbb{R}^2: x^2 + y^2 = 1 \}$,試問此集合是否為 1-dimensional manifold of class $C^1$?
-----------

Proof:
要證明上述集合為 manifold 我們需要證明:
對任意 $p \in M$ 存在兩個 open sets $U_p \subset \mathbb{R}^k$ 與 $V_p \subset M$ open in $M$ 且 存在 一連續 bijection 函數 $\alpha:U_p \to V_p$ 且
 (i) $\alpha \in C^1$
 (ii) $\alpha^{-1}$ 為 連續
 (iii) $D \alpha$ 具備 rank $k$

注意到 $S$ 為 $\mathbb{R}^2$ 中的圓,故我們可以利用 參數表示法 將其用單變數表示:

現在給定 $p \in M \setminus (0,-1)$ ,考慮 $\alpha: (-\pi, \pi) \to V \subset M$,且滿足 $\alpha(x) := (\cos(x), \sin(x))$ 則可得
\[
\alpha(-\pi, \pi) \to M \setminus (0,-1)
\]現在我們宣稱此 參數表示 $\alpha$ 為 coordinate patch:故逐步檢驗三個性質:
(1) 注意到 $\alpha(x) := (\cos(x), \sin(x))$ ,由於 $(cos(x), sin(x)) $ 微分後仍為連續函數故滿足 $C^1$。
(2) 其反函數 $\alpha^{-1}(x,y)$

-----------
Example 2: 1-manifold example
考慮 $M:=\mathbb{R}$,試問此集合是否為 1-dimensional manifold of class $C^1$?
-----------
Proof:
令 $p \in M$,我們要證明存在兩個 open sets: $U_p \subset \mathbb{R}^1$ 與 $V_p \subset M$ ($V_p$ open in $M$) 且 存在 連續 bijection 函數 $\alpha:U_p \to V_p$ 滿足
 (i) $\alpha \in C^1$
 (ii) $\alpha^{-1}$ 為 連續
 (iii) $D \alpha$ 具備 rank $1$

故令 $U_p := \mathbb{R}$ 且取 coordinate patch $\alpha:U_p \to V_p:=\alpha(U_p)$ 滿足 $\alpha(x) = x$ ,接著我們逐步檢驗 $\alpha$ 所需的條件如下
(i) $\alpha (x) = x$ 為 $C^1$ (因為 $x$ 為 $C^1$ 函數),

(ii) 檢驗 $\alpha^{-1}$ 為 連續,故檢驗 $\alpha^{-1}$ 是否存在 (亦即 檢驗是否為 one-to-one:) 觀察
\[
\alpha(x) = \alpha(y) \Rightarrow x = y
\]故 $\alpha$ 為 one-to-one 且 onto (因為 $V_p := \alpha(U_p)$;故可推知 $\alpha^{-1}$ 存在,且 $\alpha^{-1}(x) = x$ 亦為 連續函數 (因為 $x$ 為連續函數)。

(iii) 檢驗 $D \alpha$ 具備 rank $1$,觀察 $D \alpha = 1 \neq 0$ (full rank) 故 $M:=\mathbb{R}$ 為 1-dimensional manifold of class $C^1$?

Exercise:
同上例,試證 $M:=[0,1]$ 為 1-manifold;
同上例,試證 $M:=\mathbb{R}^n$ 為 n-manifold;


Example: NOT a 2-manifolds
令 $M:= \mathbb{R}^3$ 試問 $M$ 是否為 2-manifolds?

Proof:
令 $p:=(p_1,p_2,p_3) \in M$,選 $U_p:=\mathbb{R}^2$,$V_p:=\alpha(\mathbb{R}^2)$  且 $\alpha: \mathbb{R}^2 \to \alpha(\mathbb{R}^2)$ 滿足
\[\begin{array}{l}
\alpha (x,y): = p + (x,y,0)\\
\begin{array}{*{20}{c}}
{}&{}&{}&{}
\end{array} = ({p_1},{p_2},{p_3}) + (x,y,0) = ({p_1} + x,{p_2} + y,{p_3})
\end{array}\]但注意到 $V_p:=\alpha(\mathbb{R}^2)$ 照上面的定法只能映射出平面! NEVER open in $\mathbb{R}^3$


Example 
令 $\alpha: \mathbb{R} \to \mathbb{R}^2$ 且 $\alpha(x) := (x,x^2)$ 且 $M:=\alpha(\mathbb{R})$ 。試證明  $M$ 為 1-manifold 且  $M$ 僅被一個 coordinate patch 蓋住。

Proof:
要證 $M:=\alpha(\mathbb{R})$ 為 1-manifold。 令 $p \in M$ 且 取 鄰域 $U_p:=\mathbb{R}$ 為 open,定義  coordinate patch $\alpha: U_p \to V_p:=\alpha(\mathbb{R}) = M$ 滿足 $\alpha(x) = (x,x^2)$。

接著我們逐步檢驗 $\alpha$ 滿足三項條件:
(i)  $\alpha$ 為 $C^1$ (因為 $x,x^2$ 皆為 $C^1$),
(故此 $V_p:=\alpha(\mathbb{R}) \subset M$ $V_p := \alpha(\mathbb{R})$ 為 open 。)

(ii) 若 $\alpha(x) = \alpha(y) \Rightarrow (x-y,x^2-y^2)=(0,0)$,此暗示了 $x=y$ 。故可推知 $\alpha$ 為 one-to-one 因此 $\alpha^{-1}:V_p \to U_p$ 存在 且 $x = \alpha^{-1}(x,y)$ 為連續函數;

(iii) 最後我們檢驗 $D \alpha = [1, \; 2x]^T$ 為 full rank (對任意 $x$ 而言)。

總結以上 $M= \alpha(\mathbb{R})$ 為 1-manifold 且此表明 $\alpha(\mathbb{R}) \supset M$ 亦即 $M$僅被 一個 coordinate patch 蓋住 $\square$


現在我們可介紹 有邊界的 Manifold。
令 $\mathbb{H}^k := \mathbb{R}^{k-1} \times [0, \infty)$ 為 upper-half plane。現在我們可以定義有邊界的 Manifold:

==========================
Definition: Manifold with Boundary
我們稱 集合 $M \subset \mathbb{R}^n$ 為 $k$-dimensional manifold of class $C^r$  (with boundary) 若下列條件成立:對任意點 $p \in M$,存在鄰域 $U_p \subset \mathbb{R}^k$ open 或者 $U_p \subset \mathbb{H}^k$ open in $\mathbb{H}^k$ 且 $V_p \subset M$ open,且有 coordinate patch $\alpha: U_p \to V_p$ 滿足
 (1) $\alpha \in C^r$
 (2) $\alpha^{-1} \in C^0$
 (3) $D \alpha$ 有 rank $k$
==========================

上述的定義有些基本問題需要解決:
  1. 何謂 $C^r$ 函數?
  2. 任意集合上的 $C^r$ 函數該如何界定?
  3. $D \alpha$ on $\mathbb{H}^k$ 該如何界定?

ANS1: $\alpha$ 為 $C^r$ in $U \subset \mathbb{R}^k$ 若 任意 $r$ 階 偏導數 存在且連續。
ANS2: 我們引入 extension function:

====================
Definition: $C^r$-Extension
令 $f : S \subset \mathbb{R}^k \to \mathbb{R}^n$ ,我們稱 $g$ 為 $f$ 的 extension 若下列條件成立: 存在 $U \supset S $ open set 與 $g: U \to \mathbb{R}^n$ 使得 對任意 $x \in S$, $g(x) = f(x)$ 且 $g$ 為 $C^r$ on $U$。
====================

若 extension 函數 $g$ 為 $C^r$ 則原函數 $f$ 必為 $C^r$
====================
FACT:
令 $f : S \subset \mathbb{R}^k \to \mathbb{R}^n$ 若存在 extension $g$ of $f$ ,則 $f \in C^r$ on $S$。====================

事實上 class $C^r$ 是一個 local property! 亦即我們可以透過 extension function $g$ 來說函數 $f$ 在某點的鄰域附近仍為 $C^r$ 函數。
====================
Lemma: 
令 $f: S \subset \mathbb{R}^k \to \mathbb{R}^n$ 若 對任意 $x \in S$ 存在鄰域 $U_x$ 使得 $x \in U_x$ 且 $g_x: U_x \to \mathbb{R}^n$ 為 $C^r$-extension of $f$ on $U_x \cap S$ 則 $f$ 亦為 $C^r $ on S。
====================

Proof: omitted.

現在我們可以回答 問題3: $D \alpha$ 在 $\mathbb{H}^k$ 如何界定? 我們可以 extend $\alpha$ 到 $\mathbb{R}^k$ 但此 extension 是否會影響 $D \alpha$? 以下我們將證明上述 manifold 定義中,$D \alpha $ 與 我們引入的 $C^r$-extension 無關。

現在考慮 coordinate patch: $\alpha: U \subset \mathbb{H}^k \to \mathbb{R}^n$ 且令 $\beta$ 為其 $C^r$-extension of $\alpha$,現在注意到由於 $\beta$ 為 $C^r$ 故一階導數存在 (且 $h \uparrow 0$ 或者 $h \downarrow 0$ 都成立),故我們可只寫導數的單邊極限:
\[{D_j}\beta \left( x \right): = \mathop {\lim }\limits_{h \to 0} \frac{{\beta \left( {x + h{e_j}} \right) - \beta \left( x \right)}}{h} = \mathop {\lim }\limits_{h \searrow 0} \frac{{\beta \left( {x + h{e_j}} \right) - \beta \left( x \right)}}{h}\]注意到 $x \in U \subset \mathbb{H}^k$ 則其附近 $x + h e_j \in U$ 故
\[\begin{array}{l}
{D_j}\beta \left( x \right) = \mathop {\lim }\limits_{h \searrow 0} \frac{{\beta \left( {x + h{e_j}} \right) - \beta \left( x \right)}}{h}\\
\begin{array}{*{20}{c}}
{}&{}&{}&{}
\end{array} = \mathop {\lim }\limits_{h \searrow 0} \frac{{\alpha \left( {x + h{e_j}} \right) - \alpha \left( x \right)}}{h} = {D_j}\alpha \left( x \right)
\end{array}\]因此 $D_j \alpha$ 與 extension 無關,且 $D \alpha$ 在 $U \subset \mathbb{H}^{k}$ 定義亦可被接受。

留言

這個網誌中的熱門文章

[數學分析] 什麼是若且唯若 "if and only if"

數學上的 if and only if  ( 此文不討論邏輯學中的 if and only if,只討論數學上的 if and only if。) 中文翻譯叫做  若且唯若 (or 當且僅當) , 記得當初剛接觸這個詞彙的時候,我是完全不明白到底是甚麼意思,查了翻譯也是愛莫能助,畢竟有翻跟沒翻一樣,都是有看沒有懂。 在數學上如果看到 if and only if  這類的句子,其實是表示一種 雙條件句 ,通常可以直接將其視為" 定義(Definition)" 待之,今天要分享的是這樣的一個句子如何用比較直觀的方法去看他 假設我們現在有 兩個邏輯陳述句 A 與  B. 注意到,在此我們不必考慮這兩個陳述句到底是什麼,想表達什麼,或者到底是否為真(true),這些都不重要。只要知道是兩個陳述即可。 現在,考慮新的陳述:  "A if and only if B" 好了,現在主角登場,我們可以怎麼看待這個句子呢? 事實上我們可以很直覺的把這句子拆成兩部分看待,也就是 "( A if B ) and ( A only if B )" 那麼先針對第一個部分  A if B  來看, 其實這句就是說  if B then A, 更直白一點就是 "if B is true, then A is also true".  在數學上等價可以寫為 "B implies A" .  或者更常用一個箭頭符號來表示 "B $\Rightarrow$  A"  現在針對第二個部分  A only if B 此句意指  "If B is not true, then A is also not true". 所以如果已知 A is true,  那麼按照上句不難推得 B is also true 也就是說  A only if B  等價為 "If A is true then B is also true". 同樣,也可以寫作   "A implies B"   或者用箭頭表示  "A   $\Rightarrow$     B".

[數學分析] 淺談各種基本範數 (Norm)

這次要介紹的是數學上一個重要的概念: Norm: 一般翻譯成 範數 (在英語中 norm 有規範的意思,比如我們說normalization就是把某種東西/物品/事件 做 正規化,也就是加上規範使其正常化),不過個人認為其實翻譯成 範數 也是看不懂的...這邊建議把 Norm 想成長度就好 (事實上norm是長度的抽象推廣), 也許讀者會認為好端端的長度不用,為何又要發明一個 norm 來自討苦吃?? 既抽象又艱澀。 事實上想法是這樣的: 比如說現在想要比較兩個數字 $3$ , $5$ 之間的大小,則我們可以馬上知道 $ 3 < 5 $;同樣的,如果再考慮小數與無理數如 $1.8753$ 與 $\pi$,我們仍然可以比較大小 $1.8753 < \pi = 3.1415...$ 故可以發現我們有辦法對 "純量" 做明確的比大小,WHY? 因為前述例子中 $3$, $5$, $1.8753$ or $\pi$ 其各自的大小有辦法被 "measure "! 但是如果是現在考慮的是一組數字 我們如何去measure 其大小呢?? 比如說 \[x:=[1, -2, 0.1, 0 ]^T \]上式的大小該是多少? 是 $1$? $-2$? $0.1$??? 再者如果更過分一點,我們考慮一個矩陣 \[A = \left[ {\begin{array}{*{20}{c}} 1&2\\ 3&4 \end{array}} \right] \],想要知道這個矩陣的大小又該怎麼辦?? 是 $1$ ? $2$ 還是 $4$ ?..其實現階段我們說不清楚。 也正是如此,可以發現我們確實需要新的 "長度" 的定義來幫助我們如何去 measure 矩陣/向量/甚至是函數的大小。 故此,我們首先定義甚麼是Norm,(也就是把 "長度" or "大小" 的本質抽離出來) ================== Definition: Norm 考慮 $V$ 為一個向量空間(Vector space),則我們說  Norm 為一個函數 $||\cdot|| : V \rightarrow \mathbb{R}$ 且滿足下列性質