有理数与无理数.PPTVIP

*第一次数学危机表明：数学已经由经验科学变为演绎科学把证明引入数学演绎的思考首先出现在几何学中，而不是代数学中，使几何具有更加重要的地位，这种状态一直保持到笛卡尔解析几何的诞生。经过这次危机，希腊走上了完全不同的道路，形成了欧几里德的《几何原本》与亚里士多德的逻辑体系，而成为现代科学的始祖！2.1.7第一次数学危机的意义*例：有教科书、外文书、文艺书共10本证明：在这三种书籍中，至少有一本书籍至少有四本。2.1.8反证法（归谬法）*反证法一般步骤：1）假定命题的结论不成立2）进行一系列的推理3）在推理过程中出现了下列情况中的一种：与已知条件矛盾与公理矛盾与已知定理矛盾4）由于上述矛盾的出现，可以断言原来的假定“结论不成立”，是错误的。5）肯定原来的命题的结论是正确的。2.1.8反证法（归谬法）*2.2无限的比较无限大是什么，无限大有没有区别，一直是迷惑数学家的问题。康托尔(1845-1918）考虑了这一问题，他从一一对应的概念出发，从1874年开始发表了一系列重要文章,应用这一概念来计数无穷集合,从而产生了关于超越数的重要理论。但是无限大的问题伽利略更早就考虑过。*伽利略（GalileoGalilei,1564-1642）两部专论：《关于托勒密和哥白尼两大世界体系的对话》（TheTwoChiefSystems,1632）《关于两种新科学的对话》（TheTwoNewSciences,1638）书里的著名对话说明远在康托尔的集合论创始之前，伽利略对无限已经有了很好的理解。2.2.1一段富有启发性的历史对话*精彩对话总结：任何线段都包含了无限个点。线段[0,2]包含线段[0，1]，因而线段[0,2]比线段[0，1]含更多的点。自然数和它的平方数可以建立一一对应：等于、小于、大于、等属性不能使用于无限的数量，因而不能以有限的智力来讨论无限找不出[0，1]区间的点与全体整数的一一对应。2.2.1一段富有启发性的历史对话123…n………149…n2…*定义：设A与B为二集，具有下面的性质：集A的任一元素a，有集B的唯一元素b与之对应，并且集B的任一元素b，也有集A的唯一元素a与之对应；此时称建立了A与B的一对一的对应。定义：若集A与集B间能建立一对一的对应，则称A与B是“对等”的，或者称它们的势是相同的，此事记作：A∽B2.2.2对谈话的分析和解答*几个对等集的例子：ABABAB*定义 凡与集N对等的集A都叫做可数集,或称集A是可数的。定理1 正有理数的集合是可数的。定理2 一个有限集和一个可数集如无公共元素，那么它们的和集是可数的。定理3 两两不相交的有限个可数集的和集是可数的。 系1 全体整数的集合是可数的。 系2 全体有理数的集合是可数的。定理4 两两不相交的可数个有限集的和集是可数的。定理5 两两不相交的可数个可数集的和集是可数的。2.2.3有理数集是可数的*定理6 实数集是不可数的。证明：1）构造法2）区间套法定理7 存在着无理的实数。2.2.4实数集是不可数的*2.2.5代数数n次方程的一般形式：代数基本定理 n次方程（1）在复数域中有n个根。定义 一个实数或复数叫做代数数，如果它是某一个整系数方程的根。定义 任何不是代数数的实数叫做超越数。定理8 代数数的集合是可数的。定理9 存在超越数。*至今为止，我们只发现了很少的超越数，如E，派等，都是一些非常独特的数，每一超越数的发现都是一次轰动。但从理论上非超越数只有可数个，所以这众多的数是什么样的，我们还一无所知，整数的研究还有很多事情可做。2.2.6无限的算术*与自然数一一对应的集合，也就是可数的集合，称为有“阿列夫”个数，自然数集合，整数集合，有理数集合，都是“阿列夫”个数的集合。而与全体实数一一对应的集合，称为有“c”个数。一个重要的猜想是可数的集合和实数集合之间没有其它的集合。2.2.6无限的算术*2.2.7无限理论小结一一对应的概论是研究无限集(区别于有限集)的一个最基本的概念，也是高等数学的一个最基本的概念。有理数是可数的；代数数也是可数的；但实数是不可数的