幂集公理

在数学中，幂集公理是公理化集合论的Zermelo-Fraenkel公理之一。

在Zermelo-Fraenkel公理的形式语言中，这个公理读做：

\forall A,\exists \;{{\mathcal {P}}(A)},\forall x:x\in {{\mathcal {P}}(A)}\iff (\forall y:y\in x\implies y\in A)

或简写为：

\forall A,\exists \;{{\mathcal {P}}(A)},\forall x:x\in {{\mathcal {P}}(A)}\iff x\subseteq A

换句话说：

给定任何集合A，有着一个集合

{\mathcal {P}}(A)

使得，给定任何集合x，x是

{\mathcal {P}}(A)

的成员，当且仅当x是A的子集。

通过外延公理可知这个集合是唯一的。我们可以称集合 ${\mathcal {P}}(A)$ 是A的幂集。所以这个公理的本质是：

所有集合都有一个幂集。

幂集公理一般被认为是无可争议的，它或它的等价命题出现在所有可替代的集合论的公理化中。

推论

幂集公理允许定义两个集合 $X$ 和 $Y$ 的笛卡儿积：

X\times Y=\{(x,y):x\in X\land y\in Y\}

。

笛卡儿积是个集合因为

X\times Y\subseteq {\mathcal {P}}({\mathcal {P}}(X\cup Y))

。

你可以递归定义集合的任何有限的搜集的笛卡儿积：

X_{1}\times \cdots \times X_{n}=(X_{1}\times \cdots \times X_{n-1})\times X_{n}

。

注意笛卡儿积的存在性在不包含幂集公理的Kripke-Platek集合论（英语：Kripke–Platek set theory）中是可证明的。

Paul Halmos, Naive set theory. Princeton, NJ: D. Van Nostrand Company, 1960. Reprinted by Springer-Verlag, New York, 1974. PlanetMath《Axiom of power set》的内容，版权遵守知识共享协议：署名-相同方式共享协议。