特定の種類の射
出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2017/06/14 20:26 UTC 版)
単射: 射 f: X → Y が単射 (mono-morphism) であるとは、f ∘ g1 = f ∘ g2 ならば g1 = g2 が任意の射 g1, g2: Z → X に対して成り立つことである。モノ射 (mono) あるいは単型射 (monic) とも呼ばれる。射 f が左逆射 (left inverse) を持つとは、射 g: Y → X で g ∘ f = idX を満たすものが存在するときに言う。左逆射 g は f の引き込み(英語版) (retraction) とも言う。左逆射を持つ射は常に単射だが、逆は任意の圏においては必ずしも成り立たない(左逆射をもたない単射が存在する)。 分裂単射 (split monomorphism) h: X → Y は左逆射 g: Y → X, (g ∘ h = idX) を持つ単射を言う。このとき h ∘ g: Y → Y は冪等、すなわち (h ∘ g)2 = h ∘ g が成立する。 具体圏(英語版)において、左逆射を持つ写像は集合論的単射(単写)すなわち入射的 (injective) である。即ち、具体圏において(圏論的)単射は殆ど常に(集合論的)単射である。注意すべきは、入射的であるという条件は単型であるという条件よりは強いが、分裂単射であるという条件よりは弱いことである。 全射: 双対的に、f: X → Y が全射 (epi-morphism) であるとは、g1 ∘ f = g2 ∘ f ならば g1 = g2 が任意の射 g1, g2: Y → Z に対して成立するときに言う。エピ射 (epi) あるいは全型射 (epic) とも言う。射 f が右逆射 (right inverse) を持つとは、射 g: Y → X で f ∘ g = idY を満たすものが存在するときに言う。右逆射 g は f の切断あるいは断面 (section) とも言う。右逆射をもつ射は必ず全射だが、逆は任意の圏においては必ずしも成り立たず、右逆射を持たない全射が存在する。 分裂全射 (split epimorphism) は右逆元を持つ全射を言う。単射 f が左逆射 g に関して分裂するとき、g は右逆元 f を持つ分裂全射である。 具体圏において、右逆射をもつ写像は集合論的全射(全写)すなわち上への写像である。即ち、具体圏において圏論的前者は殆ど常に集合論的全射である。注意すべきは、上への写像であるという条件は全型であるという条件よりは強いが、分裂全射であるという条件よりは弱いことである。集合の圏 Set において任意の(集合論的)全射が切断を持つという事実は選択公理と同値である。 単射でも全射でもあるような射は全単射あるいは双射 (bimorphism) と呼ばれる。 同型射: 射 f: X → Y に対して射 g: Y → X が存在し、 f ∘ g = idY かつ g ∘ f = idX が成り立つものを同型射であると言う。射 f が左逆射と右逆射をともに持つとき、両者は一致して f は同型射であり、g は単に f の逆射 (inverse) と呼ばれる。逆射は、それが存在すれば一意である。逆射 g もやはり同型射であり、逆射として f を持つ。二つの対象がその間に同型射を持つとき、それら二つは互いに同型あるいは同値であるという。注意すべきは、任意の同型射は双射だが、双射は必ずしも同型射ではないことである。例えば、可換環の圏において包含射 Z → Q は双射だが同型射ではない。しかし、全射かつ分裂単射であるような、もしくは単射かつ分裂全射であるような任意の射は同型射でなければならない。集合の圏 Set のように、任意の双射が同型射であるような圏は、均衡圏 (balanced category) と呼ばれる。 自己射: 射 f: X → X は、対象 X の自己射と言う。冪等自己射 f が分裂自己射 (split endomorphism) であるとは、分解 f = h ∘ g で g ∘ h = id を満たすものが存在するときに言う。特に、圏のカロウビ展開圏(英語版)は、任意の冪等射が分裂する。 自己同型射は同型射であるような自己射を言う。
※この「特定の種類の射」の解説は、「射 (圏論)」の解説の一部です。
「特定の種類の射」を含む「射 (圏論)」の記事については、「射 (圏論)」の概要を参照ください。
- 特定の種類の射のページへのリンク