查看“︁流形”︁的源代码

{{more footnotes|time=2014-01-31}}
{{Refimprove|time=2013-06-24T02:34:19+00:00 }}
[[File:Triangles (spherical geometry).jpg|thumb|300px|[[球面]]（[[球 (数学)|球]]的表面）為二維的流形，由於它能夠由一群二維的圖形來表示。]]

在数学中，'''流形'''（{{lang-en|manifold}}）是可以“局部[[欧几里得空间]]化”的一个[[拓扑空间]]，即在此拓扑空间中，每个点附近“局部类似于欧氏空间”。更精确地说，'''n维流形'''（''n''-manifold），简称'''n流形'''，是一个拓扑空间，其性质是每个点都有一个[[邻域]]，该邻域[[同胚]]于n维欧氏空间的一个[[开集]]。

流形是欧几里得空间中的曲线、曲面等概念的推广。欧几里得空间就是最简单的流形的实例。地球表面这样的球面则是一个稍微复杂的例子。一般的流形可以通过把许多平直的片折弯并粘连而成。

流形在数学中用于描述几何形体，它们为研究形体的可微性提供了一个自然的平台。[[物理学]]上，[[经典力学]]的[[相空间]]和构造[[广义相对论]]的[[时空]]模型的[[四维]]伪[[黎曼流形]]都是流形的实例。[[位形空间]]中也可以定义流形。[[环面]]就是双摆的位形空间。

一般可以把几何形体的拓扑结构看作是完全“柔软”的，因为所有变形（同胚）会保持拓扑结构不变；而把[[解析几何]]结构看作是“硬”的，因为整体的结构都是固定的。例如，当一个[[多项式]]在 <math>(0,1)</math> 区间的取值确定了，则其在整个实数范围的值都被固定，可见局部的变动会导致全局的变化。光滑流形可以看作是介于两者之间的模型。

==漢語語源==
'''流形'''的漢語译名由20世紀初[[晚清]]出生的著名数学家和数学教育学家[[江泽涵]]在1954年引入。

'''流形'''的英語manifold
以及德語Mannigfaltigkeit原字義解作「很多、不同」的意思，這與漢語傳統中'''流形'''一詞的字義相同。例如13世紀[[南宋]]《[[正氣歌]]》中「天地有正氣，雜然賦流形：下則為河嶽，上則為日星」一句中的'''流形'''，就是指正氣有如山河日星等等「很多」以及「不同」形態的意思。Manifold在數學中，就是指「很多，不同」點的集合，先於19世紀末20世紀初在[[日語]]中被譯成'''流形'''{{citation needed}}，再在漢語現代化運動期間被中文數學界源用這個翻譯。

另一種說法是，光滑流形无穷小的结构是「硬」的，而整体结构则是「柔软」的。这也许是中文译名'''流形'''的原因（整体的形态可以流动）。这样，流形的硬度使它能够容纳微分结构，而它的软度使得它可以作为很多需要独立的局部扰动的数学和物理的模型。

== 简介 ==
[[File:Triangles (spherical geometry).jpg|thumb|left|200px|理想化的地球是一个流形。越近看就越近似于平面（“大三角形”是曲边的，但右下角'''非常小'''的三角形就和平面上一样了）。]]
流形可以视为近看起来像[[欧几里得空间]]或其他相对简单的空间的物体{{r|gva|page1=1}}。例如，人们曾经以为地球是平的。这是因为相对于地球来说人類实在太小，平常看到的地面是地球表面微小的一部分。所以，尽管知道地球实际上差不多是一个圆球，如果只需要考虑其中微小的一部分上发生的事情，比如测量操场跑道的长度或进行房地产交易时，仍然把地面看成一个平面。一个理想的数学上的[[球面|球]]面在足够小的区域上的特性就像一个[[平面 (数学)|平面]]，这表明它是一个流形{{r|baz|page1=283}}。但是球面和平面的整体结构是完全不同的：如果在球面上沿一个固定方向走，最终会回到起点，而在一个平面上，可以一直走下去。

回到地球的例子。像旅行的时候，会用平面的[[地图]]来指示方位。如果将整个地球的各个地区的地图合订成一本地图集，那么在观看各个地区的地图后，就可以在脑海中“拼接”出整个地球的景貌。为了能让阅读者顺利从一张地图接到下一张，相邻的地图之间会有重叠的部分，以便在脑海里“粘合”两张图。类似地，在数学中，也可以用一系列“地图”（称为'''坐标图'''或'''坐标卡'''）组成的“地图集”（atlas, 亦称为'''图册'''）来描述一个流形{{r|baz|page1=283}}。而“地图”之间重叠的部分在不同的地图里如何变换，则描述了不同“地图”的相互关系。

