完備束のソースを表示

[[数学]]の一分野{{仮リンク|順序論|en|Order theory}}における'''完備束'''（{{lang-en-short|''complete lattice''}}）とは部分集合が常に上限と下限を持つ[[半順序集合]]のことである。
完備束は[[束 (束論)|束]]の重要な例で順序集合論及び[[普遍代数]]の研究対象であり、数学及び[[計算機科学]]に多くの応用を持つ。

{{仮リンク|順序集合上の完備性|en|Completeness (order theory)}}には様々な異なる定義があるので注意を要する（例えば[[完備半順序]] (''CPO'') は完備束とは異なる概念である）。特に重要な完備束のクラスとして[[完備ブール代数]]や{{仮リンク|完備ハイティング代数|en|complete Heyting algebra}} (''locale'') がある。

== 定義 ==
半順序集合 <math>(L,\le)</math> の任意の部分集合が[[順序集合#半順序集合|下限]]（最大下界）及び[[順序集合#半順序集合|上限]]（最小上界）を持つとき、 <math>(L,\le)</math> を'''完備束'''という。

半順序集合 <math>(L,\le)</math> の部分集合 <math>A</math> に対し、
その下限を <math>\bigwedge A</math> と書き <math>A</math> の結び（{{lang-en-short|''meet''}}）といい、
その上限を <math>\bigvee A</math> と書き <math>A</math> の交わり（{{lang-en-short|''join''}}）という。

<math>\bigwedge L</math> は <math>(L,\le)</math> の最小元、 <math>\bigvee L</math> は <math>(L,\le)</math> の最大元となるので、完備束は[[束 (束論)|有界束]]の特別なクラスである。

=== 完備半束 ===
半順序集合において、任意の部分集合が上限を持つことと任意の部分集合が下限を持つこととは同値であり、これらは完備束であることとも同値である。

なので'''完備（上）半束'''（{{lang-en-short|''complete (upper) semi-lattice''}}）及び'''完備下半束'''（{{lang-en-short|''complete lower semi-lattice''}}）も完備束と同じ対象を表す。
ただし、準同型の定義が異なる（下記の写像の節を参照）。

=== 完備部分束 ===
完備束 <math>L</math> とその部分集合 <math>M</math> について、
<math>M</math>の任意の部分集合の <math>L</math> での下限及び上限が全て <math>M</math> に属するとき、
<math>M</math> を <math>L</math> の完備部分束（{{lang-en-short|''complete sublattice''}}）という。

上の条件を「任意の'''空でない'''部分集合」に取り替えたものは閉部分束（{{lang-en-short|''closed sublattice''}}）と言われる。

== 例 ==
* （空でない）任意の有限束は完備束。
* 集合の[[冪集合]] に[[部分集合|包含関係]]で順序を入れたものは完備束になり、下限は集合の[[共通部分]]、上限は[[合併 (集合論)|合併]]として与えられる。
* [[単位区間]] [0,1] 及び[[拡大実数]]直線（順序集合として互いに同型）は完備束。一般に全順序集合が完備束になることと[[順序集合#順序構造と位相構造|順序位相]]で[[コンパクト空間|コンパクト]]になることは同値。  
* [[自然数]]全体に[[整除関係]]で順序を入れたものは完備束になる。 この順序集合は最小元として '''1''' を最大元として '''0''' を持つ。下限は[[最大公約数]]、上限は[[最小公倍数]]として与えられる。無限集合の上限が常に 0 なのに対し、下限は 1 より真に大きい値を持ち得る。自然数全体から 0 を除いたものは、整除関係のもとで完備束でない（が[[順序集合#半順序集合|有界完備]]である）束をなす。
* [[群 (数学)|群]]の部分群全体は包含関係に関して完備束をなす。下限は共通部分として、上限は合併の生成する部分群として与えられ、最小元は単位群、最大元は全体となる。
* 同様に、[[加群]]の部分加群全体や[[環 (数学)|環]]の[[イデアル]]全体などは包含関係で完備束をなす（より一般にある代数系の部分代数系は包含関係で完備束をなす）。 
* [[位相空間]]の[[開集合]]全体は包含関係で完備束となる。上限は集合としての合併で、下限は共通部分の[[内部 (位相空間論)|内部]]として与えられる。
* 集合上の位相構造全体は開集合系間の包含関係により完備束となる。下限は開集合系の共通部分を取ることで、上限は開集合系の合併から生成される開集合系として与えられる。
* 実[[ベクトル空間]]の[[凸集合|凸部分集合]]全体は包含関係で完備束をなす。下限は共通部分として上限は合併の[[凸包]]として与えられる。
* 実又は複素[[ヒルベルト空間]]の閉部分空間全体は包含関係で完備（[[可補束|可補]]）束をなす。下限は共通部分として上限は合併の生成する部分空間の閉包として与えられる。
* [[フォン・ノイマン環]]上の[[射影作用素|直交射影]]全体は完備束をなす。
* 集合上の[[二項関係#集合上の関係|推移的関係]]全体は完備束をなす。
* 集合上の[[同値関係]]全体は完備束をなす。
* 集合上の完備束への関数全体は完備束をなす。
* 完備束の直積は再び完備束になる。

== 写像 ==
完備束の間の下限及び上限を保つ写像を完備準同型（完備束準同型）（{{lang-en-short|''complete homomorphisms''(''complete lattice homomorphisms'')}}）という。

正確に述べると、
完備束 <math>L, M</math> の間の写像 <math>f\colon L\to M</math> が完備準同型であるとは
* <math>f(\bigwedge A) = \bigwedge\{f(a)\mid a\in A\}</math> 及び
* <math>f(\bigvee A) = \bigvee\{f(a)\mid a\in A\}</math>

が <math>L</math> の任意の部分集合 <math>A</math> に対して満たすことをいう。

このような写像は自動的に[[順序集合#定義|単調増加]]写像となる。

この定義はしばしば強すぎることがあり、その場合は上限を保存する写像もしくは下限を保存する写像を考える。それらは各々完備（上）半束準同型（{{lang-en-short|''complete (upper) semi-lattices homomorphisms''}}）及び完備下半束準同型（{{lang-en-short|''complete lower semi-lattices homomorphisms''}}）と呼ばれる。

完備半束準同型には以下の様な特徴付けが存在する。
完備束間の写像が完備上半束準同型となることと[[ガロア接続]]（{{lang-en-short|''Galois connection''}}）の下随伴（{{lang-en-short|''lower adjoint''}}）となることは同値。
同様に、完備束間の写像が完備下半束準同型となることとガロア接続の上随伴（{{lang-en-short|''upper adjoint''}}）となることは同値。（このようなガロア接続は完備準同型に対し一意的に定まる）

== 自由完備束と完備化 ==
=== 自由完備半束 ===
完備半束の[[圏 (数学)|圏]]における[[自由対象]]を自由完備半束（{{lang-en-short|''free complete semilattice'')}}）という。

言い換えると

集合 <math>X</math> と完備半束 <math>F_X</math> 及びその間の写像 <math>i\colon X\to F_X</math> について、<math>F_X</math> が <math>X</math> を生成系とする自由完備半束であるとは次の普遍性を満たすことである。
*任意の完備半束 <math>L</math> 及び写像 <math>j\colon X\to L</math> に対し、完備半束準同型 <math>j^*\colon F_X\to L</math> が一意的に存在し <math>j=j^*\circ i</math> となる。 

任意の集合に対しそれの生成する自由完備半束を具体的に構成することができる。

即ち、

（二点以上の元を含む）集合 <math>X</math> に対し、その冪集合 <math>\mathfrak{P}(X)</math> は包含関係を順序として、<math>X</math> を生成系とする自由完備半束となる（但し、写像 <math>i\colon X\to \mathfrak{P}(X)</math> は各元をその元のみからなる一点集合に写す写像）。

普遍性は次のように言える。

完備半束 <math>L</math> 及び写像 <math>j\colon X\to L</math> が与えられたとき、
* <math>j^*(A):=\bigvee\{j(a)\colon a\in A\}</math>
とすれば <math>j^*\colon\mathfrak{P}(X)\to L</math> は <math>j=j^*\circ i</math> を満たす完備半束準同型となる。

=== 自由完備束 ===
完備束と完備準同型の圏における同様の問題はより困難である。
集合 <math>X</math> が三点以上の要素を含むとき <math>X</math> で生成される完備束はいくらでも大きい[[濃度 (数学)|濃度]]を取りうるため、 <math>X</math> で生成される自由完備束は存在し得ない。

但し（空でない）集合 <math>X</math> が高々二点しか含まないとき <math>X</math> で生成される自由完備束は存在する（それは二点[[ブール代数]]及び一点集合である）。

=== 完備化 ===
半順序集合に対して、それから生成される「最大の」完備束を考えることは一般には出来ない（なぜなら、離散順序集合に対してそれを考えればそれは自由完備束となるから）。

しかし、半順序集合に対して、それから生成される「最小の」完備束を考えることはできる。

これを具体的に構成する方法が{{仮リンク|ホルブルク・マクニール|en|Holbrook Mann MacNeille}} により[[デデキント切断]]を一般化することで与えられてる（{{仮リンク|デデキント・マクニール完備化|en|Dedekind–MacNeille completion}}）。

== 完備束と閉包作用素 ==
完備半束に対するデデキント・マクニール完備化は完備半束を集合族（と包含関係及び合併のなす完備半束）として表現していると思える。この構成を任意の[[閉包作用素]]に一般化することが出来る。

すなわち、

完備束 <math>P</math> 上に[[閉包作用素]] <math>cl\colon P\to P</math> （つまり、 <math>p\le cl(p)</math> 、<math>cl\circ cl=cl</math> 、<math>p\le q\rightarrow cl(p)\le cl(q)</math> を満たす写像）が与えられたとき、 <math>cl</math> の像 <math>cl(P)</math> は再び完備束となる。

デデキント・マクニール完備化は完備束を冪集合上の閉包作用素の像として与えていると見なすことが出来る。

=== さらなる結果 ===
{{仮リンク|クナスタ・タルスキの定理|en|Knaster–Tarski theorem}}によると完備束から自分自身への単調写像の不動点全体は再び完備束になる。これは閉包作用素の場合の結果の一般化とみなせる。

== 参考文献 ==
* {{cite book|洋書| author=B.A.Davey, H.A.Priestley | title=Intorduction to Lattices and Order | edition=Second Edition | year=1990 | publisher=Cambridge university press | isbn = 978-0521784511 }}

== 関連項目 ==
*[[順序集合]]
*[[束 (束論)|束論]]
*[[デデキント・マクニール完備化]]
*[[ガロア接続]]
*{{仮リンク|クナスタ・タルスキの定理|en|Knaster–Tarski theorem}}

== 注釈 ==
<references/>


{{DEFAULTSORT:かんひそく}}
[[Category:束論|*]]
[[Category:順序集合論]]
[[Category:閉包作用素]]
[[Category:数学に関する記事]]