实变函数第二章点集拓扑

原创已于 2025-07-31 10:41:33 修改 · 1k 阅读

12 ·

CC 4.0 BY-SA版权

文章标签：

#概率论 #拓扑学

于 2025-05-16 21:38:51 首次发布

分析专栏收录该内容

9 篇文章

订阅专栏

§2 点集拓扑

2.1 度量空间与欧式空间

2.1.0 度量空间、收敛列、柯西列

$\textbf{Definition}$ 度量空间 (距离空间)

设 $X$ 为非空集，若 $\exists d:X\times X\to\mathbb{R}$ ，满足：

正定性： $d(x,y)\geqslant 0,\ \mathrm{iff}\ x=y$ 取等；
对称性： $d (x, y) = d (y, x)$ ;
三角不等式： $\forall x,y,z\in X:d(x,y)\leqslant d(x,z)+d(y,z)$

则称 $d$ 为 $X$ 上的度量，称 $(X, d)$ 为度量空间.

$\textbf{Definition}$ 收敛列、 $\text{Cauchy}$ 列(基本列)

设 $(X, d)$ 为度量空间，点列 $\{x_n\}\subseteq X$

若 $\exists x\in X,\mathrm{s.t.}$
$\lim_{n\to\infty}d(x_n,x)=0\Leftrightarrow\lim_{n\to\infty}x_n=x$
则称 ${x_n\}$ 收敛于 $x$ ，此时 ${x_n\}$ 称为 收敛列.

若 $\forall\varepsilon>0,\exists N_{\varepsilon}\in\mathbb{N},\mathrm{s.t.}\forall m,n>N_{\varepsilon}:$
$d(x_m,x_n)<\varepsilon\Leftrightarrow|x_m-x_n|<\varepsilon$
则称 ${x_n\}$ 为 柯西列.

收敛列必然为柯西列，反之不然.
柯西列必然有界.
存在收敛子列的柯西列一定收敛.

2.1.1 度量空间之欧式空间

度量空间中可定义多种距离，如：
$d_p=\left(\sum_{i=1}^{n}|x_i-y_i|^p\right)^{\frac{1}{p}}$
当 $p = 1$ 时，称 $\text{Manhattan}$ 距离；
当 $p = 2$ 时，称 $\text{Euclidean}$ 距离；
当 $p\to\infty$ 时，称 $\text{Chebyshev}$ 距离( $L^{\infty}$ 度量)：
$d_{\infty}=\max_{i}|x_i-y_i|$

$\textbf{Definition}$ $\text{Euclidean}$ 空间 (欧式空间)

$\forall x=(x_1,\cdots,x_n),y=(y_1,\cdots,y_n)\in\mathbb{R}^n:$
$d(x,y)=\left(\sum_{k=1}^{n}(x_k-y_k)^2\right)^{\frac{1}{2}}$

其中 $(\mathbb{R}^n,d)$ 称为 $n$ 维欧几里德空间， $d$ 称为欧几里得距离.

2.1.2 邻域、球体、矩体

$\textbf{Definition}$ 邻域
$U(P_0)=U(P_0,\delta)=\{P:d(P,P_0)<\delta\}$

$\textbf{Definition}$ 开球、闭球、球面

设 $(X, d)$ 为度量空间， $r > 0$ ，则
$B(x_0,r)=\{x\in X:d(x,x_0)<r\} \\\overline{B}(x_0,r)=\{x\in X:d(x,x_0)\leqslant r\} \\S(x_0,r)=\{x\in X:d(x,x_0)=r\}$
分别称为开球(Open ball)、闭球(Closed ball)、球面(Sphere).

$\textbf{Definition}$ 区间(矩体)
点集
$I=\{(x_1,\cdots,x_n):a_i<x_i<b_i\}$
称 $n$ 维开区间(开矩体)，改换不等号即为闭区间、半开半闭区间. $b_i-a_i$ 称为第 $i$ 个边长， $|I|=\prod\limits_{i=1}^n(b_i-a_i)$ 称为体积.

2.1.3 点集距离、点集直径、有界点集

$\textbf{Definition}$ 两个非空点集的距离、一点到点集的距离
$\begin{align*} d(E,F)&=\inf\{d(x,y):x\in E,y\in F\} \\d(x,F)&=\inf\{d(x,y):y\in F\} \end{align*}$

