求助：用可微性判定函数f(x)=(x-m)/(x-n)的单射及满射性

刚好我对这类分式函数的性质分析很熟悉，来帮你一步步拆解这个问题，完全符合你想要的用可微性思路解决单射判断的需求～

1. 判断单射（one-one）还是多射（many-one） #

首先明确函数的定义域：因为分母不能为0，所以$f(x)$的定义域是$\mathbb{R} \setminus {n}$（全体实数去掉$n$这个点）。

接下来用可微性分析单调性，这是判断单射的高效方法：
先把函数变形简化求导过程：
$$f(x) = \frac{x - m}{x - n} = \frac{(x - n) + (n - m)}{x - n} = 1 + \frac{n - m}{x - n}$$
对$x$求导（注意$x \neq n$）：
$$f'(x) = \frac{d}{dx}\left(1 + \frac{n - m}{x - n}\right) = -\frac{n - m}{(x - n)^2} = \frac{m - n}{(x - n)^2}$$

分析导数的符号：

• 分母$(x - n)^2$在定义域内永远是正的（平方数非负，且$x \neq n$，所以严格正）
• 分子$m - n \neq 0$（题目明确$m \neq n$）

因此：

• 若$m > n$，则$f'(x) > 0$，函数在定义域内严格递增
• 若$m < n$，则$f'(x) < 0$，函数在定义域内严格递减

不管是严格递增还是严格递减，单调函数都满足单射的核心定义：对定义域内任意两个不同的自变量$a \neq b$，必有$f(a) \neq f(b)$（严格递增时$a < b$则$f(a) < f(b)$，严格递减时$a < b$则$f(a) > f(b)$，不可能相等）。也就是说，不存在两个不同的$x$对应同一个函数值，所以这个函数是单射（one-one），而非多射（many-one）。

2. 判断满射（onto）还是内射（into） #

满射的定义是：陪域（这里是$\mathbb{R}$）中的每一个元素$y$，都能在定义域中找到对应的$x$使得$f(x) = y$。我们通过解方程$f(x) = y$来验证：

$$\frac{x - m}{x - n} = y$$
两边同乘$x - n$（$x \neq n$）：
$$x - m = y(x - n)$$
展开并整理含$x$的项：
$$x - m = yx - yn$$
$$x - yx = m - yn$$
$$x(1 - y) = m - yn$$

分情况讨论：

• 当$1 - y \neq 0$（即$y \neq 1$）时，解得$x = \frac{m - yn}{1 - y}$。验证一下这个$x$是否在定义域内：假设$\frac{m - yn}{1 - y} = n$，则$m - yn = n(1 - y) → m = n$，与题目中$m \neq n$矛盾，所以这个$x$是合法的，属于定义域。
• 当$1 - y = 0$（即$y = 1$）时，方程左边为$0$，右边为$m - n \neq 0$，等式不成立，也就是说不存在任何$x$使得$f(x) = 1$。

这说明$f(x)$的值域是$\mathbb{R} \setminus {1}$，是陪域$\mathbb{R}$的真子集，因此这个函数是内射（into），而非满射（onto）。

结论 #

你的判断“单射且内射”是完全正确的，上面的推导过程应该能帮你理清每一步的逻辑～

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