極限 (圏論)
数学の一分野圏論において、極限とは積や引き戻しや逆極限といった普遍的な構成たちの根底にある性質を捉えた抽象概念である。双対的に余極限とは非交和、直和、余積、、直極限のような構成を一般化したものである。
極限と余極限は、強く関連した概念である普遍性や随伴関手と同様に、高度に抽象化された存在である。これらを理解するために、一般化される前の特定の概念を先に学ぶのがよい。
圏"C"における極限と余極限は"C"上の図式に関して定義される。形式的には、形が"J"である"C"における図式は"J"から"C"への関手
のことである。圏"J"は添字圏であるとみなし、図式"F"は"C"の対象と射を"J"の形に並べたものとみなす。"J"の実際の対象や射は特に意味はなく―それらの繋がり方だけが意味を持っている。
圏"J"として使われるものは、多くの場合、小さい圏であり、有限であることもある。図式が小さい、有限であるなどは圏"J"がそうであることをいう。
"F" : "J" → "C" を"C"における形が"J"の図式であるとする。"F"への錐とは、"C"の対象"N"と、"J"の対象"X"で添え字付けられた射の族ψ : "N" → "F"("X")の組("N", ψ)のうち、全ての"J"の射"f" : "X" → "Y"が"F"("f") o ψ = ψを満たすものをいう。
図式"F" : "J" → "C"の極限とは"F"への錐("L", φ)であって、他のどの"F"への錐("N", ψ)に対しても、"一意"な射"u" : "N" → "L"が存在して、"J"の全ての対象"X"がφ o "u" = ψを満たすようにできるものをいう。
このとき、錐("N", ψ)は錐("L", φ)を経由して一意な分解射"u"により分解されるという。射"u"は仲介射であると呼ばれることもある。
極限は普遍性によって特徴付けられる(下記を参照)ので、普遍錐であるということもできる。他の普遍性と同様に、上の定義は一般性が釣り合った状態であることを述べている。つまり、極限対象"L"は各錐がこれを経由して分解できるほどに一般性を持ち、分解が"一意"であるのに十分な具体性も持っている。
極限は"F"への錐の圏の終対象であると特徴付けることもできる。
図式が極限を持たないこともある。しかし、もし図式が極限を持つならば、それは本質的に一意である。すなわち、同型による違いを除いて一意である。このことが"F"の唯一の (the) 極限と呼ぶことのある理由である。
極限と錐の双対概念が余極限と余錐である。上の定義における射の向きを全て逆にすることで定義を得ることもできるが、ここでは実際に書いてみることにする。
図式"F" : "J" → "C"からの余錐とは、"C"の対象"N"と、"J"の各対象"X"で添え字付けられた射の族
の組("N", ψ)のうち、"J"の各射"f" : "X" → "Y"がψ o "F"("f")= ψを満たすもののことである。
図式"F" : "J" → "C"の余極限とは"F"からの余錐("L", formula_1)であって、"F"からの他の余錐("N", ψ)についていつでも、一意的な射"u" : "L" → "N"が存在して、全ての"J"の対象"X"が"u" o formula_1 = ψを満たすことをいう。
余極限は"普遍余錐"であり、"F"からの余錐の圏における始対象として特徴付けることができる。
極限の場合と同様に、図式"F"が余極限を持てば、それは同型を除いて一意である。
極限と余極限は図式を使わずに、対象と射の集まりが与えられれば定義することができる。この場合の定義も上と同じである(上の定義では"J"の射の合成を全く使わなかったことに注意)。しかしながら、この定義は何も新しい情報をもたらさない。対象と射の集まりは(大きくなりうる)有向グラフ"G"を定める。そして、"J"を"G"の生成する自由圏とすると、"G"の像を包含する普遍的な図式"F" : "J" → "C"が存在する。この図式の極限(余極限)はもとの対象と射の集まりの極限(余極限)と同じになる。
弱極限と弱余極限は極限と余極限の定義から仲介射の一意性を除いたものをいう。
極限の定義は実際によく使われている多くの構成を十分に包摂する一般的なものである。以下では図式"F" : "J" → "C"の極限("L", φ)について考える。余極限の例は上の例の双対で与えられる。
勝手な図式 "F" : "J" → "C" は"C"に極限(または極限)を持つこともあるし、持たないこともある。さらに、"F"への錐すらないこともあり、このときは普遍錐ももちろん存在しない。
圏"C"が "J"の形の極限を持つというのは、形が"J"の任意の図式の極限が"C"で存在することをいう。特に、圏"C"が
双対的な定義も可能である。圏が "J"の形の余極限を持つとは、形が"J"である全ての図式が"C"で余極限を持つことである。余完備圏は全ての小さな余極限を持つ圏のことである。
極限の存在定理とは、圏"C"が等化子を持ち、クラスOb("J")とクラスHom("J")で添え字付けられた全ての積を持つならば、"C"は"J"の形の全ての極限を持つという定理である。この場合、図式 "F" : "J" → "C" の極限は二つの射
の等化子として構成することができる。ここで、"s"と"t"は
で与えられる。
双対的に余等化子と余積を使った余極限の存在定理も同様に成り立つ。これらの定理は"J"の形の全ての(余)極限が存在することの十分条件ではあるが、必要条件ではない。
極限と余極限は重要な普遍構成である。"C"を圏とし、"J"を小さな添え字圏とする。関手圏"C"は形が"J"である"C"の図式全体からなる圏と考えることができる。"対角関手"
とは"C"の対象"N"を値が"N"である定数関手 Δ("N") : "J" → "C"に対応させる関手のことをいう。すなわち、"J"の各対象"X"にたいして、Δ("N")("X") = "N"であり、"J"の各射 "f" にたいして、Δ("N")("f") = id である。
図式"F": "J" → "C"が与えられたとき("C"の対象だと思うことで)、自然変換ψ : Δ("N") → "F" (これはたんに圏"C"の射のことである)は"N"から"F"への錐と同じものである。ψのコンポーネントは射 ψ : "N" → "F"("X") である。双対的に、自然変換ψ : "F" → Δ("N") は"F"から"N"への余錐と同じものである。
極限と余極限の定義は次の形に言い直すことができる。
普遍的構成が持つように、極限と余極限も自然に関手性を持っている。言い換えると、形が"J"("J"は小さいとする)である"C"における全ての図式が極限を持つとすると、極限関手
が存在する。ここで、この関手は各図式をその極限に写し、各自然変換η : "F" → "G"は対応する普遍錐と可換である一意な射lim η : lim "F" → lim "G"に写すものとする。この関手は対角関手
Δ : "C" → "C".
の右随伴関手である。この随伴は"N"からlim "F"へのすべての射からなる集合と"N"から"F"へのすべての錐からなる集合の間の全単射
で与えられる。これは変数"N"と"F"に関して自然である。この随伴の余単位射 (counit) はlim "F"から"F"への普遍錐そのものである。添え字圏"J"が連結である(そして空でない)場合は、随伴の単位射 (unit) はlimがΔの左逆になるような同型射である。これは"J"が連結でない場合は正しくない。例えば、"J"が離散圏である場合、単位射のコンポーネントは対角射 δ : "N" → "N" である。
双対的に、形が"J"("J"は小さいとする)である"C"の全ての図式が余極限を持つとき、余極限関手
が存在し、各図式をその余極限に写す。この関手は対角関手Δ : "C" → "C"の左随伴であり、自然な全単射
が存在する。この随伴の単位射は"F"からcolim "F"への普遍余錐である。"J"が連結で(空でない)とき、余単位射はcolimがΔの左逆となるような同型射である。
極限関手も余極限関手も共変関手であることに注意すること。
圏"C"における極限や余極限はHom関手によって集合の圏Setにおける極限と関連付けることができる。このことは、部分的には、共変Hom関手Hom("N", –) : "C" → Setが"C"における極限を保存することから導かれる。双対性により、反変Hom関手は余極限を極限に写す。
図式"F" : "J" → "C"が"C"に極限 lim "F" を持つとすると、
が存在し、変数"N"に関して自然である。ここで、関手Hom("N", "F"–)はHom関手Hom("N", –)と"F"の合成である。この同型は極限錐の選び方から一意に決まる。
上の関係を使うことで、"C"における"F"の極限を定義することが可能である。まず、関手Hom("N", "F"–)の極限は"N"から"F"へのすべての錐の集合
と同一視することができることが分かる。写像の族π : Cone("N", "F") → Hom("N", "FX")をπ(ψ) = ψで定めると、極限錐を得る。"C"の対象"L"と自然同型Φ : Hom(–, "L") → Cone(–, "F")に対して、"L"は極限錐がΦ(id)である"F"の極限である。格好良く書くと、"F"の極限は関手Cone(–, "F") : "C" → Setの表現であるということになる。
双対的に、図式"F" : "J" → "C"が"C"に余極限colim "F"を持つとすると、標準同型
が存在し、変数"N"に関して自然であり、余極限錐の選択から一意に決まる。Hom("F"–, "N")の極限と集合Cocone("F", "N")を同一視することにより、この関係から図式"F"の余極限を関手Cocone("F", –)の表現として定義することができる。
"I"を有限な圏とし、"J"を小さいとする。任意の二項関手
に対して、自然変換
が存在する。言い換えると、Setにおけるフィルター余極限と有限極限は交換する。
"C"の図式"F" : "J" → "C"と関手"G" : "C" → "D"について、合成することにより(図式は単なる関手であるので)図式"GF" : "J" → "D"を得る。このとき、以下は自然な疑問である。
関手"G" : "C" → "D"はCone("F")からCone("GF")への写像を誘導する。すなわち、Ψを"N"から"F"への錐とすると、"G"Ψは"GN"から"GF"への錐となる。関手"G"が "F"の極限を保存するとは、("L", φ)が"F"の極限であるときはいつでも、("GL", "G"φ)が"GF"の極限となることをいう。(注意: "F"の極限が存在しない場合も、"G"は"F"の極限を保存する())
関手"G"が "J"の形の全ての極限を保存する"とは、"G"が任意の図式"F" : "J" → "C"の極限を保存することをいう。例えば、"G"は積を保存する、等化子を保存する、引き戻しを保存する等のように使用する。連続関手"'とは全ての"小さな"極限を保存する関手をいう。
同様の定義は余極限についても可能である。例えば、関手"G"は"F"の余極限を保存するとは、("L", φ)が"F"の余極限のときはいつでも、"G"("L", φ)が"GF"の余極限となることをいう。余連続関手とは全ての"小さな"余極限を保存する関手をいう。
"C"が完備圏であるならば、上記の極限の存在定理により、関手"G" : "C" → "D"が連続であることは、(小さい)積と等化子を保存することと同値となる。双対的に、"G"が余連続であることは、(小さい)余積と余等化子を保存することと同値である。
随伴関手について、全ての右随伴関手は連続であり全ての左随伴関手は余連続であるという重要な性質がある。随伴関手は豊富に存在しているので、連続関手や余連続関手のたくさんの例を得られる。
与えられた図式"F" : "J" → "C"と関手"G" : "C" → "D"にたいして、"F"と"GF"が特定の極限をもつならば、標準射
が存在して、対応する極限錐の選択ごとに一意である。関手"G"が"F"の極限を保存することは、この写像が全単射であることと同値である。もし圏"C"と"D"が"J"の形の全ての極限を持っているならば、limは関手であり、τは自然変換
のコンポーネントである。関手"G"が"J"の形の全ての極限を保存することは、τが自然同型であることと同値である。この意味で、関手"G"は(標準自然同型の違いを除いて)"極限と交換する"ということができる。
極限や余極限の保存という概念は"共変"関手にだけ適用できる。反変関手についての対応する概念は余極限を極限に写す、もしくは極限を余極限に写すというものになる。
関手"G" : "C" → "D"が図式"F" : "J" → "C"の極限を持ち上げるとは、("L", φ)が"GF"の極限であるときはいつでも、"F"の極限("L"′, φ′)が存在して、"G"("L"′, φ′) = ("L", φ)が成り立つことをいう。関手"G"が "J"の形の極限を持ち上げるとは、"J"の形の全ての図式の極限を持ち上げることをいう。これは、積を持ち上げる、等化子を持ち上げる、引き戻しを持ち上げる等のように使用することができる。最後に、"G"が極限を持ち上げるとは、全ての極限を持ち上げることをいう。余極限の持ち上げについても双対的な定義が可能である。
関手"G"が図式"F"に対して一意に極限を持ち上げるとは、"F"の極限であり"G"("L"′, φ′) = ("L", φ)となるような、逆像("L"′, φ′)がただひとつ存在することをいう。"G"が一意に極限を持ち上げることは、それが極限を持ち上げるであることと同値である。
極限を持ち上げることは、極限を保存することと明らかに関係している。"G"が図式"F"の極限を持ち上げて、"GF"が極限を持つとすると、"F"もまた極限を持ち、"G"は"F"の極限を保存する。さらに、
ことが従う。双対的に余極限に対しても同様に成り立つ。
"F" : "J" → "C"を図式とする。関手"G" : "C" → "D"が
双対的に、余極限の創出と反映を定義することもできる。
以下が同値であることが容易に示せる。
一意に極限を持ち上げるが、極限を創出も反映もしない関手の例も存在する。古い用語では極限のことを「逆極限」や「射影極限」と呼び、余極限を「順極限」や「帰納極限」と呼ぶ。これは多くの混乱の原因となった。
現代的な用語を覚えるいくつかの方法がある。最初に、
は余極限の一種であり、
は極限の一種である。次に、「余」という接頭辞は「formula_19の最初の変数」を暗に示している。「コホモロジー」や「余ファイブレーション」のような用語は最初の変数、つまり二項関手formula_19の反変な側の変数ととても強く関連している。