連續性是拓撲學的核心概念。本質上,拓撲空間具有允許定義連續性的最小必要結構。幾乎任何其他語境中的連續性都可以透過適當的拓撲選擇簡化為這個定義。
令
是拓撲空間。
一個函式
在
處連續當且僅當對於
的所有開鄰域
,都存在
的一個鄰域
,使得
。
一個函式
在一個集合
中連續當且僅當它在
中的所有點處連續。
函式
被稱為在
上連續當且僅當它在其定義域的所有點處連續。
連續當且僅當對於所有在
中的開集
,它的逆像
也是一個開集。
證明
(
)
函式
是連續的。令
是
中的一個開集。因為它是連續的,所以對於所有
屬於
,存在一個鄰域
,因為 B 是 f(x) 的一個開鄰域。這意味著
是開的。
(
)
對於函式
在
中的任何開集的逆像在
中也是開的。令
是
中的任意元素。則
的任何鄰域
的逆像
也會是開的。因此,存在一個
的開鄰域
包含於
。因此,該函式是連續的。
如果兩個函式是連續的,那麼它們的複合函式也是連續的。這是因為如果
和
的反函式將開集對映到開集,那麼反函式
也將開集對映到開集。
- 設
具有離散拓撲。那麼對於
上的任何拓撲,對映
是連續的。
- 設
具有平凡拓撲。那麼對於
上的任何拓撲,常數對映
是連續的。
當兩個拓撲空間之間存在同胚時,從拓撲學的角度來說,它們是“本質上相同的”。
設
是拓撲空間
一個函式
被稱為同胚當且僅當
(i)
是雙射
(ii)
在
上是連續的
(iii)
在
上是連續的
如果兩個空間之間存在同胚,那麼這兩個空間被稱為同胚
如果一個空間
的性質適用於所有與
同胚的空間,則稱該性質為拓撲性質。
- 一個對映可以是雙射且連續的,但不是同胚對映。考慮雙射對映
,其中
將域中的點對映到平面上的單位圓。這不是同胚對映,因為在域中存在不是在
中開放的開放集,例如集合
。
- 同胚是等價關係
- 證明開區間
與
同胚。
- 證明同胚在拓撲空間上是等價關係。
- (i)構造一個雙射
![{\displaystyle f:[0,1]\to [0,1]^{2}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/1d05226e92bed237371f026396242eb44d6db10c)
(ii)確定該
是否是同胚對映。