帰納極限

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

厳密な定義

代数系の帰納極限

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

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

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

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

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

<math>\varinjlim A_i = \bigsqcup_i A_i\bigg/{\sim}</math>

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

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

が任意の 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 はしばしば

<math>X = \varinjlim X_i</math>

と書かれる。

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

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

一般の定義

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

<math> \varinjlim F\colon C \to \mathbf{Set}</math>

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

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

<math> \varinjlim\colon \text{Hom}(\mathcal I, \mathcal C)\to\mathcal C;\quad F\mapsto \varinjlim F </math>

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

例

A_i を長さiの有限数列全体からなる集合、f_ij (i≤j) を数列の後ろに0をj-i項付け加える写像とすると、その帰納極限は、有限項を除いて0であるような数列全体の集合となる。
集合 M の部分集合族 M_i は包含関係によって半順序集合となる。この族が有向集合となるならば、その帰納極限は単に和集合 <math>\bigcup M_i</math> によって与えられる。
添字集合 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 における芽と呼ばれる。
位相空間の圏における直極限は、台集合に対する単に集合としての直極限を取ったものを台として、終位相を入れたものをいう。
直極限と逆極限の間には
<math>\mathrm{Hom} (\varinjlim X_i, Y) = \varprojlim \mathrm{Hom} (X_i, Y)</math>
を通じた相互関係がある。
列 {A_n, φ_n} で A_n はC*-環、φ_n: A_n → A_n+1 は *-準同型とする。直極限構成の C*-類似は上述の普遍性を満足する C*-環によって与えられる。

　関連概念と一般化

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

参考文献

テンプレート:Citation.
テンプレート:Citation, 日本語訳: テンプレート:Cite book