连通空间

在拓扑学及相关的数学領域中，连通空间是指不能表示为两个或多个不相交的非空开集的并集的拓扑空间。

定义
如果拓扑空间X中存在兩個分離的非空开集A,B使得它們的并集等於X，則X被稱作不连通的，否則稱它是連通的。

對拓扑空间X，以下條件為等價的：

• X連通，即X不能表示为两个分離的非空开集的并集。
• X只有\emptyset和X這兩個平凡的閉開集。
• 所有從X到\{0,1\}的連續函數都是常數函數，其中空間\{0,1\}由兩點集的離散拓撲構成。

连通性是拓扑空间的一个拓扑不变性质，即如果两个同胚拓扑空间之一连通，则另一个空间也连通。

一些数学家承认空集(按照它独有的拓扑)是连通空间，不过也有数学家不承认这一点。

连通单元
如果拓扑空间X的子集A诱导的子拓扑空间是连通的，則A被称为X的连通子集。

對拓撲空間X上的點x，所有包含x的連通子集的聯集
:U_x = \bigcup_{S\text{連 通 },x\in S}S
也是連通的。作為包含x的极大连通子集，U_x称作關於x的连通单元。

如果X的所有連通單元都是单元素集合，則稱X為完全不连通空间。

每个空间都能表成它的连通单元的不相交并集。

连通单元必為閉集，在一些理想的拓撲空间（如流形、代数簇）上同時是開集，但這不代表連通單元總是閉開集（例如完全不連通空間\mathbb{Q}，單元素集合在該空間中並非開集）。

其它连通性定义
道路连通，弧连通
:称拓扑空间X是道路连通空间，当且仅当∀x,y∈X，存在连续函数\gamma: [0,1] \to X 使得 \gamma(0)=x, \gamma(1)=y。若\gamma 可取为使得 [0,1] \to \gamma([0,1]) 为同胚，则称X为弧连通空间。

道路连通空间必定是连通空间，反之不一定。

道路连通的豪斯多夫空间必为弧连通空间。

局部连通
拓扑空间X称为局部连通的，当且仅当以下叙述之一成立：
*空间中的任一点都存在连通的邻域（即该邻域是X的连通子集）。
*空间的拓扑基完全由连通的集合组成。

例子
*拓扑学家的正弦曲线：在平面欧几里得空间\mathbb{R}^2中定义集合S = \{ (x, \sin\frac{1}{x} ) | x \in (0,1] \}
和T = \{ (0, y) | y \in [0,1] \}
。考虑S\cup T在\mathbb{R}^2中诱导的子拓扑空间，它是连通的，但不是局部连通的。
*有理数：有理数集上的连通单元都是单元素集合，所以有理数集是一个完全不连通空间。

性質

• 拓撲空間X中帶有公共點x \in X的連通子集的聯集連通。
• 令A為拓撲空間X中的一個連通子集，則所有滿足A \subset B \subset \overline{A}的子集B皆為連通子集，其中\overline{A}為A的閉包。
• 序拓撲中的連通子集都是凸集。
• 實數\mathbb{R}是連通空間，它的所有（可以是無限）區間皆為連通子集。
• 對拓撲空間之間的連續函數f: X \rightarrow Y，X的連通子集在f下的像是Y的連通子集。這是\mathbb{R}上中間值定理的推廣。
• 連通空間的有限積空間連通。

註釋
參考文獻
*
*
*
*.