描述一个流形往往需要不止一个“地图”，因为一般来说流形并不是真正的欧几里得空间。举例来说，地球就没法用一张平面的地图来合适地描绘。

流形要求局部“看起来像”简单的空间，这不是一个简单的要求。例如，在球上吊一根线，这个整体就不是一个流形。包含了线和球连接的那一点的附近区域一定不是简单的：既不是线也不是面，无论这个区域有多小。

流形有很多种。最简单的是[[拓扑流形]]，它们局部看来像[[欧几里得空间]]。其他的种类包含了它们在使用中所需要的额外的结构。例如，一个[[微分流形]]不仅支持[[拓扑学|拓扑]]，而且要支持[[微积分学|微积分]]。[[黎曼流形]]的思想导致了[[廣義相對論|广义相对论]]的数学基础，使得人们能够用[[曲率]]来描述[[时空]]。

==引例==
===圆===
[[File:Circle with overlapping manifold charts.png|thumb|四张图分别把圆的一部分映射到一个开区间，它们合在一起覆盖了整个圆。]]
[[圆]]是除欧几里得空间外的拓扑流形的一个简单例子。考虑一个半径为1，圆心在原点的圆。若<math>x</math>和<math>y</math>是圆上的点的坐标，则有<math>x^2+y^2=1</math>。

局部看来，圆像一条线，而线是一维的。换句话说，只要一个坐标就可以在局部描述一个圆。例如，圆的上半部，<math>y</math>坐标大于零的部分（右图中黄色的部分），任何一点都可以用<math>x</math>坐标确定。投影映射：
:<math> \phi_{\mathrm{top}} : (x, y) \mapsto x \, </math>

把上半圆映射到开区间<math>(-1,1)</math>。反过来，给定一个<math>x</math>，<math>(x, \sqrt{1 - x^2})</math>就是上半圆的一点：

:<math> \phi_{\mathrm{top}}^{(-1)} : x \mapsto (x, \sqrt{1 - x^2}) \, </math> 

这样的一个映射<math>\phi_{\mathrm{top}}</math>就是一个'''坐标卡'''（{{lang|en|chart}}）。它的作用，就是告诉读者“地图”上的一点对应着实际中的哪一点。<math>\phi_{\mathrm{top}}</math>和它的逆映射都是[[连续函数]]甚至是[[光滑函数]]，这样的映射也叫做一个（微分）[[同胚]]{{r|gva|page1=4}}。类似的，也可以为圆的下半部（红），左半部（蓝），右半部（绿）建立坐标卡。

: <math>\begin{align}
  \phi_\mathrm{bottom}(x, y) &= x \\
    \phi_\mathrm{left}(x, y) &= y \\
   \phi_\mathrm{right}(x, y) &= y.
\end{align}</math>

这四个部分合起来覆盖了整个圆，这四个坐标卡就组成了该圆的一个'''图册'''（{{lang|en|atlas}}）。

注意圆上部和右部的重叠部分，也就是位于圆上<math>x</math>和<math>y</math>坐标大于0的四分之一圆弧。两个坐标卡<math>\phi_{\mathrm{top}}</math>和<math>\phi_{\mathrm{right}}</math>都将这部分双射到区间<math>(0,1)</math>。这样就有一个从<math>(0,1)</math>到它自己的双射<math>T</math>：首先取<math>(0,1)</math>上面一点<math>a</math>（黄色线段右半部分的点）黄色坐标卡的逆映射到达圆上的对应点<math>(a, \sqrt{1 - a^2})</math>，再通过绿色坐标卡映射到<math>(0,1)</math>上:
:<math> T(a) = \phi_{\mathrm{right}}\left(\phi_{\mathrm{top}}^{(-1)}(a)\right) = \phi_{\mathrm{right}}\left(a, \sqrt{1-a^2}\right) = \sqrt{1-a^2}. </math>

映射<math>T</math>称为'''坐标变换映射'''（{{lang|en|transition map}}），它告诉读者一张“地图”上的点是如何对应到另一张“地图”上的相应的点，说明了两张地图之间的关系{{r|gva|page1=5}}。

