やっぱり逆極限

逆極限 - hatena

有向集合 有向集合（ゆうこうしゅうごう、directed set）とは、順序集合であって、任意の“有限”部分集合がその順序に関して有界であるようなもののことである。有向集合の概念を用いると、たとえば数列に対してその極限を考えるような操作の一般化として 「ある集合の点からなる、有... 続きを読む

d.hatena.ne.jp

とは、順序に関してゆうこうしゅうごう、有界であるようなもののことである有向集合順序集合であって、部分集合がその有限任意の有向集合。有向集合のある続きを集合の極限を概念を操作の有点からなる、考えるようなたとえば一般化として対してその数列に用いると、読む。

ウィキペディア ⇒ 索引 ランキング ウィキペディア 有向集合 出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2007/06/03 16:48 UTC 版)有向集合（ゆうこうしゅうごう）とは、順序集合であって、任意の有限 部分集合がその順序に関して有界であるようなもののことである。有向集合の概念を用いると、たとえば数列に対してその極限を考えるような操作の一般化として 「ある集合の点からなる、有向集合で添え字付けられる族」 に対してその極限をとるという操作を可能にする。 目次1 定義1.1 例2 射影極限2.1 例2.2 普遍性3 帰納極限3.1 例4 圏論における極限概念5 関連項目 定義順序集合 (X, ?) は、その任意の二点 α, β ∈ X に対し、二元集合 {α, β} が順序 ? に関して上に有界である、すなわち γ ∈ X が存在して α ? γ かつ β ? γ が成立するとき、右に有向であるという。同様に、任意の二点 α, β ∈ X に対し、二元集合 {α, β} が順序 ? に関して下に有界である、すなわち γ ∈ X が存在して γ ? α かつ γ ? β が成立するとき、左に有向であるという。左右両側に有向である順序集合を有向集合と呼ぶこともあるかもしれないが、通常は単に有向集合と呼ぶときは右有向集合を指す。順序集合 (X, ?) が右に有向であるとき、X に ? と逆の順序をいれた順序集合 (X op, ?op) （つまり、集合として X op = X で、A ? B (A, B ∈ X) ならば B ?op A となる順序集合）を考えれば、X op は左に有向である。 例 定義から明らかに、束は両側に有向な集合である。特に全順序集合は束であるから有向集合になる。自然数全体のなす集合 N は、通常の大小関係を順序として最小限を持つ全順序集合（整列集合）であるから、やはり有向集合である。 図式、例えば ?→?←? のようなもの。 射影極限有向集合 (I, ?) で添え字付けられる集合族 (Eα)α∈I を考える。 α ? β となる任意の α, β ∈ I に対し、写像 fαβ: Eβ → Eα が定まり、 任意の α ∈ I に対し、fαα = idEα 、 α ? β ? γ ならばが成り立つとき、族 (Eα, (fαβ)α?β)α∈I は射影系 (projective system) あるいは逆系 (inverse system) であるという。射影系 (Eα, (fαβ)α?β)α∈I に対し、直積集合 ?α∈I Eα の部分集合{(xα)α∈I | xα ∈ Eα, α ? β ⇒ xα = fαβ(xβ)}をこの系の射影的極限、射影極限 (projective limit) あるいは逆極限 (i ..

順序に16ウィキペディア48ウィキペディア部分集合がその有限有向集合フリー順序集合であって、百科事典06出典版2007とは、ウィキペディア索引有向集合関して任意のランキング03有界であるようなもののことであるゆうこうしゅうごう。有向集合の字付けられる用いると、一般化として極限を極限をとるというある集合の操作の可能にする族操作を概念を添えに数列に有向集合で点からなる、対してその対してそのたとえば考えるような。1がには、に例4関して対し、2が任意の二点その二元集合定義順序集合例2右に有向であるという極限概念5例2順序関連項目すなわち普遍性3帰納極限3存在して1上に1定義1目次1かつ圏論における有界である、が成立するとき、射影極限2。同様に、二元集合に左にが関して成立するとき、対し、かつ下に二点有界である、有向であるという存在してに順序が任意のすなわちが。左右両側に有向集合と有向である順序集合を単に通常は有向集合と指す呼ぶこともあるかもしれないが、呼ぶときは右有向集合を。順序集合が右に順序をいれた順序集合集合として考えれば、逆のならば左に有向であるとき、とに順序集合つまり、をで、となるは有向である。集合である明らかに、例束は定義から有向な両側に。特に束であるから有向集合になる全順序集合は。自然数全体のなすやはり有向集合であるは、最小限を集合順序として大小関係を通常のであるから、整列集合全順序集合持つ。のようなもの図式、例えば。字付けられる集合族で射影極限有向集合を添え考える。対し、であるというは立つとき、任意の対し、ならばが族あるいはに定まり、逆系、成り任意のがに写像となる射影系。射影系逆極限部分集合射影的極限、に系の射影極限あるいは対し、直積集合のをこの。