求证陶哲轩《分析》与耶赫《集合论》中替换公理两个版本的等价性

没问题，我来帮你理清楚这两个替换公理版本为什么是等价的～ 先把两个版本的公理明确写出来：

陶哲轩版（Tao's Version）：
$$
\forall A\left(\forall u\forall v\forall w\left(u\in A\wedge\varphi(u,v)\wedge\varphi(u,w)\rightarrow v=w\right)\rightarrow\exists B\forall x\left(x\in B\leftrightarrow\exists y\left(y\in A\wedge\varphi(y,x)\right)\right)\right)
$$
简单说就是：如果集合A中的每个元素u，通过公式φ都能对应唯一的v，那存在集合B恰好包含所有这些v。

耶赫版（Jech's Version）：
$$
\forall u\forall v\forall w\left(\varphi(u,v)\wedge\varphi(u,w)\rightarrow v=w\right)\rightarrow\forall A\exists B\forall x\left(x\in B\leftrightarrow\exists y\left(y\in A\wedge\varphi(y,x)\right)\right)
$$
简单说就是：如果公式φ对论域中所有元素u都能对应唯一的v（φ是全域函数关系），那对任意集合A，都存在集合B恰好包含A中元素通过φ映射得到的所有v。

接下来分两个方向证明等价性：

1. 耶赫版 ⇒ 陶哲轩版 #

假设耶赫版的替换公理成立。现在我们要验证陶哲轩版的结论：

给定任意集合A，并且已知“对所有u∈A，φ(u,-)是单值的”（也就是陶哲轩版的前提）。这时候φ可能只在A上是函数性的，对A外的元素不一定满足单值性。那我们构造一个新的公式ψ(u,v)：
$$
\psi(u,v) = (u\in A \land \varphi(u,v)) \lor (u\notin A \land v=u)
$$
这个ψ是全域函数性的：

• 如果u∈A，根据前提φ(u,v)是单值的，所以ψ(u,v)也单值；
• 如果u∉A，ψ(u,v)要求v=u，显然唯一。

现在对这个ψ应用耶赫版公理：因为ψ是全域函数关系，所以对任意集合A，存在集合B满足：
$$
x\in B \leftrightarrow \exists y\in A \ \psi(y,x)
$$
而当y∈A时，ψ(y,x)就是φ(y,x)，所以这个B正好满足陶哲轩版要求的“x∈B ↔ ∃y∈A φ(y,x)”。陶哲轩版得证。

2. 陶哲轩版 ⇒ 耶赫版 #

假设陶哲轩版的替换公理成立。现在验证耶赫版的结论：

耶赫版的前提是“φ是全域函数性的”，也就是对所有u（不管是不是在某个集合里），φ(u,v)都单值。那对于任意给定的集合A，显然“对所有u∈A，φ(u,-)是单值的”这个条件自动满足（因为全域的单值性包含了A中元素的情况）。

直接对这个A应用陶哲轩版公理：因为前提满足，所以存在集合B使得：
$$
x\in B \leftrightarrow \exists y\in A \ \varphi(y,x)
$$
这正好就是耶赫版要的结论。耶赫版得证。

这样两个方向都证明了，所以两个版本的替换公理是等价的～

备注：内容来源于stack exchange，提问作者nyyds