第6讲 集合的对等.pptVIP

* 伽利略的问题： 全体自然数多，还是完全平方数多？ 康托尔的回答： 先定义什么是“一样多”？ 如果两个集合A、B的元素间能建立一个一对一的对应关系，就说A和B的元素一样多，或者说A和B有相同的势，也说A和B对等。 §1.6 集合的对等 希尔伯特旅店： 一家拥有无穷多房间的旅店，房间的号码用尽了所有的自然数。 1）现在客满了，又来了一位旅客，怎么办？ 2）现在客满了，又来了无穷多的一行旅客？怎么安置？ 经验告诉我们，整体大于部分，然而这个经验是为来自对有穷集的观察。无穷集和有穷集不同，无穷集就是那种可以和自己的某个真子集建立一一对应的集合。 一 集合对等 1 定义 设 A，B是两个集合，若存在一个A到B的双射，则称集合A和B对等，记为A～B。 例：自然数集合N与其中的所有偶数组成的集合E对等。 例：(0,1) ～ R f:(0,1) →R, f(x)=tan(x-1/2)? g:(0,1) →R, g(x)=y 例：证明 N～N×N 证明：按如下方式建立一个N与N×N的一一对应： 定理 (对等的性质) (1) A ~ A. (2) A ~ B ? B ~ A. (3) A ~ B, B ~ C ? A ~ C. 证： （1）A上恒等映射是A到A的双射，故A ~ A 。 （2）A ~ B ，存在A到B的双射 ，则 是B到A的双射， 所以B ~ A (3) 由A ~ B, B ~ C ，存在A到B的双射 , B到C的双射 , 所以 是A到C的双射，故A ~ C 2 无限集合 设A是集合，若A存在一个子集与自然数集对等，则称A为无限集合，否则称为有限集合。 例：自然数集本身是无限集合。 例： [0,1]是无限集合。 证：显然 而 得证。 3 集合的基数 基数是集合包含元素个数的度量，用于比较集合的“大小”。集合A的基数用|A|表示，有限集合A的基数即为其元素个数。 定义：若集合A和B对等，则称这两个集合的基数相同。 特别地，规定自然数集的基数为?0(阿列夫0)； 规定实数集合R的基数为?(阿列夫)。 与N基数相同：N中的全体偶数E，有理数集Q 与R基数相同：（0，1） 4. 可列集合 定义：能与自然数集合N对等的集合称为可列集合. 根据无限集合的定义知：任意无限集合均存在一个可列的子集。 根据这一点, 可以证明无限集合的特征性质. 证明：因为A为无限集合，故A存在一个可列的子集 令 则 B?A. 则f是A到B的双射，故A～B。 定理 设A是无限集合, 则存在A的一个真子集B, 使得 A ~ B. 例： 有理数集合Q是可列集合： ~ ~ N 5. 不可列集合 定义：不是可列的无限集合称为不可列集合. 例：(0,1)是不可列集合 证明：反证法，若(0,1)可列，则 将每个Si记成无限小数形式为 例：实数集合R是不可列的： R ~(0,1) 6. 基数的比较 定义：给定集合A，B，若存在A到B的单射，则称A的基数小于等于B的基数，记为|A|≤|B|。若存在A到B的单射，但不存在A到B的双射，则称A的基数小于B的基数，记为|A||B|。 由定义，若存在A到B的满射，则 |B| ≤ |A|。 定理：对于集合A,B，若|A|≤|B|且|B|≤|A|，则|A|=|B|。 定理：令A，B是任意两个集合，则以下三条中恰有一条 成立： 1) |A||B|; 2) |B||A|； 3) |A|=|B|。