判断映射f(z)=sin z-z的值域是否为ℂ及推理正确性问询

你的结论是对的——这个映射的像确实是整个$\mathbb{C}$，但你的推理过程存在一点漏洞，我们来仔细拆解一下：

• 首先，你说$f(z)$是非常数整函数，这部分没问题：$\sin z$和$z$都是整函数，它们的差自然也是整函数；而且$f'(z)=\cos z - 1$，这个导数不会恒为0（比如$z=\pi/2$时$f'(z)=-1$），所以$f(z)$不是常数，符合皮卡小定理的应用前提。
• 但皮卡小定理的表述是非常数整函数最多只能不取复平面上的一个点，它并没有保证整函数一定能取到所有点。也就是说，理论上存在非常数整函数恰好遗漏一个点的情况（比如$f(z)=e^z$，它永远取不到0）。所以你不能直接用皮卡定理跳过验证步骤，直接得出像为$\mathbb{C}$的结论。

那我们怎么证明$f(z)=\sin z - z$确实是满射呢？可以从方程$\sin z - z = w$（$w\in\mathbb{C}$任意）的解的存在性入手：

把$z=x+iy$（$x,y\in\mathbb{R}$）和$w=a+ib$（$a,b\in\mathbb{R}$）代入方程，拆分实部和虚部得到：

1. $\sin x \cosh y = x + a$
2. $\cos x \sinh y = y + b$

我们可以分析这两个方程的解：

• 当$y$的绝对值足够大时，$\cosh y$和$\sinh y$都会指数增长，远快于线性项$x+a$和$y+b$。通过调整$x$接近$k\pi$（$k\in\mathbb{Z}$），可以让$\sin x$或$\cos x$取到接近0或$\pm1$的值，从而匹配方程两边的量级。
• 结合连续函数的介值定理，对于任意给定的$a,b$，总能找到对应的$x,y$满足上述两个方程，也就是说方程$\sin z - z = w$总有解。

所以最终结论是：命题成立，映射的像为$\mathbb{C}$，但你的推理需要补充验证$f(z)$没有遗漏任何点的步骤，不能仅靠皮卡定理直接推导。

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