borel集

$\sigma$代数

$\sigma$代数是一个集合组，对于这个集合组满足三个条件：
1. 空集属于这个集合组
2. 若A属于，那么A的补集也属于
3. 对于一个集合序列，若它们都属于，那么它们的极限也属于

对于一个集合X，它的最小的$\sigma$代数是空集和它本身组成的集合组，最大的集合组是它的所有子集组成的集合组。

borel 集

https://en.wikipedia.org/wiki/Borel_set

$\mathbb{R}^n$中一切开集构成的开集族，生成的$\sigma$代数称为$\mathbb{R}^n$的borel$\sigma$代数，它其中的元素称为 borel集。

borel集由开集的有限次的并，交，差构成。

borel对于测度理论非常重要，因为每个定义在开集上或者闭集的测度，都需要在哪个空间的所有的borel集上定义。

*In mathematics, a Borel set is any set in a topological space that can be formed from open sets (or, equivalently, from closed sets) through the operations of countable union, countable intersection, and relative complement. Borel sets are named after Émile Borel.

For a topological space X, the collection of all Borel sets on X forms a σ-algebra, known as the Borel algebra or Borel σ-algebra. The Borel algebra on X is the smallest σ-algebra containing all open sets (or, equivalently, all closed sets).

Borel sets are important in measure theory, since any measure defined on the open sets of a space, or on the closed sets of a space, must also be defined on all Borel sets of that space. Any measure defined on the Borel sets is called a Borel measure. Borel sets and the associated Borel hierarchy also play a fundamental role in descriptive set theory.

In some contexts, Borel sets are defined to be generated by the compact sets of the topological space, rather than the open sets. The two definitions are equivalent for many well-behaved spaces, including all Hausdorff σ-compact spaces, but can be different in more pathological spaces.*

测度

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

抽象测度论通常都是将人们熟悉的区间的“长度”、区域的“面积”等概念的共性（即公共特征）提炼出来形成一套公理，在此基础上进行逻辑演绎得出一整套的理论，这与其它近代数学分支是类似的。

为了不增加理解上的困难，我们以直线上的集合为例，如果I是直线中的区间（可以是开的、闭的或半开半闭的），则I的长度为|I|=b-a，其中a，b分别为I的左端点与右端点。如果E是直线R1的一个一般的子集，如何定义E的“长度”呢？熟悉Riemann积分的人可能比较自然地会想到，用一些区间去分割它，然后以区间的长度之和近似代替E的长度。

但值得注意的是，由于E是一般的集合，它可能不含任何区间，例如若E是有理数集，它不可能充满任何区间。因此，我们不能象Riemann积分那样企图采用矩形内外夹挤的办法来定义一般集合的“长度”。尽管如此，Riemann积分的思想还是给了我们极大的启示，它依然是我们的出发点，只不过具体做法稍不同。

测度本质上是长度，面积等概念的推广，它赋予一个集合族中每一个集合一个确定的实数，用这个实数来表示长度，面积。

理想的测度应该继承长度，面积的性质：
1. 非负性
2. 空集测度为0
3. 完全可加

满足第三个条件，需要集族是一个 $\sigma$代数

概率也是一种测度。