第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 。 （