Warning : Undefined variable $type in /home/users/1/sub.jp-asate/web/wiki/extensions/HeadScript/HeadScript.php on line 3
Warning : "continue" targeting switch is equivalent to "break". Did you mean to use "continue 2"? in /home/users/1/sub.jp-asate/web/wiki/includes/json/FormatJson.php on line 297
Warning : Trying to access array offset on value of type bool in /home/users/1/sub.jp-asate/web/wiki/includes/Setup.php on line 660
Warning : session_name(): Session name cannot be changed after headers have already been sent in /home/users/1/sub.jp-asate/web/wiki/includes/Setup.php on line 834
Warning : ini_set(): Session ini settings cannot be changed after headers have already been sent in /home/users/1/sub.jp-asate/web/wiki/includes/session/PHPSessionHandler.php on line 126
Warning : ini_set(): Session ini settings cannot be changed after headers have already been sent in /home/users/1/sub.jp-asate/web/wiki/includes/session/PHPSessionHandler.php on line 127
Warning : session_cache_limiter(): Session cache limiter cannot be changed after headers have already been sent in /home/users/1/sub.jp-asate/web/wiki/includes/session/PHPSessionHandler.php on line 133
Warning : session_set_save_handler(): Session save handler cannot be changed after headers have already been sent in /home/users/1/sub.jp-asate/web/wiki/includes/session/PHPSessionHandler.php on line 140
Warning : "continue" targeting switch is equivalent to "break". Did you mean to use "continue 2"? in /home/users/1/sub.jp-asate/web/wiki/languages/LanguageConverter.php on line 773
Warning : Cannot modify header information - headers already sent by (output started at /home/users/1/sub.jp-asate/web/wiki/extensions/HeadScript/HeadScript.php:3) in /home/users/1/sub.jp-asate/web/wiki/includes/Feed.php on line 294
Warning : Cannot modify header information - headers already sent by (output started at /home/users/1/sub.jp-asate/web/wiki/extensions/HeadScript/HeadScript.php:3) in /home/users/1/sub.jp-asate/web/wiki/includes/Feed.php on line 300
Warning : Cannot modify header information - headers already sent by (output started at /home/users/1/sub.jp-asate/web/wiki/extensions/HeadScript/HeadScript.php:3) in /home/users/1/sub.jp-asate/web/wiki/includes/WebResponse.php on line 46
Warning : Cannot modify header information - headers already sent by (output started at /home/users/1/sub.jp-asate/web/wiki/extensions/HeadScript/HeadScript.php:3) in /home/users/1/sub.jp-asate/web/wiki/includes/WebResponse.php on line 46
Warning : Cannot modify header information - headers already sent by (output started at /home/users/1/sub.jp-asate/web/wiki/extensions/HeadScript/HeadScript.php:3) in /home/users/1/sub.jp-asate/web/wiki/includes/WebResponse.php on line 46
http:///mymemo.xyz/wiki/api.php?action=feedcontributions&user=2400%3A2410%3ACDA0%3A4E00%3ACE2%3A2E71%3AC00A%3ACC7F&feedformat=atom
miniwiki - 利用者の投稿記録 [ja]
2024-05-16T04:44:15Z
利用者の投稿記録
MediaWiki 1.31.0
射 (圏論)
2018-01-21T17:43:00Z
<p>2400:2410:CDA0:4E00:CE2:2E71:C00A:CC7F: /* 定義 */ 読みやすくするため漢字に書きかえただけ</p>
<hr />
<div>{{Refimprove|date=July 2009}}<br />
[[数学]]の多くの分野において、'''型射'''あるいは'''射'''(しゃ、{{lang-en-short|''morphism''}}; モルフィズム)は、ある[[数学的構造]]を持つ数学的対象から別の数学的対象への「構造を保つ」[[写像]]の意味で用いられる([[準同型]])。この意味での射の概念は現代的な数学のあらゆる場所で繰り返し生じてくる。例えば[[集合論]]における射は[[写像]]であり、[[線型代数学]]における[[線型写像]]、[[群論]]における[[群準同型]]、[[位相空間論]]における[[連続写像]]、… といったようなものなどがそうである。<br />
<br />
[[圏論]]における'''射'''はこのような概念を広く推し進め、しかしより抽象的に扱うものである。考える数学的対象は集合である必要はないし、それらの間の関係性である射は写像よりももっと一般の何ものかでありうる。<br />
<br />
射の、そして射がその上で定義される構造([[対象 (圏論)|対象]])を調べることは圏論の中核を成す。射に関する用語法の多くは、その直観的背景でもある{{仮リンク|具体圏|en|concrete category}}(対象が単に付加構造を備えた集合で、射がその構造を保つ写像であるような圏)に由来するものとなっている。また圏論において、圏を[[図式 (圏論)|図式]]と呼ばれる[[有向グラフ]]によって見る立場から、射は有向辺あるいは'''矢印''' (''arrow'') と呼ばれることもある。<br />
<br />
== 定義 ==<br />
[[圏 (数学)|圏]] {{math|''C''}} は二種類の[[類 (数学)|類]]からなり、一つは'''対象'''の類、いま一つは'''射'''の類である。<br />
<br />
任意の射に対して、'''[[始域]]'''('''ドメイン'''あるいは'''ソース''')および[[終域]]('''コドメイン'''あるいは'''ターゲット''')と呼ばれる二つの演算が定義される。射 {{math|''f''}} が始域 {{math|''X''}} と終域 {{math|''Y''}} を持つとき、これを {{math|''f'': ''X'' → ''Y''}} で表す。つまり、射は始域から終域へ向かう「矢印」として表される。{{math|''X''}} から {{math|''Y''}} への射全体の成す集まりは、{{math|hom<sub>''C''</sub>(''X'',''Y'')}} あるいは単に {{math|hom(''X'', ''Y'')}} で表され、'''射の類'''、'''ホム類''' (''hom-class'') あるいは(特に類が[[集合|小さい]]とき)'''射集合'''または'''ホム集合''' (''hom-set'')("hom" は同じを意味する "homo-" あるいは準同型 ("homomorphism") から)と呼ばれる。{{math|Mor<sub>''C''</sub>(''X'',''Y'')}} や {{math|Mor(''X'', ''Y'')}} と書かれることもある。ホム「集合」などと呼ぶのは、射の全体が必ずしも集合を成すことは要求されないことを考えれば少々語弊のある名称であることに注意。<br />
<br />
任意の三対象 {{math|''X'', ''Y'', ''Z''}} に対して、'''合成'''と呼ばれる[[二項演算]] {{math|hom(''X'', ''Y'') &times; hom(''Y'', ''Z'') → hom(''X'', ''Z'')}} が存在し、二つの射 {{math|''f'': ''X'' &rarr; ''Y''}} と {{math|''g'': ''Y'' &rarr; ''Z''}} との合成射は {{math|''g'' ∘ ''f''}} あるいは {{math|''gf''}} と書かれる。射の合成はしばしば[[可換図式]]として表される。例えば<br />
[[Image:Commutative diagram for morphism.svg|center|射の可換図式]]<br />
<br />
射は二つの[[公理]]を満足する:<br />
* '''恒等律''': 任意の対象 {{math|''X''}} に対して。{{math|''X''}} 上の'''恒等射'''と呼ばれる射 {{math|id<sub>''X''</sub>: ''X'' → ''X''}} が存在して、任意の射 {{math|''f'': ''A'' &rarr; ''B''}} に対して {{math|id<sub>''B''</sub> ∘ ''f'' {{=}} ''f'' {{=}} ''f'' ∘ id<sub>''A''</sub>}} が成立する。<br />
* '''[[結合法則|結合律]]''': {{math|''h'' ∘ (''g'' ∘ ''f'') {{=}} (''h'' ∘ ''g'') ∘ ''f''}} が演算の定義される限りにおいて成り立つ。<br />
<br />
具体圏 {{math|''C''}} においては、恒等射はまさに[[恒等写像]]であり、合成はまさに通常の[[写像の合成]]である。この場合、結合律は写像の合成が結合的であることから満たされる。<br />
<br />
本当は終域と始域は射を決定する情報の一部であることに注意すべきである。例えば、集合の圏において、射は写像であるが、順序対全体の成す集合(つまり[[グラフ (函数)|グラフ]])としては一致するが終域の異なる二つの写像というのは、圏論的に見れば相異なる。そこで射の類 {{math|hom(''X'', ''Y'')}} は {{math|''X'', ''Y''}} が異なれば交わりを持たないと仮定する文献もある。実用上はこれはあまり問題ではなく、この仮定が満たされない場合には射にその始域と終域とを(順序三つ組の第二、第三成分として)追加してやれば回避することができる。<br />
<br />
== 特定の種類の射 ==<br />
* '''[[単射 (圏論)|単射]]''': 射 {{math|''f'': ''X'' → ''Y''}} が単射 (''mono-morphism'') であるとは、{{math|''f'' ∘ ''g''<sub>1</sub> {{=}} ''f'' ∘ ''g''<sub>2</sub>}} ならば {{math|''g''<sub>1</sub> {{=}} ''g''<sub>2</sub>}} が任意の射 {{math|''g''<sub>1</sub>, ''g''<sub>2</sub>: ''Z'' → ''X''}} に対して成り立つことである。'''モノ射''' (''mono'') あるいは'''単型射''' (''monic'') とも呼ばれる<ref name="jacobson:morphisms">Jacobson (2009), p. 15.</ref>。<br />
** 射 {{math|''f''}} が'''左逆射''' (''left inverse'') を持つとは、射 {{math|''g'': ''Y'' → ''X''}} で {{math|''g'' ∘ ''f'' {{=}} id<sub>''X''</sub>}} を満たすものが存在するときに言う。左逆射 {{math|''g''}} は {{math|''f''}} の'''{{仮リンク|引き込み (圏論)|label=引き込み|en|retraction (category theory)}}''' (''retraction'') とも言う<ref name="jacobson:morphisms" />。左逆射を持つ射は常に単射だが、逆は任意の圏においては必ずしも成り立たない(左逆射をもたない単射が存在する)。<br />
** '''分裂単射''' (''split monomorphism'') {{math|''h'': ''X'' → ''Y''}} は左逆射 {{math|''g'': ''Y'' → ''X'', (''g'' ∘ ''h'' {{=}} id<sub>''X''</sub>)}} を持つ単射を言う。このとき {{math|''h'' ∘ ''g'': ''Y'' → ''Y''}} は[[冪等]]、すなわち {{math|(''h'' ∘ ''g'')<sup>2</sup> {{=}} ''h'' ∘ ''g''}} が成立する。<br />
** {{仮リンク|具体圏|en|concrete categories}}において、左逆射を持つ写像は[[単射|集合論的単射(単写)]]すなわち入射的 (injective) である。即ち、具体圏において(圏論的)単射は殆ど常に(集合論的)単射である。注意すべきは、入射的であるという条件は単型であるという条件よりは強いが、分裂単射であるという条件よりは弱いことである。<br />
* '''[[全射 (圏論)|全射]]''': 双対的に、{{math|''f'': ''X'' → ''Y''}} が'''全射''' (''epi-morphism'') であるとは、{{math|''g''<sub>1</sub> ∘ ''f'' {{=}} ''g''<sub>2</sub> ∘ ''f''}} ならば {{math|''g''<sub>1</sub> {{=}} ''g''<sub>2</sub>}} が任意の射 {{math|''g''<sub>1</sub>, ''g''<sub>2</sub>: ''Y'' → ''Z''}} に対して成立するときに言う。'''エピ射''' (''epi'') あるいは'''全型射''' (''epic'') とも言う<ref name="jacobson:morphisms"/>。<br />
** 射 {{math|''f''}} が'''右逆射''' (''right inverse'') を持つとは、射 {{math|''g'': ''Y'' → ''X''}} で {{math|''f'' ∘ ''g'' {{=}} id<sub>''Y''</sub>}} を満たすものが存在するときに言う。右逆射 {{math|''g''}} は {{math|''f''}} の'''切断'''あるいは'''断面''' (''section'') とも言う<ref name="jacobson:morphisms"/>。右逆射をもつ射は必ず全射だが、逆は任意の圏においては必ずしも成り立たず、右逆射を持たない全射が存在する。<br />
** '''分裂全射''' (''split epimorphism'') は右逆元を持つ全射を言う。単射 {{math|''f''}} が左逆射 {{math|''g''}} に関して分裂するとき、{{math|''g''}} は右逆元 {{math|''f''}} を持つ分裂全射である。<br />
** 具体圏において、右逆射をもつ写像は[[全射|集合論的全射(全写)]]すなわち上への写像である。即ち、具体圏において圏論的前者は殆ど常に集合論的全射である。注意すべきは、上への写像であるという条件は全型であるという条件よりは強いが、分裂全射であるという条件よりは弱いことである。[[集合の圏]] {{math|'''Set'''}} において任意の(集合論的)全射が切断を持つという事実は[[選択公理]]と同値である。<br />
* 単射でも全射でもあるような射は'''全単射'''あるいは'''双射''' (''bimorphism'') と呼ばれる。<br />
* '''[[同型射]]''': 射 {{math|''f'': ''X'' → ''Y''}} に対して射 {{math|''g'': ''Y'' → ''X''}} が存在し、 {{math|''f'' ∘ ''g'' {{=}} id<sub>''Y''</sub>}} かつ {{math|''g'' ∘ ''f'' {{=}} id<sub>''X''</sub>}} が成り立つものを'''同型射'''であると言う。射 {{math|''f''}} が左逆射と右逆射をともに持つとき、両者は一致して {{math|''f''}} は同型射であり、{{math|''g''}} は単に {{math|''f''}} の'''逆射''' (''inverse'') と呼ばれる。逆射は、それが存在すれば一意である。逆射 {{math|''g''}} もやはり同型射であり、逆射として {{math|''f''}} を持つ。二つの対象がその間に同型射を持つとき、それら二つは互いに[[同型]]あるいは同値であるという。注意すべきは、任意の同型射は双射だが、双射は必ずしも同型射ではないことである。例えば、[[可換環]]の圏において包含射 {{math|'''Z''' → '''Q'''}} は双射だが同型射ではない。しかし、全射かつ分裂単射であるような、もしくは単射かつ分裂全射であるような任意の射は同型射でなければならない。集合の圏 '''Set''' のように、任意の双射が同型射であるような圏は、'''均衡圏''' (''balanced category'') と呼ばれる。<br />
* '''[[自己射]]''': 射 {{math|''f'': ''X'' → ''X''}} は、対象 {{math|''X''}} の'''自己射'''と言う。冪等自己射 {{math|''f''}} が'''分裂自己射''' (''split endomorphism'') であるとは、分解 {{math|1=''f'' = ''h'' ∘ ''g''}} で {{math|''g'' ∘ ''h'' {{=}} id}} を満たすものが存在するときに言う。特に、圏の{{仮リンク|カロウビ展開圏|en|Karoubi envelope}}は、任意の冪等射が分裂する。<br />
* '''[[自己同型射]]'''は同型射であるような自己射を言う。<br />
<br />
== 例 ==<br />
* [[普遍代数学]]において調べられるような[[具体圏]]([[群 (数学)|群]]の[[群の圏|圏 {{math|'''Grp'''}}]]、[[環 (数学)|環]]の[[環の圏|圏 {{math|'''Ring'''}}]]、[[環上の加群|加群]]の[[加群の圏|圏 {{math|''R''-'''Mod'''}}]] など)における射は、ふつう[[準同型]](準同型射)と呼ばれる。自己同型、自己準同型、全準同型、準同型、同型、単準同型などの概念が普遍代数において用いられる。<br />
* [[位相空間]]の[[位相空間の圏|圏 {{math|'''Top'''}}]] において、射は[[連続写像]]であり、同型射は[[同相写像]]と呼ばれる。<br />
* [[可微分多様体]]の[[多様体の圏|圏 {{math|'''Man'''{{sup|∞}}}}]] において、射は[[滑らかな函数|滑らかな写像]]であり、同型射は[[微分同相写像]]と呼ばれる。<br />
* [[小さい圏]]の[[小さい圏の圏|圏 {{math|'''Cat'''}}]] において、[[函手]]はその圏における射と考えることができる。<br />
* [[函手圏]] {{math|'''Func'''}} における射は[[自然変換]]である。<br />
<br />
更なる例は[[圏論]]の項を参照せよ。<br />
<br />
== 関連項目 ==<br />
* {{仮リンク|正規射|en|normal morphism}}<br />
* [[零射]]<br />
<br />
== 注記 ==<br />
<references/><br />
<br />
== 参考文献 ==<br />
* {{Citation| last=Jacobson| first=Nathan| author-link=Nathan Jacobson| date=2009| title=Basic algebra| edition=2nd| volume = 2 | series= | publisher=Dover| isbn = 978-0-486-47187-7}}.<br />
<br />
== 外部リンク ==<br />
* {{springer|title=Morphism|id=p/m064940}}<br />
* {{planetmath reference|id=8114|title=types of morphisms}}<br />
* {{PlanetMath|urlname=imageofamorphism|title=image of a morphism}}<br />
* {{PlanetMath|urlname=inverseimageofamorphism|title=inverse image of a morphism}}<br />
* {{PlanetMath|urlname=kernelofamorphism|title=kernel of a morphism}}<br />
* {{MathWorld|urlname=Morphism|title=Morphism}}<br />
* {{nlab|urlname=morphism|title=morphism}}<br />
* {{nlab|urlname=arrow|title=arrow}}<br />
<br />
{{DEFAULTSORT:しや}}<br />
[[Category:圏論]]<br />
[[Category:射]]<br />
[[Category:数学に関する記事]]</div>
2400:2410:CDA0:4E00:CE2:2E71:C00A:CC7F
Warning : Cannot modify header information - headers already sent by (output started at /home/users/1/sub.jp-asate/web/wiki/extensions/HeadScript/HeadScript.php:3) in /home/users/1/sub.jp-asate/web/wiki/includes/WebResponse.php on line 46