关于从满射构造单射过程中选择公理隐性使用的疑问

这是个特别好的问题——很多人第一次碰到这个点时都会犯懵，毕竟表面上看每一步都只是“拿个元素出来用”，完全没提选择公理。咱们一步步拆解你的证明，看看AC到底藏在哪里：

首先得明确选择公理的核心：当你有一族非空集合时，你能同时从每个集合里挑出一个元素，组成一个新的集合（或者说，存在一个“选择函数”帮你完成这件事）。单个集合里挑元素完全没问题，但一族集合同时挑，这才是AC的作用场景。

现在拆解你的证明步骤：

• 你说“对每个x∈B，存在y∈A使得f(y)=x”——这完全合理，因为f是满射，每个x的原像集$f^{-1}({x})$都是非空的。单独拿某一个x出来，你总能找到对应的y（这只是存在性的实例化，不需要AC）。
• 但接下来你说“对每个x都存在这样的$g_x$，然后把所有$g_x$相交得到单射”——这里就出问题了：你需要为所有x∈B都选定一个对应的y，才能定义出每一个$g_x$，然后把这些$g_x$全部收集起来做交集。而“为每个x的原像集里选一个y”，本质上就是在为族${f^{-1}({x}) | x∈B}$构造一个选择函数——这正是选择公理要保证的事情！

举个更直观的例子：假设B是所有实数的集合，A是某个满射到实数集的集合，且每个实数对应的原像都是无限个“无差别的”元素（没有任何可定义的方式能选出其中一个）。这时候，你没法写出一个具体的规则来为每个实数挑出对应的原像元素，只能依赖选择公理来保证这样的选择函数存在。

再回头看你证明里的逻辑漏洞：如果不用AC，你没法证明“存在这样一族${g_x}$的集合”——因为每个$g_x$都依赖于你对x的y的选择，而你需要同时完成所有x的选择才能得到这一族集合。没有AC的话，你只能说“对任意单个x，存在对应的$g_x$”，但没法把所有这些$g_x$放在一起形成一个集合来做交集，自然也就没法得到那个最终的单射g。

最后再提炼一下：单个元素的选择是存在性的体现，不需要AC；但同时为无限多个（甚至只是任意多个）非空集合各选一个元素，这就必须用到选择公理了。你的证明里隐含了“能同时为所有x选定y”这个前提，而这个前提只有AC才能保证。

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