疏集与第一纲集

最新推荐文章于 2022-12-04 19:37:13 发布

刺蓟

最新推荐文章于 2022-12-04 19:37:13 发布

阅读量2.7k

点赞数

分类专栏：数学基础文章标签：数学

本文链接：https://blog.csdn.net/weixin_50940084/article/details/118751106

版权

数学基础专栏收录该内容

2 篇文章 0 订阅

订阅专栏

参考文献

DAVID G.L. WANG. LECTURE NOTES ON GENERAL TOPOLOGY BIT, SPRING 2021

郭懋正实变函数与泛函分析北京大学出版社 2005

常用的集合运算

$\cup \overline {E_n}=\overline {\cup E_n}$

Definition 1

Given (X, Ω) and A, B ⊆ X.

• A is dense in B: $B\subseteq \overline A$ .

• A is everywhere dense: $\overline A = X$ , i.e., ExtA = ∅.( A 是稠密集: $\overline A = X$ , i.e., ExtA = ∅.)

• A is nowhere dense: ExtA is everywhere dense, i.e., ExtExtA = ∅.(A是疏集：ExtA是稠密集，即 ExtExtA = ∅）

从定义即可推出：

Theorem 1

A set A is nowhere dense in a topological space X $\Leftrightarrow$ each open set in X contains an open set that is contained in $A^C$ .

Proof.

A is nowhere dense

$\Leftrightarrow$ ExtA is everywhere dense

$\Leftrightarrow$ ExtA meets every open set

$\Leftrightarrow$ each open set contains an exterior point of A

$\Leftrightarrow$ each open set contains a open ball that is contained in $A^C$

This completes the proof

定理2

A是疏集，等价于 $(\overline A)^{ \circ }=\O$

证明：

$(\overline A)^{ \circ }=\O$

$\Leftrightarrow$ $\rho(\overline A)\cup Ext(A)=X$

$\Leftrightarrow \overline {Ext(A)}=X$

$\Leftrightarrow Ext(A)$ 是稠密集，即A是疏集

定义2

在距离空间 $(X,\rho)$ 中，如果 $E_n \subseteq X,(n=1,2,\cdots )$ 均为稀疏集，则称它们的并集 $E=\cup_{n=1}^{\infty}E_n$ 是第一纲的集。

Baire定理

非空的完备距离空间 $(X,\rho)$ 一定不是第一纲集。

证明：用反证法。设X是第一纲集，即 $X=\cup_{n=1}^{\infty} E_n$ ,式中每个 $E_n$ 是疏集。

现在任意取一个球 $B(x_0,r_0)$ ,由于 $E_1$ 是疏集，于是存在 $B_1=B(x_1,r_1)\subseteq B(x_0,r_0)$ ,使得 $\overline B_1\cap \overline {E_1}=\O$ ,

不妨取 $r_0=1,0<r_1<1$ ,由于 $E_2$ 是疏集，对于开球 $B_1$ ,于是存在 $B_2=B(x_2,r_2)\subseteq B_1$ ,使得 $\overline B_2\cap \overline {E_2}=\O$ ,

不妨取 $0<r_2<\frac{1}{2}$ .

一般地，对于开球 $B_{n-1}=B(x_{n-1},r_{n-1})$ ,由于 $E_n$ 是疏集，于是对于开球 $B_{n-1}$ ,存在 $B_n=B(x_n,r_n)\subseteq B_{n-1}$ ,使得 $\overline B_n\cap \overline {E_n}=\O$ , $0<r_n<\frac{1}{n}$ , $n=1,2,3,\cdots$

$\rho(x_{n+p},x_n)<\frac{1}{n} \quad \forall n,p\in \mathbb{N}\\(1)$

由此可见 $\{ x_n\}$ 是基本列，从而 $\exists y\in X$ ,使得 $\lim_{n \rightarrow \infty}x_n=y$ .

另一方面，(1)中令 $p\rightarrow \infty$ ,可得 $\rho(y,x_n)<\frac{1}{n} \quad \forall n\in \mathbb{N}$

从而 $y\in \overline B_n\quad \forall n\in \mathbb{N}$

由于 $\overline B_n\cap \overline {E_n}=\O(\forall n)$ ,所以 $y\overline {\in }B_n (\forall n)$

从而 $y\overline {\in }\cup_{n=1}^{\infty} \overline {E_n}=\overline {\cup_{n=1}^{\infty }E_n}=\overline X=X$

这与 $y\in X$ 相矛盾，所以X不可能是第一纲的。

刺蓟

关注

0
点赞
踩
3

收藏

觉得还不错? 一键收藏
打赏
0
评论
疏集与第一纲集

疏集与第一纲集
复制链接

扫一扫

专栏目录