束の定義：代数学的定義と順序理論的定義の等価性

束の定義

以下の等式をみたす二つの二項演算 , を備えた集合 のことを束（lattice）といいます¹：

• 可換律
  • 
  • 
• 結合律
  • 
  • 
• 冪等律
  • 
  • 
• 吸収律
  • 
  • 

例えば、 と を論理式だと思えば、これは高校数学でも習った命題論理の性質です。また、 として、 は最小公倍数、 は最大公約数をとる演算だと思えば、自然数の集合 も自然に束とみなせます。

この記事内では、ここでの束の定義を代数学的な定義と呼ぶことにします。

半順序の定義

集合 上の二項関係 が以下の性質をみたすとき、半順序（partial order）と呼ばれます。：

• 反射律
  • 
• 反対称律
  • かつ ならば
• 推移律
  • かつ ならば

半順序の定められた集合のことを半順序集合（partially ordered set、略してposet）と呼びます。さらに、半順序集合 において、任意の元 、 に対して と の少なくとも一方が成り立つとき、 は特に全順序（total order）と呼ばれます。このとき、 は全順序集合（totally ordered set、linearly ordered set、chain）と呼ばれます。

例えば、集合 の冪集合 に対して、包含関係 を とみなせば、半順序の性質をみたします。また、自然数の集合 に対して、「 が を割る」という関係を とみなせば、これも半順序になります。

以下、ある性質をみたす半順序集合は実は束とみなせることを示していきます。この「ある性質」について述べるため、 さらに言葉の定義をしていきます。

上界、上限、下界、下限の定義

半順序集合 の部分集合 を考えます。

の元 が の上界（upper bound）であるとは、 の任意の元 に対して、 が成り立つことです。また、上界の中で「最小」のものを最小上界といいます。論理的に正確に述べると、, としたとき、「任意の に対して、 ならば 」が成り立つ²とき、 は の最小上界（least upper bound または l.u.b. of A）または上限（supremum of A）であるといい、 と書きます。

下界については、上界の「逆」に定義します。すなわち、任意の に対して、 が成り立つとき、 は の下界（lower bound）といい、下界の中で最大³のものを の最大下界（greatest lower bound）または下限（infimum）といい、と表します⁴。

束の代数学的定義と順序理論的定義の等価性

半順序集合 を考えます。 の任意の二つの元 , に対して、 と が存在するとき、 は束とみなすことができます。このような半順序集合も一般に束と呼びますが、はじめのうちは少しややこしいです。ここでの束の定義（任意の二元が上限と下限をもつような半順序集合のこと）を、この記事内では順序理論的な定義と呼ぶことにします。

それぞれ独立して自然に定義されている代数学的な定義と順序理論的な定義が、実は等価であることを示していきます。

束が代数学的に定義されているとき

束 が代数学的に定義されているとき、 上の二項関係 を、 によって定めれば、この二項関係は半順序の公理をみたし、さらに順序理論的な定義（任意の二元が上限と下限をもつ）もみたします。

このことを示すために、この二項関係 が実際に半順序の公理をみたすかどうかを確認し、任意の二元に対して上限と下限が存在するかを調べます。

1. 反射律 の証明：
   代数学的定義では冪等律 が成り立ち、これは順序理論的定義 であることと同値です。

2. 反対称律 かつ ならば の証明：
   のとき代数学的には であり、 のときは代数学的には であるため、代数学的定義での可換律と合わせると であることがわかります。

3. 推移律 かつ ならば の証明：
   は で、 は であるため、代数学的定義での結合律と合わせて、 をえることができます。この は順序理論的定義では です。

4. 任意の二元に対して上限と下限が存在することの証明：
   の任意の二元 , に対して、 で、 となります。上限に関して示します。下限の場合は、上限の場合において、 の向きを逆にして、 と を入れ替えるだけで示すことができます。

   まず、代数学的定義での冪等律より、 ですが、これを順序理論的定義にすると であるため、上界であることがわかります。次に、 も の上界だとすると、, ですが、これらを代数学的定義に書き換えると , となります。このとき吸収律から、, をえます。これと可換律から、 です。さらに吸収律を用いて、 がえられます。これを順序理論的定義に書き換えると、 となります。これは、上界の中で が最小であることを意味します。

