「束（たば）」という言葉は日常語としてよく使われますが、数学の世界では全く異なる専門的な意味をもちます。
数学における「束（そく）」は、順序集合の理論の中で登場する重要な代数的構造のひとつであり、現代数学・計算機科学・論理学など幅広い分野の基礎をなす概念です。
しかし、「束論」「束一的性質」「上限・下限」といった用語が並ぶと、難解に感じてしまう方も多いでしょう。
この記事では、数学における束の定義・基本的な性質・具体的な例・束論の応用まで、できるだけわかりやすく丁寧に解説していきます。
数学が好きな方、順序集合・代数的構造に興味がある方、情報科学の基礎を学びたい方にとって有益な内容ですので、ぜひ最後まで読んでみてください。
数学の「束」とは「任意の2元が上限と下限をもつ順序集合」のこと
それではまず、数学における束の定義と基本的な意味について解説していきます。
数学において「束（そく）」とは、任意の2つの元に対して上限（join）と下限（meet）が必ず存在する順序集合（partially ordered set）のことを指します。
より直感的に言えば、束とは「どの2つの要素を選んでも、その最小の上界（上限）と最大の下界（下限）が常に存在する構造」のことです。
この性質が保証されることで、束は非常に整った代数的・順序論的な構造をもつことになります。
束の定義に登場する基本用語の整理
束の定義を正確に理解するために、まず関連する基本用語を整理しておきましょう。
| 用語 | 英語表記 | 意味 |
|---|---|---|
| 順序集合（半順序集合） | partially ordered set (poset) | 反射律・反対称律・推移律を満たす二項関係をもつ集合 |
| 上限（最小上界） | join / least upper bound (lub) | 2つの元 a, b の上界の中で最小のもの。a∨b と表記 |
| 下限（最大下界） | meet / greatest lower bound (glb) | 2つの元 a, b の下界の中で最大のもの。a∧b と表記 |
| 束 | lattice | 任意の2元の上限と下限が存在する順序集合 |
| 完備束 | complete lattice | 任意の部分集合の上限と下限が存在する束 |
束の英語表記は「lattice（ラティス）」であり、数学の文献では “lattice theory”（束論）として登場します。
「lattice」はもともと「格子・格子状の構造物」を意味する英単語であり、束を図示したときに格子状の図形（ハッセ図）になることからこの名称が使われています。
束の形式的な定義
束の形式的な定義を確認しておきましょう。
半順序集合 (L, ≦) が束（lattice）であるとは、任意の a, b ∈ L に対して、次の2つが L の中に存在することをいう：
・a と b の上限（join）：a ∨ b（”a join b” と読む）
・a と b の下限（meet）：a ∧ b（”a meet b” と読む）
ここで、a ∨ b は a と b の最小上界、a ∧ b は a と b の最大下界である。
この定義において重要なのは「任意の2元」という部分です。
集合の中の「一部の2元」ではなく、「どの2元を選んでも必ず」上限と下限が存在することが束の条件となっています。
この条件が満たされない場合は束ではなく、単なる順序集合（ポセット）になります。
束を代数的に定義する方法
束は順序論的な定義だけでなく、代数的にも定義することができます。
集合 L に二項演算 ∨（join）と ∧（meet）が定義されており、次の4つの性質（束の公理）を満たすとき、(L, ∨, ∧) を束という：
①可換律：a ∨ b = b ∨ a、a ∧ b = b ∧ a
②結合律：(a ∨ b) ∨ c = a ∨ (b ∨ c)、(a ∧ b) ∧ c = a ∧ (b ∧ c)
③吸収律：a ∨ (a ∧ b) = a、a ∧ (a ∨ b) = a
④冪等律：a ∨ a = a、a ∧ a = a
この代数的定義は、束を「2つの演算をもつ代数系」として捉えるアプローチです。
順序論的な定義と代数的な定義は同値であることが証明されており、どちらの観点からも束を理解することができます。
束の具体的な例
続いては、束の具体的な例を確認していきます。
抽象的な定義だけでは理解しにくい束の概念も、具体的な例を通して見ることで直感的に理解できるようになります。
例1：自然数の約数の集合
「12の約数の集合」を例に束を確認してみましょう。
12の約数：{1, 2, 3, 4, 6, 12}
順序関係：a ≦ b ⟺ a は b の約数（整除関係）
上限（a ∨ b）：a と b の最小公倍数（lcm）
下限（a ∧ b）：a と b の最大公約数（gcd）
例：2 ∨ 3 = lcm(2,3) = 6、2 ∧ 3 = gcd(2,3) = 1
→ 任意の2元について上限・下限が集合内に存在するため、束になる
この例では、「最小公倍数」が上限（join）に、「最大公約数」が下限（meet）に対応しています。
整除関係による自然数の順序集合は束になるという、数論と束論を結びつける美しい例です。
例2：集合の冪集合（部分集合の全体）
「集合 A の冪集合（すべての部分集合の集合）P(A)」は束の代表的な例です。
A = {a, b} とすると、P(A) = {∅, {a}, {b}, {a,b}}
順序関係：部分集合の包含関係（⊆）
上限（X ∨ Y）：X と Y の和集合（X ∪ Y）
下限（X ∧ Y）：X と Y の共通部分（X ∩ Y）
例：{a} ∨ {b} = {a,b}、{a} ∧ {b} = ∅
→ 冪集合は和集合と共通部分によって束をなす（ブール束）
冪集合と包含関係によって作られる束は「ブール束（ブール代数）」と呼ばれ、論理回路・集合演算・命題論理などの基礎となる重要な構造です。
例3：実数の全順序
実数の集合 ℝ に通常の大小関係（≦）を入れた場合も束になります。
任意の a, b ∈ ℝ に対して：
a ∨ b = max(a, b)（大きい方）
a ∧ b = min(a, b)（小さい方）
→ max と min が常に存在するため、(ℝ, ≦) は束である（全順序束）
全順序集合（chain）は必ず束になります。
なぜなら、全順序では任意の2元 a, b について a ≦ b または b ≦ a が成り立つため、max と min が常に存在するからです。
束論の重要な概念と性質
続いては、束論の中で特に重要な概念と性質を確認していきます。
分配束とモジュラー束
束の中でも特に重要な種類として「分配束」と「モジュラー束」があります。
| 束の種類 | 追加の条件 | 代表例 |
|---|---|---|
| 一般の束 | 上限・下限の存在のみ | 約数の束・冪集合 |
| モジュラー束 | a ≦ c ならば a ∨ (b ∧ c) = (a ∨ b) ∧ c が成立 | 部分群の格子・線形空間の部分空間の格子 |
| 分配束 | a ∧ (b ∨ c) = (a ∧ b) ∨ (a ∧ c) が成立 | ブール代数・整数の約数の束 |
| ブール代数 | 分配束かつ補元が存在する | 冪集合・命題論理・論理回路 |
分配束はブール代数の一般化であり、論理演算・集合演算との深い関係があります。
ブール代数は情報科学・論理回路設計の基礎であり、束論が現代の計算機科学と直結していることがわかります。
完備束と束一的性質
「完備束（かんびそく）」とは、任意の部分集合の上限と下限が存在する束のことです。
任意の2元だけでなく、集合の「任意の部分集合」に対して上限・下限が存在するという、より強い条件が課された束です。
完備束の条件：
任意の S ⊆ L に対して、∨S（S の上限）と ∧S（S の下限）が L の中に存在する
※特に空集合の上限が存在する（束の最小元）、空集合の下限が存在する（束の最大元）
完備束では最大元（top element, ⊤）と最小元（bottom element, ⊥）が必ず存在します。
「束一的性質」とは、束がその構造的な性質によって特徴づけられる性質であり、束の同型・準同型・積などの概念と関わります。
ハッセ図による束の視覚的表現
束は「ハッセ図（Hasse diagram）」という図を使って視覚的に表現することができます。
ハッセ図では、順序関係を満たす要素をノード（点）で表し、直接の順序関係（カバー関係）をエッジ（線）で結びます。
上の要素が下の要素より大きい（≧）という約束のもとで描かれるため、束の全体的な構造を一目で把握することができます。
ハッセ図を見ると「どの2つの要素を選んでもその上限と下限がわかる」という束の性質が視覚的に確認できるため、束を初めて学ぶ際には必ずハッセ図を活用することをおすすめします。
束論の応用と現代数学・情報科学への貢献
続いては、束論の応用と現代の数学・情報科学への貢献を確認していきます。
プログラミング言語理論への応用
束論はプログラミング言語の意味論（semantics）の研究に深く関わっています。
「ドメイン理論（domain theory）」では、プログラムの計算過程を完備半順序集合（cppo）や束を使って数学的に記述します。
「不動点定理（Knaster-Tarski theorem）」は完備束において単調関数が必ず不動点をもつことを主張する定理であり、再帰的なプログラムの意味を定義するうえで基礎的な役割を果たしています。
このように、束論はプログラミング言語の理論的基盤として現代の情報科学に不可欠な概念となっています。
形式概念分析への応用
「形式概念分析（Formal Concept Analysis, FCA）」は、束論を使ってデータの概念的な構造を分析する手法です。
対象（objects）と属性（attributes）の関係から「形式概念（formal concept）」を定義し、それらの概念の包含関係が概念束（concept lattice）を形成します。
この手法は知識表現・データマイニング・情報検索などの分野に応用されており、束論が実用的な情報処理技術の基礎となっていることを示しています。
論理学・命題論理との関係
束論は論理学とも深く結びついています。
命題論理の論理演算（AND・OR・NOT）はブール代数の構造を形成しており、ブール代数は分配束の特別な場合です。
直観主義論理（Heyting algebra）も束論の言葉で記述でき、束論が古典論理を超えた広い論理学の枠組みを提供しています。
「論理の構造を代数的に記述する」というアプローチの基盤に束論があることがわかります。
数学における束（lattice）とは、任意の2元に対して上限（join, ∨）と下限（meet, ∧）が必ず存在する順序集合のことです。約数の集合・冪集合・実数など身近な例で確認でき、ブール代数・完備束・分配束などの重要な特殊例があります。束論はプログラミング言語理論・論理学・情報科学の基礎として現代においても非常に重要な分野です。
まとめ
この記事では、数学における束（lattice）の定義・基本概念・具体例・束論の重要な概念・応用について解説しました。
束とは、任意の2元に対して上限（join）と下限（meet）が必ず存在する順序集合のことです。
約数の集合・冪集合・実数の大小関係など、身近な数学的対象が束の構造をもつことがわかります。
分配束・ブール代数・完備束などの特殊な束は、論理学・情報科学・プログラミング言語理論の基礎として現代においても非常に重要な役割を果たしています。
「順序の中に整合性と豊かな構造を見出す」という束論の視点は、数学の美しさのひとつを体現しているといえるでしょう。
束論の入り口に立ったこの記事をきっかけに、さらに深い数学の世界へと踏み込んでいただければ幸いです。
