Review - RnRn 上的拓扑(2)

继续上一篇笔记, 接下来关注两个重要的拓扑性质——极限连续.

连续

从拓扑结构出发刻画 连续

关于一般拓扑空间的连续性, 有多个等价定义和命题[1], 这里暂且只提最基本的一个.

从拓扑空间 (X,T)(X,T) 到拓扑空间 (Y,U)(Y,U) 内的映射 ff 称为连续的, 当且仅当对于 UU 中的每一个开集, 其在 TT 中的原像为开集; 每一个闭集, 其在 TT 中的原像为闭集.

换一种描述可能更有利于理解:

从拓扑空间 (X,T)(X,T) 到拓扑空间 (Y,U)(Y,U) 内的映射 ff 称为x0x0 点连续, 如果映射满足: 任取 f(x0)f(x0) 的邻域 VV, 存在 x0x0 的邻域 UU, 使得 Uf1(V)Uf1(V). 若 ff(X,T)(X,T) 的每一点都是连续的, 则称 ff连续的.
连续映射

连续映射

NOTE: 定义中所表达的含义, 简而言之, 即要求邻域的原像是邻域(如图所示). 这保证了只要点 xx “落在” x0x0 的邻域 UU 内, f(x)f(x) 也就落在了 VV 内. 而如果我们这样要求:”邻域的是邻域”, 那么可以存在这样的情况: 即 Vf(U)Vf(U) (如图中灰色虚线), 同时 Uf1(V)Uf1(V) —— 而这意味着, 存在点落在 x0x0 的邻域 f1(V)f1(V) 内, 但其像落在 f(x0)f(x0) 的邻域 VV 外, 显然这是不合理的

引入度量描述的连续

XXYY 是分别带有度量 dXdXdYdY 的度量空间.

映射 ffx0x0 点连续, 当且仅当:  ε>0 ε>0,  δ>0 δ>0, 使得当 dX(x,x0)<δdX(x,x0)<δ 时, dY(f(x),f(x0))<ε.dY(f(x),f(x0))<ε.
这正是很经典的 εδεδ 语言的连续性的表达.

【几个连续映射的例子】常值映射 eb:XY,xbeb:XY,xb; 恒等映射 idX:XY,xxidX:XY,xx.

有一种特别要指出的情况, 如果点 x0Xx0Xδδ 邻域内只包含 x0x0 自己这一个点, 那么 x0x0XX 上的孤立点. 按照以上连续性的定义, 显然, 任何一个映射 ff 在孤立点都是连续的. 另外, 在 XX 上一点 x0x0 上连续的映射 ff, 在包含 x0x0XX 的一个子空间 AA 上的限制 fA:AYfA:AYx0x0 上依旧连续.

回到 RnRn 上来, 我们有以下定理:

**定理**

XX 是一个度量空间, f:XRnf:XRn 具有形式: f(x)=(f1(x),f2(x),,fn(x))f(x)=(f1(x),f2(x),,fn(x)), 则 f(x)f(x)连续当且仅当其每一分量函数 fi(x)fi(x) 连续.

f,g:XRnf,g:XRn 在点 x0x0 连续, 则 f+gf+g, fgfg, fgfg 都在点 x0x0 连续. g(x0)0g(x0)0 时, f/gf/g 也在点 x0x0 连续.

πi(x)=xiπi(x)=xi 给出的投影函数是连续的.

极限

下面来定义极限这一概念.

XX 为一个度量空间, x0x0ff 的定义域 AXAX 的极限点(不要求 x0Ax0A). 若对于 YY 的任意一个包含 y0y0 的开集 VV, 均有包含 x0x0 的开集 UU, 使得对于 xUA,xx0xUA,xx0f(x)Vf(x)V, 则称 xx 趋于 x0x0f(x)f(x) 趋于 y0y0.

用包含度量的方法描述, 就是

xx 趋于 x0x0f(x)f(x) 趋于 y0y0, iff  ε>0 ε>0,  δ>0 δ>0, 使得当 xAxA0<dX(x,x0)<δ0<dX(x,x0)<δ 时, dY(f(x),y0)<ε.dY(f(x),y0)<ε.

这一极限的定义, 就是经典的极限的 εδεδ 定义. 极限的各项运算法则容易证明也是成立的.

这一篇笔记的最后用极限和连续性之间关系的一个很熟悉的定理结尾:

**定理**: 令 f:XYf:XY. 若 x0x0XX 上的孤立点, 则 ffx0x0 连续; 否则, ffx0x0 连续 iff xx 趋于 x0x0f(x)f(x) 趋于 f(x0)f(x0).

[1] J. L. 凯莱. 一般拓扑学. 科学出版社(北京), 2010. Page57.

[2] Note: 映射连续的定义中并未涉及到映射的类型. 若映射 ff 是一个双射(一一映射), 且 fff1f1 均连续, 则称 ff同胚, 称 XXYY 同胚拓扑等价. 这种映射是立即的一步到位的变化, 而谈到拓扑, 很多人往往想到的是一个连续变形的过程, 其实这种过程是拓扑中的另一个概念: 同伦.

NEXT: 内部和边界

Review - RnRn 上的拓扑(2)

https://zengfk.com.cn/2017/07/05/R-n-上的拓扑回顾-2/

作者

Zengfk

发布于

2017-07-05

更新于

2019-08-04

许可协议

评论

未找到相关的 Issues 进行评论

请联系 @zengfk 初始化创建