[[File:Circle manifold chart from slope.png|thumb|圆流形基于斜率的坐标卡集，每个图覆盖除了一点之外的所有点。]]
上，下，左，右四个坐标卡表明圓是一个流形，但它们不是唯一可以描述圆形的图册。坐标卡除了可以是几何投影，也可以是别的映射，而坐标卡的数量也可以不是四个，只要能够覆盖整个圆就行了。考虑以下两个坐标卡
:<math>\phi_{\mathrm{minus}}(x,y) = s = {y\over{1+x}}</math> 和 <math>\displaystyle\phi_{\mathrm{plus}}(x,y) = t = {y\over{1-x}}.</math>
这里<math>s</math>是过点<math>(x, y)</math>和固定点<math>(-1,0)</math>之直线的斜率。比如右图中，点<math>(-0.28, 0.96)</math>和<math>(-1,0)</math>确定的直线（右图黄色直线）斜率是<math>1{1\over3}</math>；点<math>(0.6, -0.8)</math>和<math>(-1,0)</math>确定的直线（右图红色直线）的斜率则是<math>-{1\over2}</math>。<math>\phi_{\mathrm{minus}}</math>可以把圆上面除了点<math>(-1,0)</math>以外的点一一映射到实数轴<math>(-\infty, \infty)</math>上。<math>\phi_{\mathrm{plus}}</math>则是<math>\phi_{\mathrm{minus}}</math>关于<math>y</math>轴的镜像对称（也就是左右对称），固定点是<math>(+1,0)</math>。<math>\phi_{\mathrm{minus}}</math>的逆映射为
:<math>x = {{1-s^2}\over{1+s^2}}, \qquad y = {{2s}\over{1+s^2}};</math>
很容易确认<math>x^2+y^2=1</math>对于所有斜率值<math> s </math>成立。这两个坐标卡提供了圆的又一个图册，其变换映射为
:<math>t = {1\over s}.</math>
注意每个坐标卡都缺了一点，对于<math> s </math>是点<math>(-1,0)</math>，对于<math> t </math>是点<math>(+1,0)</math>，所以每个坐标卡不能独自覆盖整个圆。利用拓扑学的工具可以证明，没有单个的坐标卡可以覆盖整个圆；在这个简单的例子裡，已经可以看到流形拥有多个坐标卡的灵活性{{r|gva|page1=4}}。

===其他曲线===
[[File:Conics and cubic.png|thumb|从代数曲线来的四个流形: <span style="color:#bc1e47">■</span> 圆, <span style="color:#fec200">■</span> 抛物线, <span style="color:#0081cd">■</span> 双曲线, <span style="color:#009246">■</span> 三次曲线.]]
流形不必[[连通空间|连通]]（整个只有一片）；一对分离的圆可以是一个流形。它们不必是闭的，所以不带两个端点的线段也是流形。它们也不必有限，这样[[抛物线]]也是一个流形。

