请求验证单射推双射定理证明的有效性
Hey there! 你的证明思路完全正确，这正是经典的Schroeder-Bernstein定理的构造性证明框架，但细节上有几处可以修正得更严谨清晰：
定理
如果 $f:A\rightarrow B$ 和 $g:B\rightarrow A$ 都是单射，则存在双射 $h:A\rightarrow B$。
你的证明思路（优化表述版）
已知 $f:A\rightarrow B$ 和 $g:B\rightarrow A$ 是单射。假设 $B\setminus \text{ran}(f) \neq \emptyset$（即 $f$ 不是满射），对任意 $b\notin \text{ran}(f)$，定义由 $b$ 生成的互不相同元素序列：
$$a_{1} =g(b)$$
$$a_{n+1} =g( f( a_{n}))$$
序列元素互不相同的证明
取序列中任意两个元素 $a_i$ 和 $a_j$（$i<j$），若 $a_i=a_j$，由于 $f$ 和 $g$ 都是单射，我们可以反复应用 $g^{-1}$（因 $g$ 单射，逆映射在其像集上有定义）和 $f^{-1}$（同理），最终得到 $b = g(f(a_{j-i}))$，但这意味着 $b\in \text{ran}(f)$，与 $b\notin \text{ran}(f)$ 的假设矛盾。因此序列中所有元素互不相同。
双射 $h$ 的定义
每个 $a\in A$ 要么属于恰好一个上述序列，要么不属于任何序列。定义映射 $h:A\rightarrow B$：
$$
h(a) =
\begin{cases}
g^{-1}(a) & \text{若 } a \text{ 属于某个上述序列} \
f(a) & \text{否则}
\end{cases}
$$
证明 $h$ 是单射
我们只需排除“$h(a_1)=h(a_2)$ 且 $h(a_1)=g^{-1}(a_1)$、$h(a_2)=f(a_2)$”的情况：
设 $g^{-1}(a_1)=b_1$，因为 $a_1$ 在序列中，分两种情况：
- 情况1：$b_1\notin \text{ran}(f)$
显然 $b_1 = g^{-1}(a_1) \neq f(a_2)$（因为 $b_1$ 不在 $f$ 的像集里）。 - 情况2：$b_1\in \text{ran}(f)$
令 $a'_1 = f^{-1}(b_1)$，由于 $a_1$ 在序列中，$a'_1$ 必然也在同一个序列中（因为 $a_1 = g(f(a'_1))$），而 $a_2$ 不在任何序列中，因此 $a'_1\neq a_2$。又因为 $f$ 是单射，所以 $f(a'_1)\neq f(a_2)$，即 $b_1 = g^{-1}(a_1) \neq f(a_2)$。
证明 $h$ 是满射
任取 $b\in B$，令 $a=g(b)$：
- 若 $a$ 属于某个序列，则 $h(a)=g^{-1}(a)=b$；
- 若 $a$ 不属于任何序列，则 $b$ 必然属于 $\text{ran}(f)$（否则 $a=g(b)$ 会是某个序列的首项，与 $a$ 不在序列中矛盾），令 $a'=f^{-1}(b)$，则 $a'$ 也不属于任何序列（否则 $a=g(f(a'))$ 会在序列中），因此 $h(a')=f(a')=b$。
几个可以完善的细节
- 序列定义的完整性：你提到了“由 $b\notin \text{ran}(f)$ 生成的序列”，其实可以更明确：这些序列是“从 $B\setminus \text{ran}(f)$ 出发，交替用 $g$ 和 $f\circ g$ 生成的正向链”，这样能让读者更清晰理解序列的来源。
- $g^{-1}$ 的合法性说明：在定义 $h(a)=g^{-1}(a)$ 时，要明确因为 $g$ 是单射，所以对于任何 $a\in \text{ran}(g)$，$g^{-1}(a)$ 是唯一确定的；而序列中的元素都属于 $\text{ran}(g)$（首项是 $g(b)$，后续项是 $g(f(a_n))$），所以这个定义是合法的。
- 满射证明的逻辑补全：当 $a=g(b)$ 不在序列中时，补充“若 $b\notin \text{ran}(f)$，则 $a=g(b)$ 就是以 $b$ 为首项的序列的第一个元素，与 $a$ 不在序列中矛盾”，这一步能让逻辑更闭环。
总的来说，你的证明核心逻辑没问题，只是一些细节上的严谨性可以加强，整体是有效的！
备注：内容来源于stack exchange，提问作者curiousCprogrammer1231
