帰納極限

数学における順極限（じゅんきょくげん）または直極限（ちょくきょくげん、英: direct limit）もしくは帰納極限（きのうきょくげん、英: inductive limit）は、「対象の向き付けられた族」の余極限である。本項ではまず群や加群などの代数系に対する帰納極限の定義から始めて、あらためて任意の圏において通用する一般的な定義を与える。

本節では、対象はある決まった代数的構造（例えば群や環あるいは適当に固定された環上の加群や多元環など）をもつ集合とする。このとき準同型は、考えている代数系におけるものを考えることにする。

まず、対象と射（準同型）のなす直系または順系 (direct system) あるいは帰納系 (inductive system) と呼ばれるものの定義から始める。⟨I, ≤⟩ を有向集合とし、{A_i | i ∈ I} を I で添字付けられた対象の族、f_ij: A_i → A_j (i ≤ j) を準同型の族として、以下の条件

1. f_ii は A_i の恒等写像であり、
2. 任意の i ≤ j ≤ k に対して f_ik = f_jk ∘ f_ij が成立する。

が満たされるとき、対、⟨A_i, f_ij⟩ は I 上の帰納系と呼ばれる。

帰納系 ⟨A_i, f_ij⟩ の帰納極限 A の台集合は、A_i の直和集合の適当な同値関係 ∼ による商集合

${\displaystyle \varinjlim A_{i}=\bigsqcup _{i}A_{i}{\bigg /}{\sim }}$

として与えられる。ここで、x_i ∈ A_i と x_j ∈ A_j に対して、x_i ∼ x_j となるのは、適当な k ∈ I において

${\displaystyle f_{ik}(x_{i})=f_{jk}(x_{j})}$

が満たされるときである。発見的に、この直和における二つの元が同値となる必要十分条件はそれらがこの帰納系において「いつかは (eventually) 等しくなる」ときである。この同値関係の、逆極限との双対性に焦点を当てた定式化として、各元は帰納系に属する各射による自身の像と同値である、つまり

${\displaystyle x_{i}\sim \,f_{ik}(x_{i})}$

が任意の i, k に対して成り立つ。

この定義から、自然に標準射 φ_i: A_i → A が、各元をその同値類へ移すことによって定まる。帰納極限 A における代数的な演算はこの標準射を通じて自然な方法で定義される。

加群の圏において帰納極限を取る操作の重要な性質として、それが完全函手となることが挙げられる。

直極限は任意の圏 C において特定の普遍性を満たすものとして定義することができる。⟨X_i, f_ij⟩ を圏 C における対象と射からなる直系とする（直系の定義は前節と同じ）。この直系の直極限とは、圏 C の対象 X と、C の射の族 φ_i: X_i → X で φ_i = φ_j ∘ f_ij を満たすものとの組 ⟨X, φ_i⟩ で以下の普遍性を満たすものである。すなわち、同様の組 ⟨Y, ψ_i⟩ が任意に与えられたとき、適当な射 u: X → Y が一意的に存在して、図式

が全ての i, j について可換になる。帰納系 ⟨X_i, f_ij⟩ が既知であるとき、その帰納極限 X はしばしば

${\displaystyle X=\varinjlim X_{i}}$

と書かれる。

前節の場合と異なり、任意の圏においては直極限が存在しないこともありうるが、しかし存在するならば強い意味で一意的である。すなわち、直極限 X と別の直極限 X′ が与えられれば、同型射 X′ → X で全ての標準射と可換になるものが一意的に存在する。

圏 C における直系は、函手の言葉で記述することもできる。任意の半順序集合 ⟨I, ≤⟩ は「i → j ⇔ i ≤ j」として定義される射の集合をもつ小さい圏と見なすことができるから、I 上の直系とは共変函手 I → C に他ならない。

I と C を圏とする。C の固定された対象 X に対して c_X: I → C を定値函手とする。任意の函手 F: I → C に対して、函手

${\displaystyle \varinjlim F\colon C\to \mathbf {Set} }$

を各 X ∈ ob(C) に F から c_X への自然変換の全体のなす集合 Hom(F, c_X) を対応させるものとする。${\displaystyle \varinjlim F}$ が表現可能ならば、C における表現対象を F の直極限と呼び、やはり ${\displaystyle \varinjlim F}$ と書く。

