点集拓扑摘记

1 点与集合的关系

\qquad 为了描述 $R^n$ 中的点 $x_0$ 与集合 $E$ 之间的关系，有两种分类方法，分别为：

$\{\begin{array}{l}内点\\ \\ 界点\\ \\ 外点\end{array}或者\{\begin{array}{l}聚点\\ \\ 孤立点\\ \\ 外点\end{array}$
\newline
\qquad 两种分类方法中，外点的定义是相同的。
\qquad

1.1 内点、外点、界点

\qquad 假设点 $x_0\in R^n$ ，集合 $E\subset R^n$，那么点与集合的关系可以是：

\qquad $(1)$ 点 $x_0$ 附近全是集合 $E$ 的点

\qquad $(2)$ 点 $x_0$ 附近没有集合 $E$ 的点

\qquad $(3)$ 点 $x_0$ 附近既有集合 $E$ 的点，又有不属于集合 $E$ 的点

\newline
\qquad 这三种关系分别对应着内点、外点、界点的定义：

\qquad $(1)$ 内点 $\text{(interior point)}$：

\qquad \qquad 存在 $x_0$ 的某个邻域 $B(x_0,r)$，使得 $B(x_0,r)\subset E$
\qquad \qquad 即：$\exists r>0$，使得 $B(x_0,r)\subset E$
\qquad \qquad 内点 $x_0\in E$（在集合 $E$ 中）

\qquad $(2)$ 外点 $\text{(exterior point)}$：

\qquad \qquad 如果 $x_0$ 是 $E$ 的余集 $E^c$ 的内点
\qquad \qquad 即：$\exists r>0$，使得 $B(x_0,r)\cap E=\varnothing$
\qquad \qquad 外点 $x_0\notin E$（不在集合 $E$ 中）

\qquad $(3)$ 界点 $\text{(boundary point)}$：

\qquad \qquad 既非内点，又非外点（任一邻域中既有属于 $E$ 的点，也有不属于 $E$ 的点）
\qquad \qquad 即：$\exists r>0$，使得 $B(x_0,r)\cap E\ne \varnothing 且B(x_0,r)\cap E^c\ne \varnothing$
\qquad \qquad 界点可能在集合 $E$ 中，也可能不在

\newline
\qquad 从而，可以定义出：
$\text{int}(E):E$的内部，全体内点构成的集合
$\text{ext}(E):E$的外部，全体外点构成的集合
$\partial E:E$的边界，全体界点构成的集合
\qquad

1.2 聚点、孤立点、外点

\qquad 假设点 $x_0\in R^n$ ，集合 $E\subset R^n$
\qquad 研究点集之间的逼近性质时，内点和界点可能具有相同的性质：若存在 $E$ 中互异的点列 { x n } ∣ 1 ∞ \{x_{n}\} \big|_{1}^{\infty} {xn​} ​1∞​，使$x_n⟶x_0(n\to \infty )$，那么 $x_0$ 既有可能是内点，也有可能是界点。 \newline
\qquad 点和集合的关系还可以描述为：聚点、孤立点、外点（外点的定义是相同的）。

$(1)$ 聚点 $\text{(limit point)}$：

$1)$ 点 $x_0$ 的任一邻域 $B(x_0,r)$ 中都含有 $E$ 中无限多个点
$2)$ 点 $x_0$ 的任一邻域 $B(x_0,r)$ 至少含有一个属于 $E$ 而异于 $x_0$ 的点 　 \newline\qquad\qquad　 　 即：$\forall r>0$，都有 B ( x 0 , r ) ∩ ( E \ { x 0 } ) ≠ ∅ B(x_{0}, r) \cap \left( E \backslash \{x_{0}\} \right) \not= \varnothing B(x0​,r)∩(E\{x0​})=∅
$3)$ 存在 $E$ 中互异的点构成的点列 { x n } ∣ 1 ∞ \{x_{n}\} \big|_{1}^{\infty} {xn​} ​1∞​，使 $x_n⟶x_0(n\to \infty )$
$4)$ 有限集没有聚点
$5)$ 聚点不一定在集合 $E$ 中（可能在，也可能不在）