==定义==
拓扑流形的数学定义可表述为<ref>{{cite book|author=Chern, S.S|title=Lectures on Differential Geometry|url=https://archive.org/details/lecturesondiffer0000cher|year=2000|publisher=World Scientific|coauthors=Weihuan Chen, Kai Shue Lam|location=Singapore}}</ref>：

:设''<math>M</math>''是[[豪斯多夫空间]]，若对任意 <math>x \in M</math>，都有包含 <math>x</math> 的[[邻域]] ''<math>U_x</math>'' ，[[同胚]]于<math>\R^m</math>（''m''维[[欧几里得空间]]）的某个[[开集]]，則称''<math>M</math>''是个''<math>m</math>'' 维（'''拓扑'''）'''流形''' 。

===坐标卡===

一个流形的一个'''坐标映射'''（coordinate map），'''坐标卡'''（coordinate chart），或简称'''卡'''是一个在流形的一个开子集和一个简单空间之间的双射，使得该映射及其逆都保持所要的结构。对于拓扑流形，该简单空间是某个[[欧几里得空间]]'''R'''<sup>''n''</sup>（或'''R'''<sup>''n''</sup>的某个开子集）而一般感兴趣的是其拓扑结构。这个结构被[[同胚]]（homeomorphism）保持，也就是可逆的在两个方向都连续的映射。例如上节提到的映射<math>\phi_{\mathrm{top}}</math>是圆圈的一个卡。卡对于计算极其重要，因为它使得计算可以在简单空间进行，再把结果传回流形。

===图册===
{{main|图册}}
多数流形的表述需要多于一个的卡（只有最简单的流形只用一个卡）。覆盖流形的一个特定的卡的集合称为一个'''图册'''（atlas）。图册不是唯一的，因为所有流形可以被不同的卡的组合用很多方式覆盖。

包含所有和给定图册相一致的卡的图册称为'''极大图册'''(maximal atlas)。不像普通的图册，极大图册是唯一的。虽然可能在定义中有用，但这个对象非常抽象，通常不直接使用（例如，在计算中）。

===坐标变换映射===

图册中的卡通常会互相重叠，而流形中的一个点可能会被好几个图所表示。如果两个图重叠，它们的部分会表示流形的同一个区域。这些部分之间的关联代表流形上同一点的坐标点的映射，譬如上面圆圈例子中的映射''T''，称为'''坐标变换'''，'''变换函数'''，或者'''转换映射'''。

===附加结构===

图册也可用于定义流形上的附加结构。结构首先在每个卡上分别定义。如果所有变换映射和这个结构相容，该结构就可以转到流形上。

这是微分流形的标准定义方式。如果图册的变换映射对于一个拓扑流形保持'''R'''<sup>''n''</sup>自然的微分结构（也就是说，如果它们是[[微分同胚]]），该微分结构就传到了流形上并把它变成微分流形。

通常，流形的结构依赖于图册，但有时不同的图册给出相同的结构。这样的图册称为'''相容'''的。

== 构造 ==
一个流形可以以不同方式构造，每个方式强调了流形的一个方面，因而导致了不同的观点。

===图册构造===
[[File:Sphere with chart.png|thumb|该坐标图把球面有正''z''坐标的部分映射到一个圆盘。]]

构造一个流形的一个简单方法是在上面的例子中的圆圈的构造方法。首先，确认'''R'''<sup>2</sup>的一个子集，然后覆盖这个子集的图册被构造出来。''流形''的概念历史上就是从这样的构造发展出来的。这裡有另一个例子，把这个方法应用在球面的构造上:


====带图册的球面====

[[球面]]的表面可以几乎和圆圈一样的方法来处理。可把球面视作'''R'''<sup>3</sup>的子集:
:<math> S = \{ (x,y,z) \in \mathbf{R}^3 | x^2 + y^2 + z^2 = 1 \}. </math>
球面是二维的，所以每个坐标图将映射球面的一部分到一个'''R'''<sup>2</sup>的开子集。例如考虑北半球，它是带正''z''坐标的部分。（在右图中它着红色）定义如下的函数χ
:<math> \chi(x,y,z) = (x,y), </math>
把北半球映射到开[[单位圆盘]]，通过把它投影到（''x'', ''y''）平面。类似的坐标图对南半球也存在。和投影到（''x'', ''z''）平面的两个坐标图以及投影到（''y'', ''z''）平面的两个坐标图一起，就得到了一个覆盖整个球面的含6个坐标图的图册。

这可以很容易地扩展到高维的球面。

=== 贴补 ===
流形可以通过把碎片以一种相容的方式粘合来构造，使得碎片成为互相覆盖的坐标图。这种构造对于任何流形都是可行的，所以经常作为流形的表述，特别是微分和黎曼流形。它集中于图册的构造，把流形作为坐标图所自然的提供的贴片，因为不涉及外部的空间，这导致了流形的内在的观点。

这裡，流形通过给定图册来构造，图册通过定义转换映射来得到。因此，流形上的一个点可以看成是通过变换映射映到同一个点的坐标点的[[等价类]]。坐标图把等价类映射到一个贴片上的点。通常会对变换映射有很强的一致性要求。对于拓扑流形，它们被要求为[[同胚]]；如果它们也是[[微分同胚]]，最后得到的流形就是微分流形。

这可以通过变换映射圆圈例子的第二部分中的''t'' = <sup>1</sup>⁄<sub>''s''</sub>来解释。从直线的两个拷贝开始。第一个拷贝用坐标''s''，第二个拷贝用''t''。现在，通过把第二个拷贝上的点''t''和第一个拷贝上的点<sup>1</sup>⁄<sub>''s''</sub>作为同一个点来粘合起来(点''t'' = 0不和任何第一个拷贝上的点认同)。这就给出了一个圆圈。

====内在和外在的观点====

第一种构造和这种构造非常相似，但是他们代表了相当不同的观点。在第一种构造中，流形被视为[[嵌入 (数学)|嵌入]]到某个欧几里得空间中。这是''外在的观点''。当一个流形用这种方式来看的时候，它很容易通过直觉从欧几里得空间得到附加的结构。例如，在欧几里得空间，很明显某个点的一个向量是否和穿过该点的曲面
[[相切]]或者[[垂直]]。

贴补构造不用任何嵌入，只是简单把流形看作拓扑空间本身。这个抽象的观点称为''内在的观点''。这使得什么是切向量更难以想象。但是它表达了流形的本质，在计算上来讲，这可以避免使用更高的维数，例如只要二维而不是三维就可以作球面上的计算。

==== 作为贴补的''n''维球面 ====

:[[n维球面|''n''维球面]]'''S'''<sup>''n''</sup>可以通过粘合'''R'''<sup>''n''</sup>的两个拷贝来构造。他们之间的变换函数定义为
::<math>\mathbf{R}^n \setminus \{0\} \to \mathbf{R}^n \setminus \{0\}: x \mapsto x/\|x\|^2.</math>
:这个函数是它自身的逆，因而可以在两个方向使用。因为变换映射是一个[[光滑函数]]，这个图册定义了一个光滑流形。
:如果取''n'' = 1，就得到了上面圆圈的例子。

=== 函数的零点 ===
很多流形可以定义为某个函数的零点集。这个构造自然的把流形嵌入一个欧几里得空间，因而导向一个外在的观点。这很形象，但不幸的是不是每个流形都可以这样表示。

如果一个[[导数|可微函数]]的[[雅可比矩阵]]在函数为0的每一点是[[满秩]]的，则根据[[隐函数定理]]，每个这样的点周围存在一个为0的邻域微分同胚于一个欧几里得空间。因此零点集是一个流形。

==== 作为一个函数零点的''n''维球面 ====
:''n''维[[球面]]'''S'''<sup>''n''</sup>经常定义为
::<math>\mathbf{S}^n := \{x \in \mathbf{R}^{n+1} : \|x\| = 1 \}</math>
:这等价为如下函数的零点
::<math>x \mapsto \|x\| - 1.</math>

:这个函数的雅可比矩阵是
::<math>\begin{bmatrix}
x_1 & \ldots & x_{n+1}
\end{bmatrix}</math>，
:它的秩对于除了原点的所有点为1(对于1×''n''矩阵就是满秩的)。这证明''n''维球面是一个微分流形。

=== 黏合一个流形上的不同点 ===
可以把流形上的不同点定义为相同。这可以视为把不同的点粘合为同一个点。這構造出的结果不保證是流形，但在有些情况下會是流形。

这些情况下，黏合过程是用[[群]]来完成的，这是[[群作用|作用]]在流形上的群。两个点被视为同一个如果一个能被该群的一个元素移动到另一个上面。如果''M''是该流形而''G''是该群，结果空间称为[[商空间]]，并记为''M''/''G''。可以通过黏合点来构造的流形包括[[环面]]和[[实射影空间]]（分别从一个平面和一个球面开始）。舉例來說，假設 <math style="vertical-align:baseline;">S^2=\{(x,y)\in \mathbb{R}^2\mid x^2+y^2=1\}, H=\{e, g\}, e,g:S^2\mapsto S^2, e(x)=x, g(x)=-x,\,\forall x\in S^2</math>， 則二維實射影空間 <math style="vertical-align:baseline;">\mathbb{R}P^2=S^2/H</math>。

=== 直积 ===
流形的[[笛卡尔积|直积]]也是流形。但不是每个流形都是一个积。

积流形的维数是其因子的维数之和。其拓扑是[[乘积空间|乘积拓扑]]，而坐标图的直积是积流形的坐标图。这样，积流形的图册可以用其因子的图册构造。如果这些图册定义了因子上的微分结构，相应的积图册定义了积流形上的一个微分结构。因子上定义的其他结构也可以同样处理。如果一个因子有一个边界，积流形也有边界。直积可以用来构造环面和有限[[圆柱面]]，例如，分别定义它们为'''S'''<sup>1</sup> × '''S'''<sup>1</sup>和'''S'''<sup>1</sup> × [0, 1]。

[[File:Red cylinder.png|thumb|有限圆柱面是带边界的流形。]]

=== 沿边界粘合 ===
两个带边界的流形可以沿着边界粘合。如果用正确的方式完成，结果也是流形。类似的，一个流形的两个边界也可以粘合起来。

形式化的，粘合可以定义为两个边界的一个双射。两个点被认同为一个，如果它们互相映射到对方。对于一个拓扑流形，这个双射必须是同胚，否则结果就不是拓扑流形。类似的，对于一个微分流形，它必须是微分同胚。对于其它流形，其他的结构必须被这个双射所保持。

有限的圆柱面可以作为一个流形构造，先从一个长条'''R''' × [0, 1]开始，然后把对边通过适当的微分同胚粘合起来。[[克莱因瓶]]可以由一个带孔的球面和一个[[莫比乌斯带]]沿着各自的圆形边界粘合起来得到。

==拓扑流形==
{{main|拓扑流形}}

最容易定义的流形是拓扑流形，它局部看起来象一些「普通」的[[欧几里得空间]]'''R'''<sup>''n''</sup>。形式化地讲，一个拓扑流形是一个[[局部同胚]]于一个欧几里得空间的[[拓扑空间]]。这表示每个点有一个[[邻域]]，它有一个[[同胚]]（[[连续函数|连续]]双射其逆也连续）将它映射到'''R'''<sup>''n''</sup>。这些同胚是流形的坐标图。

通常附加的技术性假设被加在该拓扑空间上，以排除病态的情形。可以根据需要要求空间是[[费利克斯·豪斯多夫|豪斯多夫]]的并且[[第二可数空间|第二可数]]。这表示下面所述的有两个原点的直线不是拓扑流形，因为它不是豪斯朵夫的。

流形在某一点的''维数''就是该点映射到的欧几里得空间图的维数（定义中的数字''n''）。[[连通空间|连通]]流形中的所有点有相同的维数。有些作者要求拓扑流形的所有的图映射到同一欧几里得空间。这种情况下，拓扑空间有一个拓扑不变量，也就是它的维数。其他作者允许拓扑流形的不交并有不同的维数。

== 微分流形 ==
{{main|微分流形}}

很容易定义拓扑流形，但是很难在它们上面工作。对于多数应用，拓扑流形的一种，'''微分流形'''比较好用。如果流形上的局部坐标图以某种形式相容，就可以在该流形上讨论方向，切空间，和可微函数。特别是，可以在微分流形上应用「[[微积分学|微积分]]」。

==可定向性==

考虑一个拓扑流形，其坐标图映射到'''R'''<sup>''n''</sup>。给定一个'''R'''<sup>''n''</sup>的[[有序基]]，坐标图就给它所覆盖的流形的一片引入了一个方向，可以视为或者右手或者左手的。重叠的坐标图不要求在方向上一致，这给了流形一个重要的自由度。对于某些流形，譬如球面，可以选取一些坐标图使得重叠区域在"手性"上一致；这些流形称为"可定向"的。对于其它的流形，这不可能做到。后面这种可能性容易被忽视，因为任何在三维空间中（不自交的）嵌入的闭曲面都是可定向的。

考虑三个例子: (1)[[莫比乌斯带]]，它是有边界的流形，（2）[[克莱因瓶]]，它在三维空间必须自交，以及（3）[[实射影平面]]，它很自然的出现在[[几何学]]中。<!-- see http://planetmath.org/encyclopedia/Orientation2.html -->
[[File:MobiusStrip-01.png|thumb|150px|莫比乌斯带]]

===莫比乌斯带===
{{main|莫比乌斯带}}
从一个竖着的无限圆柱面开始，这是一个无边界的流形。在高和低的地方各剪一刀，产生两个圆形边界，和它们之间的一个圆形的带子。这是一个带边界的可定向流形，若在它上面动一个小"手术"。把带子剪开，使得它能展开成一个矩形，但把两头捏住。把其中一头转180°，把内面翻倒朝外，然后把两头无缝的粘回来。现在有了一个永久半翻转的带子，就是莫比乌斯带。它的边界不再是一对圆圈，而是（拓扑上）单个圆圈；曾经是"内面"的现在和"外面"并了起来，使得它只有"单"面。（在[[打印机]]的[[色带]]中有这种左扭带的应用。）

===克莱因瓶===
{{main|克莱因瓶}}
[[File:KleinBottle-01.png|thumb|120px|right|嵌入到三维空间的[[克莱因瓶]]。]]
取两个莫比乌斯带；每个都以一个圈为边界。把每个圈拉成一个圆圈，并把带子变成[[交叉帽]]（cross-cap）。（注意这在三维空间物理上是不可能的；克莱因瓶不能放到三维空间中，就像莫比乌斯带（或者球面）不能放在平面上一样。实际建造一个克莱因瓶必須在至少四维的空间进行）把圆圈粘合起来会产生一个新的闭合流形，没有边界的克莱因瓶。把曲面闭合起来并不能改变不可定向性，它只是移除了边界。这样克莱因瓶就成了一个不能分辨内外的闭合曲面。

===实射影平面===

从圆心为原点的球面开始。穿过原点的每条直线在两个相对的点穿透球面。虽然在物理上不能这么做，但在数学上可以把相对点黏合为同一点。这样产生的闭合曲面是实射影平面，為一个不可定向曲面。它有一些等价的表述和构造，但是这个方法揭示了它的名字:所有给定的穿过原点的直线射影到该"平面"的一个"点"。

==豪斯多夫假设==

=== 两个原点的线 ===

这里给出一个空间的例子，它满足拓扑流形所有的条件，除了它不是[[豪斯多夫空间]]（Hausdorff space）。取两个'''R'''的拷贝，把它们写作
:<math>\mathbf{R}\times\{0\}</math> and <math>\mathbf{R}\times\{1\}</math>, 
并定义如下[[等价关系]]
:<math>(x,0) \sim (x,1)</math> if <math>x \neq 0</math>.
从这个等价关系得到的[[商空间]] '''L''' 是一个象实直线那样的空间，<math style="vertical-align:baseline;">\{(x,0)\mid x\in \mathbb{R}\}</math>，再加上額外的一點 <math style="vertical-align:baseline;">(0,1)</math>。特别的是，<math style="vertical-align:baseline;">L</math> 上的 <math style="vertical-align:baseline;">(0,0)</math> 和 <math style="vertical-align:baseline;">(0,1)</math> 這兩點不能被不相交的开集所分离，所以'''L'''不是豪斯多夫的。它是一个拓扑流形，但不是豪斯多夫拓扑流形。

经常，拓扑流形被定义为必须是豪斯多夫的，在这个定义下，上面的例子不是流形。

==流形的其他类型和推广==
要在流形上研究[[几何学|几何]]，通常必须用附加的结构来装饰这些空间，例如上面的微分流形所加入的微分结构。根据所需要的不同的几何，有许多其它的可能性:

*'''复流形''': [[复流形]]是建模在'''C'''<sup>''n''</sup>上的流形，在[[坐标图]]的重叠处以[[全纯函数]]为变换函数。这些流形是复几何研究的基本对象。一个一维复流形称为[[黎曼曲面]]。

*'''巴拿赫和Fréchet流形''':要允许无穷维，可以考虑[[巴拿赫流形]]，它局部同胚于[[巴拿赫空间]]。类似的，Fréchet流形局部同胚于[[Fréchet space]]。

*'''轨形（Orbifolds）''':一个[[轨形]]是流形的推广，允许某种"[[奇异点]]"在其拓扑中存在。大致来讲，它是局部看起来像一些简单空间（例如，[[欧几里得空间]]）通过各种[[有限群]]的[[群作用]]的商。奇点对应于群作用的不动点，而作用必须在某种意义下相容。

*'''代数簇和概形（Algebraic varieties and schemes）''':一个[[代数簇]]是几个仿射代数簇粘起来得到的，仿射代数簇是在代数封闭的域上多项式的零点集。类似的，[[概形]]是仿射概形粘起来得到的，而仿射概形是代数簇的一个推广。二者都和流形相关，但都使用[[层 (数学)|层]]而非坐标图集来构造。

==历史==

第一个清楚地把[[曲线]]和[[曲面]]本身构想为空间的可能是[[卡爾·弗里德里希·高斯|高斯]]，他以他的“[[绝妙定理]]”（Theorema egregium）建立了内在的[[微分几何]]。

[[波恩哈德·黎曼|黎曼]]是第一个广泛的展开真正需要把流形推广到高维的工作的人。''流形''的名字来自[[波恩哈德·黎曼|黎曼]]原来的[[德语]]术语''Mannigfaltigkeit''，[[William Kingdon Clifford]]把它翻译为"manifoldness"（多层）。在他的哥廷根就职演说中，黎曼表明一个属性可以取的所有值组成一个''Mannigfaltigkeit''。他根据值的变化连续与否对''stetige Mannigfaltigkeit''和''离散'' [''[[sic]]''] ''Mannigfaltigkeit''（''连续流形'' 和''不连续流形''）作了区分。作为''stetige Mannigfaltikeiten''的例子，他提到了物体颜色和在空间中的位置，以及一个空间形体的可能形状。他把一个''n fach ausgedehnte Mannigfaltigkeit''（''n次扩展的''或''n-维流形''）构造为一个连续的''（n-1）fach ausgedehnte Mannigfaltigkeiten''堆。黎曼直觉上的''Mannigfaltigkeit''概念发展为今天形式化的流形。[[黎曼流形]]和[[黎曼曲面]]就是以他的名字命名的。

[[交换簇]]的概念在黎曼的时代已经被隐含地作为[[复流形]]使用。从几何方面考虑，[[拉格朗日力学]]和[[哈密顿力学|哈密尔顿力学]]的本质也是流形理论。

[[庞加莱]]研究了三维流形，并在1904年提出著名的[[庞加莱猜想]]：所有闭简单连通的三维流形同胚于3维球吗？这个猜想已於2006年被俄國數學家[[格裡戈里·佩雷爾曼]]解决。

[[赫尔曼·外尔]]于1912年给出了微分流形的一个内在的定义。1930年代，该课题基础性方面的工作被[[Hassler Whitney]]等人厘清，使得从19世纪下半叶起开始发展起来的相关的直觉知识变得更精确，并通过[[微分几何]]和[[李群]]使微分流形的理论得到进一步的发展。

==相关条目==
{{refbegin|2}}
* [[坐标转换]]
* [[豪斯多夫空间]]
* [[坐标邻域]]
* [[欧几里得空间]]
*[[代数簇]]（algebraic variety，或称代数多样体）
*[[概形]]
*[[流形列表]]
*[[曲面]]
*[[3-流形]]
*[[4-流形]]
{{refend}}

==参考文献==
===註釋===
{{reflist
|refs=
<ref name="gva">{{cite book | title=''Differential Topology'' | url=https://archive.org/details/differentialtopo0000guil | publisher=Prentice-Hall | author=Guillemin, Victor and Anton Pollack, | year=1974 |isbn=0132126052}}</ref>
<ref name="baz">{{cite book|title = 《数学分析》第二卷 |url = https://archive.org/details/shuxuefenxi0002zhuo |author = B.A.卓里奇 著，蒋铎、钱佩玲、周美珂、邝荣雨 译| publisher = 高等教育出版社 |year = 2006 |isbn = 978-7-040-20257-1}}第175-183页.</ref> 

}}
===一般參考===
{{refbegin|2}}
* Guillemin, Victor and Anton Pollack, ''Differential Topology'', Prentice-Hall (1974) ISBN 978-0-13-212605-2. This text was inspired by Milnor, and is commonly used for undergraduate courses.
* Hirsch, Morris, ''Differential Topology'', Springer (1997) ISBN 978-0-387-90148-0. Hirsch gives the most complete account with historical insights and excellent, but difficult problems. This is the best reference for those wishing to have a deep understanding of the subject.
* [[羅比恩·卡比|Kirby, Robion C]].; Siebenmann, Laurence C. ''Foundational Essays on Topological Manifolds. Smoothings, and Triangulations''. Princeton, New Jersey: Princeton University Press (1977). ISBN 978-0-691-08190-8. A detailed study of the [[category theory|category]] of topological manifolds.
* Lee, John M. ''Introduction to Topological Manifolds'', Springer-Verlag, New York (2000). ISBN 978-0-387-98759-0. ''Introduction to Smooth Manifolds'', Springer-Verlag, New York (2003). ISBN 978-0-387-95495-0. Graduate-level textbooks on topological and smooth manifolds.
* [[約翰·米爾諾|Milnor, John]], ''Topology from the Differentiable Viewpoint'', Princeton University Press, (revised, 1997) ISBN 978-0-691-04833-8. This short text may be the best math book ever written. 
* [[Michael Spivak|Spivak, Michael]], ''Calculus on Manifolds: A Modern Approach to Classical Theorems of Advanced Calculus''. HarperCollins Publishers (1965). ISBN 978-0-8053-9021-6. This is the standard text used in most graduate courses.
* [[波恩哈德·黎曼| Riemann, Bernhard]], [http://www.maths.tcd.ie/pub/HistMath/People/Riemann/Grund/ ''Grundlagen für eine allgemeine Theorie der Functionen einer veränderlichen complexen Grösse''] {{Wayback|url=http://www.maths.tcd.ie/pub/HistMath/People/Riemann/Grund/ |date=20210301150940 }}. The 1851 doctoral thesis in which "manifold" (''Mannigfaltigkeit'') first appears.
* [[波恩哈德·黎曼| Riemann, Bernhard]], [https://web.archive.org/web/20160318034045/http://www.maths.tcd.ie/pub/HistMath/People/Riemann/Geom/ ''On the Hypotheses which lie at the Bases of Geometry'']. The famous Göttingen inaugural lecture (Habilitationsschrift) of 1854.
* [[Richard W. Sharpe|Sharpe, R.W.]], ''Differential Geometry:Cartan's Generalization of Klein's Erlangen Program'', Springer-Verlag, ISBN 978-0-387-94732-7.
{{refend}}

== 外部連結 ==
* {{springer|title=Manifold|id=p/m062210}}
* [http://www.dimensions-math.org/Dim_E.htm Dimensions-math.org] {{Wayback|url=http://www.dimensions-math.org/Dim_E.htm |date=20081102233426 }} (A film explaining and visualizing manifolds up to fourth dimension.)
*  The [http://www.map.mpim-bonn.mpg.de manifold atlas] {{Webarchive|url=http://arquivo.pt/wayback/20160523161822/http%3A//www.map.mpim%2Dbonn.mpg.de/Main_Page |date=2016-05-23 }} project of the [http://www.mpim-bonn.mpg.de Max Planck Institute for Mathematics in Bonn] {{Wayback|url=http://www.mpim-bonn.mpg.de/ |date=19970220112102 }}

{{Authority control}}
[[category:微分拓扑学]]
[[category:几何拓扑学]]
[[Category:微分几何|L]]
[[Category:流形|*]]