単射
出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2024/02/28 20:50 UTC 版)
この記事は検証可能な参考文献や出典が全く示されていないか、不十分です。(2015年9月) |
数学において、単射(たんしゃ、英: injection, injective mapping)とは、相異なる元の値が相異なる写像のことをいう。一対一写像(いったいいちしゃぞう、英: one-to-one mapping)ということもある(紛らわしいが、これは全単射を意味する一対一対応とは異なる)。
定義
集合 A を定義域、集合 B を終域とする写像 f: A → B が条件
全射であり単射でない写像 f: A → B の例。 例
正の実数 x に対して、その自乗 x2 を対応させる写像 f: R+ → R は単射である。ただし、正の実数全体のなす集合を R+ と表した。実際、x, y > 0 で x2 = y2 ならば、x = y となる。
ところがひとたびこれの定義域を実数の全体 R に拡張すると、これは単射でなくなる。実際、x, y ∈ R で x2 = y2 ならば、y = ±x となるから、x2 はちょうど二つの元 ±x の値となっている(ただし 0 は 0 だけの値である)。
幾何学的な例としては、曲線 γ: I → R2 が単射であるとき、これは単純曲線と呼ばれる。一方でデカルトの葉線などのように自己交叉する曲線は単純でない。
集合 A とその部分集合 B が与えられるとき、B の元 b (これはもちろん A の元でもあるので)を A の元としての b 自身に対応させることで、B を A に包含させる写像、包含写像(ほうがんしゃぞう、inclusion)
- を可換にする写像 g : B → Q が存在することである。もし A ⊆ B で h : A → B が包含写像ならば、これは A 上の写像が常に B 上の写像に拡張できることを意味する。
- X, Y を集合、f: X → Y を写像とするとき、次は同値である:
- (1)
単射
- >> 「単射」を含む用語の索引
- 単射のページへのリンク