严格增很容易证： 任意 0<=x_1<x_2, x_1^r-x_2^r=(x_1-x_2) (x_1^{r-1}+...+x_2^{r-1})<=0，而由于 x_2 是严格大于 0 的，所以上面的不等式必然是严格小于 0 的。满射也很简单，对任意的 y_0 属于 [0,+无穷)，x_0={y_0 开 r 次方} 也属于 [0,+无穷)...
词条 严格满射 专业释义 <数学>strict epimorphism 词条提问
这样ff(x)=-x，是严格单调递减的满射。但是f(x)在每个不是整数的点都是可导的。
否则反函数会有一部分定义域无意义/定义域缩小。（不过对于占大多数的、陪域并不单独给出的、只默认给了值域的函数，可以无视）
你先给出“严格画出图像”的严格定义。
你先给出“严格画出图像”的严格定义。