「米田の補題」の版間の差分

削除された内容追加された内容

インライン

2021年4月30日 (金) 09:26時点における版

米田の補題（よねだのほだい、英: Yoneda lemma）とは、小さなhom集合をもつ圏 $C$ について、共変hom関手 $hom(A, _) : C \to Set$ から集合値関手 $F : C \to Set$ への自然変換と、集合である対象 $F (A)$ の要素との間に一対一対応が存在するという定理である。「米田の補題」という名称は、米田信夫に因んでソーンダース・マックレーンにより名付けられた^[1]^[2]^[3]。

概要

$C$ を局所的に小さい（locally small）圏とする。すなわち $C$ の各対象 $A$ , $B$ に対して $hom(A, B)$ は集合であるとする。対象 $A$ を固定するとき、共変hom関手 $h A = hom(A, _) : C \to Set$ は対象 $X$ に対して、集合 $hom(A, X)$ を割り当て、射 $f : X \to Y$ に対して写像 $hom(A, f) = f ◦ (_) : hom(A, X) \to hom(A, Y)$ を割り当てる関手であった。

さらに、 $F : C \to Set$ を集合値関手とし、 $h A$ から $F$ へのすべての自然変換のクラス $Nat(h A, F)$ について考える。

このとき、米田写像（Yoneda map）と呼ばれる全単射

y : Nat(h A, F) ≃ F (A)

が存在するというのが米田の補題である。

証明

$θ$ を $C$ の各対象 $X$ に $Set$ の射 $θ X : hom(A, X) \to F (X)$ を割り当てる関数とするとき、 $θ$ が $h A$ から $F$ への自然変換であるというのは、 $C$ の任意の射 $f : X \to Y$ に対して

θ Y ◦ hom(A, f) = F (f) ◦ θ X

が成り立つことであった。これは Set の射 $hom(A, X) \to F (Y)$ の等式なので、言い換えると任意の $hom(A, X)$ の元 $g : A \to X$ において等しい値

(θ Y ◦ hom(A, f))(g) = (F (f) ◦ θ X)(g)

を持つこととなる。hom関手の定義より、結局 $θ$ が自然変換であるための必要十分条件は、任意の射 $f : X \to Y$ と $g : A \to X$ に対して、

θ Y (f ◦ g) = F (f)(θ X (g))

が成り立つことである。特に、 $θ$ が自然変換であるときに $g = id A$ を選ぶと、任意の射 $f : A \to Y$ に対して、

θ Y (f) = F (f)(θ A (id A))

であることが分かる。

米田写像 $y$ を自然変換 $θ$ に対して

y (θ) = θ A (id A)

で定める。 $y$ が全単射であることを示す。

(単射性) $a ∊ F (A)$ に対して、自然変換 $θ$ が存在して $y (θ) = a$ であったとする。このとき、任意の射 $f : A \to Y$ に対して $θ$ は

θ Y (f) = F (f)(a)

を満たす。これにより $θ$ の各コンポーネントが一意に定まるため、 $y$ は単射である。

(全射性) $a ∊ F (A)$ を任意に固定する。このとき、 $C$ の対象 $X$ それぞれに対して写像 $τ X : hom(A, X) \to F (X)$ を以下で定義する：

τ X (f) := F (f)(a)

このとき、任意の射 $f : X \to Y$ と $g : A \to X$ に対して

τ Y (f ◦ g) = F (f ◦ g)(a) = F (f)(F (g)(a)) = F (f)(τ X (g))

が成り立つことから、 $τ X$ を各コンポーネントとする自然変換 $τ$ の存在が示される。定義から $τ A (id A) = a$ であるため $y (τ) = a$ が成り立つ。

圏の完備化

$C$ を局所的に小さな圏とする。C から関手圏 $Set C$ への関手 $h (_) : C op \to Set C$

（対象関数）

h A = hom(A, _)

　共変hom関手

（射関数）　

h f op : B \to A = hom(A, _)

{\dot {\rightarrow }}

hom(B, _)

　共変hom関手間の自然変換

をグロタンディーク関手（Grothendieck functor）と呼ぶ^[4]。

ここで、共変hom関手の間の自然変換について

y : Nat(h A, h B) ≃ h B (A) = hom C (B, A)

が、米田の補題から成り立つ。ここで、関手圏の射が自然変換であったことから

Nat(h A, h B) = hom Set C (h A, h B)

とhom集合で書きなおすことができ、C のhom集合と $Set C$ のhom集合との間に全単射

hom C (B, A) ≃ hom Set C (h A, h B)

が存在することがわかる。すなわち、グロタンディーク関手 $h$ は充満忠実である。

脚注

[脚注の使い方]

^ Kinoshita 1996
^ Kinoshita 1998
^ MacLane 1998a
^ Encyclopedia of Mathematics : Grothendieck functor　ただし、添字の上下はリンク先と便宜上、反対にした。

参考文献

