跳转到内容

拓扑/流形

来自维基教科书,开放世界中的开放书籍
拓扑
 ← Čech 同调 流形 流形/流形的种类 → 

球面的表面和二维平面,都存在于某个三维空间中,是人们通常所说的表面的例子。拓扑流形是对这种表面概念的推广。如果拓扑空间中的每个点都有一个邻域,该邻域同胚于的开子集,对于某个非负整数,那么这个空间是局部欧几里得的。这 формализует the idea that, while a surface might be unusually connected, patches of the surface can still resemble a euclidean space. 例如,克莱因瓶的表面无法在三维空间中浸入而不与自身相交,克莱因瓶的内部和外部之间没有区别,但它的小块区域仍然看起来像欧几里得空间。生活在克莱因瓶表面上的一个小生物可能不知道它是如何整体连接的,也不知道它是如何弯曲的,但它仍然可以制作其附近区域的矩形或正方形地图,并使用该地图来测量长度、方向等等。

拓扑流形是局部欧几里得的豪斯多夫空间。其他性质通常包含在拓扑空间的定义中,例如是第二可数的(具有可数的基),这包含在下面的定义中。拓扑流形是豪斯多夫的,排除了某些病态的例子,例如带两个原点的直线,它是通过用两个点替换实数轴的原点创建的。两个原点中的任何一个点的邻域都将包含零点周围某个开区间的全部点,因此将包含另一个原点,因此它们的邻域将始终相交,因此该空间不是豪斯多夫的。见 非豪斯多夫流形以获取其他示例。

定义 1(拓扑流形)

拓扑空间称为维拓扑流形(或流形),如果:

  1. 每个点都有一个开邻域,该邻域同胚于的开子集。
  2. 是豪斯多夫的。
  3. 是第二可数的。

注意:按照惯例,球是一个单点。任何具有离散拓扑的空间都是 0 维流形。


还要注意所有拓扑流形显然都是局部连通的。


为了强调给定流形维的,我们将使用简写。这不能与元笛卡尔积混淆。但是,我们将在后面证明这种构造确实存在。


警觉的读者可能会想知道为什么我们需要流形是豪斯多夫的和第二可数的。这样做的原因是为了排除一些病态的例子。两个这样的例子是长直线,它不是第二可数的,以及带两个原点的直线,它不是豪斯多夫的。

定理 2

拓扑流形是连通的,当且仅当它是路径连通的。

证明:由于所有拓扑流形显然都是局部连通的,因此该定理立即成立。

定义 3

是一个拓扑 - 流形。设 的一个开邻域。现在,设 ,其中 ,是一个同胚。则这对 被称为 处的图

定义 4

是一个拓扑 - 流形,设 上的图,使得 。也就是说, 的一个开覆盖。则 被称为 上的 图册

定义 5

是一个 维流形,设 是一个点 的图(因此 )。定义这两个图之间的过渡函数(或图变换)为同胚

给定一对 ,其中 是一个 维流形,而 上的一个图集, 可能满足的性质通常表示为 中图之间的过渡函数的性质。这将是我们定义可微流形的概念的方式。

定义 6

流形的图集是光滑的(或 )如果所有过渡函数都是光滑的(所有高阶偏导数都存在且连续)。

定义 7

微分同胚是一个光滑同胚 ,使得 也是光滑的。

注意,在光滑图集中,所有过渡函数都是微分同胚。

定义 8

为一个流形,且 上的光滑图集。然后,定义 上所有满足以下条件的图 的集合:对于所有 都是光滑的。

具有上述性质的图 被称为与 兼容

引理 9

上的光滑图集。

Proof: We have to show that the transition functions between any pair of charts in are smooth. This is obvious if one of then is in, so let and be charts in that are not in , such that . Let be a chart such that . Then and are both smooth, since, both and are compatible with . Then, is smooth since it is a composition of smooth maps. An identical argument for completes the proof.

显然,如果 是包含光滑图集 的光滑图集,则

光滑映射

[edit | edit source]
定义 10

是光滑流形, ,令 为一个函数。那么,如果对于 上的任何图 上的任何图 ,使得 ,函数 是欧几里得空间上的光滑函数,那么 称为在 光滑 称为 光滑函数,如果它在所有 处都是光滑的。

引理 11

处光滑当且仅当存在 上和 上,满足 ,使得 是光滑的。

证明: 是连续的,因为 是光滑的,因此是连续的,而 是同胚映射。设 是在 处的另外两个图。然后 ,它是光滑函数的复合,因为 上的图集是光滑的,因此它是光滑的。

备注 12

根据引理 11,我们不必检查所有图来判断一个函数是否光滑。这是一个好消息,因为最大图集往往是不可数的。

定义 12

如果 是一个光滑的双射函数,并且其逆函数也是光滑的,那么它被称为微分同胚。如果两个流形之间存在微分同胚,那么它们被称为微分同胚

引理 13

是光滑的。那么 也是光滑的。

证明:令 分别为 处的图。那么, 是欧几里得空间的光滑映射的复合,因此是光滑的。


拓扑
 ← Čech 同调 流形 流形/流形的种类 → 
华夏公益教科书