束 (束論)
数学における束（そく、）は、任意の二元集合が一意的な上限（最小上界、二元の結びとも呼ばれる）および下限（最大下界、二元の交わりとも呼ばれる）を持つ半順序集合である。それと同時に、ある種の公理的恒等式を満足する代数的構造としても定義できる。二つの定義が同値であることにより、束論はと普遍代数学の双方の領域に属することとなる。さらに、半束 (semilattice) の概念は束の概念を含み、さらにハイティング代数やブール代数の概念も含む。これら束に関連する構造は全て順序集合としても代数系としても記述することができるという特徴を持つ。
半順序集合 ("L", ≤) が束であるとは、以下の二条件が満足されるときに言う。これにより、∨ および ∧ は "L" 上の二項演算となる。最初の条件は "L" が (join-semilattice) となることを主張するものであり、後の条件は "L" が (meet-semilattice) となることをいうものである。二つの演算はその順序に関して単調である。すなわち、"a" ≤ "a" かつ "b" ≤ "b" ならば
がともに成り立つ。
このとき、帰納的に、束の任意の空でない有限集合に対して、その結び（上限）および交わり（下限）の存在が示せる。さらに仮定を増やせば、もっといろいろなことが言える場合もある。等を参照。そういった文脈では、上記の定義をもっと別の方法、例えば適当なの存在によって定義することもできる（これは束に対するある種のガロワ理論的な手法である）。
有界束 (bounded lattice) は 1 で表される最大元 (greatest element, maximum, top (⊤)) および 0 で表される最小元 (least element, minimum, bottom (⊥)) を持つ束である。任意の束は最大元と最小元を付加することにより有界束とすることができる。また、空でない任意の有限束は有界である（全ての元の結びおよび交わりが最大元及び最小元を与える）。すなわち、"A" = {"a", …, "a"} ならば
が成り立つ。
半順序集合が束となる必要十分条件は、任意の有限部分集合（零元集合としての空集合を含む意味で言う）が結びおよび交わりを持つことである。ここで、空集合に関する結びは最小元、空集合に関する交わりは最大元となるものと約束する。
この規約は、結びおよび交わりの結合性および可換性に整合性を持たせるためのものである。すなわち、有限集合の族の和集合の結びはそれらの集合の結びの結びに一致し、双対的に、有限集合の族の和集合の交わりがそれらの集合の交わりの交わりとなる。これは、具体的に束 "L" の有限部分集合を "A", "B" とすると、
がともに成り立つという意味である。ここで "B" として空集合を取ると
となり、これは "A" ∪ ∅ = "A" であるという事実と整合する。
集合 "L" および "L" 上の二項演算 ∨, ∧ からなる代数的構造 ("L", ∨, ∧) が束であるとは、"L" の任意の元 "a", "b", "c" に対して以下の公理的な恒等式を満足するときに言う。
さらに以下の二つの恒等式を公理として仮定することも多いが、実際には吸収律を二度使うことで導くことが可能である
これらの公理は ("L", ∨) および ("L", ∧) がともに半束となることを要請するものである。また吸収律は（公理のうちこれだけが条件式に結びと交わりの両方が現れているので）、これによって束が、単にかってな半束の対ということではなく、対となる二つの半束のあいだに適切な相互関係があることを仮定するものとなっている。特に、互いの半束の間に双対性が見て取れる。
代数的な意味での有界束とは代数的構造 ("L", ∨, ∧, 1, 0) であって、("L", ∨, ∧) は束であり、（束の最小元となるべき）0 が結び ∨ に関する単位元で、（束の最大元となるべき）1 が交わり ∧ に関する単位元となるものをいう。さらなる詳細は半束の項に譲る。
束はある種の群に似た代数的構造と関連がある。実際、交わりも結びも結合的かつ可換なので、束を台を共有するふたつの可換半群の対と看做すことができる。有界束ならば、この二つの半群は実際には可換モノイドになる。吸収律だけが、束論に特有の定義式である。
可換性と結合性により、結びや交わりを二項ではなく空でない任意の有限集合上の演算として考えることもできる。有界束の場合には、空集合に関する結び（空和）と空集合に関する交わり（空積）をそれぞれ 0 と 1 として定義することができる。このことは、有界束がある意味で一般の束よりも自然であるという見方を与えるものであって、しばしば、単に束といえば有界束のことを意味するという文献があるので注意が必要である。
このような束の代数的な解釈は普遍代数学において本質的な役割を果たす。
順序集合論的な束は二つの二項演算 ∨, ∧ を生じ、その可換性、結合性、吸収性から ("L", ∨, ∧) が代数的な意味での束を定めることを確かめることは難しくない。このとき、もとの順序関係は、こうしてえられた代数的構造からすぐに回復することができる。すなわち
と定めて得られた順序 ≤ は、もとの束の順序関係に一致する。
逆に、代数的に定義された束 ("L", ∨, ∧) に対し、"L" 上の半順序 ≤ を、"L" の各元 "a", "b" に対して
または
で定めれば順序集合論的な意味の束が得られる。吸収律はいずれの定義に関しても同値である。そうして、この方法で定めた順序関係 ≤ が導く交わりと結びがもともとの代数的な意味での束の演算 ∨, ∧ に一致することも確かめられる。
このように束の二つの定義は同値であるから、必要と目的に応じて束の二つの側面を自由に選んで使うことができる。ほとんどの半順序集合は束を成さない。例えば以下のようなものは束にならない。更なる例については、追加の条件ごとに分けて後述する。
二つの束の間の射（あるいは準同型）としてどのようなものを考えるべきかは、代数的構造としての定義を使えば容易にわかる。二つの束 ("L", ∨, ∧) および ("M", ∨, ∧) が与えられたとき、束の射あるいは束準同型とは、写像 "f": "L" → "M" で
をともに満たすものを言う。つまり "f" は下敷きとなる二つの半束の双方に関して準同型写像となるものである。ただし、束に対してさらに追加の構造を考えている場合には、準同型としてそれらの付加構造に関しても整合的であるようなものを考えるのが普通である。従って例えば、準同型 "f" が二つの有界束 "L", "M" の間で考えるものであれば、
も同時に満たすべき条件であるとみなされる。これを順序集合論的に定式化するならば、これらの条件は単に、束準同型というのは二元の交わりと結びを保つ写像であると言っているに過ぎない。有界束の場合に最大元と最小元も保つことは、空集合に関する結びと交わりを保つことで言える。
任意の束準同型は付随する順序関係に関して単調である必要があるが、逆は真ではない。つまり、単調性は結びや交わりを保存することを保証しない。一方、順序を保つ全単射が束準同型となるのは、その逆写像がやはり向きを保つときである。
同型写像に関して、それが可逆な準同型であるという意味の標準的な定義に従えば、束同型は単に全単射な束準同型を考えればよく、同様に、束自己準同型は束からその束自身への束準同型であり、また束自己同型は全単射な束自己準同型である。束の全体を対象とし、束準同型を射としてひとつの圏が定まる。
以下、いくつか意味のある束のクラスを定めるさまざまに重要な束の性質について述べる。なお、そのうちの一つ、有界性についてはすでに述べてあることを注記する。
半順序集合が完備束 (complete lattice) であるとは、その任意の部分集合が交わりと結びを持つときに言う。特に任意の完備束は有界束である。有限束の準同型は有限な交わりおよび結びしか保存しないが、完備束の準同型では任意濃度の交わりと結びを保つことを要請する。
任意の半順序集合はそれが完備半束であるならば完備束となる。この事実に関する面白い現象として、このクラスの半順序集合に対しては、いくつもの準同型を同時並行的に考えることができるということが挙げられる（つまり、それを完備束とみるか、完備結び半束とみるか、完備交わり半束とみるか、結び完備束とみるか交わり完備束とみるか、それぞれの意味での準同型を考えうる）。
条件付き完備束 (conditionally complete lattice) とは任意の空でない上に有界な部分集合が結び（最小上界）を持つことをいう。このような束は実数全体の集合に対する完備性公理を最も直接に一般化するものである。条件付き完備束は、完備束か、完備束から最大元 1 を除いたものか、完備束から最小元 0 を除いたものか、あるいは完備束から最大元と最小元の両方を取り除いたものかのいずれかである。
束には二項演算がふたつあることから、一方が他方に対して分配的かということを考えるのは自然な問いである。すなわち、束 "L" の各元 "a", "b", "c" に対して、互いに双対的な次の等式が成り立つかということを考える。これらは等式
が成り立つこととも同値である。束が最初の等式を（従って、束にとって同値な後の等式も）満足するならば、分配束 (distributive lattice) と呼ばれる。束が分配的である必要十分条件は "M" もしくは "N" （右図）と同型な部分束を含まないことである。集合束(ring of sets)は分配的であり、逆に任意の分配束は集合束と同型である（Birkhoffの表現定理）。
完備束に対して相性のよい分配性の狭義の概念というものを考えれば、完備ハイティング代数や完備分配束といったもっと特別のクラスを定義することができる。
応用に際して、分配性条件は強すぎる制約となることがあり、次のようなより弱い性質を考えると便利なことがよくある。束 ("L", ∨, ∧) がモジュラー ("modular") であるとは "L" の各元 "a", "b", "c" に対して
が成立するときにいう。この条件は次の条件と同値である。
束がモジュラーである必要十分条件は "N"（右図）と同型な部分束を含まないことである。分配束はモジュラーだが、分配束とは限らないモジュラー束の例として、加群の部分加群全体の成す束や、群の正規部分群全体の成す束が挙げられる。
モジュラー性でも強すぎるときに（上）半モジュラーと呼ばれる次のような性質を課すことがある。
束 "L" が （上）半モジュラー ("(upper)semimodular") であるとは
が成立するときにいう。ただしここで "a" 領域理論において、半順序集合の元を「より単純な」元によって近似することを考えるのは自然である。それによって、任意の元がその元のずっと下にある元の成す有向集合の上限として得られるような半順序集合からなる連続的半順序集合のクラスが導かれる。ここでさらに有向集合を得るのに使える元をコンパクト元に制限することを考えるならば、代数的半順序集合が得られる。これらの概念を束に対しても考えれば、のクラスが得られるが、これらはいずれも興味深い性質を持つクラスである。例えば連続束は、ある種の恒等式を満足する（項数有限な）演算をもつ代数的構造として特徴付けられる。一方、代数束の同じような特徴づけは知られていないが、「統語論的」("syntactical") には、Scott information systemを通じて記述できる。
"L" が最大元 1 と最小元 0 を持つ有界束とする。"L" の二元 "x" および "y" が互いに他の補元 ("complements") であるとは
が成り立つことをいう。特に補元が一意に定まる場合、これを ¬"x" = "y" および ¬"y" = "x" で表す。任意の元が補元を持つ有界束は可補束 (complemented lattice) と呼ばれ、補元が一意に定まる場合、 "L" 上の単項演算 ¬ は補演算あるいは補化 (complementation) と呼ばれる。これは論理否定の束論における類似物として導入された。一般に補元は一意である必要も、"L" 上で可能な全ての単項演算のなかで特別なものであるわけでもない。可補束がさらに分配的でもあるならば、それはブール代数である。分配束に対しては、補元は存在すれば一意である。
ハイティング代数は、その元が必ずしも補元を持つとは限らない分配束の例である。しかし、ハイティング代数の各元 "x" は擬補元 (pseudo-complement) と呼ばれる、やはり ¬"x" で表される元を必ず持つ。この擬補元は "x" ∧ "y" = 0 となるような "y" の中で最大のものである。ハイティング代数の各元が持つ擬補元が、実際には補元であるとき、そのハイティング代数は実はブール代数である。
束 "L" の部分束 (sublattice) とは、"L" の空でない部分集合であって、"L" と同じ交わりと結びによって再び束となるようなものをいう。つまり、"L" が束で、"L" の部分集合 "M" ≠ ∅ を考えるとき、"M" の元の任意の対 "a", "b" に対して "a" ∨ "b" と "a" ∧ "b" がともに "M" に属するならば、"M" は "L" の部分束である。
束 "L" の部分束 "M" が "L" の凸部分束 (convex sublattice) であるとは、"L" の各元 "x", "y", "z" に対して、"x ≤ z ≤ y" かつ "x", "y" ∈ "M" ならば "z" ∈ "M" となるときにいう。
任意の集合 "X" に対して、それが生成する自由半束 "FX" を考えることができる。すなわち、"FX" は "X" の有限部分集合全体に通常の集合の和を考えて得られる半束として定義される。自由半束は普遍性を持つ。
以下、束論において重要な、順序集合論的概念をいくつか定義する。以下、"x" はある束 "L" の元を表すものとし、"L" が最小元 0 を持つ場合には "x" ≠ 0 であることも要求することがある。 "x" が
束 "L" が最小元 0 を持つとし、"L" のある元 "x" が（あるいは原子元）であるとは、0 < "x" かつ 0 < "y" < "x" となるような "L" の元 "y" が存在しないことをいう。さらに束 "L" が
任意の半順序集合に対して、互いに双対なおよびフィルターの概念をある種の部分集合族として考えることができるが、もちろん半順序集合である束の理論においてもそれはやはり重要な概念であるが、詳細はそれぞれの項に譲る。
Monographs available free online:
Elementary texts recommended for those with limited mathematical maturity:
The standard contemporary introductory text, somewhat harder than the above:
Advanced monographs:
On free lattices: