跟着陶哲轩一起学数学(四): 幂集公理与习题3.4.6的证明

幂集公理

设X, Y都是一个集合，存在一个集合记录为Y^X,且该集合是从X到Y的全体函数构成的。于是:

f 属于 Y^X <=> f 是一个定义域为 X 且值域为 Y 的函数

逆象

如果 U 是 Y 的一个子集，定义集合f ^ -1(U)为

f^-1(U) := { x 属于 X : f(x) 属于 U}

3.4.6证明过程

3.4.6: 设X是一个集合， 证明 {Y : Y 是 X 的一个子集} 是一个集合

假设 Y = { 0, 1 }, 于是得到映射关系f: X -> { 0, 1 }, 由幂集公理得: Y ^ X是一个集合
因为 {1} 是 Y 的一个子集，由逆象的定义得f^-1({1})也是一个集合