对于递增函数y=f(x),易知对于任意的x1>x2∈f(x),都有f(x1)>f(x2),即y1>y2。根据反函数的定义X=f-1(y),假设其反函数不是递增的,则f-1(y1)≤f-1(y2),即x1≤x2,这与题设的x1>x2是矛盾的。事实上,递增函数还有严不严格之分,这在大学会涉及到。
高中数学教材定义(人民教育出版社,数学必修1,P28)。
一般地,设函数f(x)的定义域为I:
如果对于定义域I内某个区间D上的任意两个自变量的值x1,x2,当x1<x2时,都有f(x1)<f(x2),那么就说函数f(x)在区间D上是增函数(increasing function)。