C がアーベル圏ならば任意個（無限個でもよい）の対象の直和が存在する（グロタンディークの公理 AB3）から、${\displaystyle \varinjlim F}$ は任意の函手 F: I → C に対して表現可能であり、

${\displaystyle \varinjlim \colon {\text{Hom}}({\mathcal {I}},{\mathcal {C}})\to {\mathcal {C}};\quad F\mapsto \varinjlim F}$

はアーベル圏の右完全加法的函手である。

• A_i を長さiの有限数列全体からなる集合、f_ij (i≤j) を数列の後ろに0をj-i項付け加える写像とすると、その帰納極限は、有限項を除いて0であるような数列全体の集合となる。
• 集合 M の部分集合族 M_i は包含関係によって半順序集合となる。この族が直系となるならば、その帰納極限は単に和集合 ${\displaystyle \bigcup M_{i}}$ によって与えられる。同様のことは、ある群の部分群がなす直系や、ある環の部分環がなす直系についても成立する。
• 添字集合 I が有向集合で最大元 m を持つならば、そのような任意の直系の直極限はX_m に同型であり、標準射 φ_m: X_m → X は同型となる。
• p を素数とすると、群の族 Z/pⁿZ および p を掛けることで誘導される準同型の族 Z/pⁿZ → Z/pⁿ⁺¹Z での組は帰納系を成す。この帰納系の帰納極限は、p の適当な冪を位数とするような 1 の冪根の全体からなる。これをプリューファー群 Z(p^∞) という。
• F を位相空間 X 上の C-値層とする。X の点 x を固定して、x の開近傍の全体は包含関係を逆にする順序によって（つまり U ≤ V ⇔ U ⊇ V とおいて）有向半順序集合を成す。このとき、r を制限写像とする直系 (F(U), r_U,V) が得られ、この系の直極限は x における F の茎 F_x と呼ばれる。x の各近傍 U に対して標準射 F(U) → F_x は F の U 上の切断 s を茎 F_x の元 s_x へ対応させる。元 s_x は切断 s の x における芽と呼ばれる。
• 位相空間の圏における直極限は、台集合に対する単に集合としての直極限を取ったものを台として、終位相を入れたものをいう。
• 直極限と逆極限の間には
  ${\displaystyle \mathrm {Hom} (\varinjlim X_{i},Y)=\varprojlim \mathrm {Hom} (X_{i},Y)}$
  を通じた相互関係がある。
• 列 {A_n, φ_n} で A_n はC*-環、φ_n: A_n → A_n+1 は *-準同型とする。直極限構成の C*-類似は上述の普遍性を満足する C*-環によって与えられる。

順極限の圏論的双対は逆極限（射影極限）であり、より一般の概念として圏論における極限と余極限が定義される。用語法が少々紛らわしいが、順極限は余極限であって（圏論的）極限は逆極限である。

• Bourbaki, Nicolas (1968), Elements of mathematics. Theory of sets, Translated from the French, Paris: Hermann, MR0237342 .
• Mac Lane, Saunders (1998), Categories for the Working Mathematician, Graduate Texts in Mathematics, 5 (2nd ed.), Springer-Verlag , 日本語訳: 三好博之・高木理 訳『圏論の基礎』シュプリンガーフェアラーク東京、2005年。 

表 話 編 歴 圏論
主要項目	圏 射 エピ モニック 図式 可換図式 自然変換 圏同値 反対圏 始対象と終対象 普遍性 米田の補題 双対 極限 帰納極限 射影極限 積 余積 像 余像 等化子 余等化子 トポス 核 余核 引き戻し モナド Kan拡張
関手	加法的 完全 充満 随伴 対角 忠実 導来 表現可能 本質的全射 Hom関手
具体的圏	関手圏 前加法圏 集合の圏 マグマの圏 群の圏 アーベル群の圏 擬環の圏 環の圏 加群の圏 ベクトル空間の圏 多元環の圏 位相空間の圏 距離空間の圏 多様体の圏
圏の類	完備圏 コンマ圏 部分圏 モノイド閉圏 デカルト閉圏 アーベル圏 導来圏 クライスリ圏 デカルトモノイド圏
一般化	豊穣圏 2-圏 圏の圏
人物	ソーンダース・マックレーン サミュエル・アイレンベルグ アレクサンドル・グロタンディーク ウィリアム・ローヴェア ハインリッヒ・クライスリ
関連分野	代数幾何学 普遍代数 ホモロジー代数
関連項目	『圏論の基礎』
カテゴリ