単射

数学において、単射あるいは単写（たんしゃ、）とは、その値域に属する元はすべてその定義域の元の像として唯一通りに表されるような写像のことをいう。
定義.
集合 "A" を定義域、集合 "B" を値域とする写像 "f": "A" → "B" が条件
を満たすとき、 "f" を単射 () とよぶ。あるいは "f" は（写像として）単射である () という。対偶をとれば、"f" が単射である条件は
とも表せる。与えられた写像が単射であることを示したり，単射かどうかを議論するときは後者の表現の方が使いやすい．
前者の表現は「違うものは違うところへ写る」，後者の表現は「同じところにくるものは最初から同じ」を意味しており，言っていることはどちらも同じである。
例.
正の実数 "x" に対して、その自乗 "x"2 を対応させる写像 "f": R+ → R は単射である。ただし、正の実数全体のなす集合を R+ と表した。実際、"x", "y" > 0 で "x"2 = "y"2 ならば、"x" = "y" となる。
ところがひとたびこれの定義域を実数の全体 R に拡張すると、これは単射でなくなる。実際、"x", "y" ∈ R で "x"2 = "y"2 ならば、"y" = ±"x" となるから、像 "x"2 はちょうど二つの元 ±"x" の像となっている（ただし 0 は 0 だけの像である）。
集合 "A" とその部分集合 "B" が与えられるとき、"B" の元 "b" （これはもちろん "A" の元でもあるので）を "A" の元としての "b" 自身に対応させることで、"B" を "A" に包含させる写像、包含写像（ほうがんしゃぞう、inclusion）
が定まる。これは単射を与え、標準単射あるいは自然な単射 (canonical injection) とも呼ばれる。
集合 "X" からその冪集合 formula_4 への写像を formula_5 と定義すると，この写像は単射となる．この写像は任意の集合の濃度はその冪集合の濃度を超えないことを証明するときに現れる．
埋め込み.
代数系つまり代数的構造をもつ二つの集合 "A", "B" の間の準同型 "f" の像 "f"("A") は "B" の部分系となる。もし、"f": "A" → "B" が単射ならば、終域の制限によって得られる写像 "f": "A" → "f"("A") は全単射となるから、その逆写像が定まる。これがやはり準同型であるなら、これは "A" が "B" の部分系と同型となることを意味する。この同型を同一視することによって "A" がもともと "B" の部分系であるかのように扱うとき、埋め込み (embedding) と呼ぶ。群・環などの準同型は全単射ならば同型であるから、単射準同型を与えることと埋め込みを考えることとは等価である。もっと一般の数学的構造とそれらの間の準同型・射を考えるときには逆写像の準同型性を気にする必要がある。例えば位相空間の間の全単射連続写像は同相写像とは限らない（逆写像が連続とは限らない）。
"A" から "B" への埋め込みは一般には一つに定まるとは限らない。例えば、"A" がはじめから "B" の部分系であるとき、包含写像はひとつの埋め込みを与えるが、それ以外の写像によって "A" が "B" に埋め込まれることもある。