数学の一分野順序論
(英語版)における完備束(英: complete lattice)とは部分集合が常に上限と下限を持つ半順序集合のことである。完備束は束の重要な例で順序集合論及び普遍代数の研究対象であり、数学及び計算機科学に多くの応用を持つ。順序集合上の完備性(英語版)には様々な異なる定義があるので注意を要する(例えば完備半順序 (CPO) は完備束とは異なる概念である)。特に重要な完備束のクラスとして完備ブール代数(英語版)や完備ハイティング代数(英語版) (locale) がある。 半順序集合 ( L , ≤ ) {\displaystyle (L,\leq )} の任意の部分集合が下限(最大下界)及び上限(最小上界)を持つとき、 ( L , ≤ ) {\displaystyle (L,\leq )} を完備束という。 半順序集合 ( L , ≤ ) {\displaystyle (L,\leq )} の部分集合 A {\displaystyle A} に対し、その下限を ⋀ A {\displaystyle \bigwedge A} と書き A {\displaystyle A} の結び(英: meet)といい、その上限を ⋁ A {\displaystyle \bigvee A} と書き A {\displaystyle A} の交わり(英: join)という。 ⋀ L {\displaystyle \bigwedge L} は ( L , ≤ ) {\displaystyle (L,\leq )} の最小元、 ⋁ L {\displaystyle \bigvee L} は ( L , ≤ ) {\displaystyle (L,\leq )} の最大元となるので、完備束は有界束の特別なクラスである。 半順序集合において、任意の部分集合が上限を持つことと任意の部分集合が下限を持つこととは同値であり、これらは完備束であることとも同値である。 なので完備(上)半束(英: complete (upper) semi-lattice)及び完備下半束(英: complete lower semi-lattice)も完備束と同じ対象を表す。ただし、準同型の定義が異なる(下記の写像の節を参照)。 完備束 L {\displaystyle L} とその部分集合 M {\displaystyle M} について、 M {\displaystyle M} の任意の部分集合の L {\displaystyle L} での下限及び上限が全て M {\displaystyle M} に属するとき、 M {\displaystyle M} を L {\displaystyle L} の完備部分束(英: complete sublattice)という。 上の条件を「任意の空でない部分集合」に取り替えたものは閉部分束(英: closed sublattice)と言われる。 完備束の間の下限及び上限を保つ写像を完備準同型(完備束準同型)(英: complete homomorphisms(complete lattice homomorphisms))という。 正確に述べると、完備束 L , M {\displaystyle L,M} の間の写像 f : L → M {\displaystyle f\colon L\to M} が完備準同型であるとは が L {\displaystyle L} の任意の部分集合 A {\displaystyle A} に対して満たすことをいう。 このような写像は自動的に単調増加写像となる。 この定義はしばしば強すぎることがあり、その場合は上限を保存する写像もしくは下限を保存する写像を考える。それらは各々完備(上)半束準同型(英: complete (upper) semi-lattices homomorphisms)及び完備下半束準同型(英: complete lower semi-lattices homomorphisms)と呼ばれる。 完備半束準同型には以下の様な特徴付けが存在する。完備束間の写像が完備上半束準同型となることとガロア接続(英: Galois connection)の下随伴(英: lower adjoint)となることは同値。同様に、完備束間の写像が完備下半束準同型となることとガロア接続の上随伴(英: upper adjoint)となることは同値。(このようなガロア接続は完備準同型に対し一意的に定まる) 完備半束の圏における自由対象 言い換えると 集合 X {\displaystyle X} と完備半束 F X {\displaystyle F_{X}} 及びその間の写像 i : X → F X {\displaystyle i\colon X\to F_{X}} について、 F X {\displaystyle F_{X}} が X {\displaystyle X} を生成系とする自由完備半束であるとは次の普遍性を満たすことである。 任意の集合に対しそれの生成する自由完備半束を具体的に構成することができる。 即ち、 (二点以上の元を含む)集合 X {\displaystyle X} に対し、その冪集合 P ( X ) {\displaystyle {\mathfrak {P}}(X)} は包含関係を順序として、 X {\displaystyle X} を生成系とする自由完備半束となる(但し、写像 i : X → P ( X ) {\displaystyle i\colon X\to {\mathfrak {P}}(X)} は各元をその元のみからなる一点集合に写す写像)。 普遍性は次のように言える。 完備半束 L {\displaystyle L} 及び写像 j : X → L {\displaystyle j\colon X\to L} が与えられたとき、 とすれば j ∗ : P ( X ) → L {\displaystyle j^{*}\colon {\mathfrak {P}}(X)\to L} は j = j ∗ ∘ i {\displaystyle j=j^{*}\circ i} を満たす完備半束準同型となる。 完備束と完備準同型の圏における同様の問題はより困難である。集合 X {\displaystyle X} が三点以上の要素を含むとき X {\displaystyle X} で生成される完備束はいくらでも大きい濃度を取りうるため、 X {\displaystyle X} で生成される自由完備束は存在し得ない。 但し(空でない)集合 X {\displaystyle X} が高々二点しか含まないとき X {\displaystyle X} で生成される自由完備束は存在する(それは二点ブール代数及び一点集合である)。
定義
完備半束
完備部分束
例
(空でない)任意の有限束は完備束。
集合の冪集合 に包含関係で順序を入れたものは完備束になり、下限は集合の共通部分、上限は合併として与えられる。
単位区間 [0,1] 及び拡大実数直線(順序集合として互いに同型)は完備束。一般に全順序集合が完備束になることと順序位相でコンパクトになることは同値。
自然数全体に整除関係
群の部分群全体は包含関係に関して完備束をなす。下限は共通部分として、上限は合併の生成する部分群として与えられ、最小元は単位群、最大元は全体となる。
同様に、加群の部分加群全体や環のイデアル全体などは包含関係で完備束をなす(より一般にある代数系の部分代数系は包含関係で完備束をなす)。
位相空間の開集合全体は包含関係で完備束となる。上限は集合としての合併で、下限は共通部分の内部として与えられる。
集合上の位相構造全体は開集合系間の包含関係により完備束となる。下限は開集合系の共通部分を取ることで、上限は開集合系の合併から生成される開集合系として与えられる。
実ベクトル空間の凸部分集合全体は包含関係で完備束をなす。下限は共通部分として上限は合併の凸包として与えられる。
実又は複素ヒルベルト空間の閉部分空間全体は包含関係で完備(可補)束をなす。下限は共通部分として上限は合併の生成する部分空間の閉包として与えられる。
フォン・ノイマン環上の直交射影全体は完備束をなす。
集合上の推移的関係全体は完備束をなす。
集合上の同値関係全体は完備束をなす。
集合上の完備束への関数全体は完備束をなす。
完備束の直積は再び完備束になる。
写像
f ( ⋀ A ) = ⋀ { f ( a ) ∣ a ∈ A } {\displaystyle f(\bigwedge A)=\bigwedge \{f(a)\mid a\in A\}} 及び
f ( ⋁ A ) = ⋁ { f ( a ) ∣ a ∈ A } {\displaystyle f(\bigvee A)=\bigvee \{f(a)\mid a\in A\}}
自由完備束と完備化
自由完備半束
任意の完備半束 L {\displaystyle L} 及び写像 j : X → L {\displaystyle j\colon X\to L} に対し、完備半束準同型 j ∗ : F X → L {\displaystyle j^{*}\colon F_{X}\to L} が一意的に存在し j = j ∗ ∘ i {\displaystyle j=j^{*}\circ i} となる。
j ∗ ( A ) := ⋁ { j ( a ) : a ∈ A } {\displaystyle j^{*}(A):=\bigvee \{j(a)\colon a\in A\}}
自由完備束
Size:18 KB
出典: フリー百科事典『ウィキペディア(Wikipedia)』
担当:undef