自然数的定义.pptVIP

? Peking University 3-2 关于自然数的五条公理 ??? 1. 0是一个自然数 ??? 2. 0不是任何任何其他自然数的后继 ??? 3. 每一个自然数a都有一个后继 ??? 4. 如果a与b的后继相等，则a与b相等 ??? 5. 若一个由自然数组成的集合s包含0，又若当s包含有某一数a时，它一定也含有a的后继，则s就包含有全体自然数 ?m,n∈N, m+∈n+ ? m∈n. 证明: m+∈n+=n∪{n} ? m+∈n ∨ m+=n ? m+?n (根据定理4.3) ? m∈m+?n (m∈m+) ? m∈n ?m,n∈N, m+∈n+ ? m∈n. 证明:令S={n|n∈N∧?m(m∈n→m+∈n+)} ?∈S: ?∈N∧?m(m∈?→m+∈?+). 证明n∈S?n+∈S (固定m), 即 ?m(m∈n+?m+∈n++) m∈n+=n∪{n} ? m∈n ∨ m=n ? m+∈n+ ∨ m+=n+ (归纳假设) ? m+∈n++ (n+?n++∧ n+∈n++). ∴S=N. # 定理4.10证明(1)?(2) A为传递集?∪A?A 证明: ?x, x∈∪A ? ?y(x∈y∧y∈A) (∪定义) ? x∈A (A是传递集) ∴∪A?A 定理4.10证明(2)?(3) ∪A?A ??x(x∈A→x?A) 证明: ?x, x∈A ? x ?∪A (∪定义) ? x?A (已知∪A?A) ∴?x(x∈A→x?A) 定理4.10证明(3)?(4) ?x(x∈A→x?A)?A?P(A) 证明: ?x, x∈A ? x?A (已知x∈A→x?A) ? x∈P(A) (P(A)定义) ∴ A?P(A) 定理4.10证明(4)?(1) A?P(A) ?A是传递集 证明: ?x, x∈A ? x∈P(A) (已知A?P(A) ) ? x?A (P(A)定义) ??y(y∈x→y∈A) ??y(y∈x∧x∈A→y∈A) ? A是传递集 ∴A是传递集. # 例题4.2:哪些是传递集 A={?,{?},{{?}}} B={0,1,2} C={{a}} D=0,1 定理4.11 A为传递集?P(A)为传递集 证明: A为传递集 ? A ?P(A) ( 定理4.10 ) ? ∪P(A) ?P(A) ( A=∪P(A)) ? P(A)是传递集 ( 定理4.10 ) # 定理4.12 A为传递集?∪(A+)=A 证明: ∪(A+) = ∪(A∪{A}) (A+定义) = (∪A)∪(∪{A}) (∪(A∪B)=(∪A)∪(∪B) ) = (∪A)∪A = A ( 因为∪A?A ) # 定理4.13 每个自然数都是传递集 证明: 令S = { n | n∈N ∧n是传递集} 0∈S: 显然. 证明?n∈N, n∈S ?n+∈S: n∈S ?n是传递集 ?∪(n+)=n?n+ (定理4.12) ? n+是传递集 (定理4.10) ? n+∈S. ∴S=N # 定理4.14 自然数集合N是传递集 证明:由定理4.10(3),只需证明对于任意n∈N有n?N 令S = { n | n∈N ∧n?N} 0∈S: 显然. 证明?n∈N, n∈S ?n+∈S n∈S ? n?N ? n∪{n}=n+?N ( {n}?N ) ? n+∈S. ∴S=N, 即?n(n∈N→n?N)，N是传递集. # 证明 ?m,n?N, 0+n=n， m++n = (m+n)+ 用数学归纳法 小结 1. 自然数的定义 Peano系统 后继, 归纳集 自然数, 自然数集 数学归纳法原理 2. 传递集合 3. 自然数的运算 加法 乘法 作业 P80: 1,2,4,5 定理4.8 (N上的递归定理) N上的递归定理: 设A为集合, a?A, F:A?A, 则存在唯一函数h:N?A, 使得h(0)=a, 且?n?N, h(n+)=F(h(n)). # F(a)=F(h(0))=h(1)=h(0+) a=h(0) F2(a)=F(F(a))=F(h(1))=h(2)=h(1+) F