连续性是拓扑学的核心概念。本质上,拓扑空间具有允许定义连续性的最小必要结构。几乎任何其他语境中的连续性都可以通过适当的拓扑选择简化为这个定义。
令
是拓扑空间。
一个函数
在
处连续当且仅当对于
的所有开邻域
,都存在
的一个邻域
,使得
。
一个函数
在一个集合
中连续当且仅当它在
中的所有点处连续。
函数
被称为在
上连续当且仅当它在其定义域的所有点处连续。
连续当且仅当对于所有在
中的开集
,它的逆像
也是一个开集。
证明
(
)
函数
是连续的。令
是
中的一个开集。因为它是连续的,所以对于所有
属于
,存在一个邻域
,因为 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)确定该
是否是同胚映射。