初等数学研究.ppt

1.1 数系的扩充;“数系”的历史扩展与逻辑扩展过程不同 “数学史上这一系列事件的发生顺序是耐人寻味的，数学家们并不是按照先整数、分数，然后无理数、复数、代数学和微积分的顺序，而是按照相反的顺序与它们打交道的．看来，他们进行逻辑化的工作是极不情愿的．”  　 M.Kline 《数学——确定性的丧失》;数学教育研究表明，人们认识负数比起认识无理数要容易些．但是，历史有独特的自身发展逻辑． 事实上，当人们还普遍怀疑负整数也是一种数时，人们就已经在研究正的有理数与无理数，甚至已经开始使用复数了． ;“数系”的历史扩展途径 “数系”的逻辑扩展途径;新数产生的原因;“新数”为何最初不被承认？;“新数”为何最终获得承认？ “因为在数学中和在其他场合一样，成功是最高法庭，任何人都得服从它的裁决.”  D.Hilbert《论无限》;;1.2 数系的构造理论 ;1.2.1自然数的定义;例 设m ∈N, m≠0, 那么，必有n ∈N使得 n+=m 证明 设集合A由所有这样的自然数组成：它是某个自然数的后继. 设S={0}∪A. 显然, 0 ∈S. 若x ∈S, 由A的定义有x+ ∈A, 因而x+ ∈S . 由归纳公理知, S=N. 因此，若m ∈N, m≠0, 就必有m ∈A, 即存在n ∈N, 使得 n+=m. 该例题表明：每个不为0的自然数必为某个自然数的后继。;加法;例 证明 2+3=5 证明： 2+0=2 2+1=2+0+=(2+0)+=2+=3 2+2=2+1+=(2+1)+=3+=4 2+3=2+2+=(2+2)+=4+=5;例 对任何a∈N ，证明0+a=a+0. 证明：利用数学归纳法证明 当a=0时，结论显然成立。 假使a=n时，结论成立，即0+n=n+0 ，则当a=n+时 0+n+=(0+n)+=(n+0)+=n+= n++0 结论亦成立。;乘法;例 证明 a·3=a+a+a 证明: a·0=0 a·1=a·0+=(a·0)+a=0+a=a+0=a a·2=a·1+=(a·1)+a=a+a a·3=a·2+=(a·2)+a=a+a+a;运算律;代数结构;减法;例 证明不存在x∈N，使得x+2=1成立. 证明：反证法 假使存在x∈N, 满足x+2=1, 则 (x+1)+=0+ x+1=0 (x+0)+=0 x+=0 这与0不是任何自然数的后继相矛盾。;除法;例 证明不存在x∈N，使得x·2=1成立. 证明：反证法 假使存在x∈N, 满足x·2=1, 则 x+x=1 显然x≠0, 可设x=y+, 所以 y++y+=1 ((y+y)+)+=0+ (y+y)+=0 这与0不是任何自然数的后继相矛盾。;自然数的序关系;定理7 对任何a∈N, a≥0 定理8 若a, b, c∈N, 则 ① 当a≤b时，a+c≤b+c ② 当a≤b时，a·c≤b·c 所以，“≤”(≥) 是自然数集上的大小关系。 ;定义6 若a≤b, 且a≠b, 则称ab, 或ba. 定理9 “”() 也是自然数集上的大小关系。 定理10（阿基米德性质） 对于任意a，b∈N，a0，总存在n∈N，使n?ab.;1.2.2从自然数到整数;定理2 设Z+={[(a,0)]|a∈N-{0}} Z- ={[(0,a)]|a∈N-{0}} 则Z= Z+∪[(0,0)]∪Z-, 且Z+, [(0,0)], Z-两两不相交. 定义3 称Z+为正整数集，称Z-为负整数集。 ;整数集上的运算;定义5 （整数乘法） 整数集Z上的二元运算加法“?”规定如下：对于任意[(a,b)],[(c,d)]∈ Z, [(a, b)]?[(c, d)]=[(ac+bd, ad+bc)] 上述定义是合理的，可以证明Z中的乘法运算与等价类代表的选取无关。即 若(a1, b1)~(a2, b2), (c1, d1)~(c2, d2), 则(a1c1+b1d1, a1d1+b1c1)~(a2c2+b2d2, a2d2+b2c2).;定理3 对任何a, b, c∈Z 有 ①加法交换律