如何证明构造的分段函数为双射以论证自然数集与集合S的等势性

阿华AIGC实验室

2026-4-21

嘿，你构造的这个分段函数其实挺靠谱的！接下来咱们一步步拆解单射和满射的证明，帮你把卡住的地方理顺～

一、证明函数是单射（Injection）

要证单射，就是要证明：如果 ( f(x_1) = f(x_2) )，那么必然有 ( x_1 = x_2 )。咱们分三种情况讨论：

当 ( x_1 ) 和 ( x_2 ) 都是奇数时
根据函数定义，( f(x_1) = \sqrt{\frac{x_1+1}{2}} )，( f(x_2) = \sqrt{\frac{x_2+1}{2}} )。
因为 ( f(x_1) = f(x_2) )，两边同时平方（根号结果非负，平方后等式依然成立），得到：
[
\frac{x_1+1}{2} = \frac{x_2+1}{2}
]
两边同乘2再减1，直接得出 ( x_1 = x_2 )。
当 ( x_1 ) 和 ( x_2 ) 都是偶数时
同样根据定义，( f(x_1) = -\sqrt{\frac{x_1}{2}} )，( f(x_2) = -\sqrt{\frac{x_2}{2}} )。
等式两边相等时，先去掉负号（两边同乘-1），再平方，得到：
[
\frac{x_1}{2} = \frac{x_2}{2}
]
两边同乘2，直接得出 ( x_1 = x_2 )。
当 ( x_1 ) 和 ( x_2 ) 奇偶性不同时
假设 ( x_1 ) 是奇数，( x_2 ) 是偶数：那么 ( f(x_1) = \sqrt{\frac{x_1+1}{2}} ) 是正数（因为 ( x_1 \in \mathbb{N} )，奇数 ( x_1 \geq 1 )，( \frac{x_1+1}{2} \geq 1 )，根号结果为正）；而 ( f(x_2) = -\sqrt{\frac{x_2}{2}} ) 是负数（根号结果非负，加负号后为负）。正数不可能等于负数，所以这种情况下 ( f(x_1) = f(x_2) ) 根本不可能发生。
同理，若 ( x_1 ) 偶、( x_2 ) 奇，结果也是一样的，正负不同，等式不成立。

综上，所有可能的情况都验证完毕，函数 ( f ) 是单射。

要证满射，就是要证明：对于任意 ( y \in S )，都能找到至少一个 ( x \in \mathbb{N} )，使得 ( f(x) = y )。

根据集合 ( S ) 的定义，( y \in S ) 意味着 ( y^2 \in \mathbb{N} )，所以 ( y ) 只有三种可能：正的平方根、负的平方根，或者0（因为 ( 0^2 = 0 \in \mathbb{N} )，所以0属于S）。咱们分情况找对应的 ( x )：

当 ( y > 0 ) 时
( y = \sqrt{n} )，其中 ( n \in \mathbb{N} )。咱们需要找一个奇数 ( x )，使得 ( \sqrt{\frac{x+1}{2}} = \sqrt{n} )。
两边平方后解得：( \frac{x+1}{2} = n )，即 ( x = 2n - 1 )。
因为 ( n \in \mathbb{N} )，所以 ( 2n-1 ) 是自然数（若 ( \mathbb{N} ) 从1开始，n≥1时x≥1；若 ( \mathbb{N} ) 包含0，n=0对应y=0，我们单独处理）。代入函数验证：
[
f(2n-1) = \sqrt{\frac{(2n-1)+1}{2}} = \sqrt{\frac{2n}{2}} = \sqrt{n} = y
]
完美匹配。
当 ( y < 0 ) 时
( y = -\sqrt{n} )，其中 ( n \in \mathbb{N} )。找一个偶数 ( x )，使得 ( -\sqrt{\frac{x}{2}} = -\sqrt{n} )。
两边去掉负号再平方，解得 ( \frac{x}{2} = n )，即 ( x = 2n )。
( 2n ) 显然是自然数（n≥1时x≥2），代入验证：
[
f(2n) = -\sqrt{\frac{2n}{2}} = -\sqrt{n} = y
]
完全符合。
当 ( y = 0 ) 时
若你的自然数集 ( \mathbb{N} ) 包含0，那么取x=0（偶数），代入函数得：
[
f(0) = -\sqrt{\frac{0}{2}} = -\sqrt{0} = 0 = y
]
也能覆盖到这个情况。如果你的 ( \mathbb{N} ) 从1开始，那0是否属于S？其实 ( 0^2=0 \in \mathbb{N} )，所以0属于S，这时候可以调整函数，比如让x=1对应0？不过你原来的函数如果是基于 ( \mathbb{N} ) 从1开始，可能需要补充，但通常现在很多定义里 ( \mathbb{N} ) 包含0，所以这个情况也能覆盖。