$(2)$ 孤立点 $\text{(isolated point)}$：

\qquad\qquad 点 $x_0\in E$，但不是 $E$ 的聚点
\qquad\qquad 即：若$x_0\in E$，$\exists r>0$，使 B ( x 0 , r ) ∩ E = { x 0 } B(x_{0}, r) \cap E = \{x_{0}\} B(x0​,r)∩E={x0​}

$(3)$ 外点 $\text{(exterior point)}$：

\qquad\qquad 如果 $x_0$ 是 $E$ 的余集 $E^c$ 的内点
\qquad\qquad 即：$\exists r>0$，使得 $B(x_0,r)\cap E=\varnothing$
\qquad\qquad 外点 $x_0\notin E$（不在集合 $E$ 中）
\qquad

1.3 两种分类方法之间的一些联系

\qquad $(1)$ 内点必然是聚点，必然在 $E$ 中 \newline
\qquad $(2)$ 聚点未必是内点 —— 聚点可能是内点，也可能是界点 \newline
\qquad $(3)$ 孤立点必然是界点，必然在 $E$ 中 \newline
\qquad $(4)$ 界点未必是孤立点 —— 界点可能是聚点，也可能是孤立点 \newline
\qquad $(5)$ 界点、聚点可以在 $E$ 中，也可以不在 $E$ 中

\qquad

2. 闭包: 所有附着点 (adherent point) 的集合

$1.闭包$

\qquad 在两种分类方法中，外点的定义是相同的，因此考虑 “外点的反面”：

\qquad 如果 $\forall r>0$，都有 $B(x_0,r)\cap E\ne \varnothing$，即：$x_0$ 的任意邻域中都包含 $E$ 中的点，则称 $x_0$ 为附着点 $\text{(adherent point)}$（或称接触点）。 \newline

