一般拓扑与流形
度量空间与拓扑空间
度量空间 Метрическое пространство
任意集合中元素之间的“接近度”,是拓扑学中的一个重要概念,而为了衡量元素之间的“接近度”,使用“距离”这一概念是相当方便的方法。
让我们给定一个任意的集合 X X X,它由任意性质的元素组成,那么定义在集合 X X X上的度量则是一个非负的数值函数 ρ ( x , y ) \rho (x,y) ρ(x,y),其中元素 x , y ∈ X x,y\in X x,y∈X,以及满足以下的性质:
- ρ ( x , y ) = 0 \rho (x,y)=0 ρ(x,y)=0,当且仅当 x = y x=y x=y时成立 [恒等公理];
- ρ ( x , y ) = ρ ( y , x ) \rho (x,y)=\rho (y,x) ρ(x,y)=ρ(y,x) [对称公理];
- 对于任意的三个元素 x , y , z ∈ X x,y,z\in X x,y,z∈X,总会有 ρ ( x , y ) ≤ ρ ( x , z ) + ρ ( z , y ) \rho (x,y)\le \rho (x,z)+\rho (z,y) ρ(x,y)≤ρ(x,z)+ρ(z,y) [三角公理]。
于是,集合 X X X与定义在该集合上的一个度量 ρ \rho ρ称为度量空间,度量空间通常用有序对 ( X , ρ ) (X,\rho) (X,ρ)来表示,但有时也会只有一个 X X X来表示。
闭集 Закрытое множество
对于 x ∈ X x\in X x∈X,满足 ρ ( x , y ) < ε \rho (x,y)<\varepsilon ρ(x,y)<ε的所有点 y ∈ X y\in X y∈X的集合 O ε ( x ) O_{\varepsilon}(x) Oε(x)称为以 x ∈ X x\in X x∈X为中心,半径为 ε \varepsilon ε的球邻域。那么对于集合 Y ⊂ X Y\subset X Y⊂X,使得 ρ ( x , Y ) = 0 \rho (x,Y)=0 ρ(x,Y)=0的每一个点 x ∈ X x\in X x∈X都称为集合 Y Y Y的接触点。集合 Y Y Y所有的接触点的集合被称为集合 Y Y Y的闭包,记作 Y ˉ \bar Y Yˉ,如果在 Y ⊂ X Y\subset X Y⊂X中有 Y ˉ = Y \bar Y=Y Yˉ=Y,那么 Y Y Y就称为闭集,进一步的,如果 X ∖ Y X\setminus Y X∖Y(集合 Y Y Y在 X X X中的补集)是闭集,那么 Y Y Y就是开集。
其中,特别需要注意的是,全集 X X X中的点 x x x到子集 Y ⊂ X Y\subset X Y⊂X的距离 ρ ( x , Y ) \rho (x,Y) ρ(x,Y)指的是,遍历整个子集 Y Y Y中所有的点与点 x x x的距离,取其中最小的作为距离 ρ ( x , Y ) \rho (x,Y) ρ(x,Y)。
拓扑空间 Топологическое пространство
如果我想在一个集合 X X X上定义一个拓扑,那么我们需要引入一个集合 X X X的子集族 T T T,并且该它们都是开集,然后满足下面的条件:
- 所有集合 X X X以及空集都是空集;
- 任意子集族的并集和有限个开集的交集的交集都是开集。
这样,集合 X X X与定义在该集合上的符合条件的一个子集族 T T T称为拓扑空间,度量空间通常用有序对 ( X , T ) (X,T) (X,T)来表示,但有时也会只有一个 X X X来表示。
更加数学化的表达:
集合 X X X之所以可以被称为拓扑空间,是当在该集合上可以跟定一个子集族 T T T(都是开集),且符合下面的条件时:
- ∅ , X ∈ T \varnothing , X \in T ∅,X∈T
- A , B ∈ T ⇒ A ∩ B ∈ T ⇔ A 1 , … … , A n ∈ T ⇒ ⋂ i = 1 n A i ∈ T A,B\in T \Rightarrow A\cap B\in T\Leftrightarrow A_1,……,A_n\in T \Rightarrow\bigcap_{i=1}^{n}A_i\in T A,B∈T⇒A∩B∈T⇔A1,……,An∈T⇒⋂i=1nAi∈T
- A α ∈ T ⇒ ⋃ α A α ∈ T A_{\alpha }\in T\Rightarrow \bigcup_{\alpha }A_{\alpha }\in T Aα∈T⇒⋃αAα∈T
连续映射 Непрерывное отображение
这里的连续映射是定义在拓扑空间之间的映射,即 f : X ⟶ Y f:X\longrightarrow Y f:X⟶Y,其中 X X X和 Y Y Y都是拓扑空间。
那么如果该映射是在点 x 0 ∈ X x_0\in X x0∈X上是连续的,则需要满足,对任意 f ( x 0 ) ∈ Y f(x_0)\in Y f(x0)∈Y的任何邻域 V ( f ( x 0 ) ) V(f(x_0)) V(f(x0)),都有 x 0 ∈ X x_0\in X x0∈X的邻域 U ( x 0 ) U(x_0) U(x0),使得 f ( U ( x 0 ) ) ⊂ V ( f ( x 0 ) ) f(U(x_0))\subset V(f(x_0)) f(U(x0))⊂V(f(x0))。如果这个映射在整个 X X X上所有的点都满足连续,那么该映射就是一个连续映射。
换个角度说,首先有两个拓扑空间 X X X和 Y Y Y,并且定义了一个映射 f : X ⟶ Y f:X\longrightarrow Y f:X⟶Y,然后我们在集合 X X X上取一个点 x 0 x_0 x0,以及它的邻域 U ( x 0 ) U(x_0) U(x0),相应的,我们可以取到映射到集合 Y Y Y上的点 f ( x 0 ) f(x_0) f(x0)以及它的邻域 V ( f ( x 0 ) ) V(f(x_0)) V(f(x0))。如果,再将邻域 U ( x 0 ) U(x_0) U(x0)通过映射 f f f映射到集合 Y Y Y上的点集 f ( U ( x 0 ) ) ⊂ V ( f ( x 0 ) ) f(U(x_0))\subset V(f(x_0)) f(U(x0))⊂V(f(x0)),即没有超出 V ( f ( x 0 ) ) V(f(x_0)) V(f(x0))的范围,那么在这个点上的映射就是连续的。紧接着,如果映射 f f f在集合 X X X上所有的点都满足这个定义,那么就可以称 f f f是一个连续映射。
同胚 Гомеоморфизм
紧接着连续映射的概念,如果 X X X和 Y Y Y两个拓扑空间存在连续映射 f : X ⟶ Y f:X\longrightarrow Y f:X⟶Y,并且该映射即是单射,又是满射(双方单值),然后该映射的逆映射 f − 1 f^{-1} f−1也是连续映射,那么我们就可以称该映射为同胚,同时 X X X和 Y Y Y两个拓扑空间也是同胚的拓扑空间。
诱导拓扑 Индуцированная топология
如果
X
X
X是一个拓扑空间,
Y
⊂
X
Y\subset X
Y⊂X是
X
X
X的一个子集,那么,我们在
Y
Y
Y上也能作出一个拓扑结构。
那么也就是说这里新的拓扑空间的集合就是
Y
Y
Y,然后我们找到这个集合中一类特殊的子集族,即由集合
X
X
X中的开集与
Y
Y
Y交集形成的新集合。换句话说,
U
⊂
X
U\subset X
U⊂X是一个开集,那么
U
∩
Y
U\cap Y
U∩Y就是
Y
Y
Y上的一个开集。
这里举一个实数轴 R \mathbb{R} R和区间 [ 0 , 1 ] [0,1] [0,1]的例子:
- 其中,诱导拓扑中的集合就是 [ 0 , 1 ] [0,1] [0,1];
- 拓扑结构 τ Y \tau _Y τY所有形如 U ∩ [ 0 , 1 ] U\cap [0,1] U∩[0,1]的集合构成,其中 U ∈ R U\in \mathbb{R} U∈R且是一个开集;
- 于是,这样的定义便可以构成一个新的拓扑结构 ( X , τ Y ) (X, \tau_Y) (X,τY)
连通性 Связность
一般的,拓扑空间 X X X,如果不能被分为两个非空且不相交的两个开集的并,即说明它是连通的,即无法使用这种形式来表示: X = A ∪ B X=A\cup B X=A∪B,其中 A , B ≠ ∅ A, B \ne \varnothing A,B=∅且 A ∩ B = ∅ A\cap B=\varnothing A∩B=∅。
特别的,如果在一个拓扑空间中,任意两点都可以通过一条连续的曲线相连接,那么称这个拓扑空间是线性连通的。
连续映射下保持的连通性 Сохранение связности при непрерывном отображении
[定理] 在连续映射下,连通空间的像仍然是连通的,
[定理] 在连续映射下,线性连通空间的像仍然是线性连通的,
也可以表述为: X X X和 Y Y Y都是拓扑空间,且存在一个连续映射 f : X ⟶ Y f:X\longrightarrow Y f:X⟶Y,如果 X X X是线性连通的,那么 f ( X ) f(X) f(X)也是线性连通的。
Hausdorff 空间 Пространство Хаусдорфа
如 X X X是一个拓扑空间,如果任意 x , y ∈ X x,y\in X x,y∈X且 x ≠ y x\ne y x=y,存在不相交的邻域 U ( x ) U(x) U(x)和 U ( y ) U(y) U(y),即 U ( x ) ≠ U ( y ) U(x)\ne U(y) U(x)=U(y),那么我们称该空间是Hausdorff空间。
开覆盖 Открытое покрытие
设拓扑空间 X X X有开集族 { U α } \{ U_\alpha \} {Uα},若 X = ⋃ α U α X=\bigcup_{\alpha}U_\alpha X=⋃αUα,那么我们称 { U α } \{ U_\alpha \} {Uα}为开覆盖。
紧致性 Компактность
如果从拓扑空间
X
X
X的任意开覆盖中分离出有限部分,仍能覆盖该拓扑空间,则说明该空间是紧致的。
也即在任意开覆盖
X
=
⋃
α
U
α
X = \bigcup_{\alpha}U_{\alpha}
X=⋃αUα中都可以分离出有限子覆盖
X
=
⋃
i
=
1
N
U
α
i
X = \bigcup_{i=1}^{N}U_{\alpha_{i}}
X=⋃i=1NUαi,即可以说明该拓扑空间是紧致空间。可以看出,这里的任意开覆盖,可以是无限多个开集构成,也可以是有限多个,这里强调的是有限多的子覆盖。
紧致性的性质 Свойства компактности
- 若 A ⊂ X A\subset X A⊂X是闭集, X X X是紧致空间,那么 A A A是紧致的。
- 若 X X X是紧致的,且是Hausdorff空间 Y Y Y的一个子集,那么 X X X是 Y Y Y中一个闭集。
- 若 f : X ⟶ Y f:X\longrightarrow Y f:X⟶Y是连续映射,其中 X X X是紧致的,那么 f ( X ) f(X) f(X)也是紧致的。
- 若 X X X是紧致的, Y Y Y是Hausdorff空间,那么对于连续且是双射的映射 f : X ⟶ Y f:X\longrightarrow Y f:X⟶Y,其逆映射 f − 1 : Y ⟶ X f^{-1}:Y\longrightarrow X f−1:Y⟶X是连续的。
流形 Многообразие
有一个拓扑空间 X X X,若其中任何一点 x ∈ X x\in X x∈X都有邻域,同胚与 R n \mathbb{R}^n Rn,且 X X X是Hausdorff空间以及有可数基,那么我们可以称 X X X是一个 n n n-维拓扑流形。
其中, X X X拥有一个可数基是指,存在一个由开集构成的序列,这个序列的所有元素的并集能够生成 X X X中的任意开集。
图与图册 Карта и атлас
如果
M
M
M是
n
n
n维流形,那么
M
M
M中可以取出一组开集
{
U
i
}
\{U_i\}
{Ui},以及这些开集通过同胚
φ
i
\varphi _i
φi映射到
R
n
\mathbb{R}^n
Rn上的区域
V
i
⊂
R
V_i\subset \mathbb{R}
Vi⊂R,其中,这一组开集
{
U
i
}
\{U_i\}
{Ui}应该可以覆盖空间
M
M
M,即
M
=
⋃
i
U
i
M=\bigcup_{i}U_i
M=⋃iUi。一般来说,区域
V
i
V_i
Vi之间是可以相交的。
于是,我们将有序对
(
U
α
,
φ
α
)
(U_\alpha , \varphi_\alpha)
(Uα,φα)称为图,如果存在这样一组开集
{
U
i
}
\{U_i\}
{Ui}应该可以覆盖空间
M
M
M,那么
{
(
U
α
,
φ
α
)
}
\{(U_\alpha,\varphi _\alpha)\}
{(Uα,φα)}则被称为图册。
光滑流形 Гладкое многообразие
如果一个 n n n维流形,其图册 { ( U i , φ i ) } \{(U_i,\varphi _i)\} {(Ui,φi)}满足:对任意一对图 U α U_\alpha Uα和 U β U_\beta Uβ,存在转移映射 φ α ∘ φ β − 1 : R n → R n \varphi_{\alpha} \circ \varphi_{\beta}^{-1}: R^n \rightarrow R^n φα∘φβ−1:Rn→Rn,且该映射还是光滑的(即连续可微),那么该 n n n维流形就是一个光滑流形。
光滑函数 Гладкая функция
如果 X X X是 n n n维光滑流形,也就说它局部同胚于 R n \mathbb{R}^n Rn,以及有局部图的映射 φ α \varphi_\alpha φα。然后我们定义一个函数 f : X → R f:X \rightarrow \mathbb{R} f:X→R,如果函数 f ~ α = f ∘ φ α − 1 \tilde{f}_{\alpha}=f \circ \varphi^{-1}_{\alpha} f~α=f∘φα−1是光滑的,那么函数 f : X → R f:X \rightarrow \mathbb{R} f:X→R就是光滑函数。
在这里我们可以看出,函数 f ~ α = f ∘ φ α − 1 \tilde{f}_{\alpha}=f \circ \varphi^{-1}_{\alpha} f~α=f∘φα−1的构造目的就是为了将 R n \mathbb{R}^n Rn映射到 X X X上后再映射到 R \mathbb{R} R,这样就构造了一个 R n → R \mathbb{R}^n\rightarrow \mathbb{R} Rn→R的函数,这是一种将流形上的问题转化为我们更熟悉的欧几里得空间中的问题的方法。
光滑映射 Гладкое отображение
与连续映射类似,光滑映射是定义在两个流形之间的映射。即我们构造一个映射 F : X → Y F:X \rightarrow Y F:X→Y,其中 X X X和 Y Y Y都是光滑流形,于是对于 X X X我们可以有图册 { ( U α , φ α ) } \{(U_\alpha,\varphi _\alpha)\} {(Uα,φα)}, Y Y Y有图册 { ( V β , Ψ β ) } \{(V_\beta,\Psi _\beta)\} {(Vβ,Ψβ)}。如果所有的映射 Ψ β ∘ F ∘ φ α − 1 \Psi_{\beta} \circ F \circ \varphi^{-1}_{\alpha} Ψβ∘F∘φα−1都是光滑的,那么我们称 F : X → Y F:X \rightarrow Y F:X→Y是光滑映射。
微分同胚 Диффеоморфизм
与同胚的概念类似,微分同胚的定义是:如果 F : X → Y F:X \rightarrow Y F:X→Y是光滑映射,其中 X X X和 Y Y Y都是光滑流形,且 F F F满足:
- F F F是双射且光滑;
- F − 1 F^{-1} F−1也是光滑映射;
那么我们称 F : X → Y F:X \rightarrow Y F:X→Y是微分同胚映射。
通过方程定义流形
假设我们有一个 R n \mathbb{R}^n Rn空间,其中每个点都可以使用 ( x 1 , . . . , x n ) (x^{1},...,x^n) (x1,...,xn)来描述,然后我们定义一个方程组 M M M,共包含 k k k个方程,其中 k ≤ n k\le n k≤n,当然这里的方程都是彼此独立的,并将其定义如下:
M : { f 1 ( x 1 , . . . , x n ) = 0 . . . f k ( x 1 , . . . , x n ) = 0 ⊂ R n M:\begin{cases} f_{1}(x^{1},...,x^{n})=0\quad\\ ...\\ f_{k}(x^{1},...,x^{n})=0\quad \end{cases}\subset \mathbb{R}^{n} M:⎩ ⎨ ⎧f1(x1,...,xn)=0...fk(x1,...,xn)=0⊂Rn
此时,如果我们想让 M M M成为一个流形,那么我们需要让每一个 f i f_i fi都是光滑函数,即它在 R n \mathbb{R}^n Rn的每一点上都有连续的偏导数,这里我们可以使用雅可比矩阵还限制:
r k ( ∂ f 1 ∂ x 1 . . . ∂ f 1 ∂ x n . . . . . . ∂ f k ∂ x 1 . . . ∂ f k ∂ x n ) = k rk\left( \begin{matrix} \frac{\partial f_{1}}{\partial x^{1}} & ... & \frac{\partial f_{1}}{\partial x^{n}}\\ ... & & ... \\ \frac{\partial f_{k}}{\partial x^{1}} & ... & \frac{\partial f_{k}}{\partial x^{n}} \end{matrix} \right)=k rk ∂x1∂f1...∂x1∂fk......∂xn∂f1...∂xn∂fk =k
这个条件要求这个雅可比矩阵在 M M M上每一点的秩(即线性独立的最大行数或列数)必须是 k k k,此时 M M M就是 n − k n-k n−k维的光滑流形。这里的 n − k n-k n−k维可以理解成:每一个 f i f_i fi都是对维度的约束,理论上就会少一个维度,那么如果有 k k k个约束,就剩下 n − k n-k n−k个维度。
切向量与切空间 Касательный вектор и касательное пространство
切向量 Касательный вектор
速度形式的切向量
假设有一个流形
M
M
M和在这个流形上有一个平滑曲线
γ
:
R
⟶
M
\gamma: \mathbb{R}\longrightarrow M
γ:R⟶M,且过点
P
P
P,那么该点的切向量就是:
V = d γ ( t ) d t ∣ t = 0 V = \frac{d\gamma (t)}{dt}\big|_{t=0} V=dtdγ(t) t=0
那么,如果参数化该点,即 γ ( t ) = ( x 1 ( t ) , … , x n ( t ) ) \gamma (t)=(x^1(t),\ldots,x^n(t)) γ(t)=(x1(t),…,xn(t)),其中 x i ( t ) x^i(t) xi(t)是流形上第 i i i个坐标随时间 t t t的函数,于是,我们从极限的角度来理解,可以使用 r ( t ) = ( x 0 1 + t a 1 ( x ) , … , x 0 1 + t a n ( x ) ) r(t)=(x_0^1+ta_1(x),\ldots,x_0^1+ta_n(x)) r(t)=(x01+ta1(x),…,x01+tan(x))来表示切向量方向的直线运动, r ( 0 ) = ( x 0 1 , … , x 0 n ) r(0)=(x_0^1,\ldots,x_0^n) r(0)=(x01,…,x0n)是初始点,然后,我们可以将切向量表示为:
V = lim t → 0 r ( t ) − r ( 0 ) t V = \lim_{t \to 0} \frac{r(t) - r(0)}{t} V=t→0limtr(t)−r(0)
即 V = ( a 1 ( x ) , … , a n ( x ) ) V = (a_1(x), \ldots, a_n(x)) V=(a1(x),…,an(x))。
切向量在不同坐标系下的转换
由于同一个流形中可以有不同的图,那么在不同坐标图(流形理论中常这样称“图”)下,切向量只是不同的数字组合,即不同的坐标系并不会影响切向量的本质。具体来说,不同坐标系下同一个切向量的转换公式是:
d x i d t ∣ t = 0 = ∂ x i ∂ y j ∣ p d y j d t ∣ t = 0 \frac{dx^{i}}{dt}\Big|_{t=0} = \frac{\partial x^{i}}{\partial y^{j}}\Big|_{p} \frac{dy^{j}}{dt}\Big|_{t=0} dtdxi t=0=∂yj∂xi pdtdyj t=0
其中,
d
x
i
d
t
∣
t
=
0
\frac{dx^{i}}{dt}\Big|_{t=0}
dtdxi
t=0 和
d
y
j
d
t
∣
t
=
0
\frac{dy^{j}}{dt}\Big|_{t=0}
dtdyj
t=0分别是在两个不同坐标系下切向量的分量,
∂
x
i
∂
y
j
∣
p
\frac{\partial x^{i}}{\partial y^{j}}\Big|_{p}
∂yj∂xi
p是坐标变换的雅可比矩阵的元素,用于在这两个坐标系之间进行转换。
如果采用形如 V = ( a 1 ( x ) , … , a n ( x ) ) V = (a_1(x), \ldots, a_n(x)) V=(a1(x),…,an(x))的表示方法,还可以表述为:
a i ( x ) = ∂ x i ∂ y j ∣ p a j ( y ) a^i(x)=\frac{\partial x^i}{\partial y^j}\big|_pa^j(y) ai(x)=∂yj∂xi paj(y)
该公式的矩阵形式可以被表示为:
[ a 1 ⋮ a n ] ( y ) = [ ∂ x 1 ∂ y 1 ⋯ ∂ x 1 ∂ y n ⋮ ⋱ ⋮ ∂ x n ∂ y 1 ⋯ ∂ x n ∂ y n ] ( p ) [ a 1 ⋮ a n ] ( x ) \begin{bmatrix}a^1\\\vdots\\a^n\end{bmatrix}_{(y)}=\begin{bmatrix}\frac{\partial x^1}{\partial y^1}&\cdots&\frac{\partial x^1}{\partial y^n}\\\vdots&\ddots&\vdots\\\frac{\partial x^n}{\partial y^1}&\cdots&\frac{\partial x^n}{\partial y^n}\end{bmatrix}_{(p)}\begin{bmatrix}a^1\\\vdots\\a^n\end{bmatrix}_{(x)} a1⋮an (y)= ∂y1∂x1⋮∂y1∂xn⋯⋱⋯∂yn∂x1⋮∂yn∂xn (p) a1⋮an (x)
其中,中间的雅可比矩阵表示在 P P P点,每个元素 ∂ x i ∂ y j \frac{\partial x^i}{\partial y^j} ∂yj∂xi是 x x x坐标系下第 i i i个坐标相对于 y y y坐标系下第 j j j个坐标的偏导数。
函数形式的切向量
与速度形式的切向量类似,函数形式的切向量是将曲线看作函数
f
f
f,于是切向量可以表示为:
f → a 1 ∂ f ∂ x 1 ∣ p + . . . + a n ∂ f ∂ x n ∣ p f \rightarrow a^{1}\frac{\partial f}{\partial x^{1}}|_{p} +...+a^{n}\frac{\partial f}{\partial x^{n}}|_{p} f→a1∂x1∂f∣p+...+an∂xn∂f∣p
其中, ∂ f ∂ x i ∣ p \frac{\partial f}{\partial x^{i}}|_{p} ∂xi∂f∣p对自变量 x i x^{i} xi在点 p p p处的偏导数。
切空间 Касательное пространство
流形 M M M在定点 P 0 P_0 P0上所有的切向量的集合叫做切空间,这个集合用 T P 0 ( M ) T_{P_0}(M) TP0(M)来表示,其中每一个切向量 ξ ∈ T P 0 ( M ) \xi \in T_{P_0}(M) ξ∈TP0(M)都可以在一个给定的坐标系中被唯一确定。
光滑映射的微分 Дифференциал гладкого отображения
之前我们定义了光滑映射,它的本质是两个拓扑空间之间点到点的映射,现在假设有一个光滑映射 F : X → Y F:X \rightarrow Y F:X→Y,其中 X X X上有一点 P P P,它所在的一个曲线为 γ ( t ) \gamma(t) γ(t),于是在 F F F的作用下,在 Y Y Y上应该有一个曲线为 F ( γ ( t ) ) F(\gamma(t)) F(γ(t)),然后我们如果对该曲线在 t = t 0 t=t_0 t=t0即 P P P点处求导:
d d t ∣ t = t 0 F ( γ ( t ) ) = d P F ( d γ d t ∣ t = t 0 ) \frac{d}{dt}\Big|_{t=t_0} F(\gamma(t)) = d_PF\left(\frac{d\gamma}{dt}\Big|_{t=t_0}\right) dtd t=t0F(γ(t))=dPF(dtdγ t=t0)
其中, d P F d_PF dPF是映射 F F F在点 P P P处的微分,微分本身是线性映射,它将 T P X T_PX TPX中的切向量 d γ d t ∣ t = t 0 \frac{d\gamma}{dt}|_{t=t_0} dtdγ∣t=t0映射到 T F ( P ) Y T_{F(P)}Y TF(P)Y中的切向量,这也就将原本的点对点映射转换成了切向量到切向量的映射。
在这里,可以理解为将 X X X上某一点的微小变化映射到了 Y Y Y上对应的微小变化。
进一步,在坐标系中:
我们定义 γ ( t ) = ( x 1 ( t ) , . . . , x n ( t ) ) \gamma(t)=(x^{1}(t),...,x^{n}(t)) γ(t)=(x1(t),...,xn(t)),于是 P P P点的切向量是:
d γ d t ∣ t = t 0 = ( d x 1 d t ∣ t = t 0 , . . . , d x n d t ∣ t = t 0 ) \frac{d\gamma}{dt}|_{t=t_{0}}=\Bigg(\frac{dx^{1}}{dt}|_{t=t_{0}},...,\frac{dx^{n}}{dt}|_{t=t_{0}}\Bigg) dtdγ∣t=t0=(dtdx1∣t=t0,...,dtdxn∣t=t0)
光滑映射过去后,
F ( γ ( t ) ) = ( y 1 ( x 1 ( t ) , . . . , x n ( t ) ) ) , . . . , ( y m ( x 1 ( t ) , . . . , x n ( t ) ) ) F(\gamma(t))=(y^{1}(x^{1}(t),...,x^{n}(t))),...,(y^{m}(x^{1}(t),...,x^{n}(t))) F(γ(t))=(y1(x1(t),...,xn(t))),...,(ym(x1(t),...,xn(t)))
那么如果对其中每个函数都进行求导,就可以得到:
( d F ( γ ( t ) ) d t ∣ t = t 0 ) j = ∂ y i ∂ x i ∣ p d x i d t ∣ t = t 0 \Bigg(\frac{dF(\gamma(t))}{dt}|_{t=t_{0}}\Bigg)^{j}=\frac{\partial y^{i}}{\partial x^{i}}|_{p}\frac{dx^{i}}{dt}|_{t=t_{0}} (dtdF(γ(t))∣t=t0)j=∂xi∂yi∣pdtdxi∣t=t0
那么对于整个 F ( γ ( t ) ) F(\gamma(t)) F(γ(t))进行求导,并且以 v i = d γ d t ∣ t = t 0 v^i = \frac{d\gamma}{dt}|_{t=t_{0}} vi=dtdγ∣t=t0,我们可以得到:
( ( d P ( F ( γ ) ) ) 1 . . ( d P ( F ( γ ) ) ) m ) = ( ∂ y 1 ∂ x 1 . . . ∂ y n ∂ x n . . . . . . ∂ y m ∂ x 1 . . . ∂ y m ∂ x n ) ∣ p ( v 1 . . v n ) \left( \begin{matrix} (d_{P}(F(\gamma)))^{1}\\ .\\ .\\ (d_{P}(F(\gamma)))^{m} \end{matrix} \right)= \left( \begin{matrix} \frac{\partial y^{1}}{\partial x^{1}} & ... & \frac{\partial y^{n}}{\partial x^{n}}\\ ... & & ... \\ \frac{\partial y^{m}}{\partial x^{1}} & ... & \frac{\partial y^{m}}{\partial x^{n}} \end{matrix} \right)\bigg|_{p}\left( \begin{matrix} v^{1}\\ .\\ .\\ v^{n} \end{matrix} \right) (dP(F(γ)))1..(dP(F(γ)))m = ∂x1∂y1...∂x1∂ym......∂xn∂yn...∂xn∂ym p v1..vn
光滑流形的定向性 Ориентируемость гладкого многообразия
[定义1] 如果流形 X X X有一个图册 { ( U α , φ α ) } \{(U_\alpha, \varphi_\alpha)\} {(Uα,φα)},其中对于任意两个图 ( U α , φ α ) (U_\alpha, \varphi_\alpha) (Uα,φα)和 ( U β , φ β ) (U_\beta, \varphi_\beta) (Uβ,φβ)在 U α ∩ U β ≠ ∅ U_\alpha\cap U_\beta\ne \varnothing Uα∩Uβ=∅的情况下,拼接函数 φ β α = φ β ∘ φ α − 1 \varphi _{\beta\alpha}=\varphi _\beta\circ \varphi _\alpha ^{-1} φβα=φβ∘φα−1的雅可比行列式 J ( φ β α ) J(\varphi _{\beta\alpha}) J(φβα)在 U α ∩ U β U_\alpha\cap U_\beta Uα∩Uβ上处处为正,那么这个流形就被称为可定向流形。
[定义2] 如果流形 X X X没有改变方向的闭合路径,则称其为可定向流形。
常见的定向流形有:
S
2
S^2
S2球面,
R
n
R^n
Rn欧式空间,
T
n
T^n
Tn环面;
常见的非定向流形有:莫比乌斯带,克莱因瓶,实射影平面
R
P
2
RP^2
RP2。
常见闭曲面
平面 | 球面 | 环面 | 射影平面 | 实射影平面 | |
---|---|---|---|---|---|
符号 | E 2 E^2 E2 | S 2 S^2 S2 | T 2 T^2 T2 | P 2 P^2 P2 | R P 2 RP^2 RP2 |
连通和
两个拓扑空间的连通和即是在两个空间上都取出一个小开球,再将两个小开球处留下边界“粘合”在一起,这个过程本质是一个同胚映射。
二维流形的分类定理
任何线性紧致二维流形一定同胚于下面其中一种形式:
- S 2 # T 2 # T 2 ⋯ # T 2 S^2\#T^2\#T^2\cdots\#T^2 S2#T2#T2⋯#T2,其中共 n n n个 T 2 ( n ≥ 0 ) T^2(n\ge 0) T2(n≥0)
- S 2 # R P 2 # R P 2 ⋯ # R P 2 S^2\#RP^2\#RP^2\cdots\#RP^2 S2#RP2#RP2⋯#RP2 ,其中共 m m m个 R P 2 ( m ≥ 1 ) RP^2(m\ge 1) RP2(m≥1)
三角剖分
二维流形
M
M
M的三角剖分 是指将流形
M
M
M分解为若干个小的“三角形”单元的过程。在这里,“三角形”不一定是严格的几何意义上的平面三角形,而是指拓扑上类似于三角形的结构。
在这个分割过程中,任意两个“三角形”单元的交集要么是空集,要么是一个顶点,要么是一条边。这意味着这些三角形在拓扑上互不重叠。
欧拉特征数
如果将一个二维流形,使用三角剖分的方法分割,最终得到的框架中的点,边以及面的数量通过下面的计算,得到了一个拓扑不变量:
χ = F − E + V \chi=F-E+V χ=F−E+V
这个量就是欧拉特征数(欧拉示性数),其中 F F F, E E E和 V V V分别是上面提到的点,边和面的数量。
以球面 S 2 S^2 S2为例,如果将其看作是一个正四面体,那么 χ = 4 − 6 + 4 = 2 \chi=4-6+4=2 χ=4−6+4=2,如果将其看作将一个圆面圆周“粘合”成一个点所形成,那么 χ = 1 − 0 + 1 = 2 \chi=1-0+1=2 χ=1−0+1=2,这也体现了欧拉特征数是一个拓扑不变量的性质。