モニック射

圏論においてモニック射︵英: monic morphism︶、モノ射︵monomorphism︶あるいは単射とは、左簡約可能︵left cancelable︶な射を言う。X から Yへのモニック射は X ↪ Yと表記される。

これは集合間の写像の意味での単射の抽象化であり、射が写像であり集合論的な意味での単射であれば圏論的な意味でのモニック射であるが、逆は必ずしも成り立たない。しかしながら、集合の圏や群の圏、環上の加群の圏、位相空間の圏などでは、モニック射は集合論の意味での単射である。

モニック射の圏論的双対はエピ射であり、圏 Cのモニック射は逆圏 C^opのエピ射に対応する。すべてのセクション︵section︶はモニック射であり、すべての制限射︵retraction︶はエピ射である。

定義

圏論において射 f: X→ Yがモニックであるとは、すべての対象 Zと任意の射 g₁, g₂: Z→ Xに対して、

$f\circ g_{1}=f\circ g_{2}$$f\circ g_{1}=f\circ g_{2}$　ならば　$g_{1}=g_{2}$$g_{1}=g_{2}$
が成り立つことを言う。この性質を左簡約可能︵left cancelable︶性と呼ぶ。すなわち、モニック射とは左簡約可能性を持つ射であると言える。

可逆性との関係

左可逆射(左逆射を持つ射)は常にモニックである。つまりl が fの左逆射である、すなわち、$l\circ f=\operatorname {id} _{X}$$l\circ f=\operatorname {id} _{X}$ であるとき、f はモニックとなる。なぜならば、

$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}.$$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}.$
となるためである。左可逆射は分裂モノ射︵split mono︶またはセクション︵section︶と呼ばれる。

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

射 f : X→ Yがモニックであることの必要十分条件は、すべての射 h : Z→ Xに対する射 f_∗(h) = f∘ hによって定義される誘導射︵induced map︶f_∗ : Hom(Z, X) → Hom(Z, Y)　がすべての対象 Zについて入射的であることである。

圏論的半順序

モニック射の左簡約可能性︵left cancelable︶を用いて圏上で半順序を定義することができる。

α₁ : A₁ → A, α₂ : A₂ → A をそれぞれモニック射とする。モニック射間の半順序関係 α₁ ≦ α₂ が成り立つとは、モニック射 γ : A₁ → A₂ が存在し、 α₂・γ = α₁ を満たすことを言う。

半順序関係とは、反射的︵reflexive︶かつ推移的︵transitive︶かつ反対称的︵anti-symmetric︶な関係を言うが、モニック射間の関係 ≦ は実際それらを満たす。

︵反射律︶

α₁ : A₁ → A がモニック射であれば、α₁ ≦ α₁ である。

︵推移律︶

α₁ : A₁ → A、 α₂ : A₂ → A、 α₃ : A₃ → A をモニック射とし、α₁ ≦ α₂ かつ α₂ ≦ α₃ であるならば、α₁ ≦ α₃ である。

︵反対称律︶

α₁ : A₁ → A、 α₂ : A₂ → A をモニック射とし、α₁ ≦ α₂ かつ α₂ ≦ α₁ であるならば、α₁ ≅ α₂ である。

特徴

●トポス︵topos︶において、すべてのモニック射は等化子︵equalizer︶であり、任意の射がモニックかつエピであれば同型射である。

●すべての同型射はモニックである。

用語

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

脚注

参考文献

●マックレーン, S.﹃圏論の基礎﹄三好 博之、高木 理 訳、丸善出版、2012年。ISBN 978-4-621-06324-8。 

●Barry Mitchell (1965). Theory of categories. Pure and applied mathematics. 17. academic press New York and London 

●河田敬義﹃ホモロジー代数﹄岩波書店︿岩波基礎数学選書﹀、1990年11月8日。ISBN 978-4000078047。 

関連項目

●エピ射

●埋め込み