Harvestは小説の題名。錐これまで、2回にわたって、圏論での極限の具体的な例を示してきた。B\)ということで説明をした。極限は、ある条件を満たすものの中で最も良いものといういい方もした。ある条件を満たすものを候補とも説明した。それでは、このような候補はどのようにして選ばれるのであろうか。戻って、二つの対象はどのようにして選ばれるのであろうか。これらを選ぶ基準がないと、極限という概念を組み立てていくことができない。そこで、ここでは、これらの選び方について説明することとする。2対象からの錐まず単純な例から説明しよう。二つの圏が与えられているとする。一つの圏は、二つの対象\(1\),\(2\)しか有しない離散的な圏としよう(下図)。射は恒等射\(id\)しか有しないものとしよう。これを圏\(\bf{2}\)と呼ぶことにしよう。{C}\)と呼ぶことにし、ここから二つの対象を適当に選び、これを\(A\),\(B\)にしたとしよう。そこで、圏\(\bf{2}\)からこれらの対象に関手\(D\)を張ることを考えよう。\\id_B=D(id_2)\end{eqnarray}となるような\(D\)が存在するならば、関手を張ることが可能である。ここで、\(id_1,id_2,id_A,id_B\)はそれぞれの対象での恒等射である。このような関手が張れたとしよう(上図)。{C}\)からもう一つ対象を選んできたとし、これを\(C\)としよう。これに対して、圏\(\bf{2}\)からこの対象に関手\(\Delta_C\)を張ることを考えよう。(id_2)\end{eqnarray}となるような\(C\)が存在するならば、関手を張ることが可能である。ここでも満たしたとしよう(下図)。そこで、\(D\)から\(id_{C}\)への自然変換を考えよう。自然変換それでは、自然変換を復習しておこう。下図に示すように、圏\(\mathcal{C}\)から圏\(\mathcal{C'}\)に対して関手\(D,D'\)が存在したとしよう。関手\(D\)から\(D'\)への自然変換\(Nat(D,D')\)とは、\(\mathcal{C}\)の任意の対象\(A,B\)に対して、上図が可換になることを言う。上図は次のようになっている。(f)\end{eqnarray}である。\alpha_A\)を満たすこととなる。圏\(\bf{2}\)からの自然変換それでは、圏\(\bf{2}\)の自然変換を考えてみよう。圏\(\bf{2}\)での対象1について考えよう。これは、\(D\)によって\(A\)に、\(\Delta_C\)によって\(C\)に写像変換されている。\(C\)から\(A\)への写像を\(\alpha_1\)とすると、これが自然変換を構成する要素となる。対象2についても同様で、\(C\)から\(B\)への写像を\(\alpha_2\)とすると、これが自然変換を構成する要素となる。\(A\)と\(B\)の間には写像が存在しないので、可換の条件は存在しない。このため、\((\alpha_1,\alpha_2)\)は自然変換\(Nat(\Delta_C,D)\)となる。一般には、自然変換は一つの組合せとは限らず、複数存在する。従って、可換を満たすものが\(n\)組ある場合には、\(Nat(\Delta_C,D)=\{(\alpha_1^1,\alpha_2^1),\{(\alpha_1^2,\alpha_2^2),...,\{(\alpha_1^i,\alpha_2^i)\}\)となる。このようなものを選ぶことができるなら、\(C\)は\(A\)と\(B\)の積の極限への候補となる。問題1:圏\(\bf{2}\)を利用して、二つの整数の公約数を選び出しなさい。問題2:圏\(\bf{2}\)を利用して、料理作り好きな友人のリストの候補を作成しなさい。ヒント:知り合いを\(A\)とし、趣味を\(B\)を出発点に考えなさい。ここから絞っていくと、答えの一つとして、\(A\)は料理好きな友達の集まり、\(B\)は仏料理や和食のような種類の集まりを得る。圏\(\bf{2}\)をもう少し一般化してインデックス圏を用いてみよう。インデックス圏は、対象にインデックスが付加されており、対象間では射が定義されているものとする。ここでは、インデックス圏の中で最も単純な3つの対象からなるものを利用しよう。下図に示すように、インデックス圏\(\mathcal{I}\)と圏\(\mathcal{C}\)が存在したとしよう。圏\(\bf{2}\)の場合と同じように、\(\mathcal{C}\)から三つの対象\(D_I,D_J,D_K\)を選んだとしよう。これらには\(\mathcal{C}\)から関手\(D\)で張ることができたとしよう(下図)。前回と同じように次が満たされたとする。\\id_{D_K}=D(id_K)\end{eqnarray}次に、\(\mathcal{C}\)から一つの対象\(C\)を選んだとしよう。これらには\(\mathcal{C}\)から関手\(\Delta_C\)で張ることができたとしよう(下図)。次が満たされたとする。}=D(id_K)\end{eqnarray}ここで、関手\(\Delta_C\)から関手\(D\)に対して自然変換が成り立ったとしよう(下図)。自然変換は、ドメインとなった圏の対象ごと、ここではさらに射もあるので射ごとにも、ドメイン側の圏で、移されたものの間を射で結んだ時に、可換を保持しなければならない。これは、圏\(\bf{2}\)の時の説明と同じである。D_K\)が存在し、可換の条件を満たさなければならない。射\(f\)に対しては、次のことが満たされなければならない(上図)。\alpha_I\end{eqnarray}が成り立たなければならない。この結果、下図に示すように、\(C\)を頂点として形作られた三角錐(\(C,D_I,D_J,D_K\))は、そのすべての側面において可換であるならば、自然変換である。\(\{(\alpha_I,\alpha_J,\alpha_K)\}\)は自然変換\(Nat(\Delta_C,D)\)の一つである。一般にはこのようなものは一つとは限らない。\(i\)個存在するとするならば、自然変換は\(Nat(\Delta_C,D)=\{(\alpha_I^1,\alpha_J^1,\alpha_K^1),(\alpha_I^2,\alpha_J^2,\alpha_K^2),...,(\alpha_I^i,\alpha_J^i,\alpha_K^i)\}\)である。今回は、3つの対象からなるインデックス圏を用いて三角錐を得た。インデックス圏の対象を増やしていくと三角錐は円錐へと近づいていく。圏論では、インデックス圏から得られるこのような物体を錐(cone)と呼んでいる。極限の定義はこの錐を用いて定義できるが、その話は次回行う。極限と双対の関係にあるのが、余極限である。紅くるりのピクルスとサラダ小春日和のなか、上野寛永寺ゆかりの建造物を訪ねるローマ風、ロマネスコと生ハムのマリネ参加グループ知識リンクはてなブログブログをはじめる週刊はてなブログはてなブログProはてなブログをはじめよう!bitterharvestさんは、はてなブログを使っています。ブログを報告するスターをつけました引用をストックしましたストック一覧を見る閉じる引用するにはまずログインしてくださいログイン閉じる引用をストックできませんでした。再度お試しください閉じる限定公開記事のため引用できません。