定义域上的单调,单值函数一定有反函数,且其反函数也一定单调,单值
f(x)=x
在定义域上的非单调函数不是一定没有反函数
但是不是初等函数
可以是分段的构造函数