open ball、closed ball 与 open set、closed set（interior point，limit point）、dense set

0. demo

在拓扑学上，open set（开集）是对实数轴（real line）上开区间（open interval）的拓展。

• 红色圆盘：$\{(x,y)|x^2+y^2\lt r^2\}$，蓝色圆圈：$\{(x,y)|x^2+y^2=r^2\}$
• 红色点集即为一种 open set，蓝色点集则为 boundary set，
• 红色点集和蓝色点集的并构成了 closed set；

1. interior point 与 limit point

度量空间 $(X,d)$ 中的任一子集 $S$，$x$ 如果想成为 $S$ 中的一个内点，则要求，存在一个 $r\gt 0$，使得 $\{y|d(x,y)\lt r\}\in S$；

• $\{y|d(x,y)\lt r\}$ 刻画的其实是 $x$ 在度量空间 $(X,d)$ 中的邻域；

首先需要注意的是，极限点 $x$ （limit point 或叫 accumulation point）作用的对象是拓扑空间 $(X,d)$ 中的集合 $M$ 上（也即极限点，是集合的极限点），$x\in X$ 但 $x$ 可以不属于集合 $M$，也即一个集合在某拓扑空间中的极限点，可以不在该集合中。

$x$ 如果想要成为集合 $M$ 的极限点，要求，$\forall \epsilon>0$（任给无穷小，open ball 的半径 radius），$\exists m\in M$（总可以在集合 $M$ 中找到），使得 $m\in B(x,\epsilon)$，

不妨考虑如下这样一种直观的例子，实数轴上 $-r<x<r$ 的开区间内，当然也可将其视为集合，该集合的 limit point 显然就是两个端点（$\pm r$），分别以两个端点为圆心，以任意无限小半径（$\forall \epsilon > 0$）画圆，总可以在内侧区域找到 $\exists m\in M$。

2. open ball 是 open sets 的证明

Proof that Open balls are Open sets

给定度量空间 $(X,d)$，$x\in X$，$r\gt 0$，构成一个 open ball，记为 $B(x,r)$，此时需要证明的则是，$B(x,r)$ 是一个 open set。

证明过程如下：

$B(x,r)\neq \phi$，在 $B(x,r)$ 内选择一点 $y$（$y\in B(x,r)$），显然有 $d(x,y)\lt r$，不妨假定 $d(x,y)=h$，此时我们以 $y$ 为中心点，以 $r-h$ 为新的半径，构成 $B(y,r-h)$（因为 $y$ 是任意变化的），取 $z\in B(y,r-h)$，根据度量空间中的三角不等式性，有：

$$d(x,z)\leq d(x,y)+d(y,z),\quad d(x,y)=h,d(y,z)\lt r-h\\ \Downarrow\\ d(x,z)\lt h+r-h=r$$

因此 $z\in B(x,r)$，也即 $B(y,r-h)\subset B(x,r)$，因此 $y$ 是 $B(x,r)$ 的一个内点（interior point），又因为 $y$ 是 $B(x,r)$ 内的任一点，则 $B(x,r)$ 是一个 open set。

3. dense set

给定度量空间 $(X,d)$，$A\subset X$，集合 $A$ 是 dense set（密集）如果 $\forall x\in X$ 是集合 $A$ 的 limit point。

根据 limit point 的定义，也即 $\forall r>0$，总可以找到（$\exists a \in A$），$a \in B(x, r)$.