\qquad 实际上，附着点可能是： \newline
$\left\{\begin{array}{c}内点\\ \\ 界点\end{array}或者\right\{\begin{array}{c}聚点\\ \\ 孤立点\end{array}$

\qquad
\qquad 可以用下图来描述：
\qquad
\newline
\qquad 在上图中，红色方框表示 $“$ 附着点 $\text{(adherent point)}$ 的全体 $”$，即闭包 $\text{(closure)}$ ，用 $\overline{E}$ 表示【很关键的一点，直接产生了很多性质】。
\qquad

$2.开集、闭集$

• 定义如下集合：

$(1)$ 内核 $E^{\circ }:$　全体内点的集合

$(2)$ 边界 $\partial E:$　全体界点的集合

$(3)$ 导集 $E^{{}^{\prime }}:$　全体聚点的集合

$(4)$ 闭包 $\overline{E}:$　 全体附着点的集合，即 $\overline{E}=E^{\circ }\cup \partial E$　或　 E ‾ = E ′ ∪ { 孤立点全体 } \overline{E}=E^{'} \cup \{\textbf{\scriptstyle 孤立点全体}\} E=E′∪{孤立点全体}

\qquad 　 闭包的另一个定义：$E$ 和它的全体聚点所组成的集合，即 $\overline{E}=E^{{}^{\prime }}\cup E$

\qquad 因此

E ‾ = E ′ ∪ E = E ∘ ∪ ∂ E = E ′ ∪ { 孤立点全体 } \qquad\qquad\overline{E}=E^{'} \cup E=E^{\circ} \cup \partial E = E^{'} \cup \{\textbf{\scriptstyle 孤立点全体}\} E=E′∪E=E∘∪∂E=E′∪{孤立点全体}

\qquad

• 若集合 $E$ 满足 $E=E^{\circ }$（$E$ 中每一个点都是内点），则称 $E$ 为开集。 \newline
  此时，$E$ 中不包含界点，所有的界点都不在 $E$ 中
  \qquad
• 若集合 $E$ 满足 $E=\overline{E}$，则称 $E$ 为闭集。 \newline
  此时，所有的聚点都在 $E$ 中，即：$E^{{}^{\prime }}\subset E$
  　　　所有的界点也都在 $E$ 中，即：$\partial E\subset E$

闭包 $\overline{E}$ 也是闭集，即：$\overline{E}=\overline{\overline{E}}$ ，是包含 $E$ 的最小闭集。

\qquad 闭集的情况，如下图所示：
\qquad

$3.相关定理$

$\text{定理1}$: $\forall E\subset R^n$，$E^{\circ }$ 是开集，$E^{{}^{\prime }}$ 和 $\overline{E}$ 都是闭集。

$\text{定理2}$：（开集与闭集的对偶性）
　　　　 设 $E\subset R^n$ 是开集，则其余集 $E^C$ 是闭集；
　　　　 设 $E\subset R^n$ 是闭集，则其余集 $E^C$ 是开集。
　　　　
$\text{定理3}$: 任意多个开集的并，仍是开集；
　　　　 有限多个开集的交，仍是开集。
　　　　
$\text{定理4}$: 任意多个闭集的交，仍是闭集；
　　　　 有限多个开集的并，仍是闭集。
\qquad

3. 稠密性和可分性

\qquad 设 $(X,d)$ 为距离空间，集合 $A,E\subset X$

$稠密性$

\qquad 如果 $E$ 中每个点 $x$ 的任一邻域 $B(x,r)$ 都包含 $A$ 中的点，即：$E\subset \overline{A}$，则称 $A$ 在 $E$ 中是稠密的。

$(1)$ 若 $E\subset \overline{A}$，这就说明 $E$ 中任一点或者是 $A$ 的聚点，或者就是 $A$ 中的点
$(2)$ 若 $x\in E$ 为 $A$ 的聚点，也就是存在点列 { x n } ⊂ A \{x_n\}\sub A {xn​}⊂A，使得 $x_n⟶x(n\to \infty )$

稠密性表明 $\forall x\in E$ 都可以用 $A$ 中的点来逼近。

$稠密子集$

\qquad 如果 $A$ 在全空间 $X$ 中稠密，此时 $X=\overline{A}$，则称 $A$ 是 $X$ 中的稠密子集。
\qquad
$可分性$

\qquad 若 $(X,d)$ 中存在一个可数的稠密子集，则称 $(X,d)$ 是可分的距离空间。
\qquad

4. 举例

\qquad 考虑下面3个集合： \newline
E 1 = { 1 , 1 2 , … , 1 n , …   } E 2 = { 0 , 1 , 1 2 , … , 1 n , …   } E 3 = { 0 , 1 , 1 2 , … , 1 n , } \qquad\qquad\begin{aligned} E_{1} &= \{1, \dfrac{1}{2}, \dots, \dfrac{1}{n}, \dots \} \\ E_{2} &= \{0,1, \dfrac{1}{2}, \dots, \dfrac{1}{n}, \dots \} \\ E_{3} &=\{0,1, \dfrac{1}{2}, \dots, \dfrac{1}{n}, \} \end{aligned} E1​E2​E3​​={1,21​,…,n1​,…}={0,1,21​,…,n1​,…}={0,1,21​,…,n1​,}​

\qquad $E_1:$ 无内点，界点为 $x_0=0$ 和 $x_k=\frac{1}{k}(k>0)$
\qquad\qquad\qquad 聚点为0（不在 $E_1$ 中），孤立点为 $x_k=\frac{1}{k}(k>0)$ \newline
\qquad $E_2:$ 无内点，界点为 $x_0=0$ 和 $x_k=\frac{1}{k}(k>0)$
\qquad\qquad\qquad 聚点为0（在 $E_2$ 中），孤立点为 $x_k=\frac{1}{k}(k>0)$ \newline
\qquad $E_3:$ 无内点，界点为 $x_0=0$ 和 $x_k=\frac{1}{k}(1\le k\le n)$
\qquad\qquad\qquad 无聚点为0（$E_3$ 是有限集），孤立点为 $x_0=0$ 和 $x_k=\frac{1}{k}(k>0)$