『単射』より : 数学において、単射あるいは単写(たんしゃ、injective function, injection)とは、写像であって、その値域に属する元はいずれもその定義域のただ一つの元の像として表されるようなもののことをいう。一対一(いったいいち、one-to-one, 1-1)の写像ともいう。
: 一対一対応を全単射の意味で使うこともあるので、用語として「一対一」を用いるときは注意が必要である。
集合 ”A” 上で定義され、集合 ”B” を終域とする写像 ”f”: ”A” → ”B” が次の条件
”a”1 ≠ ”a”2 を満たすどんな ”A” の元の組 (”a”1, ”a”2) に対しても必ず ”f”(”a”1) ≠ ”f”(”a”2) が成り立つ。
を満たすとき、 ”f” を単射 (injection) とよぶ。あるいは ”f” は(写像として)単射である (injective) という。対偶をとれば、”f” が単射である条件は
1対1とはの続きを読む