令y=f(x) 则x=g(y)
为了看起来更方便我们这样写:f(g(y))
f(g(y))=f(x)=y
所以:f(g(x))=x
反函数存在定理
定理:严格单调函数必定有严格单调的反函数,并且二者单调性相同。
在证明这个定理之前先介绍函数的严格单调性。
设y=f(x)的定义域为D,值域为f(D)。如果对D中任意两点x1和x2,当x1<x2时,有y1<y2,则称y=f(x)在D上严格单调递增;当x1<x2时,有y1>y2,则称y=f(x)在D上严格单调递减。
证明:设f在D上严格单增,对任一y∈f(D),有x∈D使f(x)=y。