定理5
有理数全体成一可数集合(可列集合),
实变函数论1-集合4-可列集合5-性质4:全体有理数构成一个可列集合
在日常生活经验中,我们已经有了长度、面积、体积等概念它们都是一些几何图形(点集)所具有的数量特征.例如,线段有长度,矩形有面积,长方体有体积.
- 线段有了长度,那么折线段可以有长度,有限个线段之并也有长度;
- 通过矩形面积的定义,我们又可以"求"许多其他几何图形(点集)的面积,如三角形、多边形面积等. 利用极限方法,又可以求出圆的面积、曲边梯形面积,等等. 也就是说,三角形、圆、曲边梯形等都是"可求面积"的图形;
- 体积的情形也类似;
从日常生活经验来看,其实我们已经使用了以下约定俗成的长度公理(面积公理、体积公理可以类似叙述)
长度公理:设有实数直线上的一些点集所构成的集合族 M , \mathscr { M } , M, 若对于每个 E ∈ M , E \in \mathscr { M } , E∈M,都对应一个实数 m , m , m, 使得
- m ( E ) ⩾ 0 m ( E ) \geqslant 0 m(E)⩾0 (非负性);
- 如果 E 1 , E 2 , ⋯ , E n E _ { 1 } , E _ { 2 } , \cdots , E _ { n } E1,E2,⋯,En 两两不相交,那么
m ( E 1 ∪ E 2 ∪ ⋯ ∪ E n ) = m ( E 1 ) + m ( E 2 ) + ⋯ + m ( E n ) ( 有限可加性 ) ; m \left( E _ { 1 } \cup E _ { 2 } \cup \cdots \cup E _ { n } \right) = m \left( E _ { 1 } \right) + m \left( E _ { 2 } \right) + \cdots + m \left( E _ { n } \right) (有限可加性) ; m(