欢迎光临散文网 会员登陆 & 注册

微积分(八十二)——平面点集的拓扑性质

2023-06-12 18:18 作者:Mark-McCutcheon  | 我要投稿

为了为后续的讨论提供方便,先讨论一下平面点集的一些拓扑概念。

至于学习复变函数论所需要的基本的复数(complex number)的知识,我在此处假定读者已经接受过高中数学教育,能够掌握复数的一般形式、共轭复数、复数的加减乘除运算与其几何解释、复数的三角形式的基本概念。这里唯一需要多一句嘴的部分是关于复数的辐角。我们在后续的内容中认为复数的辐角主值的范围为-%5Cpi%3C%5Carg%20z%5Cleq%20%5Cpi而非高中的0%3C%5Carg%20z%5Cleq%202%5Cpi。至于复数的指数形式的内容读者可以在本系列第三十七节了解到,不再赘述。与一般教科书不同,我将在本章后期才讲述指数的乘幂与方根以及各类具体的复变函数的内容。本节概念众多,内容不要求完全掌握,阅读后续内容时可以随时回来明确概念。提示:配合脑内想象食用风味更佳。

平面点集的基本拓扑概念

我们始终考虑复数域C(同时也代表复平面):

(定义)   由不等式%5Cvert%20z-z_0%20%5Cvert%20%3C%5Crho%20所确定的点集就是以z_0为圆心,半径为%5Crho%20的圆的内部,称为z_0%5Crho%20邻域N_%5Crho%20(z_0)。当不等式成为0%3C%5Cvert%20z-z_0%20%5Cvert%20%3C%5Crho%20时,即去掉了圆内部的圆心,称为z_0的去心%5Crho%20邻域N_%5Crho%20(z_0)%5Csetminus%20%5C%7Bz_0%5C%7D

(定义)   若对于某点集E,有z_0使得它的任意邻域内都包含其无数个点,则称z_0E聚点。若z_0属于E但不是它的聚点,则称z_0E孤立点,若z_0不属于E且非其聚点,则称其为E外点E全体聚点所成的集合记作E',称为E导集

(定义)   E'%5Csubseteq%20E,则称E闭集。特别地,若E没有聚点,则它显然是闭集。若E的点z_0存在一邻域全含于E内,则称其为E内点。若一个集合的点全为自身的内点,则称其为开集。显然C既是开集又是闭集。同时规定空集既是开集又是闭集。当补集运算是以C为全集时,由于开集显然不能包含其自身补集的聚点,故开集的补集补集一定是闭集。相反,对于一个闭集来说,若它的补集中有一个点不是内点,则这个点的任意邻域内均含有这个闭集的点,也就是说它的任意邻域含有无穷多该闭集的点,即它为该闭集的聚点,然而它属于闭集的补集而非闭集,这与闭集是闭集相矛盾,因此闭集的补集一定是开集。若z_0任意邻域内同时有属于和不属于E的点,则称其为E边界点孤立点必然是边界点。全体边界点组成的点集叫做边界,记作%5Cpartial%20E。可以证明边界一定是闭集

(定义)   若集合中的复数的模有上界,则称集合为有界集,否则为无界集。

(定义)   设有非空点集D为开集且满足其中任意两点都可以用全含于D内的折线连接,则称其为一个区域D和它的边界的并称为闭域,记为%5Cbar%7BD%7D%20%3DD%5Ccup%20%5Cpartial%20D 。

注意,区域作为重要的概念将贯穿全章内容。

(定义)   有界集E的直径定义为

%5C%5Cdiam(E)%3D%5Csup%5C%7B%5Cvert%20z-z'%20%5Cvert%20%EF%BC%8Cz%E3%80%81z'%5Cin%20E%5C%7D

(定义)   设有两实函数x(t)%E3%80%81y(t),均在闭区间%5B%5Calpha%2C%5Cbeta%5D连续。则称

%5C%5Cz(t)%3Dx(t)%2Biy(t)%2Ct%5Cin%20%5B%5Calpha%2C%5Cbeta%5D

所确定的点集为复平面上一条连续曲线。当连续曲线没有自身重合的点(即重点)时,即不存在t_1%5Cneq%20t_2使得z(t_1)%3Dz(t_2)z(%5Calpha)%3Dz(%5Cbeta)不算),则称其为简单曲线。特别地,若简单曲线还满足z(%5Calpha)%3Dz(%5Cbeta),则称为简单闭曲线。满足x(t)%E3%80%81y(t)的导数均存在、连续且不为零的简单曲线,称为光滑曲线,它具有连续转动的切线。由有限条光滑曲线衔接而成的连续曲线称为逐段光滑曲线

不加证明地引入下列定理:(我也不会证)

(Jordan曲线定理)   任一简单闭曲线C将平面唯一地分为C%E3%80%81I(C)%E3%80%81E(C)三个点集,它们满足:

  1. 三者彼此不交

  2. I(C)是一个有界区域(称为C内部

  3. E(C)是一个无界区域(称为C外部

  4. 若简单折线的一个端点属于I(C),另一个属于E(C),则它和C必有交点。

由此可以引申出定义:

(定义)   沿着一条简单闭曲线C两个相反方向。当观察者按某个方向沿C前进一周时,C的内部一直在左方,则称此方向为逆时针方向正方向。反之为顺时针方向负方向

(定义)   设有区域D,若在其内部无论怎样画简单闭曲线,该曲线内部都全含于区域内,则称D单连通区域,否则为多连通区域

简单闭曲线的内部显然就是一个单连通区域。

来自百度

此外,与实数类似,复数也可以有其完备性定理,证明方式与n维欧式空间完备性定理可以说完全一致。这属于额外内容,有兴趣的读者可以看我的文集“杂谈”。

扩充复平面

在复平面的基础上引入无穷远元素%E2%88%9E%0A,记C_%E2%88%9E%3DC%5Ccup%20%5C%7B%E2%88%9E%5C%7D扩充复平面,这个新元素可以理解为模长为正无穷的新“复数”。从某一个有限复数出发,从任何方向前进均可到达无穷远元素处,无穷远元素也称无穷远点

无穷远点的邻域看作是以原点为圆心的某圆周的外部,记

%5C%5CN_%5Cvarepsilon%20(%E2%88%9E)%3D%5C%7Bz%2C%5Cvert%20z%20%5Cvert%20%3E%5Cfrac%7B1%7D%7B%5Cvarepsilon%20%7D%20%5C%7D

%5C%5CN_%5Cvarepsilon%20(%E2%88%9E)%5Csetminus%5C%7B%E2%88%9E%5C%7D%3D%5C%7Bz%2C%2B%E2%88%9E%3E%5Cvert%20z%20%5Cvert%20%3E%5Cfrac%7B1%7D%7B%5Cvarepsilon%20%7D%20%5C%7D

在引入无穷远元素的情况下,无穷远点成为复平面唯一的边界点。无穷远点是扩充复平面的内点。此时扩充复平面成为唯一无边界的区域。Jordan定理仍成立。对于单连通区域的定义要修改为“……无论怎么画简单闭曲线,该曲线内部或外部都全含于该区域内,……”

今后未强调“扩充”时,一律认为是在通常的复平面上讨论。

微积分(八十二)——平面点集的拓扑性质的评论 (共 条)

分享到微博请遵守国家法律