エピ射のソースを表示

[[圏論]]において、'''エピ射'''（epimorphism）、'''エピック射''' (epic morphism)、あるいは'''全射'''<ref>[[#河田]] p.148.</ref> とは、[[簡約律|右簡約可能]]（right cancelable）な[[射]]のことを言う。{{mvar|X}} から {{mvar|Y}} へのエピ射は {{math|''X''&nbsp;↠ ''Y''}} と表記される。

これは[[集合 (数学)|集合]]間の[[写像]]の意味での[[全射]]の抽象化であり、射が写像であり集合論的ないみで全射であれば圏論的な意味でエピ射であるが、逆は必ずしも成り立たない。例えば[[可換環の圏]]における[[整数]]環から[[有理数]]体への[[包含]]写像 {{math|'''Z''' → '''Q'''}} が反例となる{{sfn|Borceux|1994|loc=Example 1.8.5.f|p={{google books quote|id=YfzImoopB-IC|page=30|30}}}}。しかしながら、[[集合の圏]]{{sfn|Borceux|1994|loc=Example 1.8.5.a|p={{google books quote|id=YfzImoopB-IC|page=28|28}}}}や[[群の圏]]{{sfn|Borceux|1994|loc=Example 1.8.5.d|p={{google books quote|id=YfzImoopB-IC|page=29|29}}}}、[[環上の加群の圏]]{{sfn|Borceux|1994|loc=Example 1.8.5.e|p={{google books quote|id=YfzImoopB-IC|page=30|30}}}}などでは、圏論の意味での全射は集合論の意味での全射と一致する。

== 定義 ==
圏論において射 {{math|''f'': ''X'' → ''Y''}} がエピであるとは、すべての対象 {{math|''Z''}} とその任意の射 {{math|''g''<sub>1</sub>, ''g''<sub>2</sub>: ''Y'' → ''Z''}} に対して、
:<math>g_1 \circ f = g_2 \circ f </math> ならば <math>g_1 = g_2</math>
が成り立つということである{{sfn|Borceux|1994|loc=Definition 1.8.1|p={{google books quote|id=YfzImoopB-IC|page=27|27}}}}。この性質を右簡約可能（right cancelable）性と呼ぶ。すなわち、エピ射とは右簡約可能性を持つ射のことを言う。

== 圏論的半順序 ==
エピ射の右簡約可能性（right cancelable）を用いて圏上で[[半順序]]を定義することができる。
:β<sub>1</sub> : B → B<sub>1</sub>, β<sub>2</sub> : B → B<sub>2</sub> をそれぞれエピ射とする。エピ射間の半順序関係 β<sub>2</sub> ≼ β<sub>1</sub> が成り立つとは、エピ射 γ : B<sub>2</sub> → B<sub>1</sub> が存在し、 γ・β<sub>2</sub> = β<sub>1</sub> を満たすことを言う。
半順序関係とは、反射的（reflexive）かつ推移的（transitive）かつ反対称的（anti-symmetric）な関係を言うが、エピ射間の関係 ≼ は実際それらを満たす
;（反射律）
:β<sub>1</sub> : B → B<sub>1</sub> がエピ射であれば、β<sub>1</sub> ≼ β<sub>1</sub> である。
;（推移律）
:β<sub>1</sub> : B → B<sub>1</sub>、 β<sub>2</sub> : B → <sub>2</sub>、 β<sub>3</sub> : B → <sub>3</sub> をエピ射とし、β<sub>2</sub> ≼ β<sub>1</sub> かつ β<sub>3</sub> ≼ β<sub>2</sub> であるならば、β<sub>3</sub> ≼ β<sub>1</sub> である。
;（反対称律）
:β<sub>1</sub> : B → B<sub>1</sub>、 β<sub>2</sub> : B → B<sub>2</sub> をエピ射とし、β<sub>2</sub> ≼ β<sub>1</sub> かつ β<sub>1</sub> ≼ β<sub>2</sub> であるならば、β<sub>1</sub> ≅ β<sub>2</sub> である。

== 用語 ==
エピ射とモノ射の用語は最初[[ニコラ・ブルバキ]]によって導入された。ブルバキはエピ射を全射関数（surjective function）の省略形として使用した。初期の圏論家は、モノ射が入射の正確な類推に非常に近いのと同じように、任意の圏においてエピ射は全射の正しい類推であると信じた。不幸なことにこれは間違いであった。強（strong）または正規（regular）なエピ射は普通のエピ射よりもより全射に近接した振る舞いを示す。[[ソーンダース・マックレーン]]はエピ射の間に区別を設けようとした。彼はエピ射は全射である集合写像を基礎に持つ具体圏における射であり、そして''エピック射''（epic morphism）とは現代的な意味におけるエピ射であるとしようとしたが、この区別が普及することはなかった。

エピ射が全射と同一であるまたはより良い概念であると信じることはよくある間違いである。不幸なことにこれは稀なケースであるが、エピ射は非常に不思議で予期しない振る舞いをすることがあり、例えば、環のエピ射をすべて分類することは非常に難しい。一般にエピ射は、全射とは関連しているものの根本的に異なる、それ自身特有の概念である。

== 脚注 ==
{{reflist|2}}

== 関連項目 ==
*[[モノ射]]

== 参考文献 ==
* {{Cite book|和書
|last       = マックレーン
|first      = S.
|authorlink = ソーンダース・マックレーン
|others= 三好 博之、高木 理 訳
|title      = 圏論の基礎
|year       = 2012
|publisher  = 丸善出版
|isbn       = 978-4-621-06324-8
}}
* {{cite book
|last1      = Borceux
|first1     = F.
|year       = 1994
|title      = Handbook of Categorical Algebra. 1. Basic Category Theory.
|url        = {{google books|YfzImoopB-IC|Handbook of Categorical Algebra. 1. Basic Category Theory|plainurl=yes}}
|publisher  = Cambridge University Press
|isbn       = 0-521-44178-1
|ref        = harv
|mr         = 1291599
|zbl        = 0803.18001 
}}
* {{cite book|和書 |title=ホモロジー代数 |date=1990/11/8 |publisher=[[岩波書店]] |ref=河田 |author=河田敬義 |series=岩波基礎数学選書 |isbn=978-4000078047}}
* {{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) }}

== 外部リンク ==
* {{nlab|id=epimorphism|title=epimorphism}}

{{圏論}}

{{Categorytheory-stub}}
{{DEFAULTSORT:えひしや}}
[[Category:射]]
[[Category:数学に関する記事]]