离散数学课件函数.pptVIP

* 函数的特点：函数的定义域为domF ，而不是它的真子集； 一个x只能对应唯一的y。 * 定义给出了证明两个函数相等大方法。 * * 说明部分给出了证明函数满射和单射的方法。 * 函数的复合就是关系的右复合，一切和关系右复合有关的定理都适用于函数的复合。本节重点考虑在复合中特有的性质。 * 让同学们考虑，这样证明函数是否严密？ 应该增加一项证明定义域是全集。 * * * （1）0与0对应，－1对应1，1对应2，－2对应3，2对应4。依此类推…. * * * * 上一节我们只是抽象地讨论了集合的等势与优势。下面将进一步研究度量集合的势的方法。 * * 其中2N = {0,1}N. * * （中科院计算技术研究所1999） * (2) 定义函数g：{0,1}N→[0,1)。 g的映射法则恰好与 f 相反， 即 ?t∈{0,1}N，t：N→{0,1}，g(t)=0.x1x2…, 其中xn+1=t(n)。 但不同的是，将0.x1x2…看作数x的十进制表示。 例如t1，t2∈{0,1}N，且g(t1)＝0.0111…，g(t2)＝0.1000…， 若将g(t1)和g(t2)都看成二进制表示，则g(t1)＝g(t2)； 但若看成十进制表示，则g(t1)≠g(t2)。 所以， g：{0,1}N→[0,1) 是单射的。 根据定理9.3，有{0,1}N≈[0,1)。 证明 {0,1}N≈[0,1) 总结 N ≈ Z ≈ Q ≈ N×N R ≈ [a,b] ≈ (c,d) ≈ {0,1}N ≈ P(N) 其中[a,b]，(c,d)代表任意的实数闭区间和开区间。 {0,1}A ≈ P(A) N ＜· R A ＜· P(A) 8.3.2 集合的基数 上一节我们只是抽象地讨论了集合的等势与优势。 本节将进一步研究度量集合的势的方法。 最简单的集合是有穷集。尽管前面已经多次用到“有穷集”这一概念，当时只是直观地理解成含有有限多个元素的集合，但一直没有精确地给出有穷集的定义。为解决这个问题我们需要先定义自然数和自然数集合。 定义9.38.10 设a为集合，称a∪{a}为a的后继，记作a+，即 a+=a∪{a}。 例 考虑空集的一系列后继。 ?+ = ? ∪{?} ={?} ?++ = {?}+ = {?}∪{{?}} = {?,{?}} = {?, ?+} ?+++ ={?,{?}}+ = {?,{?}}∪{{?,{?}}} = {?,{?},{?,{?}}} = {?, ?+, ?++ } 后继 说明 前边的集合都是后边集合的元素。 前边的集合都是后边集合的子集。 利用后继的性质，可以考虑以构造性的方法用集合来给出自然数的定义，即 0=? 1=0+＝?+ ＝{?}＝{0} 2=1+＝{?}+ ＝{?}∪{{?}}＝{?,{?}}＝{0,1} 3＝2+＝{?,{?}}+＝{?,{?},{?,{?}}}＝ {0,1,2} … n＝{0, 1, …, n?1} … 说明 自然数的定义 这种定义没有概括出自然数的共同特征。 （1） 对任何自然数n，有n ≈ n。 （2） 对任何自然数n, m，若m ? n，则m ≈ n。 （3） 对任何自然数n, m，若m∈n，则m ? n。 （4） 对任何自然数n和m，以下三个式子： m∈n，m ≈ n， n∈m 必成立其一且仅成立其一。 （5） 自然数的相等与大小顺序 对任何自然数m和n，有 m = n ? m ≈ n m n ? m∈n 自然数的性质 定义8.11 有穷集、无穷集 （1）一个集合是有穷的当且仅当它与某个自然数等势； （2）如果一个集合不是有穷的，就称作无穷集。 例如： {a,b,c}是有穷集， 因为3＝{0,1,2}，且{a,b,c}≈{0,1,2}＝3 N和R都是无穷集， 因为没有自然数与N和R等势。 任何有穷集只与唯一的自然数等势。 说明 有穷集和无穷集 定义8.12 （1）对于有穷集合A，称与A等势的那个唯一的自然数为A的基数，记作card A，即 card A＝ n ? A ≈ n （对于有穷集A， card A也可以记作|A|） （2）自然数集合N的基数记作?0，即 card N =?0 （3）实数集R的基数记作?（读作阿列夫），即 card R =? 基数(cardinality) 定义8.13 设A, B为集合，则 （1）card A＝card B ? A≈B （2）card A≤card B ? A ≤· B （3）card A card