则有B中的任何元素y都可在B中找到其原象x。
必要性:若映射f存在逆映射,则有f^(-1)使得 A中的任何元素x都可在B中找到其象元素y。
即知f是双射。
充分性:若f是双射,则有存在映射g使得 A中的任何元素x都可在B中找到其象元素y。
现在只需证明存在符合条件的g是f的逆映射即可证明充分性。
g(y)=x,又f(x)=y。
可得 f[g(y)]=f(x)=y g[f(x)]=g(y)=x 因此g=f^(-1)。
即证充分性。
内容来自网友回答
证明:n阶行列式等于零的充分必要条件是行列式中存在一行是其余各行的线性组合。各位大神帮帮忙
充分条件与必要条件