極限の保存とは? わかりやすく解説

極限の保存

出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2019/06/07 14:21 UTC 版)

極限 (圏論)」の記事における「極限の保存」の解説

関手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特定の極限をもつならば、標準射 τF : G lim F → lim GF存在して対応する極限錐の選択ごとに一意である。関手GがFの極限保存することは、この写像全単射であることと同値である。もし圏CとDがJの形の全ての極限持っているならば、lim関手であり、τFは自然変換 τ : G limlim GJ. のコンポーネントである。関手GがJの形の全ての極限保存することは、τが自然同型であることと同値である。この意味で、関手Gは(標準自然同型の違いを除いて)極限交換するということができる。 極限余極限保存という概念共変関手にだけ適用できる反変関手についての対応する概念余極限極限に写す、もしくは極限余極限に写すというものになる

※この「極限の保存」の解説は、「極限 (圏論)」の解説の一部です。
「極限の保存」を含む「極限 (圏論)」の記事については、「極限 (圏論)」の概要を参照ください。


極限の保存

出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2021/11/28 14:11 UTC 版)

随伴関手」の記事における「極限の保存」の解説

随伴のもっとも重要な性質連続性である。左随伴を持つ全ての関手(つまり右随伴である関手)は連続である(つまり圏論での極限可換である)。右随伴を持つ全ての関手(つまり左随伴である関手)は余連続である(つまり余極限可換である)。 数学における多くの共通の構成極限余極限であるので、このことはたくさんの情報もたらす例えば。 対象の積に右随伴関手適用した結果は像の積である 対象余積左随伴関手適用した結果は像の余積である 全ての右随伴関手は左完全である 全ての左随伴関手は右完全である

※この「極限の保存」の解説は、「随伴関手」の解説の一部です。
「極限の保存」を含む「随伴関手」の記事については、「随伴関手」の概要を参照ください。

ウィキペディア小見出し辞書の「極限の保存」の項目はプログラムで機械的に意味や本文を生成しているため、不適切な項目が含まれていることもあります。ご了承くださいませ。 お問い合わせ



英和和英テキスト翻訳>> Weblio翻訳
英語⇒日本語日本語⇒英語
  

辞書ショートカット

すべての辞書の索引

「極限の保存」の関連用語

極限の保存のお隣キーワード
検索ランキング

   

英語⇒日本語
日本語⇒英語
   



極限の保存のページの著作権
Weblio 辞書 情報提供元は 参加元一覧 にて確認できます。

   
ウィキペディアウィキペディア
Text is available under GNU Free Documentation License (GFDL).
Weblio辞書に掲載されている「ウィキペディア小見出し辞書」の記事は、Wikipediaの極限 (圏論) (改訂履歴)、随伴関手 (改訂履歴)の記事を複製、再配布したものにあたり、GNU Free Documentation Licenseというライセンスの下で提供されています。

©2025 GRAS Group, Inc.RSS