モニック射のソースを表示

[[圏論]]において'''モニック射'''（{{lang-en-short|monic morphism}}）、'''モノ射'''（monomorphism）あるいは'''単射'''<ref>[[#河田]] p.147.</ref>とは、[[簡約律|左簡約可能]]（left cancelable）な[[射]]を言う。{{mvar|X}} から {{mvar|Y}} へのモニック射は {{math|''X''&nbsp;↪ ''Y''}} と表記される。

これは[[集合 (数学)|集合]]間の[[写像]]の意味での[[単射]]の抽象化であり、射が写像であり集合論的な意味での単射であれば圏論的な意味でのモニック射であるが、逆は必ずしも成り立たない。しかしながら、[[集合の圏]]や[[群の圏]]、[[環上の加群の圏]]、[[位相空間の圏]]などでは、モニック射は集合論の意味での単射である{{sfn|マックレーン|2012|pp=24, 32}}。

モニック射の圏論的双対は[[エピ射]]であり、圏 '''C''' のモニック射は逆圏 '''C'''<sup>op</sup> のエピ射に対応する。すべてのセクション（section）はモニック射であり、すべての制限射（retraction）はエピ射である。
== 定義 ==
圏論において射 {{math|''f'': ''X'' → ''Y''}} がモニックであるとは、すべての対象 {{math|''Z''}} と任意の射 {{math|''g''<sub>1</sub>, ''g''<sub>2</sub>: ''Z'' → ''X''}} に対して、
:<math>f \circ g_1 = f \circ g_2 </math>　ならば　<math>g_1 = g_2</math>
が成り立つことを言う。この性質を左簡約可能（left cancelable）性と呼ぶ。すなわち、モニック射とは左簡約可能性を持つ射であると言える。

== 可逆性との関係 ==
左可逆射(左逆射を持つ射)は常にモニックである。つまり''l'' が ''f'' の左逆射である、すなわち、<math>l \circ f = \operatorname{id}_{X}</math> であるとき、''f'' はモニックとなる。なぜならば、
: <math>f \circ g_1 = f \circ g_2 \Rightarrow l\circ f\circ g_1 = l\circ f\circ g_2 \Rightarrow g_1 = g_2.</math>
となるためである。左可逆射は分裂モノ射（split mono）またはセクション（section）と呼ばれる。

しかしながら、モノ射は左可逆射である必要はない。たとえば、すべての群と群準同型射からなる群の圏において、''H'' は ''G'' の部分群であるとき、包含写像 ''f'' : ''H'' → ''G'' は常にモノ射であるが、''f'' が圏論的左可逆であるための必要十分条件は ''H'' が ''G'' の[[正規部分群|正規]][[補群]]であることである。

射 {{nowrap|''f'' : ''X'' → ''Y''}} がモニックであることの必要十分条件は、すべての射 {{nowrap|''h'' : ''Z'' → ''X''}} に対する射 {{nowrap|1=''f''<sub>∗</sub>(''h'') = ''f'' ∘ ''h''}} によって定義される誘導射（induced map）{{nowrap|''f''<sub>∗</sub> : Hom(''Z'', ''X'') → Hom(''Z'', ''Y'')}}　がすべての対象 ''Z'' について入射的であることである。

== 圏論的半順序 ==
モニック射の左簡約可能性（left cancelable）を用いて圏上で[[半順序]]を定義することができる<ref>[[#Mitchell(1965)|Mitchell(1965)]] p.6</ref>。
:α<sub>1</sub> : A<sub>1</sub> → A, α<sub>2</sub> : A<sub>2</sub> → A をそれぞれモニック射とする。モニック射間の半順序関係 α<sub>1</sub> ≦ α<sub>2</sub> が成り立つとは、モニック射 γ : A<sub>1</sub> → A<sub>2</sub> が存在し、 α<sub>2</sub>・γ = α<sub>1</sub> を満たすことを言う。
半順序関係とは、反射的（reflexive）かつ推移的（transitive）かつ反対称的（anti-symmetric）な関係を言うが、モニック射間の関係 ≦ は実際それらを満たす<ref>
: （反射律）
: α<sub>1</sub> : A<sub>1</sub> → A　に対し、α<sub>1</sub> ≦ α<sub>1</sub> iff. α<sub>1</sub>・1<sub>A<sub>1</sub></sub> = α<sub>1</sub> となるが、1<sub>A<sub>1</sub></sub> はモニック。
: （推移律）
: α<sub>1</sub> : A<sub>1</sub> → A、 α<sub>2</sub> : A<sub>2</sub> → A、 α<sub>3</sub> : A<sub>3</sub> → A に対し、α<sub>1</sub> ≦ α<sub>2</sub> かつ α<sub>2</sub> ≦ α<sub>3</sub> が成り立つならば、α<sub>2</sub>・γ = α<sub>1</sub>  及び α<sub>3</sub>・δ = α<sub>2</sub> となるモニック射 γ : A<sub>1</sub> → A<sub>2</sub> と δ : A<sub>2</sub> → A<sub>3</sub> が存在する。従って、α<sub>3</sub>・(δ・γ) = α<sub>1</sub> となりモニック射の合成射 δ・γ はやはりモニック射となるので α<sub>1</sub> ≦ α<sub>3</sub>。
: （反対称律）
: α<sub>1</sub> : A<sub>1</sub> → A, α<sub>2</sub> : A<sub>2</sub> → A に対し、α<sub>1</sub> ≦ α<sub>2</sub> かつ α<sub>2</sub> ≦ α<sub>1</sub> が成り立つとする。このとき、α<sub>2</sub>・γ = α<sub>1</sub>、 α<sub>1</sub>・δ = α<sub>2</sub> を満たすモニック射 γ : A<sub>1</sub> → A<sub>2</sub>、δ : A<sub>1</sub> → A<sub>2</sub> が存在する。したがって、α<sub>2</sub>・（γ・δ） = α<sub>2</sub>・1<sub>A<sub>2</sub></sub> となるが、'''モニック射の左簡約可能性により'''、γ・δ = 1<sub>A<sub>2</sub></sub> よって、対象 A<sub>1</sub> と A<sub>2</sub> は同型となり、A<sub>1</sub> ≅ A<sub>2</sub> したがって、α<sub>2</sub> ≅ α<sub>1</sub>
以上より圏上のモニック射間の関係 ≦ は半順序関係となり、集合論を避けて圏上で半順序に関する理論を展開することができる。</ref>。
;（反射律）
:α<sub>1</sub> : A<sub>1</sub> → A がモニック射であれば、α<sub>1</sub> ≦ α<sub>1</sub> である。
;（推移律）
:α<sub>1</sub> : A<sub>1</sub> → A、 α<sub>2</sub> : A<sub>2</sub> → A、 α<sub>3</sub> : A<sub>3</sub> → A をモニック射とし、α<sub>1</sub> ≦ α<sub>2</sub> かつ α<sub>2</sub> ≦ α<sub>3</sub> であるならば、α<sub>1</sub> ≦ α<sub>3</sub> である。
;（反対称律）
:α<sub>1</sub> : A<sub>1</sub> → A、 α<sub>2</sub> : A<sub>2</sub> → A をモニック射とし、α<sub>1</sub> ≦ α<sub>2</sub> かつ α<sub>2</sub> ≦ α<sub>1</sub> であるならば、α<sub>1</sub> ≅ α<sub>2</sub> である。

== 特徴 ==
* [[トポス (数学)|トポス]]（topos）において、すべてのモニック射は等化子（equalizer）であり、任意の射がモニックかつエピであれば同型射である。
* すべての同型射はモニックである。

== 用語 ==
モノ射とエピ射の用語は元々は[[ニコラ・ブルバキ]]によって導入された。ブルバキはモノ射を入射関数（injective function）の省略系として使用した。初期の圏論論者は、入射性の圏論の文脈における正しい一般化は上記の簡約可能性（cancelable）にあると信じていたが、これはモニック射に対しては正確には一般に正しくないものの、非常に近いため、エピ射の場合とは異なり、問題はほとんど発生しない。[[ソーンダース・マックレーン]] は、彼がモノ射と呼ぶものを区別しようとした。彼は入射的な集合写像を基礎に持つ具体圏の射をモノ射と呼び、圏論的意味を持つ用語としてのモノ射をモニック射と呼ぼうとした。ただし、この区別は一般的には使用されなかった。

== 脚注 ==
{{reflist}}

== 参考文献 ==
* {{Cite book|和書
|last       = マックレーン
|first      = S.
|author     = S. マックレーン
|authorlink = ソーンダース・マックレーン
|others= 三好 博之、高木 理 訳
|title      = 圏論の基礎
|year       = 2012
|publisher  = 丸善出版
|isbn       = 978-4-621-06324-8
|ref        = harv
}}
* {{cite book | author=Barry Mitchell | title=Theory of categories | year=1965 | publisher=academic press New York and London | series=Pure and applied mathematics | volume=17 | ref=Mitchell(1965) }}
* {{cite book|和書 |title=ホモロジー代数 |date=1990/11/8 |publisher=[[岩波書店]] |ref=河田 |author=河田敬義 |series=岩波基礎数学選書 |isbn=978-4000078047}}

== 関連項目 ==
* [[エピ射]]
* [[埋め込み (数学)|埋め込み]]

{{圏論}}

{{Categorytheory-stub}}

{{DEFAULTSORT:もにつくしや}}
[[Category:射]]
[[Category:数学に関する記事]]