02-无限集合初步_.pdfVIP

无限集合初步 基本约定 约定2.1: 以下是一些常用的集合:  N 是 自然数集合  Z 是整数集合  Q 是有理数集合  R 是实数集合 □ 集合论性质 事实2.1(集合论性质) 在集合论中, 一个核心概念是无限, 是理论研究的工具, 在计算机 科学中有广泛应用.  无限集合 集合论中的无限是 Cantor严格定义, 是数学领域内第一次独立 于古希腊数学的创造. 全部 □  公理  外延公理  空集公理  偶对公理  并集公理  子集公理  幂集公理  无穷公理  替换公理  正规公理  选择公理 □  ZF 与 ZFC  9 ZF: 前 条公理的集合.  ZFC: 全部 10 条公理. □ □ 映射 定义2.1(单射,满射,双射) 假设 f 是集合 A 到 B 的函数:  f 是单射: ] xyJA(f(x)=f(y)x=y)  f 是满射: ] y JB^ x JA(f(x)=y)  f 是双射: f 是单射且 f 是满射 □ 单射与满射之间的关系 定理2.1: 假设集合 A,B 都不是空集. 若存在 A 到 B 的满射, 则 存在 B 到 A 的单射. f:AB B A g 证明: 假设 是满射, 则可以定义 到 的映射 : 对每个 y JB , 考虑集合 f-1({y})={x JA|f(x)=y}, f f-1({y}) x Jf-1({y}) 因为 是满射, 所以 不是空集, 任取 y B A g 作为 的象, 则可以定义 到 的映射 . -1 -1 g 是单射, 这是因为当 y =y/ JB 时, f ({y }) Qf ({y })=I 1 2 1 2 , 所以 g(y1 )=g(y/ 2 ). □ 定理2.2: 假设集合 A,B 都不是空集. 若存在