主题：Max Tegmark: 意识是一种物质形态 -- 晓兵

disclaimer: I have quite bit of 伟光正 stuff in my post, mostly from modelling point of view, please don't feel offended.

1.

"度量流形"的困难

a 度量流形 is basically: locally 开集同胚, regionally/globally 微分同胚;

changshou did a great service with his following piece, without referencing complicated concepts such as "集合".

but 集合/豪斯多夫測度 is a fundamental concept in 度量流形, 开集 of 豪斯多夫測度 is even more important conceptually

"在拓扑空间中，有这样一类集合。它们可能包含有无数个点，但在这无数个点中，某一些点的极限点却与这些点天各一方，人鬼殊途：我们在集合内，却眼巴巴地望着集合外的你。换一个说法，当你孜孜不倦地在集合里找点的时候，这一列点总能一个接一个地被你找着，但在那无穷大的另一端，永远有那么一个点完成了质的飞跃，与身后无穷多个弟兄们挥手告别，跨过顶着大括号的集合边界，幸运抵达了幸福的彼端。这个时候，我们便称这个点“极限点”，称这类集合为“开集”。"

well said.

2.

what to do in terms of 度量 "“开集"?

覆盖, which is a very complicated math business, for example, 对于一个球面，我们不可能用一个连通的开集去覆盖它, etc.

anf eventually, math science figures out that a 度量流形 is basically: locally 开集同胚, regionally/globally 微分同胚=度量流形 in a nutshell.

3.

why 忽悠黄继光舍身炸碉堡?

群體體驗=女人心海底針, but those 女人心 may well be headfakes,

app1: 民主市場玩不好=咖啡里被人偷加了洗衣粉, remember?

after 黄继光舍身炸碉堡, all traps and headfakes cleared, they you go there, follow comrade 伟光正, start drinking real 咖啡?

why to be 黄继光? why not to be 黄继光?

-------------

http://blog.sciencenet.cn/blog-40247-228895.html

你懂测度吗（III）？

已有 5987 次阅读 2009-4-29 13:14 |个人分类:数学常识|系统分类:科普集锦

上回说到欧氏空间中的确存在不可测集合，这就向我们提出了一个问题：什么样的集合是可测的？什么样的集合是不可测的？或者说如何判断一个集合可测或不可测？

有两种方法来作出判断，其一是采用内外测度的办法，回忆微积分中求曲边梯形的面积时，通过将函数的定义区间分割成若干小区间，然后以这些小区间为边作若干小矩形包住曲边梯形，同时又让曲边梯形包住以这些小区间为边的另一些小矩形，如果当划分越来越细时，内外小矩形面积之和趋于同一个值，则曲边梯形的面积就存在。否则就不存在，内外测度方法与此很相似，集合E的外测度是包住E的一些小长方体体积之和的下确界，如何作内测度呢？为叙述方便，以直线上有界点集E为例，不妨设 ，若E可测，（a，b)-E也应可测，于是应有

m*[(a,b)-E]=m*(a,b)-m*E=b-a-m*E。如果开区间{Ii} 盖住了（a,b）-E，则

，

因此一种自然的方式是定义E的内测度为：

m*E=b-a-m*[(a,b)-E]

当 m*E=m*E时，称E是可测集。

直观地解释内测度就是将（a，b）挖去一些开区间后剩下部分的长度之上确界。不难发现，内测度其实就是包含在E中的闭集的测度之上确界；而闭集的测度可以定义为某个包含它的闭区间长度减去其余集的构成区间长度之和。

但是将这一方法推广到Rn中会带来一些技术上的麻烦，所以通常采用另外一种方法来定义可测集，这就是著名的卡屋泰屋独利条件。

如果 E 是可测集（注意，我们尚未定义可测集）。Ec=Rn-E 也应当是可测的，于是应有

。

但m*Rn为无穷大，由外测度性质3知m*E与m*Ec至少有一个为无穷大 ，所以上述等式恒成立。由此并不能得到关于可测性的任何实质性信息，因此，我们将E限制在任意的开长方体I上，考虑与 是否可加，即对任意开长方体I，下式是否总成立：

假如对一切开长方体上式总成立，则可以证明对任意集合T，下式也成立

（证明略）。

我们就用该式来定义可测性。

定义 假设E是Rn的子集，如果对任意集合T，都有

(1)

则称E为Lebesgue可测集，此时称m*E为E的Lebesgue测度，简记为mE。

等式（1）称为Caratheodory（卡屋泰屋独利）条件，它有一个等价的叙述方式，即：对任意 都有

（2）

事实上,若(1)成立,则对任意 ,取 ,则得

从而(2)成立。反之，若（2）成立，则对任意T ，取

,

从而由（2）得

而

故

。

有几个基本问题是必须回答的：1、哪些集合是可测的？2、可测集具有什么性质？特别地，可测集对于集合的交、并、差运算是否封闭？也即，可测集经过交、并、差运算后是否仍然可测？3、可测集具有什么样的结构？与我们熟悉的集合（如开集、闭集）差别有多大？只有回答了这些问题，才有可能真正了解可测集，也才能进一步讨论可测集上的函数—可测函数。

幸运的是，这些问题都有比较完满的答案，不过作为普及性读物，再往下讨论就不太合适了。关于测度的系列文章到此结束，有兴趣者可以参看相关的书籍。

测度论已经形成一套内容十分丰富的理论体系，而且，抽象的测度论完全建立在公理化体系基础之上，你几乎看不到任何构造性痕迹，在测度论体系之下，概率成了一种特殊的测度，称为概率测度，尽管我们大多数上过大学的人都很熟悉概率论，但对现代概率论了解多少？你若不懂测度论，就无法跨越现代概率论这道门坎！了解分形几何的人都知道分形几何的基础是Hausdorff（豪斯道夫）测度，测度论之伟大由此可见一斑。