順序と束論

順序論は、ある要素が別の要素に先行するという概念を持つ集合を研究し、束論は、任意の2つの要素が最小上界と最大下界を持つ順序を研究する。

Definition

反射的、反対称的、推移的な関係である半順序、および任意の2つの要素が結び（上限）と交わり（下限）を持つ半順序集合である束の数学的研究。

Scope

この分野は、半順序集合とその図、鎖と反鎖、順序保存写像、順序構造と代数構造の両方としての束、分配束とブール束、および表現定理を扱う。これは、組み合わせ構造に統一的な言語を提供し、離散数学を代数、論理、理論計算機科学に結びつける。

Sub-topics

• 束とブール代数
• 半順序集合

Core questions

• 要素間の先行関係はどのように形式化され、視覚化されるか？
• 順序集合はいつ上限と下限を持ち、束となるか？
• どの束が分配束であり、どのように表現されるか？
• 順序論的双対性と不動点定理はどのように生じるか？

Key concepts

• 半順序
• ハッセ図
• 鎖と反鎖
• 結びと交わり
• 分配束
• ブール代数

Clinical relevance

順序と束論は、プログラミング言語のセマンティクス（領域理論と不動点）、データマイニングにおける形式概念分析、論理の代数、および包含または細分化によって順序付けられた組み合わせ族の構造の基礎となる。

History

束論は、19世紀のデデキントの研究に基づいて、1930年代にバーコフによって独立した分野として発展した。その組み合わせ論的側面は、ロタの半順序集合上のメビウス関数の理論によって進展した。

Key figures

• Garrett Birkhoff
• Richard Dedekind
• Gian-Carlo Rota

Seminal works

• davey2002

Frequently asked questions

半順序と全順序の違いは何か？

全順序では任意の2つの要素が比較可能であるが、半順序では、包含によって順序付けられた部分集合のように、一部のペアが比較不能なままである場合がある。

束はなぜ順序と代数の両方なのか？

束は、結びと交わりが存在する順序によって定義することも、あるいは束の公理を満たす2つの二項演算によって同等に定義することもできる。これら2つの視点は同じ構造を記述している。