3、长度具有有限可加性。.pptVIP

* 长度公理 1、长度是非负的数。 2、长度是运动不变的。 3、长度具有有限可加性。 长度公理也可以扩充为面积、体积的公理。 第四节 从长度到测度 * 定义1　如果对于平面（空间）上的一族集合{E}， 族中的每一个集合E，都对应一个实数m(E)，并且满 足以下的性质: 1.(非负性) m(E) ? 0; 2.(运动不变性)如果集合E经过刚体运动变为集合E/， 则 m(E) = m(E/) ; 3.(有限可加性) 如{E}中的 E1,E2,···,En两两不相交, 则 4.(正则性) 若Q是长a,宽b的矩形, 则m(Q) = ab. (立体的情况为m(Q) = abc) 则称集合函数m为定义在集合族{E}上的面积(体积)。 * 定义2 (勒贝格测度公理)如果对于平面（空间）上的一族集合{E}，(对可列并运算及差运算封闭)族中的每一个集合E，都对应一个实数m(E)，并且满足以下的性质: 1.(非负性) m(E) ? 0; 2.(运动不变性)如果集合E经过刚体运动变为集合E/，则m(E) = m(E/) ; 3.(可列可加性) 如{E}中的 E1,E2,···,En, ···两两 不相交, 那么 4.(正则性) 若Q是长a,宽b的矩形, 则m(Q) = ab. (立体的情况为m(Q) = abc) 则称m为定义在二维(三维)欧氏空间上的勒贝格测度。 {E}中的集合称为可测集。 * 长度和测度的区别在于从有限可加性扩展到可列可加性。 这个区别也可以从内填外包的角度进行分析 。 一个集合的长度正是内填不相交的有限个区间的长度之和的上确界 ，也是用有限个包住该集区间的长度之和的下确界 。 而一个集合的测度则是将上列叙述的“有限”改为“可列”， 内填可列个区间的长度的上确界称为内测度，外包可列个区间的长度的下确界称为外测度。 内外测度相等称为该集的测度。 * 并非每个集合都有测度。实变函数告诉我们，对可列可加测度来讲，总存在着不可测集。 有一个定理： 如果限于一维和二维空间，放弃可列可加性，只要 求有限可加性，那么有办法做到每个集合都有“长度”。 但当n≥3时，Rn 空间中任何有限可加的长度也不能扩展到一切集合上， 即总有集合没有长度。 这是很出人意外的。 * 一、三角学的简单历史 由于天文学需要进行的计算，球面三角首先发展起来。 大约公元二世纪，古希腊的托勒密完成《天文学大成》著作，其中包括如何从圆弧长求得相对应的弦长，也就是正弦之值。书中出现第一张正弦函数表。 第五节 三角学: 定量化的几何 后来印度和阿拉伯人，对三角学有一些贡献，但主要是提高三角函数表的精度。一个著名的结果是：已知球面三角形的三边可以求得三个角，反之亦然。这是球面三角学不同于平面三角学的定理之一。 * 这标志着三角学开始探索内部的深层关系.是一个重大的飞跃。 第美孚获得引入复数以后的三角公式 (cosQ+isinQ)n=cosnQ+isinnQ。 微积分诞生后，欧拉把三角学当作研究三角函数的学科。 17世纪，韦达在1615年给出用sinx表达sinnx的公式， * 数学史家认为，欧拉的《无穷小分析引论》是第一部最系统的分析学著作。欧拉发现了一个重要的公式： 。 德国数学家克莱因认为：这是整个数学中最卓越最漂亮的公式之一。 18世纪微积分最重大的进步是由欧拉做出来的。欧拉出版的《无穷小分析引论》，《微分学》和《积分学》是微积分史上里程碑式的著作。 令 x = π，便得到一个奇妙的恒等式： * 三角学起先的目标是解三角形，即研究三角形的各种边角关系。 欧氏几何主要是用定性的方法研究三角形，三角学就是定量地研究三角形的边角关系。 从这个意义上讲，三角学是代数和几何学之间的 桥梁。 二、三角学是欧氏几何的数量化 三角学也是数形结合一个重要方面。 例见P20页 * 三角学的发展有两个明显的阶段。静态的解三角形 阶段，