Bucur, I.; Beleanu, A. (1968). Introduction to the theory of categories and functors
Freyed, P. (2003) [1964], Abelian Categories p.112-113
Grothendieck, A. (1958-1960), Technique de descente et théorèmes d'existence en géométrie algébriques. II. Le théorème d'existence en théorie formelle des modules.
Grothendieck, A. (1960-1961), Techniques de construction en géométrie analytique. IV. Formalisme général des foncteurs représentables
Kinoshita, Yoshiki (1996年4月23日) (英語), Prof. Nobuo Yoneda passed away , Wikidata Q106653302
Kinoshita, Yoshiki (1998年1月), “Nobuo Yoneda” (英語), Mathematica Japonicae 47 (1): 155, ISSN 0025-5513 , Wikidata Q106653378
MacLane, S. (1965), Categorical algebra p.54-55
MacLane, S. (1971), Categorical algebra and set-theoretic foundations p.237
MacLane, S. (1998). Categories for the Working Mathematician. Graduate Texts in Mathematics. 5 (2nd ed.). Springer-Verlag. ISBN 0-387-98403-8 邦訳：『圏論の基礎』
MacLane, Saunders (1998年1月), “The Yoneda Lemma” (英語), Mathematica Japonicae 47 (1): 156, ISSN 0025-5513 , Wikidata Q106653429
Mitchell, B. (1965). Theory of Categories. Academic Press p.97-99
Stauffer, H. B. (1971), A relationship between left exact and representable functors
Stauffer, H. B. (1972), The completion of an abelian category
大熊正『圏論（カテゴリー）』槙書店、1979年。
河田敬義『ホモロジー代数I,II』岩波書店、1977年。
中山正, 服部昭『復刊ホモロジー代数学』共立出版、2010年。
Riehl, Emily. “Category Theory in Context”. 2021年4月23日閲覧。

@@ 1行目: / 1行目: @@
-'''米田の補題'''（よねだのほだい、{{lang-en-short|Yoneda lemma}}）とは、小さなhom集合をもつ[[圏 (数学)|圏]] {{Math|'''C'''}} について、共変[[hom関手]] {{Math|hom(''A'' , _) : '''C''' → '''Set'''}} から集合値関手 {{Math|''F'' : '''C''' → '''Set'''}} への[[自然変換]]と、集合である対象 {{Math|''F''(''A'')}} の要素との間に一対一対応が存在するという定理である。名称は[[米田信夫]]に因む。
+'''米田の補題'''（よねだのほだい、{{lang-en-short|Yoneda lemma}}）とは、小さなhom集合をもつ[[圏 (数学)|圏]] {{Math|'''C'''}} について、共変[[hom関手]] {{Math|hom(''A'' , _) : '''C''' → '''Set'''}} から集合値関手 {{Math|''F'' : '''C''' → '''Set'''}} への[[自然変換]]と、集合である対象 {{Math|''F''(''A'')}} の要素との間に一対一対応が存在するという定理である。「米田の補題」という名称は、[[米田信夫]]に因んで[[ソーンダース・マックレーン]]により名付けられた<ref>{{harvnb|Kinoshita|1996}}</ref><ref>{{harvnb|Kinoshita|1998}}</ref><ref>{{harvnb|MacLane|1998a}}</ref>。
 ==概要==
@@ 62行目: / 62行目: @@
 * {{citation | last=Grothendieck|first=A.| title=Technique de descente et théorèmes d'existence en géométrie algébriques. II. Le théorème d'existence en théorie formelle des modules.|year=1958-1960| url=http://www.numdam.org/numdam-bin/item?id=SB_1958-1960__5__369_0}}
 * {{citation | last=Grothendieck|first=A.| title=Techniques de construction en géométrie analytique. IV. Formalisme général des foncteurs représentables|year=1960-1961| url=http://www.numdam.org/numdam-bin/item?id=SHC_1960-1961__13_1_A7_0}}
+* {{Cite Q|Q106653302|last=Kinoshita|first=Yoshiki}}
+* {{Cite Q|Q106653378|last=Kinoshita|first=Yoshiki}}
 * {{citation | last=MacLane|first=S.|year=1965| title=Categorical algebra | url=http://www.ams.org/journals/bull/1965-71-01/S0002-9904-1965-11234-4/S0002-9904-1965-11234-4.pdf | MacLane(1965) }} p.54-55
 * {{citation | last=MacLane|first=S.|year=1971 | title=Categorical algebra and set-theoretic foundations| url=http://www.princeton.edu/~hhalvors/teaching/phi536_s2011/maclane1971.pdf}} p.237
 * {{cite book|last=MacLane|first=S.|title=Categories for the Working Mathematician|publisher=Springer-Verlag|year=1998|edition=2nd|series=Graduate Texts in Mathematics|volume=5|url={{google books|MXboNPdTv7QC|plainurl=yes}}|isbn=0-387-98403-8 | ref=harv }} 邦訳：『圏論の基礎』
+* {{Cite Q|Q106653429|last=MacLane|first=Saunders|year=1998a}}
 * {{cite book|last=Mitchell|first=B.|title=Theory of Categories|year=1965|publisher=Academic Press|url=http://www.scribd.com/doc/14006200/Barry-Mitchell-Theory-of-Categories}} p.97-99
 * {{citation |last=Stauffer|first=H. B.| title=A relationship between left exact and representable functors|year=1971| url=http://cms.math.ca/cjm/v23/cjm1971v23.0374-0380.pdf}}

2021年4月30日 (金) 09:26時点における版

概要

証明

圏の完備化

脚注

参考文献

関連項目