$\textbf{Definition}$ 一个非空点集直径
$\mathrm{diam}(E)=\sup\limits_{P,Q\in E}d(P,Q)$

$\textbf{Definition}$ 有界点集
设 $E\subset\mathbb{R}^n$ ，若
$\mathrm{diam}(E) < \infty$
则称 $E$ 为有界点集(包含空集).

2.2 欧式空间的点

2.2.1 内点、外点、界点

$\textbf{Definition}$ 内点、外点、界点

设 $E\subseteq\mathbb{R^n},P_0\in\mathbb{R^n}$

内点：
$\exists\ U(P_0)\subseteq E$
开核(全体内点)：
$\overset{o}{E}:=\{x:\exists\ U(x)\subseteq E\}$
外点： $P_0$ 是 $E^c$ 的内点，即 $\exists\ U(P_0)\subseteq E^c$
界点： $P_0$ 既非 $E$ 内点也非外点. 即
$\forall U(P_0):U(P_0)\cap E\ne\phi\wedge U(P_0)\cap E^c\ne\phi$
边界(全体界点)： $\partial E:=\{x:\forall U(x):U(x)\cap E\ne\phi\wedge U(x)\cap E^c\ne\phi\}$

2.2.2 聚点、孤点

$\textbf{Definition}$ 聚点、孤点

聚点： 以下三种表述等价

(1) $P_0$ 的任何邻域都含有无穷多 $E$ 的点. 即 $\forall U(P_0)\cap E\ 为无限集$
(2) $P_0$ 的任一邻域内至少含有一个属于 $E$ 而异于 $P_0$ 的点. 即
$\ { P 0 } ≠ ϕ \forall U(P_0)\cap E\backslash \{P_0\}\ne\phi$
(3) 存在 $E$ 中互异点列 ${P_n\}$ 收敛于 $P_0$ . 即
$\exists\underset{\forall i\ne j:P_i\ne P_j}{\{P_n\}}\subseteq E,\ \mathrm{s.t.}\ P_n\to P_0(n\to\infty)$

导集(全体聚点)：
$\ { x } ≠ ϕ } E':=\{x:\forall U(x):U(x)\cap E\backslash \{x\}\ne\phi\}$

孤立点： $P_0\in E$ 但非 $E$ 的聚点. 即
$\exists\ U(P_0)\cap E=\{P_0\}$

全体孤立点： $\ E ′ = { x : ∃ U ( x ) ∩ E = { x } } E\backslash E'=\{x:\exists\ U(x)\cap E=\{x\}\}$

闭包：
$\begin{align*} \overline{E}&:=E\cup E'=\{x:\forall U(x)\cap E\ne\phi\} \\&\ =E\cup\partial E=\overset{o}{E}\cup\partial E \end{align*}$

$\textbf{Theorem}$ $\text{Bolzano-Weierstrass}$ 定理(聚点定理)

若 $E$ 为有界无限集，则 $E$ 至少存在一个聚点.

2.2.3 点的关系

$E\subseteq\mathbb{R}^n$ 中的点可分类为 (1) 内点、界点、外点或 (2) 聚点、孤点、外点.

内点、孤点必属于 $E$ ，外点必不属于 $E$ ，界点、聚点不一定属于 $E$ .
孤点必为界点，界点可能是聚点或孤点.
内点必为聚点，聚点可能是内点或界点.

2.3 欧式空间的基本点集

2.3.1 开集、闭集、紧集、列紧集

$\textbf{Definition}$ 开集、闭集

设 $E\subseteq\mathbb{R^n}$ .

开集(open set)： $E$ 的每个点都是 $E$ 的内点. 即
$E\subseteq\overset{o}{E} \Leftrightarrow E=\overset{o}{E}$

闭集(closed set)： $E$ 的每个聚点都属于 $E$ . 即
$E'\subseteq E\Leftrightarrow\partial E\subseteq E$

Tips:

