离散数学第六章 集合-自然数与自然数集.ppt

第六章 集合 6.1 集合的基本概念 6.2 集合的基本运算 6.3 全集和集合的补 6.4 自然数与自然数集 6.5 包含与排斥原理 后继： A+ =A∪{A} 定义1 A是一个给定的集合，存在一个集合叫做A的后继，记为A+ 。 自然数 (冯·诺伊曼 John von Neumann, 1903年12月28日生于匈牙利,1957年2月8日卒于美国) 0=? 1={?} 2={?，{?}} 3={?，{?}，{?，{?}}} 4 ={?，{?}，{?，{?}}，{?，{?}，{?，{?}}}} ┅ ┅ ┅ ┅ 自然数的定义 后继、前驱 对于任意两个自然数m和n， 如果m=n+，即 m=n∪{n}， 称m为n的后继，可以记为 m=n+1， 也称n为m的前驱，也可以记为 n=m-1。 自然数集 N 皮亚诺公设(Peano’s Axioms) 设N表示自然数集。则： 1．0?N 2．如果n?N，那么n+?N ， 3．0不是任何自然数集的后继，即不存在自然数m?N，使得0=m+。 4．n和m均是自然数，如果n+=m+，那么n=m。 5．如S是N的子集，有性质 (1) 0?S, (2) 如果n?S，那么n+?S ， 则有 S=N。 数学归纳法——皮亚诺公设的第5条 设n是一个自然数， P(n)表示一个与n有关的公式或命题， 令 S={n?N│P(n)为真} 。 若证明了 P(0)为真，也即0?S (归纳基础)； 若P(n)为真，则P(n+) 也为真， 即若n?S，则n+?S ( 归纳步骤)。 则由皮亚诺公设第5条, 得S=N。 第二归纳法 性质 例1 (传递性) 设n是一个自然数，求证： 若n1和n2为两个集合，且n1?n2，n2?n，则n1?n。 设 S={n?N│若有n1,n2, 且n1?n2，n2?n，则n1?n}， 要证S=N。 例1证（续） 1908年Zermelo(蔡梅罗)定义的自然数 0=? 1={?} 2={{?}} 3={{{?}}} 4 ={{{{?}}}} ┅ ┅ 例 求证：对于任意自然数m和n， 若n?m, 则n+?m或者n+=m之一成立. 例 求证：对于任意自然数m和n， 若n?m, 则n+?m或者n+=m之一成立. 例2 (p69)证明：对于任意自然数m和n，都有  m?n或者m=n或者n?m之一成立。 例2 (p69)证明：对于任意自然数m和n，都有  m?n或者m=n或者n?m之一成立。 例2 (p69)证明：对于任意自然数m和n，都有  m?n或者m=n或者n?m之一成立。 例3 (p70)设有数目相等的两堆棋子，两人轮流从任一堆里取出任意颗棋子，但不能不取，也不能同时在两堆里取。规定谁最后取完，谁胜利。求证可以保证让后取者必胜。 例3 (p70) 求证可以保证让后取者必胜。 集合的归纳定义（递归定义） 基础条款—— 指出某些事物属于集合，给集合以基本元素，使所定义的集合非空。 归纳条款——指出由集合的已有元素构造新元素的方法。 最小性条款——断言一个事物除非能有限次应用基础条款和归纳条款构成外，那么这个事物不是集合的成员。 例4 (p70) 用归纳定义集合S={n?N│3整除n} 例4 (补) 求证：T=S, 这里 T={3n|n ?N}. 证明： 先证T?S 。记P(n)表示3n属于S。 当n=1时，3*1=3属于S，故P(1)显然成立。 归纳假设P(k)成立，则 3*(k+1)=3*k+3也属于S。 即有P(k+1)成立。由归纳法， T?S得证。 再证明S?T。 由基础条款，0、3属于S， 显然，0、3都是3的倍数，故0、3都属于T。 假定x与y都属于S，而且都属于T， 则 x+y也属于S，同时也是3的倍数，即属于T。 即有归纳条款得到的新元素也属于T，故S?T得证。 例