微分几何笔记（２）：微分流形的例子

我们知道[公式]中存在一个整体的坐标系，使得每个点都有一个坐标与之一一对应，大学之前学习的几何内容，都是在[公式]空间中处理问题。但是存在一些空间，在其上不存在一个整体的坐标系，如三维空间中的球面：[公式]。要想在其上处理问题，就需要将其分为若干个部分，在每个部分上建立坐标系，这就引出了微分流形的概念。

刚接触微分流形的概念理解起来还是比较困难，因此找来一些具体的例子，可以帮助大家理解微分流形的概念。

微分流形

例１： $n$维球面 S n = { ( x 1 , … , x n + 1 ) ∈ R n + 1 ∣ ∑ i = 1 n + 1 x i 2 = 1 } \mathrm{S}^n=\{(x_1,\dots,x_{n+1})\in \mathrm{R}^{n+1}|\sum\limits_{i=1}^{n+1}x_i^2=1\} Sn={(x1​,…,xn+1​)∈Rn+1∣i=1∑n+1​xi2​=1}是$n$维$C^{\infty }$微分流形。

证明： 取${\mathrm{S}}^n$的拓扑为其作为${\mathrm{R}}^{n+1}$子空间的拓扑，则${\mathrm{S}}^n$是Hausdorff拓扑空间。令
U i + = { ( x 1 , … , x n + 1 ) ∈ S n ∣ x i > 0 } U i − = { ( x 1 , … , x n + 1 ) ∈ S n ∣ x i < 0 } U_i^+=\{(x_1,\dots,x_{n+1})\in\mathrm{S}^n|x_i>0\}\\ U_i^-=\{(x_1,\dots,x_{n+1})\in\mathrm{S}^n|x_i<0\} Ui+​={(x1​,…,xn+1​)∈Sn∣xi​>0}Ui−​={(x1​,…,xn+1​)∈Sn∣xi​<0}

$$\begin{gathered} {\phi }_i^{+}:U_i^{+}\to {\mathrm{R}}^n,(x_1,\dots ,x_{n+1})\mapsto (x_1,\dots ,\widehat{x_i},\dots ,x_{n+1}) \\ {\phi }_i^{-}:U_i^{-}\to {\mathrm{R}}^n,(x_1,\dots ,x_{n+1})\mapsto (x_1,\dots ,\widehat{x_i},\dots ,x_{n+1}) \end{gathered}$$

其中$i=1,2,\dots ,n+1$，则${\phi }_i^{+}$与${\phi }_i^{-}$都是可逆映射，有
$$\begin{gathered} ({\phi }_i^{+}{)}^{-1}:\phi (U_i^{+})\to U_i^{+},(x_1,\dots ,x_n)\mapsto (x_1,\dots ,x_{i-1},\sqrt{1-\sum _{j=1}^n{x}_j^2},x_i,\dots ,x_n) \\ ({\phi }_i^{-}{)}^{-1}:\phi (U_i^{-})\to U_i^{-},(x_1,\dots ,x_n)\mapsto (x_1,\dots ,x_{i-1},-\sqrt{1-\sum _{j=1}^n{x}_j^2},x_i,\dots ,x_n). \end{gathered}$$
考虑映射
$$\begin{gathered} {\phi }_2^{-}({\phi }_1^{+}{)}^{-1}:{\phi }_1^{+}(U_1^{+}\cap U_2^{-})\to {\phi }_2^{-}(U_1^{+}\cap U_2^{-}) \\ (x_1,\dots ,x_n)\mapsto (\sqrt{1-\sum _{j=1}^n{x}_j^2},x_2,\dots ,x_n), \end{gathered}$$
可知${\phi }_2^{-}({\phi }_1^{+}{)}^{-1}$是$C^{\infty }$映射，因此坐标图$(U_1^{+},{\phi }_1^{+})$与$(U_2^{-},{\phi }_2^{-})$是$C^{\infty }$相容的。同理可得坐标图册 { ( U i ± , φ i ± ) ∣ i = 1 , 2 , … , n + 1 } \{(U_i^\pm,\varphi_i^\pm)|i=1,2,\dots,n+1\} {(Ui±​,φi±​)∣i=1,2,…,n+1}是$C^{\infty }$相容坐标图册，因此唯一确定${\mathrm{S}}^n$上的$C^{\infty }$微分结构，因此${\mathrm{S}}^n$是$n$维$C^{\infty }$微分流形。

例２： 实射影空间$\mathrm{R}{\mathrm{P}}^n$是$n$维$C^{\infty }$微分流形。

