Strongart数学笔记：点集密度与流体数学.pdf

点集密度与流体数学(2011-08-0312:31:48)转载标签： 流体数学 边界点点集密度测度论strongart教育 分类： Strongart的数学探索 R^N A a density 欧式空间 内可测集 在 点的密度（ ）可定义为 den(A,a)=lim r→0 m(A∩Br)/m Br （ ） （ ）（极限可能不存在，但可以继 Br a 续考虑上（或下）极限，得到所谓上（或下）密度），其中 是以 r m N Lebesgue 为中心，半径为 的球， 表示 维测度（一般是 测度， 但几何测度论中更愿意考虑Hausdorff测度）。这里的球形并不是本质 的，有时换成方体要更加容易计算。这个定义可以推广到测度维数与 1 背景空间维数不同的情形，推广后的密度可以大于 ，一个极端的例 子就是平面内拓扑学家的正弦曲线，它在原点的一维密度可以达到无 = 穷大。但下面我只讨论测度维数 空间维数的情形，并且充分聚焦于 N=1。 1 Lebesgue 密度为 点被称为全密点，利用实分析中著名的 定理， 代入可测集的特征函数，我们可以得到一个非常有趣的结论：可测集 几乎处处都是全密点。下面我们就来研究一下，这个全密点到底是怎 么分布的，有什么理由使得一些点可以不是全密点。 [0,1] 先从最简单的区间开始，考虑到闭区间 ，对区间的任何内点 a (0,1) 1 0 1 1/2. ∈ ，其密度都是 ，但在端点 或 ，其密度就只有 由此可 见，全密点与内点是密切相关的，任何内点都是全密点，而边界点则 1/2 因为其（充分小的）邻域总有一半在外面，密度通常只能是 ，因 此也就不是全密点。 (-1,0) (0,1) 0 但我们考虑集 ∪ ，这里在尽管 不是它的内点，但却同 样是全密点。在高维情况，这样的可测集可以是连通的，比如平面内 的圆盘挖去一个点或者一条短曲线，那么被挖掉的部分就是（二维) 1 “ ” 密度为 的边界点。这类边界点有个特征，就是位于原集合的 内部 ， 不妨称这种存在着一个邻域，使得这个邻域除去其自身之外的点均为 原可测集内点的边界点为内边界点或者是奇异边界点（这是我发明的 定义，可能还不是标准术语）。 显然，内边界点可以通过先取闭包来避免，那么全密点是不是就 是闭包的内点呢？这里我们要考虑更复杂的情形，即所谓带正测度的 广义Cantor 集，它根本就没有内点与上述内边界点，但是由于测度 为正，也就一定会有全密点。类似于上面边界点的讨论，这样的全密 点不位于被挖区间的端点，因此好像不容易被发现。事实上，它是不