関数タイプ。機能タイプの研究

関数には、それらを特徴付けるいくつかのプロパティがありますf：A→B。
オーバージェット機能
インジェクター機能
バイジェクター機能
逆関数
オーバージェット機能：関数は、そのイメージセットがカウンタードメインと特に等しい場合にのみ全射です（Im = B）。たとえば、y = x +1で定義される関数f：Z→Zがある場合、Im = Zであるため、全射です。

インジェクター機能：定義域の異なる要素が異なる画像を持っている場合、関数は単射です。たとえば、関数f：A→Bが与えられ、f（x）= 3xとなります。

バイジェクター機能：関数が全単射であり、全射である場合、全単射です。たとえば、関数f：A→B、たとえばf（x）= 5x +4。

x1≠x2はf（x1）≠f（x2）を意味するため、注入していることに注意してください。
Bのすべての要素について、f（x）= yとなるように、Aには少なくとも1つあるため、全射です。
逆関数：バイジェクターの場合、関数は逆になります。 f：A→Bがバイジェクターと見なされる場合、逆f：B→Aを認めます。たとえば、関数y = 3x-5の逆y =（x + 5）/ 3です。