微分流形

维基百科,自由的百科全书

跳转到: 导航, 搜索

[编辑] 可微流形的定义

r\geq 1的自然数或者为\infty,拓扑空间\mathcal{M}被称为是m\mathbf{C}^r可微流形,如果,

  1. \mathcal{M}豪斯多夫空间
  2. \mathcal{M}被m维坐标邻域所覆盖,换句话说,存在\mathcal{M}m坐标邻域族\left\{(U_\alpha,\varphi_\alpha)\right\}_{\alpha\in A},使得\mathcal{M}=\cup_{\alpha \in A} U_\alpha
  3. 满足U_\alpha \cap U_{\beta}\neq \phi的任意\alpha,\beta\in A坐标转换
\varphi_\beta\cdot \varphi_\alpha^{-1}: \varphi_\alpha (U_\alpha\cap U_\beta) \to \varphi_\beta (U_\alpha\cap U_\beta)
\mathbf{C}^r映射。


  • r = 0时,\mathbf{C}^0流形称为是拓扑流形;当r=\infty时,\mathbf{C}^\infty流形称为是光滑流形
个人工具
其他语言