単射のソースを表示
←
単射
移動先:
案内
、
検索
あなたには「このページの編集」を行う権限がありません。理由は以下の通りです:
要求した操作を行うことは許可されていません。
このページのソースの閲覧やコピーができます。
[[数学]]において、'''単射'''あるいは'''単写'''(たんしゃ、<em lang=en>injective function, injection</em>)とは、[[写像]]であって、その値域に属する元はいずれもその定義域のただ一つの元の像として表されるようなもののことをいう。'''一対一'''(いったいいち、<span>one-to-one, 1-1</span>)の写像ともいう。似ているが'''一対一対応'''は[[全単射]]の意味で使われるので注意が必要である。 [[Image:Funcao venn.png|thumb|right|単射であり全射でない。]] [[Image:Bijection.svg|thumb|right|全単射。]] == 定義 == 集合 ''A'' 上で定義され、集合 ''B'' を終域とする[[写像]] ''f'': ''A'' → ''B'' が次の条件 * ''a''<sub>1</sub> ≠ ''a''<sub>2</sub> を満たすどんな ''A'' の元の組 (''a''<sub>1</sub>, ''a''<sub>2</sub>) に対しても必ず ''f''(''a''<sub>1</sub>) ≠ ''f''(''a''<sub>2</sub>) が成り立つ。 を満たすとき、 ''f'' を'''単射''' (injection) とよぶ。あるいは ''f'' は(写像として)'''単射である''' (injective) という。[[対偶 (論理学)|対偶]]をとれば、''f'' が単射である条件は * ''f''(''a''<sub>1</sub>) = ''f''(''a''<sub>2</sub>) が成り立つならば必ず ''a''<sub>1</sub> = ''a''<sub>2</sub> が成り立つ。 とも述べられる。 [[Image:Surjection.svg|thumb|right|全射であり単射でない。]] == 例 == 正の[[実数]] ''x'' に対して、その[[冪乗|自乗]] ''x''<sup>2</sup> を対応させる写像 ''f'': '''R'''<sub>+</sub> → '''R''' は単射である。ただし、正の実数全体のなす集合を '''R'''<sub>+</sub> と表した。実際、''x'', ''y'' > 0 で ''x''<sup>2</sup> = ''y''<sup>2</sup> ならば、''x'' = ''y'' となる。 [[Image:Total function.svg|thumb|right|全射でも単射でもない。]] ところがひとたびこれの定義域を実数の全体 '''R''' に拡張すると、これは単射でなくなる。実際、''x'', ''y'' ∈ '''R''' で ''x''<sup>2</sup> = ''y''<sup>2</sup> ならば、''y'' = ±''x'' となるから、像 ''x''<sup>2</sup> はちょうど二つの元 ±''x'' の像となっている(ただし 0 は 0 だけの像である)。 集合 ''A'' とその[[部分集合]] ''B'' が与えられるとき、''B'' の元 ''b'' (これはもちろん ''A'' の元でもあるので)を ''A'' の元としての ''b'' 自身に対応させることで、''B'' を ''A'' に包含させる写像、'''包含写像'''(ほうがんしゃぞう、<span lang=en>inclusion</span>) :<math>B \hookrightarrow A;\ b \mapsto b</math> が定まる。これは単射を与え、'''標準単射'''あるいは'''自然な単射''' <span lang=en>(canonical injection)</span> とも呼ばれる。 == 埋め込み == 代数系つまり[[代数的構造]]をもつ二つの集合 ''A'', ''B'' の間の[[準同型]] ''f'' の像 ''f''(''A'') は ''B'' の部分系となる。もし、''f'': ''A'' → ''B'' が単射ならば、終域の制限によって得られる写像 ''f'': ''A'' → ''f''(''A'') は全単射となるから、その逆写像が定まる。これがやはり準同型であるなら、これは ''A'' が ''B'' の部分系と同型となることを意味する。この同型を同一視することによって ''A'' がもともと ''B'' の部分系であるかのように扱うとき、'''埋め込み''' (<span lang=en>embedding</span>) と呼ぶ。[[群 (数学)|群]]・[[環 (数学)|環]]などの準同型は全単射ならば同型であるから、単射準同型を与えることと埋め込みを考えることとは等価である。もっと一般の[[数学的構造]]とそれらの間の準同型・[[射 (圏論)|射]]を考えるときには逆写像の準同型性を気にする必要がある。 ''A'' から ''B'' への埋め込みは一般には一つに定まるとは限らない。例えば、''A'' がはじめから ''B'' の部分系であるとき、包含写像はひとつの埋め込みを与えるが、それ以外の写像によって ''A'' が ''B'' に埋め込まれることもある。 [[image:INS then NINS.png|thumb|right|合成写像が単射ならば、先の写像は単射であるが、後の写像は単射とは限らない。]] == 性質 == * 単射の制限は単射である。単射の拡張は単射であるとは限らない。 * 二つの単射の[[写像#写像の合成|合成]]は単射である。 写像 ''f'' が単射であることは次の普遍性 * <math>f \circ g = f \circ h</math> *: を満たす任意の射 ''g'', ''h'': ''Z'' → ''X'' に対し、''g'' = ''h'' である によって特徴付けられる。[[圏論]]においてはこの普遍性によって単射 <span lang=en>(monomorphism)</span> を定義する。 == 関連項目 == * [[写像]] * [[関数 (数学)]] * [[全射]] * [[全単射]] {{DEFAULTSORT:たんしや}} [[Category:集合論]] [[Category:数学に関する記事]]
単射
に戻る。
案内メニュー
個人用ツール
ログイン
名前空間
ページ
議論
変種
表示
閲覧
ソースを表示
履歴表示
その他
検索
案内
メインページ
コミュニティ・ポータル
最近の出来事
新しいページ
最近の更新
おまかせ表示
sandbox
commonsupload
ヘルプ
ヘルプ
井戸端
notice
bugreportspage
sitesupport
ウィキペディアに関するお問い合わせ
ツール
リンク元
関連ページの更新状況
特別ページ
ページ情報