【新機能】作り忘れたまとめはありませんか?31日前まで期間指定してまとめが作れる高度な検索ができました。有料APIだからツイートの漏れはありません!
8
ログインして広告を非表示にする
LOST SONG @alg_d 2016-04-24 02:35:56
今日も圏論の話するか
LOST SONG @alg_d 2016-04-24 02:39:38
圏の例として、順序集合というのがある
LOST SONG @alg_d 2016-04-24 02:41:34
(X, ≦) を順序集合としたとき、 ・元x∈Xを対象とする ・x≦yのとき、xからyへの射がただ一つ存在する ・x≦yでないとき、xからyへの射は存在しない とすると、圏が得られる。この意味で、順序集合Xを圏とみなす
LOST SONG @alg_d 2016-04-24 02:42:35
ここで圏における極限というのを考えてみる。
LOST SONG @alg_d 2016-04-24 02:43:44
「極限」の具体例として、直積という概念がある。集合の直積や群の直積、位相空間の直積などを一般化した概念である
LOST SONG @alg_d 2016-04-24 02:44:35
順序集合(X, ≦)を圏とみなして、圏Xにおける直積を考えてみる。
LOST SONG @alg_d 2016-04-24 02:46:17
x, y∈Xを取り、直積x×yが存在したとしてみる。定義から、こいつは次の条件を満たす。 ・x×y≦x かつ x×y≦yである ・z∈Xが「z≦x かつ z≦y」を満たせば、z≦x×yである
LOST SONG @alg_d 2016-04-24 02:47:29
つまり、x×yとは「xとyの下にある奴のうち、最大のもの」、すなわち{x, y}の下限(=最大下界)である: x×y = inf{x, y}
LOST SONG @alg_d 2016-04-24 02:49:19
例えば、有理数全体 Q を通常の順序で順序集合、すなわち圏とみなしたとき、有理数x, yに対して直積 x×y は常に存在し、min{x, y} のことである
LOST SONG @alg_d 2016-04-24 02:50:33
例えば、集合Aのべき集合P(A)を、包含関係で順序集合、すなわち圏とみなしたとき、S, T∈P(A) に対して直積 S×T は常に存在し、 S×T = S∩T である。
LOST SONG @alg_d 2016-04-24 02:51:38
圏論では双対というのがあって、射の向きを逆にして得られる概念を双対概念という。直積の双対を余直積と呼ぶ。
LOST SONG @alg_d 2016-04-24 02:52:19
順序集合の場合、直積は下限だったけど、その双対である余直積は上限である。つまり下限と上限は双対の関係にある。
LOST SONG @alg_d 2016-04-24 02:52:39
特にP(A)を考えれば∩と∪は双対である。
LOST SONG @alg_d 2016-04-24 02:53:47
さて、 f: A→B を写像とすると、「像」を与える写像 f: P(A)→P(B) と、「逆像」を与える写像 f^-1: P(B)→P(A) があった。
LOST SONG @alg_d 2016-04-24 02:54:56
皆さんよくご存じのとおり、 f^-1 は∩や∪と交換する: f^-1(S∩T) = f^-1(S)∩f^-1(T), f^-1(S∪T) = f^-1(S)∪f^-1(T)
LOST SONG @alg_d 2016-04-24 02:56:36
一方 f: P(A)→P(B) は∪とは交換する( f(S∪T) = f(S)∪f(T) )けど∩とは交換しない: f(S∩T) ≠ f(S)∩f(T)となる例がある
LOST SONG @alg_d 2016-04-24 02:56:51
これはいったいどうしてなのか?
LOST SONG @alg_d 2016-04-24 02:57:31
ここで、今の話はいったん置いといて随伴というものを考える。
LOST SONG @alg_d 2016-04-24 02:59:06
C, Dを圏、F: C→D, G: D→C を関手としたとき、組(F, G)が随伴とは、c∈C, d∈D について自然な同型 Hom_D(Fc, d)=Hom_C(c, Gd) が成り立つことをいう。(Homは集合だから、ここで同型と言っているのは全単射のことである)
LOST SONG @alg_d 2016-04-24 03:01:29
例えばXを集合として、右から直積する関手 -×X: Set→Setと、Homを取る関手 Hom(X, -): Set→Set を考えると、A, B∈Setに対して全単射 φ: Hom(A×X, B)=Hom(A, Hom(X, B))が存在するから、
LOST SONG @alg_d 2016-04-24 03:02:59
-×XとHom(X, -)は随伴である。(φは、写像 f(a, x): A×X→B に対して、φ(f): A→Hom(X, B) を φ(f)(a) = f(a, -) で与える写像である)
LOST SONG @alg_d 2016-04-24 03:04:27
随伴 Hom_D(Fc, d)=Hom_C(c, Gd) となっているとき、Fを左随伴、Gを右随伴という。
LOST SONG @alg_d 2016-04-24 03:06:47
ここで重要な定理がある: 左随伴は余極限と交換する。右随伴は極限と交換する。
LOST SONG @alg_d 2016-04-24 03:07:10
特に、左随伴は余直積と交換し、右随伴は直積と交換することが分かる。
残りを読む(16)

カテゴリーからまとめを探す

「数学」に関連するカテゴリー

ログインして広告を非表示にする
ログインして広告を非表示にする

「数学」の注目キュレーター

カテゴリーを見る