二者具有对偶性，取余集开闭互换.
$\forall E\subset\mathbb{R}^n$ ，开核 $\overset{o}{E}$ 为开集，导集 $E^{'}$ 、闭包 $\overline{E}$ 为闭集.
(1) 全空间 $\Omega$ 、空集 $\phi$ 既是开集又是闭集.
(2) 任意开集之并仍为开集，有限个开集之交仍为开集.
(3) 任意闭集之交仍为闭集，有限个闭集之并仍为闭集.

$\textbf{Theorem}$ $\text{Heine-Borel-Lebesgue}$ 定理(有限覆盖定理)

在 $\mathbb{R^n}$ 中有界闭集的任一开覆盖必存在有限子覆盖.

$\textbf{Definition}$ 紧集、列紧集

紧集(compact set)： 任一族覆盖 $E$ 的开集，若可从中选出有限个开集仍然覆盖 $E$ ，则 $E$ 为紧集. (或表述为：若 $E$ 的任意开覆盖，都存在有限子覆盖，则 $E$ 为紧集.)

列紧集(sequentially compact set)： 设 $E$ 是度量空间 $X$ 中的子集，若 $E$ 中的任一无穷点列必有收敛到 $X$ 的子列，则称 $E$ 是列紧集.

自列紧集： 若 $E$ 中的任一无穷点列必有收敛到 $E$ 的子列，则称 $E$ 是自列紧集.(即闭的列紧集)

列紧空间： 若 $X$ 本身是自列紧集，则称 $(X, d)$ 为列紧空间.

Tips:

有限维欧式空间 $\mathbb{R^n}$ 中，紧集与有界闭集等价；在无穷维欧式空间 $\mathbb{R^{\infty}}$ 或其他空间中，二者不等价.

度量空间中，列紧集与紧集等价；一般拓扑空间中，此结论不成立.

2.3.2 自密集、完备集、完全集

$\textbf{Definition}$ 自稠密集、完备集、完全集

设 $E\subseteq\mathbb{R^n}$

自稠密集(dense in-itself set)： 集合中每个点都是这个集的聚点. 或者说无孤立点的集. 即
$E\subseteq E'$

完备集(perfect set)： 是自密集且是闭集. 或者说没有孤立点的闭集. 即
$E = E^{'}$

完全集(complete set): 度量空间 $X$ 中任意柯西列都收敛，则 $X$ 为完全集.

Ex.:
$\mathbb{R}$ 中有理数全体为自密集； $\mathbb{R}$ 中任一闭区间及全直线为完备集.

2.3.3 直线上开、闭、完备集构造

$\textbf{Definition}$ 构成区间

设 $G\subset\mathbb{R^1}$ 为开集，若开区间 $(\alpha,\beta)\subseteq G$ ，且 $\alpha,\beta\notin G$ ，则称 $(\alpha,\beta)$ 为 $G$ 的构成区间.

Eg: $(0,1)\cap(2,3)$ 的构成区间为 $(0, 1), (2, 3)$

$\textbf{Theorem}$ 开集构造定理

直线上任一非空开集可表示为有限或可列个互不相交的构成区间的和集.

$\textbf{Definition}$ 余区间(邻接空间)

设 $F\subset\mathbb{R}$ 为闭集，称余集 $F^c$ 的构成区间为 $F$ 的余区间或邻接空间.

$\textbf{Theorem}$
直线上的闭集 $F$ 可能为 (1) 全直线 $F=\mathbb{R}^1$ ，(2) 若 $F\ne\mathbb{R}^1$ ，即 $F\subset\mathrm{R}^1$ ，则 $F^c$ 为非空开集，由开集构造定理， $F^c$ 可表示为有限或可列个互不相交的构成区间的和集，从而 $F$ 为从直线上挖掉有限个或可列个互不相交的开区间的集合.

2.2.4 博雷尔集

详见第三章

2.2.5 康托尔三分集

$\textbf{Definition}$ 稠密、疏朗集(无处稠密集)

设 $E,F\subset\mathbb{R^n}$ ，若 $\forall x\in F:U(x)\cap E=\phi$ ，则称 $E$ 在 $F$ 中稠密. 即 $F$ 中的任一点可以被 $E$ 中的点很好地逼近.
设 $E\subset\mathbb{R^n}$ ，若 $\forall x\in\mathbb{R^n},\exists U(y)\subset U(x)\cap E^c$ ，则称 $E$ 是疏朗集. 即闭包不包含任何邻域.