全単射
全単射(ぜんたんしゃ、bijective、bijection)
Aの元からからBの元に写る場合に、すべて1対1対応するのならば全単射であるといえる
圏$ \mathbf{Set} での同型射は全単射 1対1に対応する(one-to-one)
集合Aから集合Bへの全単射写像があるとき、集合Aと集合Bは1対1に対応するという。
例1:
$ A = \{1, 2, 3\}, B = \{4, 5, 6\}
$ f : A \to B が
1→4、2→5、3→6ならば、
全単射な写像
関連
確認用
Q. 全単射
参考
調査用
/pogi-log/Wikipedia.icon
/pogi-log/Wikipedia.icon