泛函分析 / 度量空间 / 纲

迁移来源

旧站标题：纲

新站标题：泛函分析 / 度量空间 / 纲

旧站路径：/math/课程/泛函分析/chapters/度量空间/纲/

旧页面 ID：577

纲 #

definition

设 $(\mathscr X,\rho)$ 是度量空间, 集合 $E\subset\mathscr X$ .

若对任意的 $x\in\mathscr X$ 和 $\varepsilon>0$ , 存在 $z\in E$ , 使得 $\rho(z,x)<\varepsilon$ . 则称 $E$ 是 $\mathscr X$ 中的稠密子集.

example

$\mathbb{Q}$ 在 $\mathbb{R}$ 中稠密.

definition

设 $(\mathscr X,\rho)$ 是度量空间, 集合 $E\subset\mathscr X$ , 若 $\overline{E}$ 无内点, 则称 $E$ 是 $\mathscr{X}$ 中的疏集.

tip

设 $(\mathscr X,\rho)$ 是度量空间, 集合 $E\subset\mathscr X$ . 则 $E$ 是疏集当且仅当对任意的球 $B(x_0,r_0)$ 总存在开球 $B(x,r)\subset B(x_0,r_0)$ 使得 $\overline{E}\cap\overline{B(x,r)}=\varnothing$

note

" $\Leftarrow$ ": 反证法.

" $\Rightarrow$ ": 考虑 $B(x_0,r_0)\backslash \overline{E}$ . 首先

definition

在距离空间 $(\mathscr X,\rho)$ 上, 如果 $E=\bigcup\limits_{n\geqslant 1}E_n$ , 其中 $E_n$ 是疏集, 则称 $E$ 是第一纲集. 不是第一纲集的集合称为第二纲集.

example

$\mathbb{R}$ 中 $\mathbb{Q}$ 是第一纲集.

tip

在 $C[0,1]$ 中处处不可微的函数集合 $E$ 非空, 且 $E$ 的余集是第一纲集.

tip

完备的度量空间 $(\mathscr X,\rho)$ 是第二纲集.

note

反证法. 假设是第一纲集, 则存在可数个疏集 $E_n$ .

纲 #

评论