-
道路連通空間
鎖定
道路連通空間(path connected space)是一類拓撲空間,若對於拓撲空間X中的任意兩點都存在以這兩點分別為始點與終點的道路,則稱X為道路連通空間。
- 中文名
- 道路連通空間空間
- 外文名
- path connected space
- 所屬學科
- 一般拓撲學
- 屬 性
- 拓撲空間
- 相關概念
- 連通空間、局部連通空間
- 定 理
- 局部連通空間不一定是道路連通的
- 類 型
- 數學領域術語
道路連通空間定義
設X是一個拓撲空間,如果對於任何x, y,存在着X中的一條從x到y的道路(或曲線),我們則稱X是一個道路連通空間。
[4]
X中的一個子集Y稱為X中的一個道路連通子集,如果它作為X的子空間是一個道路連通空間。
道路連通空間道路
設X是一個拓撲空間,從單位閉區間[0,1]到X的每一個連續映射f :[0,1]
X叫做X中的一條道路,並且此時f (0)和f (1)分別稱為道路f的起點和終點。當x=f (0)和y=f (1)時,稱f是X中從x到y的一條道路。起點和終點相同的道路稱為閉路,並且這時,它的起點(也是它的終點)稱為閉路的基點。
道路連通空間例子
實數空間R是道路連通的,這是因為如果x, y
R,則連續映射f: [0,1]
R定義為對於任何t
[0,1]有f(t)=x+t(y-x),便是R中的一條以x為起點以y為終點的道路。也容易驗證任何一個區間都是道路連通的。
道路連通空間其他概念
道路連通空間定義
定義1: 設X是一個拓撲空間。如果X中有兩個非空的隔離子集A和B,使得X= A∪ B,則稱X是一個不連通空間;否則,則稱X是一個連通空間。
定義2: 設X是一個拓撲空間。如果x∈ X的每一個鄰域中都包含着x的某一個連通的鄰域V,則稱拓撲空間在點x處是局部連通的。如果拓撲空間X在它的每一個點處都是局部連通的,則稱是一個局部連通空間。
道路連通空間相關定理
(1)定理1:拓撲空間的兩個不同的連通分支是不相交的。
(2)定理2:任何拓撲空間都等於它的連通分支的並集。
證明: 在拓撲空間X中,對於任意x∈ X,包含x的連通分支Cx是存在的,所以:
(3)定理3: 拓撲空間為局部連通的充分必要條件是每一開集的每一連通分支是開集。
證明: 設X是局部連通空間,U是X的一個開集,而C是U的一個連通分支。如果x∈ C,由於U是x的一個鄰域,所以x有一個連通鄰域V包含於U。又由於V∩ C包含着點x,所以不是空集。根據熊金程的《點集拓撲講義》
[1]
中的定理4.31,可見:
因此C是點x的一個鄰域。這證明C是屬於它的任何一個點x的鄰域,因此C是開集。反過來,如果每一個開集的連通分支都是開集,則每一點的每一開鄰域都包含連通的開鄰域,這就是此開鄰域的連通區。因此空間是局部連通的連通空間不一定是局部連通的空間
[2]
。
道路連通空間幾種連通之間的關係
定理4:如果拓撲空間X是一個道路連通空間,則X必然是一個連通空間。
證明:對於任何x, y
X,由於X道路連通,故存在從x到y的一條道路f:[0,1]
X。這時曲線f ([0,1]),作為連通空間[0,1]在連續映射下的像,是X中的一個連通子集,並且我們有x, y
f ([0,1]),因此根據定理5可見X是一個連通空間。
定理5:設Y是拓撲空間X中的一個子集,任意x, y
Y存在X中的一個連通子集Yxy使得x,y
Yxy包含於Y,則Y是X中的一個連通子集。
局部連通空間不一定是道路連通的。
定理5: 連通且局部道路連通的空間是道路連通的。