単射

提供: miniwiki
移動先:案内検索

数学において、単射あるいは単写(たんしゃ、: injective function, injection)とは、その値域に属する元はすべてその定義域の元の像として唯一通りに表されるような写像のことをいう。一対一(いったいいち、one-to-one, 1-1)の写像ともいう。似ているが一対一対応全単射の意味で使われるので注意が必要である。

ファイル:Gen injection not surjection.svg
単射であり全射でない写像 f: AB の例。
ファイル:Gen bijection.svg
全単射 f: AB の例。

定義

集合 A を定義域、集合 B を値域とする写像 f: AB が条件

[math](\forall a_1, a_2 \in A)\;\big[a_1 \neq a_2 \ \Longrightarrow \ f(a_1) \neq f(a_2)\big][/math]

を満たすとき、 f単射 (injection) とよぶ[1]。あるいは f は(写像として)単射である (injective) という。対偶をとれば、f が単射である条件は

[math](\forall a_1, a_2 \in A)\;\big[f(a_1)=f(a_2) \ \Longrightarrow \ a_1=a_2\big][/math]

とも表せる。与えられた写像が単射であることを示したり,単射かどうかを議論するときは後者の表現の方が使いやすい.

 前者の表現は「違うものは違うところへ写る」,後者の表現は「同じところにくるものは最初から同じ」を意味しており,言っていることはどちらも同じである.

ファイル:Gen surjection not injection.svg
全射であり単射でない写像 f: AB の例。

正の実数 x に対して、その自乗 x2 を対応させる写像 f: R+R は単射である。ただし、正の実数全体のなす集合を R+ と表した。実際、x, y > 0 で x2 = y2 ならば、x = y となる。

ファイル:Gen not surjection not injection.svg
全射でも単射でもない写像 f: AB の例。

ところがひとたびこれの定義域を実数の全体 R に拡張すると、これは単射でなくなる。実際、x, yRx2 = y2 ならば、y = ±x となるから、像 x2 はちょうど二つの元 ±x の像となっている(ただし 0 は 0 だけの像である)。

集合 A とその部分集合 B が与えられるとき、B の元 b (これはもちろん A の元でもあるので)を A の元としての b 自身に対応させることで、BA に包含させる写像、包含写像(ほうがんしゃぞう、inclusion

[math]B \hookrightarrow A;\ b \mapsto b[/math]

が定まる。これは単射を与え、標準単射あるいは自然な単射 (canonical injection) とも呼ばれる[1]

集合 X からその冪集合 [math]\mathcal{P}(X)[/math] への写像を [math]x \mapsto \{x\}[/math] と定義すると,この写像は単射となる.この写像は任意の集合の濃度はその冪集合の濃度を超えないことを証明するときに現れる.

埋め込み

代数系つまり代数的構造をもつ二つの集合 A, B の間の準同型 f の像 f(A) は B の部分系となる。もし、f: AB が単射ならば、終域の制限によって得られる写像 f: Af(A) は全単射となるから、その逆写像が定まる。これがやはり準同型であるなら、これは AB の部分系と同型となることを意味する。この同型を同一視することによって A がもともと B の部分系であるかのように扱うとき、埋め込み (embedding) と呼ぶ。などの準同型は全単射ならば同型であるから、単射準同型を与えることと埋め込みを考えることとは等価である。もっと一般の数学的構造とそれらの間の準同型・を考えるときには逆写像の準同型性を気にする必要がある。例えば位相空間の間の全単射連続写像は同相写像とは限らない(逆写像が連続とは限らない)。

A から B への埋め込みは一般には一つに定まるとは限らない。例えば、A がはじめから B の部分系であるとき、包含写像はひとつの埋め込みを与えるが、それ以外の写像によって AB に埋め込まれることもある。

性質

ファイル:Injective composition.svg
合成写像が単射ならば、先の写像は単射であるが、後の写像は単射とは限らない。

  • 単射の制限は単射である。単射の拡張は単射であるとは限らない。
  • 二つの単射の合成は単射である[2]
  • 二つの写像の合成 [math]f \circ g[/math] が単射であれば、g は単射である(右図参照)[2]
  • 写像 f : AB に対し [math] r \circ f = \operatorname{id}_A [/math] を満たす写像 r : BA (引き込み、レトラクション)が存在するならば f は単射である[1]
  • 写像 f が単射であることは次の普遍性
[math]f \circ g = f \circ h[/math] を満たす任意の射 g, h: ZX に対し、g = h である
によって特徴付けられる。圏論においてはこの普遍性によって単射 (monomorphism) を定義する。
  • X, Y を集合、f: XY を写像とするとき、次は同値である:
(1) [math]f[/math] は単射である。
(2) X の任意の部分集合 A に対し、[math]f^{-1}[f[A]]=A[/math] が成り立つ。
ここで [math]f[\bullet],\ f^{-1}[\bullet][/math] はそれぞれ, 逆像である.

脚注

参考文献

関連項目