帰納極限

数学における順極限（じゅんきょくげん）または直極限（ちょくきょくげん、）もしくは帰納極限（きのうきょくげん、）は、「対象の向き付けられた族」の余極限である。本項ではまず群や加群などの代数系に対する帰納極限の定義から始めて、あらためて任意の圏において通用する一般的な定義を与える。
厳密な定義.
代数系の帰納極限.
本節では、対象はある決まった代数的構造（例えば群や環あるいは適当に固定された環上の加群や多元環など）をもつ集合とする。このとき準同型は、考えている代数系におけるものを考えることにする。
まず、対象と射（準同型）のなす直系または順系 あるいは帰納系 と呼ばれるものの定義から始める。〈"I", ≤〉 を有向集合とし、{"A""i" | "i" ∈ "I"} を "I" で添字付けられた対象の族、"f""ij": "A""i" → "A""j" ("i" ≤ "j") を準同型の族として、以下の条件
が満たされるとき、対、〈"A""i", "f""ij"〉 は "I" 上の帰納系と呼ばれる。
帰納系 〈"A""i", "f""ij"〉 の帰納極限 "A" の台集合は、"A""i" の直和集合の適当な同値関係 ∼ による商集合
として与えられる。ここで、"x""i" ∈ "A""i" と "x""j" ∈ "A""j" に対して、"x""i" ∼ "x""j" となるのは、適当な "k" ∈ "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" はしばしば
と書かれる。
前節の場合と異なり、任意の圏においては直極限が存在しないこともありうるが、しかし存在するならば強い意味で一意的である。すなわち、直極限 "X" と別の直極限 "X"′ が与えられれば、同型射 "X"′ → "X" で全ての標準射と可換になるものが一意的に存在する。
圏 "C" における直系は、函手の言葉で記述することもできる。任意の半順序集合 〈"I", ≤〉 は「"i" → "j" ⇔ "i" ≤ "j"」として定義される射の集合をもつ小さい圏と見なすことができるから、"I" 上の直系とは共変函手 "I" → "C" に他ならない。
一般の定義.
"I" と "C" を圏とする。"C" の固定された対象 "X" に対して "c""X": "I" → "C" を定値函手とする。任意の函手 "F": "I" → "C" に対して、函手
を各 "X" ∈ ob("C") に "F" から "c""X" への自然変換の全体のなす集合 Hom("F", "c""X") を対応させるものとする。formula_6 が表現可能ならば、"C" における表現対象を "F" の直極限と呼び、やはり formula_7 と書く。
"C" がアーベル圏ならば任意個（無限個でもよい）の対象の直和が存在する（グロタンディークの公理 AB3）から、formula_7 は任意の函手 "F": "I" → "C" に対して表現可能であり、
はアーベル圏の右完全加法的函手である。
関連概念と一般化.
順極限の圏論的双対は逆極限（射影極限）であり、より一般の概念として圏論における極限と余極限が定義される。用語法が少々紛らわしいが、順極限は余極限であって（圏論的）極限は逆極限である。