特定の種類の射とは? わかりやすく解説

Weblio 辞書 > 辞書・百科事典 > ウィキペディア小見出し辞書 > 特定の種類の射の意味・解説 

特定の種類の射

出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2017/06/14 20:26 UTC 版)

射 (圏論)」の記事における「特定の種類の射」の解説

単射: 射 f: X → Y が単射 (mono-morphism) であるとは、f ∘ g1 = fg2 ならば 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満たすものが存在するときに言う。特に、圏のカロウビ展開圏(英語版)は、任意の冪等射が分裂する自己同型射同型射あるよう自己射を言う。

※この「特定の種類の射」の解説は、「射 (圏論)」の解説の一部です。
「特定の種類の射」を含む「射 (圏論)」の記事については、「射 (圏論)」の概要を参照ください。

ウィキペディア小見出し辞書の「特定の種類の射」の項目はプログラムで機械的に意味や本文を生成しているため、不適切な項目が含まれていることもあります。ご了承くださいませ。 お問い合わせ



英和和英テキスト翻訳>> Weblio翻訳
英語⇒日本語日本語⇒英語
  

辞書ショートカット

すべての辞書の索引

「特定の種類の射」の関連用語

特定の種類の射のお隣キーワード
検索ランキング

   

英語⇒日本語
日本語⇒英語
   



特定の種類の射のページの著作権
Weblio 辞書 情報提供元は 参加元一覧 にて確認できます。

   
ウィキペディアウィキペディア
Text is available under GNU Free Documentation License (GFDL).
Weblio辞書に掲載されている「ウィキペディア小見出し辞書」の記事は、Wikipediaの射 (圏論) (改訂履歴)の記事を複製、再配布したものにあたり、GNU Free Documentation Licenseというライセンスの下で提供されています。

©2025 GRAS Group, Inc.RSS