西安电子科技大学$4.2.4逆函数的性质软件学院『定理』若f:X→Y,g:Y→Z均为双射函数,则有(gof)-1 =f-1og-1证明:(i)因为f:X→Y和g:Y-→Z为双射函数,所以f-1:Y-→X,g-l:Z→Y也是双射函数,因此f-1og1是从Z到X的双射函数。因为gf是从X到Z双射的,所以(gof)-1是从Z到X的双射西安电子科技大学 §4.2.4 逆函数的性质 软件学院 『定理』若f: X→Y,g: Y →Z均为双射函数,则有 (g◦f)-1 =f-1◦g-1 证明:(i)因为f: X→Y和g: Y→Z为双射函数,所以f-1: Y→X,g-1: Z→Y也是双射函数,因此f-1◦g-1是从Z到X的双射 函数。 因为g◦f是从X 到Z双射的,所以(g◦f)-1是从Z到X的双射