第3讲势的定义--可数集合和连续势.pptVIP

第3讲 势的定义 --可数集合与连续势 目的：熟悉常见的两类集合的势，掌握其 基本性质。 重点与难点：可数集合的性质，连续势的 性质。 证明：假设 是一个无穷集，任取 ，因 无穷，故 亦无穷，因此又可以从 中任取一个元素 ，显然 ，假如已从 中取出 个元素 ，则由 是无穷集知 仍是无穷集，从而可从中取出一个元素 ，由归纳法知可从 中取出互不相同得元素 排成一无穷序列： ，显然 是 的可数子列。证毕。 定理3 可数集合的无穷子集仍是可数的。 证明：假设 是可数集， 是 的无穷子集，由定理2， 含可数子集 ，于是 ，但 ，故 ，从而 也是可数的。证毕。 定理4 设 是可数集， 是有限集或可数 集，则 可数。 证明：由于 有限或可数，故 有限或可数，所以 可以写成