可換図式のソースを表示

[[image:FiveLemma.png|350px|thumb|[[5項補題]]の証明で使われる可換図式]]

数学、特に[[圏論]]において、'''可換図式''' ({{lang-en-short|commutative diagram}}) は、対象（あるいは''頂点''）と[[射]]（あるいは''矢''、''辺''）の[[図式 (圏論)|図式]]であって、始点と終点が同じである図式のすべての向き付きの道が[[圏論|合成]]によって同じ結果になるようなものである。可換図式は[[代数学]]において[[方程式]]が果たすような役割を圏論において果たす（Barr-Wells, Section 1.7 を参照）。

図式は可換でないかもしれない、すなわち図式の異なる道の合成は同じ結果にならないかもしれないことに注意する。明確化のために、「この可換図式」(this commutative diagram) あるいは「図式は交換する」(the diagram commutes) といったフレーズが使われる。

== 例 ==
[[第一同型定理]]を表現する次の図式において、可換性は <math>f = \tilde{f} \circ \pi</math> を意味する：

[[Image:First isomorphism theorem (plain).svg|175px]]

下は一般の可換正方形であり、<math>h \circ f = k \circ g</math> である

[[Image:Commutative square.svg|150px]]

=== 記号 ===
代数学のテキストでは、典型的な[[射]]はいろいろな形の矢で表記できる：[[単射]]は <math>\hookrightarrow</math> で、[[全射]]は <math>\twoheadrightarrow</math> で、[[同型]]射は <math>\overset{\sim}{\rightarrow}</math> で。破線の矢は一般に、図式の残りが成り立つときにはいつでもその射が存在する、という主張を表現する。これは十分一般的でありテキストではしばしばこれらの矢の意味が説明されない。

== 可換性の証明 ==
可換性は任意有限個の辺（1 や 2 だけも含む）の[[多角形]]に対して意味を持つ。図式が可換であるとは、すべての部分多角図式<!--polygonal subdiagram-->が可換ということである。

== 図式追跡 ==
'''図式追跡'''（diagram chasing, diagram chase）とは、特に[[ホモロジー代数]]において用いられる[[数学的証明]]の手法である。可換図式が与えられると、図式追跡による証明は、[[単射]]や[[全射]]あるいは[[完全列]]といった図式の性質の形式的な使用を伴う。[[三段論法]]が構成され、図式の図による表示はただの視覚的助けである。所望の元あるいは結果が構成されるか確認されると、図式の元を「追跡」することが終わる。

図式追跡による証明の例には、[[5項補題]]、[[スネーク補題]]、[[ジグザグ補題]]、[[9項補題]]の典型的な証明がある。

== 関手としての図式 ==
{{Main|図式 (圏論)}}

圏 ''C'' における可換図式は添え字圏 ''J'' から ''C'' への[[関手]]として解釈することができる： その関手を[[図式 (圏論)|'''図式''']] (diagram) と呼ぶ。

よりフォーマルに、可換図式は [[順序集合#圏としての順序集合|半順序圏]]によって添え字図けられた図式の視覚化である：
* 添え字圏のすべての対象に対してノードを描き、
* 射の生成集合の矢を描き、
*:恒等写像と合成として表せる射を省き、
* 図式の可換性（2つの対象の間の写像の異なる合成が等しいこと）は半順序圏における2つの対象の間の写像の一意性に対応する。

逆に、可換図式が与えられると、それは半順序圏を定義する：
* 対象はノードであり、
* 2つの対象の間に射があることとノードの間に（向き付けられた）道があることが同値であり、
* この射は一意である（写像の任意の合成はそのドメインとターゲットによって定義される：これは可換性の公理である）という関係をもつ。

しかしながら、すべての図式が交換するわけではない（図式の概念は可換図式を真に一般化する）：最も単純には、自己準同型  (<math>f\colon X \to X</math>) をもったただ1つの対象の図式、あるいは[[イコライザ (圏論)|イコライザ]]の定義において用いられるように2つの平行する矢 (<math>\bullet \rightrightarrows \bullet</math>, つまり、<math>f,g\colon X \to Y</math>, ときどき [[自由箙]]と呼ばれる）からなる図式は、交換する必要はない。さらに、図式は対象や射の数が大きい（あるいは無限！）のときはぐちゃぐちゃあるいは描くのが不可能かもしれない。

== 関連項目 ==
* {{仮リンク|数学の図式|en|Mathematical diagram}}

== 参考文献 == 
*{{cite book | last = Adámek | first = Jiří |author2= Herrlich, Horst |author3= Strecker, George E. | year = 1990 | url =http://katmat.math.uni-bremen.de/acc/acc.pdf | title = Abstract and Concrete Categories: The Joy of Cats | publisher = John Wiley & Sons | isbn = 0-471-60922-6}} オンラインで無料提供 (4.2MB PDF).
* {{Cite book| last1=Barr| first1=Michael|authorlink1=:en:Michael Barr (mathematician)  | last2=Wells| first2=Charles| authorlink2=:en:Charles Wells (mathematician) | year=2002| title=Toposes, Triples and Theories|url=http://www.tac.mta.ca/tac/reprints/articles/12/tr12.pdf |isbn=0-387-96115-1}} 改訂・修正版をオンラインで無料提供 (初版は{{cite book|title= Toposes, Triples and Theories|journal= Grundlehren der mathematischen Wissenschaften |number= 278|oclc= 848727113|location= [[ベルリン]] |publisher= Springer-Verlag|year= 1983}})。

== 外部リンク ==
* [http://mathworld.wolfram.com/DiagramChasing.html Diagram Chasing]、ウェブサイト「[[MathWorld]]」に掲載。
* [http://wildcatsformma.wordpress.com WildCats]は[[数式処理システム]]『[[Mathematica]]』のカテゴリ論パッケージ。オブジェクトの操作と視覚化、[[射 (圏論)|射]]、カテゴリ、[[関手]]、[[自然変換]]。

{{圏論}}

{{Authority control}}
{{DEFAULTSORT:かかんすしき}}
[[Category:ホモロジー代数]]
[[Category:圏論]]
[[Category:数学的証明]]
[[Category:数学用語]]
[[Category:ダイアグラム]]
[[Category:数学に関する記事]]