西安电子科技大学$4.2.4逆函数的性质软件学院家『定理』设双射函数f:X→Y，f有逆函数f-1：Y-→X，则有(a) (f-1)-1 =f;(b) f-1of=Ix;(c) fof-1=lyoXf西安电子科技大学 §4.2.4 逆函数的性质 软件学院 『定理』设双射函数f: X →Y，f有逆函数f-1: Y→X，则有 （a）(f-1)-1 =f； （b）f-1◦f=IX； （c）f◦f-1=IY。 f x f(x)