证明： 实射影空间$\mathrm{R}{\mathrm{P}}^n$是Hausdorff空间。令$X={\mathrm{R}}^{n+1}-0$，在$X$上定义等价关系$\sim$：对$\forall x,y\in X$，$x\sim y$当且仅当存在$t\in \mathrm{R}$且$t>0$使得$y=tx$，则$\mathrm{R}{\mathrm{P}}^n$即为$X/\sim$.令
U i = { [ ( x 1 , … , x n + 1 ) ] ∣ ( x 1 , … , x n + 1 ) ∈ X ∣ x i ≠ 0 } ,   i = 1 , 2 , … , n + 1 U_i=\{[(x_1,\dots,x_{n+1})]|(x_1,\dots,x_{n+1})\in X|x_i\ne 0\},\ i=1,2,\dots,n+1 Ui​={[(x1​,…,xn+1​)]∣(x1​,…,xn+1​)∈X∣xi​​=0}, i=1,2,…,n+1
其中$[x]$表示$x\in X$关于等价关系$\sim$的等价类。令$(x_1,\dots ,x_{n+1})\in X$且$x_i\ne 0$，对$\forall (y_1,\dots ,y_{n+1})\in X$，可知
$$(\frac{x_1}{x_i},\dots ,\frac{x_{n+1}}{x_i})=(\frac{y_1}{y_i},\dots ,\frac{y_{n+1}}{y_i})⟺(x_1,\dots ,x_{n+1})\sim (y_1,\dots ,y_{n+1})$$
因此，下面的映射${\phi }_i$是良定义的单射
$${\phi }_i:U_i\to {\mathrm{R}}^n,[(x_1,\dots ,x_{n+1})]\mapsto (\frac{x_1}{x_i},\dots ,\frac{x_{i-1}}{x_i},\frac{x_{i+1}}{x_i},\dots ,\frac{x_{n+1}}{x_i}),i=1,2,\dots ,n+1.$$
因此${\phi }_i$存在逆映射
$${\phi }_i^{-1}:{\phi }_i(U_i)\to U_i,(x_1,\dots ,x_n)\mapsto [(x_1,\dots ,x_{i-1},1,x_{i+1},\dots ,x_{n+1})].$$
考虑映射
$$\begin{gathered} {\phi }_2({\phi }_1{)}^{-1}:{\phi }_1(U_1\cap U_2)\to {\phi }_2(U_1\cap U_2) \\ (x_1,\dots ,x_n)\mapsto (\frac{1}{x_1},\frac{x_2}{x_1},\dots ,\frac{x_n}{x_1}), \end{gathered}$$
可知${\phi }_2({\phi }_1{)}^{-1}$是$C^{\infty }$映射，因此坐标图$(U_1,{\phi }_1)$与$(U_2,{\phi }_2)$是$C^{\infty }$相容的。同理可得坐标图册 { ( U i , φ i ) ∣ i = 1 , 2 , … , n + 1 } \{(U_i,\varphi_i)|i=1,2,\dots,n+1\} {(Ui​,φi​)∣i=1,2,…,n+1}是$\mathrm{R}{\mathrm{P}}^n$的$C^{\infty }$相容坐标图册，因此$\mathrm{R}{\mathrm{P}}^n$是$n$维$C^{\infty }$微分流形。

例３： 复射影空间$\mathrm{C}{\mathrm{P}}^n$是$2n$维$C^{\infty }$微分流形。

