北大离散数学10.pptVIP

《集合论与图论》第10讲 第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 为何如此定义? 如何实现? 如何利用集合来构造Peano系统? ----借助于下面两个概念 后继 归纳集 后继(successor) 后继(successor): 设A是集合, A+ = A?{A} 称为A的后继. 特征: A?A+ ? A?A+ 在公理集合论中, 无序对公理({a,b})和并集公理(UA)保证了后继的存在 后继(举例) A=? A+ = ?+ = ??{?} = {?} A++ = {?}+ = {?}?{{?}}