1、反函数是对一个定函数做逆运算的函数。若确定函数y=f(x)的映射f是函数的定义域到值域上的“一一映射”，那么由f的“逆”映射f-1所确定的函数y=f-1(x)就叫做函数y=f(x)的反函数. 反函数y=f-1(x)的定义域、值域分别对应原函数y=f(x)的值域、定义域.。
2、反函数x=f^(-1)(y)的定义域、值域分别是函数y=f(x)的值域、定义域。 如果我们总是以自变量的值作横坐标，以函数值（因变量的值）作为纵坐标，而不论自变量和函数（因变量）用什么字母（或符号）来表示，那么函数 y=f(x) 与其反函数 x=arcf(y) 的图像关于直线 y=x 对称。
3、反函数与原函数的复合函数等于x。反函数定理还可以推广到巴拿赫空间之间的可微映射。设X和Y为巴拿赫空间，U是X内的原点的一个开邻域。设F : U → Y连续可微，并假设F在点0的导数(dF)0 : X → Y是从X到Y的有界线性同构。