全射・単射・全単射
出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2022/03/15 18:57 UTC 版)
右全域性「f: A → B について ran(f) = B」が成り立つとき(つまり値域と終域が一致するとき)、f を A から B への全射という。 左一意性「A の任意の元 a1, a2 に対して、a1 ≠ a2 ならば f(a1) ≠ f(a2)」が成り立つとき、 f を単射という。包含写像は単射である。単射の制限写像も単射である。 A から B への全射 f がさらに単射でもあるとき、f は A から B への全単射であると言われる。定義域を A とする任意の単射 f はあきらかにその値域 f(A) への全単射である。
※この「全射・単射・全単射」の解説は、「写像」の解説の一部です。
「全射・単射・全単射」を含む「写像」の記事については、「写像」の概要を参照ください。
- 全射・単射・全単射のページへのリンク