求从ℵ₁到ℝ的保序映射不存在的初等证明

嘿，这个问题确实容易卡壳——毕竟“不必满射”的条件看起来好像给了更多操作空间，但其实实数的内在结构刚好卡死了这种可能性。我给你一个相对初等的证明，不用复杂的集合论黑科技，主要用到微积分里就学过的实数性质，还有一点可数性的小技巧：

先明确核心定义 #

• ℵ₁是最小的不可数序数，也就是所有可数序数构成的集合，自带序数的“小于”关系（α<β当且仅当α是β的真前段）。
• 保序映射 ( f: \aleph_1 \to \mathbb{R} ) 意味着：只要序数α<β，就有 ( f(\alpha) < f(\beta) )。

证明步骤 #

1. 构造上确界序列
   对每个可数序数α，考虑集合 ( S_\alpha = { f(\gamma) \mid \gamma < \alpha } )。因为α是可数的，所以( S_\alpha )是ℝ的可数严格递增子集（保序性保证严格递增）。根据实数的完备性（上确界性质），( S_\alpha )在ℝ中存在上确界，记为 ( x_\alpha = \sup(S_\alpha) )。

2. 上确界序列也是严格递增的
   如果α<β，那么( S_\alpha )是( S_\beta )的真子集，而且( f(\alpha) \in S_\beta )。由保序性，( f(\alpha) > f(\gamma) )对所有γ<α成立，所以( x_\alpha < f(\alpha) )（如果( x_\alpha = f(\alpha) )，说明( S_\alpha )有最大值，这和严格递增矛盾）。同时，( f(\alpha) < f(\beta) )，而( x_\beta )是( S_\beta )的上确界，所以( x_\alpha < f(\alpha) < x_\beta )。这就推出：对任意α<β，都有( x_\alpha < x_\beta )。

3. 利用有理数的可数性制造矛盾
   因为有理数在ℝ中稠密，每个开区间( (x_\alpha, x_{\alpha+1}) )里都能找到至少一个有理数( q_\alpha )。现在看映射 ( \alpha \mapsto q_\alpha )：

   • 这是一个从ℵ₁到ℚ的映射；
   • 它是单射：如果α≠β，假设α<β，那么( x_{\alpha+1} \leq x_\beta )，所以( q_\alpha < x_{\alpha+1} \leq x_\beta < q_\beta )，显然( q_\alpha \neq q_\beta )。

   但ℚ是可数集合啊！我们居然找到了一个从不可数集合ℵ₁到可数集合ℚ的单射——这是不可能的，因为不可数集合的元素数量远多于可数集合，根本没法一一对应到可数集合的子集里。

结论 #

这个矛盾说明我们一开始的假设“存在保序映射( f: \aleph_1 \to \mathbb{R} )”是错误的，因此不存在这样的映射。

内容的提问来源于stack exchange，提问作者CuriousKid7