基数与实数理论.pptVIP

Minkowshi不等式 5. Minkowshi不等式: Minkowshi不等式 积分型Minkowshi不 等式: 直线上的点集 实数理论 十九世纪后半叶严格解决：什么是实数？ 1、Cantor, Meray, Weierstrass; 2、Dedekind理论 实数理论 定义 设 都是有理数。假设对任意的正有理数 ，存在自然数 ，使得当 时不等式 成立， 就称 是基本有理数列。 实数理论 设 和 是两个基本有理数列，若对任一正有理数 ，有自然数 ，使得当 时，不等式 成立，就称基本有理数列 和 相等，记 。 实数 称基本有理数列是一个实数，规定相等的基本有理数列是同一实数。 引理 引理1 两个基本有理数列 和 ， 那么 也都是基本有理数列； 引理 引理2 若基本有理数列 满足 则 实数域 定义 设 是两个实数，称实数 为“ 加 ”（和）， 记 。称 为 乘 （积），记 （引理说明合理性） 实数域 定理 实数 全体按上述的加法及乘法成为一个域。 （ ——Abel群; ——Abel群; 乘法与加法之间的分配律）。 开集 邻域： 称 为 的 邻域。 内点：存在 的一个 邻域 则称 集 的内点。 开集：集合的每一点都是内点。 聚点 聚点： 的任意的邻域中都含有 中异于 的一个点，则称 为 的聚点。 a的任意的邻域中都含有 A中无限多个点 闭包、闭集 闭包：设 表示 的一切聚点所成之集， 则 的闭包定义为 闭集：如果 的余集 是开集， 则称 为闭集。 定理： 为闭集的充分条件是 Functional Analysis 集合 集合论自十九世纪八十年代由德国数学家Cantor创立以来，已发展成一个独立的数学分支，其基本概念与方法已渗入到二十世纪的各个数学领域。集合论是研究集合的各种性质，它的初期工作与数学分析的深入研究密切相关。 理发师悖论 1900年H. Poincare：现在，我们能够说完全严格性已达到了。 1903年Russell 提出“理发师悖论”。一个乡村理发师，自夸无人可比，他宣称自己当然不给自己刮脸的人刮脸，但却给所有自己不刮脸的刮脸。有一天，他发生了疑问：他是不是应该给自己刮脸? 集合的公理系统--ZFC系统 自Russell悖论后，许多数学家为摆脱这一危机而努力工作。 途径为: 对Cantor的集合论加以改造，引进新的理论体系。 Zermelo在1908年提出七条公理 Fraenkel加入代换公理 Axiom of Choice (选择公理) 。 ZFC系统 1917年法国数学家米里马诺夫提出了一个悖论，von Neumann又引入了正则公理，至此的公理系统最终建立起来。 附: 自然数的Peano公理 设