反函数和原函数关系( 二 ) _反函数与原函数有啥关系？

函数（function）的定义通常分为传统定义和近代定义，函数的两个定义本质是相同的，只是叙述概念的出发点不同，传统定义是从运动变化的观点出发，而近代定义是从集合、映射的观点出发。
函数的近代定义是给定一个数集A，假设其中的元素为x，对A中的元素x施加对应法则f，记作f（x），得到另一数集B，假设B中的元素为y，则y与x之间的等量关系可以用y=f（x）表示，函数概念含有三个要素：定义域A、值域B和对应法则f 。其中核心是对应法则f，它是函数关系的本质特征。
反函数存在定理：
定理：严格单调函数必定有严格单调的反函数，并且二者单调性相同。
在证明这个定理之前先介绍函数的严格单调性。
设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 。
而由于f的严格单增性，对D中任一x'<x，都有y'<y；任一x''>x，都有y''>y 。总之能使f(x)=y的x只有一个，根据反函数的定义，f存在反函数f-1 。
任取f(D)中的两点y1和y2，设y1<y2 。而因为f存在反函数f-1，所以有x1=f-1(y1)，x2=f-1(y2)，且x1、x2∈D 。
若此时x1≥x2，根据f的严格单增性，有y1≥y2，这和我们假设的y1<y2矛盾。
因此x1<x2，即当y1<y2时，有f-1(y1)<f-1(y2) 。这就证明了反函数f-1也是严格单增的。
如果f在D上严格单减，证明类似。
反函数与原函数的关系反函数与原函数是什么关系1、原函数值域就是反函数定义域，而原函数定义域则是反函数值域，它们在各自的定义域上单调性也一样。
2、对于函数而言，它的反函数本也是一个函数，根据反函数的定义，可以得出原函数是其反函数的反函数，所以对于函数而言，原函数和反函数互相称为反函数。