证明： 实射影空间$\mathrm{C}{\mathrm{P}}^n$是Hausdorff空间。令$X={\mathrm{C}}^{n+1}-0$，在$X$上定义等价关系$\sim$：对$\forall x,y\in X$，$x\sim y$当且仅当存在$t\in \mathrm{C}$且$t>0$使得$y=tx$，则$\mathrm{C}{\mathrm{P}}^n$即为$X/\sim$.令
U i = { [ ( x 1 , … , x n + 1 ) ] ∣ ( x 1 , … , x n + 1 ) ∈ X ∣ x i ≠ 0 } ,   i = 1 , 2 , … , n + 1 U_i=\{[(x_1,\dots,x_{n+1})]|(x_1,\dots,x_{n+1})\in X|x_i\ne 0\},\ i=1,2,\dots,n+1 Ui​={[(x1​,…,xn+1​)]∣(x1​,…,xn+1​)∈X∣xi​​=0}, i=1,2,…,n+1
其中$[x]$表示$x\in X$关于等价关系$\sim$的等价类。令$(x_1,\dots ,x_{n+1})\in X$且$x_i\ne 0$，对$\forall (y_1,\dots ,y_{n+1})\in X$，可知
$$(\frac{x_1}{x_i},\dots ,\frac{x_{n+1}}{x_i})=(\frac{y_1}{y_i},\dots ,\frac{y_{n+1}}{y_i})⟺(x_1,\dots ,x_{n+1})\sim (y_1,\dots ,y_{n+1})$$
因此，下面的映射${\phi }_i$是良定义的单射
$${\phi }_i:U_i\to {\mathrm{R}}^n,[(x_1,\dots ,x_{n+1})]\mapsto (\frac{x_1}{x_i},\dots ,\frac{x_{i-1}}{x_i},\frac{x_{i+1}}{x_i},\dots ,\frac{x_{n+1}}{x_i}),i=1,2,\dots ,n+1.$$
因此${\phi }_i$存在逆映射
$${\phi }_i^{-1}:{\phi }_i(U_i)\to U_i,(x_1,\dots ,x_n)\mapsto [(x_1,\dots ,x_{i-1},1,x_{i+1},\dots ,x_{n+1})].$$
令$\pi :\mathrm{C}\to {\mathrm{R}}^2,x+y\mathrm{i}\mapsto (x,y)$，显然$\pi$是$C^{\infty }$同胚，因此$\pi {\phi }_i$是$U_i$到$\pi {\phi }_i(U_i)\in {\mathrm{R}}^{2n}$的$C^{\infty }$微分同胚映射，考虑映射
$$\begin{gathered} \pi {\phi }_2(\pi {\phi }_1{)}^{-1}:\pi {\phi }_1(U_1\cap U_2)\to \pi {\phi }_2(U_1\cap U_2) \\ (\pi (x_1),\dots ,\pi (x_n))\mapsto (\pi (\frac{1}{x_1}),\pi (\frac{x_2}{x_1}),\dots ,\pi (\frac{x_n}{x_1})), \end{gathered}$$
可知$\pi {\phi }_2(\pi {\phi }_1{)}^{-1}$是$C^{\infty }$映射，因此坐标图$(U_1,\pi {\phi }_1)$与$(U_2,\pi {\phi }_2)$是$C^{\infty }$相容的。同理可得坐标图册 { ( U i , π φ i ) ∣ i = 1 , 2 , … , n + 1 } \{(U_i,\pi\varphi_i)|i=1,2,\dots,n+1\} {(Ui​,πφi​)∣i=1,2,…,n+1}是$\mathrm{C}{\mathrm{P}}^n$的$C^{\infty }$相容坐标图册，因此$\mathrm{C}{\mathrm{P}}^n$是$2n$维$C^{\infty }$微分流形。

积流形： 令$M$和$N$分别是$m$维和$n$维$C^k$微分流形，它们的微分结构分别为 { ( U i , φ i ) ∣ i ∈ I } \{(U_i,\varphi_i)|i\in I\} {(Ui​,φi​)∣i∈I}和 { ( V j , ϕ j ) ∣ j ∈ J } \{(V_j,\phi_j)|j\in J\} {(Vj​,ϕj​)∣j∈J}，$I$和$J$分别是相应的指标集。显然， { ( U i × V j ) ∣ i ∈ I , j ∈ J } \{(U_i\times V_j)|i\in I,j\in J\} {(Ui​×Vj​)∣i∈I,j∈J}是拓扑空间$M\times N$的开覆盖。定义映射
$$\begin{gathered} {\phi }_i\times {\varphi }_j:U_i\times V_j\to {\mathrm{R}}^m\times {\mathrm{R}}^n={\mathrm{R}}^{m+n} \\ (p,q)\mapsto ({\phi }_i(p),{\varphi }_j(q)),(p,q)\in U_i\times V_j\subset M\times N, \end{gathered}$$
则容易证明 { ( U i × V j , φ i × ϕ j ) ∣ i ∈ I , j ∈ J } \{(U_i\times V_j,\varphi_i\times\phi_j)|i\in I,j\in J\} {(Ui​×Vj​,φi​×ϕj​)∣i∈I,j∈J}是$M\times N$的$C^k$相容坐标图册，因此$M\times N$是$m+n$维$C^k$微分流形。此时，称$M\times N$是$M$和$N$的积流形。

例４： $n$维环面${\mathrm{T}}^n={\mathrm{S}}^1\times \dots ,\times {\mathrm{S}}^1$，是$n$维$C^{\infty }$微分流形。

证明： ${\mathrm{T}}^n={\mathrm{S}}^1\times \dots ,\times {\mathrm{S}}^1$是$n$个圆环${\mathrm{S}}^1$的积空间，而${\mathrm{S}}^1$是$\mathrm{１}$维$C^{\infty }$微分流形。因此，根据积流形的定义，容易验证${\mathrm{T}}^n$是$n$维$C^{\infty }$微分流形。