点集常识与测度常识

E给定

点自动分为内点外点聚点孤立点边界点

内点一定是聚点，孤立点一定是边界点。

连通：不能写成两个开集的并

有界集：

闭集的等价定义：

集合的内部是开集；（内点的附近全是内点）

集合的导集是闭集

E的内部是E中最大的开集

E的闭包就是包含E的最小的闭集

由于开集和闭集的对偶性之：R上的开集总可以写成可数不相交开区间的并，那么闭集也总可以写成可数不相交闭区间的交

孤立点是附近全是外点

 闭集分离定理

紧集的定义只用了开集的概念，使用的不是开区间

R^n中紧集=有界闭集(且R^n中列紧=紧)

上面的=正向：依赖于M中的元素和中的元素距离为正，可以使用两个不相交的开邻域分开

反向：画格子，有限覆盖定理

        但是上面的结论在一般的度量空间中不成立，有界闭集不是紧集。???

compact set的motivation:1.finite integral 2.finite set

using norm to describe finite,when is the norm  of a function finite?

收敛序列的定义是收敛到度量空间里，不能在外边

度量空间中的finite set有如下性质：

只需要metric space中的finite set 就有如上好的性质

Compact sets are to continuous functions as finite sets are to functions in general.

A metric space is said to have the Heine-Borel property if every closed and bounded set in it is compact.

自密集：每个点都是聚点的集合

直线上完备集的构造：由于知道了开集和闭集的构造，完备集是没有孤立点的闭集，所以只需要对闭集构造加上要求即可，只需要构造闭集的时候要求开区间不相邻即可

稠密集：F中随便取一点随便一个邻域，总有E中的点钻进来，那么E在F中稠密。

疏朗集/无处稠密集：随便做一个点的邻域，总有邻域内的小邻域中没被E污染（即任何邻域中都有一片没有E的净土）。

疏朗集的等价数学定义：闭包没有内点的集合称为疏朗集

关于康托三分集的理解：

康托三分集是完备集证明角度一：直线上完备集的构造保证了构造出的cantor集是完备集、

康托三分集包含所有三进制中每个digit都是0/2的点，把带1的都挖掉了!

勒贝格测度公理：即什么是测度

非负性；可数可加性；正则性

集合可测的定义：集合的外测度=内测度

外侧度的定义：一切集合都有外测度

外测度没有可数可加性，但是有次可数可加性

外测度已经非常好了，对于常识中的任何区间，有理数集的外测度都是我们想要的结果

外侧度还有单调性，显然

勒贝格测度有了一些要求，于是淘汰了一些集合，幸运的是，外侧度为0的集合都没有被淘汰

(勒贝格原文中的集合的内外测度和可测的定义)

有界点集的内测度：只有有界集才有内测度，因为定义要用到下图中的I开区间

任意取一个I就可以计算E的内测度

有界集合可测：内测度=外测度

无界集合可测：对任意开区间I，有界集都是可测的，则该无界集合可测

!! Rn中的E集合可测的定义：（等价于内测度=外测度，且推广到了无界集上）

以上定义均是Rn中的，且依赖于开区间

在Rn中上面两个可测的定义等价（用开区间定义出来的东西一点不少）

以上三个可测定义等价！

可测的定义！

此时m*=m

可测集的运算：余集，有限交并差仍为可测集(有限的情况怎么玩都是可测集)

                                且不相交的可测集合测度满足有限可加性

                        可数并也是可测集，且不相交的可数可测集合满足可数可加性

                          可数交也是可测集,因为demorgan   可测集这么完美啊....啥都满足

注：开区间都是有界的，因为定义为形如(a,b)开区间、闭区间和半开半闭区间统称为有限区间。 

测度可以等于∞，想移项必须先说测度＜无穷

集合的上极限集合就是无穷次出现的点的集合

集合的下极限集合就是某项之后，每次都出现的点的集合

对于集合的上下极限应该重视极限集合的内容而不是形式