したがって、束が代数学的に定義されているとき、自然に順序理論的な定義をみたすような二項関係 がえられました。

束が順序理論的に定義されているとき

束 が順序理論的に定義されているとき、 上の二項演算を 、 と定めれば、これらは代数学的な束の公理をみたします。

このことを示すために、これらの二項演算が実際に代数学的に定義された束の公理をみたすかどうかを確認します。

1. 可換律 の証明：
   です。下限についても同様です。

2. 結合律 、 の証明：
   を示します。まず、上界性から かつ であることと、 かつ であることから、 が の上界であることがわかります。 が最小上界であることから、 です。また、 と 、最小上界性から であり、さらに であることから、 です。これらと、反対称律から です。同様にして、 なので、 がえられます。

   このことに注意すると、 がわかります。 の場合も、下限の性質を用いて同様に示すことができます。

3. 冪等律 、 の証明：
   反射律 より は の上界であり、 はそのまま最小上界であることを意味するので、、すなわち であることがわかります。 の場合も同様にして示せます。

4. 吸収律 、 の証明：
   上限の性質から です。また、下限の性質から、 なので、 と合わせると、 は の上界であることがわかります。したがって、最小上界性から です。これらから、 です。 も同様にして示せます。

こうして、順序理論的に定義した束は、自然と代数学的な定義もみたすようにできることが示されました。

まとめ

以上のように、束の代数学的な定義と順序理論的な定義は同一視できることが示されました。状況に応じて、束の代数学的性質と半順序集合としての性質を使い分けることができます。

次回は、今回定義した束の同型性と部分束について解説します。今回の代数学的定義と順序理論的定義から推測できるように、代数学的に定義された二つの束が同型であるということは、これらの束を半順序集合として見ると、二つの束の間に順序を保つ全単射が存在することであることが示されます。

その後の記事では、完備束・同値類・代数束の説明をしたあと、閉包作用素の導入をします。束は普遍代数学の基礎となると同時に、普遍代数の一例でもあるので、丁寧に解説していきたいと思います。今回はここまで。

2017/07/02 追記

束の二つの定義の同値性は、例としてある集合の冪集合のなす束を考えると明らかです。

を と定めると、ベン図を用いて

と図示できます。これは、 であることと同値です。このように、包含関係を順序関係だとみなせば、冪集合は半順序集合です。

下図のようになっていると、 でも でもありません：

このとき、順序関係は定まりませんが、実は 、 となるので、束となります：

実際、、 とすると、（最小上界性）であり、、 とすると、（最大下界性）です：

参考文献

S. Burris and H.P. Sankappanavar, A Course in Universal Algebra. The Millenium Edition, 2012.

---

1. ここで、という記号は、等式を表します。等式ですので、成り立つこともあれば成り立たないこともあります。という記号は、両辺が全く同じ対象であることを表します。等式が成り立つということと同じ対象であるということは似て非なる概念ですが、腑に落ちなければ当面はあまり違いを気にしないでよいです。この記事でも、あまり違いを気にせず書いています。↩

2. 任意の に対して ということは、 が の上界ということであり、 の上界 に対していつでも であるということは、上界の中でが最小ということを意味します。↩

3. 任意の に対して、 ならば が成り立つとき、 は 下界の中で最大のものとみなせます。↩

4. 実数の連続性と同値な命題「上限性質」は、実数を全順序集合とみなしたときに、ここで定義した言葉で述べられます。上限性質とは、「実数の空でない部分集合は、上に有界であれば上限が存在する」でした。実は、上限性質をみたす束は、条件付き完備束（conditionally complete lattice）と呼ばれます。↩