15/03/01 11:17:16.08 NplpTsbd.net
>>249 つづき
位相は、村上 仙瑞（せんずい）に任せて、射影極限（文字化け放置）（lim← みたいに書くんやね）
URLﾘﾝｸ(ja.wikipedia.org)
数学における逆極限（ぎゃくきょくげん、英: inverse limit）あるいは射影極限（しゃえいきょくげん、英: projective limit）は、正確な言い方ではないが、
いくつかの関連する対象を「貼合せる」ような構成法であり、貼合せの具体的な方法は対象の間の射によって決められている。
逆極限は任意の圏において考えることができる。
例
Ai を長さiの有限数列全体からなる集合、fij (i≤j) を数列をi項に切り詰める写像とすると、その射影極限は、数列全体の集合となる。
p-進整数全体の成す環 Zp は、自然数全体に通常の順序を入れたものを添字集合とする整数環の剰余類環の族 Z/pnZ でそれらの間の射として、「剰余の取替え」で得られる準同型をとったものの成す射影系から射影極限として得られる。
p-進整数環における自然な位相は、射影極限としての位相に一致する。
可換環 R 上の形式冪級数環 R[[t]] は、自然数の全体に通常の順序を入れたもので添字付けられる、環の族 R[t]/tnR[t] が自然な射影
R[t]/t^{n+j}R[t] \to R[t]/t^nR[t]
を射として成す射影系の射影極限と見なすことができる。
副有限群は（離散）有限群の射影極限として定義される。
逆系 (Xi, fij) の添字集合 I が最大元 m を持つならば、射影極限 X からの自然な射影 πm: X → Xm は同型である。
位相空間の圏における逆極限は、逆系の各台集合に対して単に集合としての逆極限をとったものを台集合とし、それに始位相を入れて得られる位相空間である。これは極限位相としても知られる。
無限文字列全体の成す集合は有限文字列の集合の逆極限であり、