帰納極限

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

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

まず、対象と射（準同型）のなす**直系**または順系  あるいは**帰納系**  と呼ばれるものの定義から始める。&lang;*I*, &le;&rang; を有向集合とし、&#x7b;*A**i* | *i* &isin; *I*&#x7d; を *I* で添字付けられた対象の族、*f**ij*: *A**i* &rarr; *A**j* (*i* &le; *j*) を準同型の族として、以下の条件
# *f**ii* は *A**i* の恒等写像であり、
# 任意の *i* &le; *j* &le; *k* に対して *f**ik* = *f**jk* ∘ *f**ij* が成立する。
が満たされるとき、対、&lang;*A**i*, *f**ij*&rang; は *I* 上の帰納系と呼ばれる。

帰納系 &lang;*A**i*, *f**ij*&rang; の**帰納極限** *A* の台集合は、*A**i* の直和集合の適当な同値関係 &sim; による商集合
:\varinjlim A_i = \bigsqcup_i A_i\bigg/{\sim}
として与えられる。ここで、*x**i* &isin; *A**i* と *x**j* &isin; *A**j* に対して、*x**i* &sim; *x**j* となるのは、適当な *k* &isin; *I* において
: f_{ik}(x_i) = f_{jk}(x_j)
が満たされるときである。発見的に、この直和における二つの元が同値となる必要十分条件はそれらがこの帰納系において「いつかは  等しくなる」ときである。この同値関係の、逆極限との双対性に焦点を当てた定式化として、各元は帰納系に属する各射による自身の像と同値である、つまり
: x_i\sim\, f_{ik}(x_i)
が任意の *i*, *k* に対して成り立つ。

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

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

### 圏における直系の直極限
直極限は任意の圏 *C* において特定の普遍性を満たすものとして定義することができる。&lang;*X**i*, *f**ij*&rang; を圏 *C* における対象と射からなる直系とする（直系の定義は前節と同じ）。この直系の直極限とは、圏 *C* の対象 *X* と、*C* の射の族 &phi;*i*: *X**i* &rarr; *X* で &phi;*i* = &phi;*j* ∘ *f**ij* を満たすものとの組 &lang;*X*, &phi;*i*&rang; で以下の普遍性を満たすものである。すなわち、同様の組 &lang;*Y*, &psi;*i*&rang; が任意に与えられたとき、適当な射 *u*: *X* &rarr; *Y* が一意的に存在して、図式

が全ての *i*, *j* について可換になる。帰納系 &lang;*X**i*, *f**ij*&rang; が既知であるとき、その帰納極限 *X* はしばしば
:X = \varinjlim X_i
と書かれる。

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

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

### 一般の定義
*I* と *C* を圏とする。*C* の固定された対象 *X* に対して *c**X*: *I* &rarr; *C* を定値函手とする。任意の函手 *F*: *I* &rarr; *C* に対して、函手
: \varinjlim F\colon C \to \mathbf{Set}
を各 *X* &isin; ob(*C*) に *F* から *c**X* への自然変換の全体のなす集合 Hom(*F*, *c**X*) を対応させるものとする。 \varinjlim F が表現可能ならば、*C* における表現対象を *F* の直極限と呼び、やはり \varinjlim F と書く。

*C* がアーベル圏ならば任意個（無限個でもよい）の対象の直和が存在する（グロタンディークの公理 AB3）から、\varinjlim F は任意の函手 *F*: *I* &rarr; *C* に対して表現可能であり、
: \varinjlim\colon \text{Hom}(\mathcal I, \mathcal C)\to\mathcal C;\quad F\mapsto \varinjlim F 
はアーベル圏の右完全加法的函手である。

## 例
* *A**i* を長さ*i*の有限数列全体からなる集合、*f**ij* (*i*&le;*j*) を数列の後ろに0を*j*-*i*項付け加える写像とすると、その帰納極限は、有限項を除いて0であるような数列全体の集合となる。
* 集合 *M* の部分集合族 *M**i* は包含関係によって半順序集合となる。この族が直系となるならば、その帰納極限は単に和集合 \bigcup M_i によって与えられる。同様のことは、ある群の部分群がなす直系や、ある環の部分環がなす直系についても成立する。
* 添字集合 *I* が有向集合で最大元 *m* を持つならば、そのような任意の直系の直極限は*X**m* に同型であり、標準射 φ*m*: *X**m* → *X* は同型となる。
* *p* を素数とすると、群の族 **Z**/*p**n***Z** および *p* を掛けることで誘導される準同型の族 **Z**/*p**n***Z** → **Z**/*p**n*+1**Z** での組は帰納系を成す。この帰納系の帰納極限は、*p* の適当な冪を位数とするような1 の冪根の全体からなる。これをプリューファー群 **Z**(*p*∞) という。
* *F* を位相空間 *X* 上の *C*-値層とする。*X* の点 *x* を固定して、*x* の開近傍の全体は包含関係を逆にする順序によって（つまり *U* ≤ *V* &hArr; *U* &supe; *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* における**[[芽 (数学)|芽]]**と呼ばれる。
* 位相空間の圏における直極限は、台集合に対する単に集合としての直極限を取ったものを台として、終位相を入れたものをいう。
* 直極限と逆極限の間には\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*-環によって与えられる。

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

## 参考文献
* .
* , 日本語訳: