帰納極限

数学における順極限（じゅんきょくげん）または直極限（ちょくきょくげん、英: direct limit）もしくは帰納極限（きのうきょくげん、英: inductive limit）は、「対象の向き付けられた族」の余極限である。本項ではまず群や加群などの代数系に対する帰納極限の定義から始めて、あらためて任意の圏において通用する一般的な定義を与える。 本節では、対象はある決まった代数的構造（例えば群や環あるいは適当に固定された環上の加群や多元環など）をもつ集合とする。このとき準同型は、考えている代数系におけるものを考えることにする。 まず、対象と射（準同型）のなす直系または順系 (direct system) あるいは帰納系 (inductive system) と呼ばれるものの定義から始める。〈I, ≤〉 を有向集合とし、{Ai | i ∈ I} を I で添字付けられた対象の族、fij: Ai → Aj (i ≤ j) を準同型の族として、以下の条件 fii は Ai の恒等写像であり、 任意の i ≤ j ≤ k に対して fik = fjk ∘ fij が成立する。 が満たされるとき、対、〈Ai, fij〉 は I 上の帰納系と呼ばれる。 帰納系 〈Ai, fij〉 の帰納極限 A の台集合は、Ai の直和集合の適当な同値関係 ∼ による商集合 lim → ⁡ A i = ⨆ i A i / ∼ {\displaystyle \varinjlim A_{i}=\bigsqcup _{i}A_{i}{\bigg /}{\sim }} として与えられる。ここで、xi ∈ Ai と xj ∈ Aj に対して、xi ∼ xj となるのは、適当な k ∈ I において f i k ( x i ) = f j k ( x j ) {\displaystyle f_{ik}(x_{i})=f_{jk}(x_{j})} が満たされるときである。発見的に、この直和における二つの元が同値となる必要十分条件はそれらがこの帰納系において「いつかは (eventually) 等しくなる」ときである。この同値関係の、逆極限との双対性に焦点を当てた定式化として、各元は帰納系に属する各射による自身の像と同値である、つまり x i ∼ f i k ( x i ) {\displaystyle x_{i}\sim \,f_{ik}(x_{i})} が任意の i, k に対して成り立つ。 この定義から、自然に標準射 φi: Ai → A が、各元をその同値類へ移すことによって定まる。帰納極限 A における代数的な演算はこの標準射を通じて自然な方法で定義される。 加群の圏において帰納極限を取る操作の重要な性質として、それが完全函手となることが挙げられる。 直極限は任意の圏 C において特定の普遍性を満たすものとして定義することができる。〈Xi, fij〉 を圏 C における対象と射からなる直系とする（直系の定義は前節と同じ）。この直系の直極限とは、圏 C の対象 X と、C の射の族 φi: Xi → X で φi = φj ∘ fij を満たすものとの組 〈X, φi〉 で以下の普遍性を満たすものである。すなわち、同様の組 〈Y, ψi〉 が任意に与えられたとき、適当な射 u: X → Y が一意的に存在して、図式 が全ての i, j について可換になる。帰納系 〈Xi, fij〉 が既知であるとき、その帰納極限 X はしばしば X = lim → ⁡ X i {\displaystyle X=\varinjlim X_{i}} と書かれる。 前節の場合と異なり、任意の圏においては直極限が存在しないこともありうるが、しかし存在するならば強い意味で一意的である。すなわち、直極限 X と別の直極限 X′ が与えられれば、同型射 X′ → X で全ての標準射と可換になるものが一意的に存在する。 圏 C における直系は、函手の言葉で記述することもできる。任意の半順序集合 〈I, ≤〉 は「i → j ⇔ i ≤ j」として定義される射の集合をもつ小さい圏と見なすことができるから、I 上の直系とは共変函手 I → C に他ならない。 I と C を圏とする。C の固定された対象 X に対して cX: I → C を定値函手とする。任意の函手 F: I → C に対して、函手 lim → ⁡ F : C → S e t {\displaystyle \varinjlim F\colon C\to \mathbf {Set} } を各 X ∈ ob(C) に F から cX への自然変換の全体のなす集合 Hom(F, cX) を対応させるものとする。 lim → ⁡ F {\displaystyle \varinjlim F} が表現可能ならば、C における表現対象を F の直極限と呼び、やはり lim → ⁡ F {\displaystyle \varinjlim F} と書く。 C がアーベル圏ならば任意個（無限個でもよい）の対象の直和が存在する（グロタンディークの公理 AB3)）から、 lim → ⁡ F {\displaystyle \varinjlim F} は任意の函手 F: I → C に対して表現可能であり、 lim → : Hom ( I , C ) → C ; F ↦ lim → ⁡ F {\displaystyle \varinjlim \colon {\text{Hom}}({\mathcal {I}},{\mathcal {C}})\to {\mathcal {C}};\quad F\mapsto \varinjlim F} はアーベル圏の右完全加法的函手である。 Ai を長さiの有限数列全体からなる集合、fij (i≤j) を数列の後ろに0をj-i項付け加える写像とすると、その帰納極限は、有限項を除いて0であるような数列全体の集合となる。 集合 M の部分集合族 Mi は包含関係によって半順序集合となる。この族が有向集合となるならば、その帰納極限は単に和集合 ⋃ M i {\displaystyle \bigcup M_{i}} によって与えられる。 添字集合 I が有向集合で最大元 m を持つならば、そのような任意の直系の直極限はXm に同型であり、標準射 φm: Xm → X は同型となる。 p を素数とすると、群の族 Z/pnZ および p を掛けることで誘導される準同型の族 Z/pnZ → Z/pn+1Z での組は帰納系を成す。この帰納系の帰納極限は、p の適当な冪を位数とするような 1 の冪根の全体からなる。これをプリューファー群 Z(p∞) という。 F を位相空間 X 上の C-値層とする。X の点 x を固定して、x の開近傍の全体は包含関係を逆にする順序によって（つまり U ≤ V ⇔ U ⊇ V とおいて）有向半順序集合を成す。このとき、r を制限写像とする直系 (F(U), rU,V) が得られ、この系の直極限は x における F の茎 Fx と呼ばれる。x の各近傍 U に対して標準射 F(U) → Fx は F の U 上の切断 s を茎 Fx の元 sx へ対応させる。元 sx は切断 s の x における芽と呼ばれる。 位相空間の圏における直極限は、台集合に対する単に集合としての直極限を取ったものを台として、終位相を入れたものをいう。 直極限と逆極限の間には H o m ( lim → ⁡ X i , Y ) = lim ← ⁡ H o m ( X i , Y ) {\displaystyle \mathrm {Hom} (\varinjlim X_{i},Y)=\varprojlim \mathrm {Hom} (X_{i},Y)} を通じた相互関係がある。 列 {An, φn} で An はC*-環、φn: An → An+1 は *-準同型とする。直極限構成の C*-類似は上述の普遍性を満足する C*-環によって与えられる。 順極限の圏論的双対は逆極限（射影極限）であり、より一般の概念として圏論における極限と余極限が定義される。用語法が少々紛らわしいが、順極限は余極限であって（圏論的）極限は逆極限である。 Bourbaki, Nicolas (1968), Elements of mathematics. Theory of sets, Translated from the French, Paris: Hermann, MR 0237342 . Mac Lane, Saunders (1998), Categories for the Working Mathematician, Graduate Texts in Mathematics, 5 (2nd ed.), Springer-Verlag , 日本語訳: 『圏論の基礎』 三好博之・高木理訳、シュプリンガーフェアラーク東京、2005年。