证明/证伪定义域x>-1的函数F(x)=x²+x是否为单射(Injective)

你的推导不存在逻辑错误 #

单射的核心定义是：若对定义域内任意两个不同的自变量$x_1 \neq x_2$，都满足$F(x_1) \neq F(x_2)$，则函数为单射。这是一个全称命题，从数理逻辑规则来看，证伪全称命题只需要找到至少一个符合条件的反例即可，不需要覆盖所有取值场景。
你选取的$x_1=-4/5$、$x_2=-1/5$均满足定义域$x \in R, x>-1$的要求，计算过程如下：

F(-4/5) = (-4/5)² + (-4/5) = 16/25 - 20/25 = -4/25
F(-1/5) = (-1/5)² + (-1/5) = 1/25 - 5/25 = -4/25

两个不同自变量对应相同函数值，完全符合非单射的判定标准，推导过程和结论都是正确的。

教授回复的两处偏差 #

• 混淆了证明和证伪的逻辑要求：如果是要正向证明一个函数是单射，确实需要对所有$x_1,x_2$推导$F(x_1)=F(x_2) \implies x_1=x_2$，不能用特定案例；但你做的是证伪“该函数是单射”这个命题，反例是完全合法的证明手段。
• 对函数单调性的判断错误：$F(x)=x²+x$是开口向上的二次函数，对称轴为$x=-1/2$，刚好落在给定定义域$x>-1$范围内，函数在$(-1,-1/2)$区间单调递减，在$(-1/2,+\infty)$区间单调递增，对称轴两侧必然存在成对的x对应相同y值，因此该函数在给定定义域上确实不是单射。

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