第10讲 自然数 北京大学计算机系离散数学讲义(ppt版)培训资料.pptVIP

《集合论与图论》第10讲 ?m,n?N, m+n+ = (m+n)+ ?m,n?N, m+n+ = (m+n)+ 证明: m+n+ = Am(n+) (+定义) = (Am(n))+ (Am定义) = (m+n)+ (+定义) . # ?m,n?N, m++n = (m+n)+ 证明: (数学归纳法). 对任意m?N, 令 S = { n | n?N ? m++n=(m+n)+ }. (1) 0?S: m++0=m+=(m+0)+. (2) ?n(n?S?n+?S): 设n?S,下证n+?S. m++n+ = Am+(n+) = Am+(n)+ (+与Am定义) =(m++n)+ = (m+n)++ (归纳假设) =(m+n+)+ (定理: m+n+ = (m+n)+ ) ? S = N. # 加法交换律 加法交换律: ?m,n?N, m+n=n+m. 证明: 对任意m?N, 令S={ n | n?N ? m+n=n+m }. (1) 0?S: m+0=m=0+m. (0是加法单位元) (2) ?n(n?S?n+?S): 设n?S,下证n+?S. m+n+=Am(n+)=Am(n)+=(m+n)+ =(n+m)+ (归纳假设) = n++m (性质: m++n = (m+n)+) ? S = N. # 加法性质 加法单位元0: 0+n=n+0=n 交换律: n+m = m+n 结合律: (m+n)+k = m+(n+k) 乘法 “乘m”: m固定, Mm:N?N, Mm(0) = 0, Mm(n+) = Mm(n)+m. 例: M2(3)=M2(2+)=M2(2)+2=M2(1+)+2 = M2(1)+2+2=M2(0)+2+2+2=0+2+2+2=6. 乘法: ?:N?N?N, m?n=Mm(n) 例: 3?2=M3(2)=M3(1)+3=M3(0)+3+3 =0+3+3=3+++=6. # 乘法性质 1是乘法单位元: 1?n=n?1=n 交换律: n?m = m?n 结合律: (m?n)?k = m?(n?k) 分配律: m?(n+k) = (m?n)+(m?k) 自然数的序 “属于等于”: m?n ? m?n ? m=n “小于等于”: m?n ? mn ? m=n mn ? m?n mn ? n?m m?n ? m?n m?n ? n?m * * 第10讲 自然数 内容提要 1. Peano系统 2. 后继, 归纳集, 自然数, 自然数集 3. 数学归纳法原理 4. 传递集 5. 自然数的运算 6. 自然数上的序关系 封闭 封闭: 设f是函数, A?domf, 若 ?x( x?A ? f(x)?A ) 则称A在f下是封闭的(closed) 等价条件: f(A)?A 例: f:N?N, f(x)=x+1, A={0,2,4,6,…}在f下不是封闭的 B={2,3,4,…}在f下是封闭的 Peano系统 Peano系统: M,F,e, F:M?M (1) e?M (2) M在F下封闭 (3) e?ranF (4) F是单射的 (5) (极小性公理) A?M ? e?A ? A在F下封闭 ? A=M e F(e) F2(e) F3(e) 为何如此定义? 如何实现? 如何利用集合来构造Peano系统? ----借助于下面两个概念 后继 归纳集 归纳集 归纳集: 若A满足 (1) ??A (2) ?x( x?A ? x+?A ) 则称A为归纳集. A是归纳集 ? A含有?且对后继封闭 在公理集合论中, 无穷公理(无穷集存在)保证了归纳集的存在 归纳集(举例) A={?,?+,?++,?+++,…} A={?,?+,?++,?+++,…,a,a+,a++,a+++,…} A={?+,?++,?+++}, 少? A={?,?+,?++,?+++,…,a}, 少a+,a++,a+++,… 自然数 自然数: 自然数是属于每个归纳集的集合 例: ?, ?+ = {?}, ?++ ={ ?,{?} }, ?+++ = { ?,{?},{?,{?}} }, ?++++ = { ?,{?},{?,{?}},{?,{?},{?,{?}}} }, …… 0,1, 2, …,n,… 0 = ? 1 = ?+ = {?} = {0} 2 = ?++ = {?,{?}} = { 0,1} 3 = ?+++ =