單連通
單連通是拓撲學中拓撲空間的一種性質。直觀地說,單連通空間中所有閉曲線都能連續地收縮至一點。此性質可以由空間的基本群刻劃。拓扑空间的基本群是一个空间是否为单连通的标志:当且仅当空间的基本群是當然群时,道路连通的拓扑空间是单连通的[1]:322。
定義
考慮道路連通的拓撲空間X。若拓撲空間X 中的任意閉曲線皆同倫等價於一個點,則稱該空間為單連通的。 換言之[2], 拓撲空間X 是单连通的充要条件为:對任意連續映射
在拓撲空間X 中,存在一點x 及同倫等價
使得
另一种等价的定义是:当且仅当拓撲空間X 道路连通,并对任意的、同起点的(即 p(0) = q(0) 且 p(1) = q(1))两条路径 p : [0,1] → X 和 q : [0,1] → X, 存在一个同伦
- ,
使得
此时拓撲空間X 是单连通的。
一个拓扑空间X ,当且仅当拓扑空间X 道路连通,且其基本群仅由单位元素构成时,它是单连通的。[1]:322 类似的,当且仅当对拓扑空间X 中的任意点 (x,y),在X 的基本群中,态射 的集合只有一个元素时,拓扑空间X 是单连通的。[3]
若拓撲空間X 可寫成單連通開子集之并,則稱之為局部單連通。微分拓撲學所論的空間(例如流形)通常不在此類。
在複分析中,当且仅当复数域 C 中的开集X 和它的补集在黎曼球面上连通时,X 才是单连通的。 虚部严格大于 0 小于 1 的复数集合,提供了一个有趣的例子:一个无界的、连通的、补集不连通平面的开子集。然而这个集合是单连通的。
例子
- 單位圓盤 均為單連通
- 虽然实数集 R 自身是单连通的,但实数集 R 的单点紧化不是单连通的。
- 二维欧氏空间 R2 是单连通的,但 R2 除去原点 (0,0) 之后得到的 R2\{0} 非單連通。事實上,它同倫等價於 [5]:195。
- 当 n > 2时,Rn 和 Rn\{0} 均是单连通的。
- 然而 並非單連通:。
性質
應用
单连通性的概念在复分析中十分重要:
- 柯西积分定理保证:对一个复平面 C 的单连通开集U,若有全纯函数 f : U → C,全纯函数f 在集合U 上有不定积分F。则在集合U 上,被积函数f 的每一个线积分的值,只取决于积分路径的两个端点u 和v,积分值能表示为 F (v) - F (u)。因此,积分值不依赖于连接 u 和 v 的特定路径。
- 黎曼映射定理保证:除复数域 C 自身外,任何非空的、单连通的复数域 C 的开子集共形等价于单位圆盘。
单连通性的概念也是庞加莱猜想的一个重要条件。
參考文獻
- James, R. Munkres. . 2nd ed. Upper Saddle River, NJ: Prentice Hall, Inc. January 7. ISBN 0131816292. OCLC 42683260 (英语).
- Hazewinkel, Michiel (编), , , Springer, 2001, ISBN 978-1-55608-010-4
- Ronald,, Brown,. . Academic Search Complete. North Charleston: CreateSpace. June 2006. ISBN 1419627228. OCLC 712629429 (英语).
- Weisstein, Eric W. (编). . at MathWorld--A Wolfram Web Resource. Wolfram Research, Inc. [2018-07-09] (英语).
- Colin, Adams; Robert, Franzosa; 沈以淡. . . 北京: 机械工业出版社. 2010年4月1日. ISBN 9787111288091. OCLC 644064114 (中文).
- 谢桦. . 龙岩学院学报. 1993, 11 (3): 57-59 (中文).
- Spanier, Edwin. . Springer. December 1994. ISBN 0-387-94426-5 (英语).
- Conway, John. . Springer. 1986. ISBN 0-387-90328-3 (英语).
- Bourbaki, Nicolas. . Springer. 2005. ISBN 3-540-43405-4 (英语).
- Gamelin, Theodore. . Springer. January 2001. ISBN 0-387-95069-9 (英语).
- Joshi, Kapli. . New Age Publishers. August 1983. ISBN 0-85226-444-5 (英语).
This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.