Power class是一个数学术语,指一个集合的所有子集的集合。也可以理解为原集合的所有幂集(power sets)的集合。Power class包含了所有的集合,它本身不是一个集合,但是可以看做所有集合构成的一个大集合。
首先,根据ZFC公理系统,Power class 只包括了所有集合,不包括任何其他对象。
其次,Power class 所有的成员都是集合。也就是说,Power class 不能包含非集合的对象,比如类、关系等。
三、Power class 还有一个基本的性质:对于给定的任意一个集合,它的 power set 都大于该集合本身,即集合和它的子集构成的 Power class 的势(Cardinality)不相等。
Power class 的一个重要应用是它可以用来帮助定义集合的无限层次。比如,考虑所有自然数的集合,我们可以通过 Power class 构建出一个自然数集合的无限层次结构。第一层是 $N$ 集合本身,第二层是 $N$ 的 power set,也就是所有 $N$ 的子集构成的集合,第三层则是第二层所有元素的 power set,以此类推。这个结构是一种推广的设定,我们也可以用类似的办法定义其他集合的无限层次结构。
Power class 存在一个引起哲学争议的性质:power class 本身不是一个集合。这个性质源于哥德尔的不完备定理,它证明了如果我们的理论系统足够强大,那么它不能够证明 power class 是一个集合。这个现象被称为 Russell's paradox。这种情况下,我们需要一些额外的理论来处理 Power class。