束とブール代数

束とは、任意の2つの要素が最小上界と最大下界を持つ順序集合であり、ブール代数とは、論理と集合の代数をモデル化する補元を持つ分配束である。

Definition

束とは、任意の2つの要素が結びと交わりを持つ半順序集合であり、ブール代数とは、最小元と最大元を持ち、すべての要素が補元を持つ分配束である。

Scope

このトピックでは、束を順序理論的および代数的な双対構造として扱い、結びと交わり演算、分配束とモジュラー束、補元、およびその表現論を伴うブール代数について述べる。これには、有限分配束のバーコフ表現とブール代数のストーン表現が含まれ、順序、代数、およびトポロジーを結びつける。

Core questions

• 対の最小上界と最大下界はいつ存在し、どのような法則を満たすか？
• どの束が分配的またはモジュラーであり、それらはどのように特徴付けられるか？
• 有限分配束は順序イデアルの集合によってどのように表現されるか？
• ブール代数は命題の論理と集合の代数をどのように形式化するか？

Key concepts

• 結びと交わり
• 有界束、完備束、補元束
• 分配束とモジュラー束
• ブール代数
• バーコフ表現
• ストーン表現

Key theories

バーコフの表現定理

すべての有限分配束は、その結び既約要素の半順序集合の下方閉集合の束と同型であり、有限分配束の完全かつ具体的な記述を与える。

ストーンの表現定理

すべてのブール代数は集合の体と同型であり、すべての有限ブール代数は有限集合のべき集合と同型であり、論理の抽象代数を具体的な集合演算に基礎づける。

Clinical relevance

ブール代数はデジタル論理回路、命題論理、および集合演算をモデル化する一方で、束は型階層、アクセス制御におけるセキュリティレベル、および形式概念分析の閉集合を構造化する。

History

ブールの1854年の論理代数、バーコフの1930年代の束論、およびストーンの1936年の表現定理は、順序と論理の現代代数理論を確立した。

Key figures

• George Boole
• Garrett Birkhoff
• Marshall Stone

Seminal works

• davey2002

Frequently asked questions

すべての束は分配的か？

そうではない。最小の非分配束はダイヤモンド束とペンタゴン束であり、束が分配的であるのは、それらのいずれも部分束として含まない場合に限られる。

ブール代数は集合論とどのように関連しているか？

任意の集合のべき集合は、包含関係によって順序付けられ、和集合、共通部分、補集合を伴うブール代数であり、すべての有限ブール代数はこの形式である。