順序理論：半順序、束、応用

基本定義と公理

主要な対象の一つは半順序集合（poset）であり、通常は三つの基本公理を満たす関係を備えた集合である。これらはしばしば関係 ≤ について述べられるが、他の記号にも適用できる。

• 反射律：各要素は自分自身と関係をもつ（x ≤ x）。
• 反対称律：x ≤ y かつ y ≤ x ならば、x = y である。
• 推移律：x ≤ y かつ y ≤ z ならば、x ≤ z である。

関連する概念には、反射的かつ推移的であるが必ずしも反対称的ではない前順序、非反射的かつ推移的な狭義順序、そしてすべての要素対が比較可能な全順序（線型順序）がある。

代表的な類と例

よく知られた数学的構成の多くは半順序集合である。例として、次のものが挙げられる。

• ≤ による自然数の集合。これは全順序である。
• ある集合の冪集合に包含関係 ⊆ を入れたもの。これは半順序であり、束の標準的な例でもある。
• 正整数上の整除関係。これは半順序であるが、全順序ではない。

束とは、任意の二要素が最大下界（交わり）と最小上界（結び）をもつ半順序集合である。特別な束には、集合演算から生じるブール代数や、環論および部分群論に現れる代数的束が含まれる。

歴史的背景

順序理論の考え方は、数体系と代数的構造を形式化しようとした19世紀から20世紀初頭の取り組みから発展した。数学者たちが代数や集合の包含関係に共通する特徴を抽象化するなかで、束や鎖といった概念が生まれた。時代とともに順序理論は独立した分野となり、集合論、代数学、位相数学、論理学と結び付いた。

応用と重要性

順序理論の概念は、数学と計算機科学の広い領域に現れる。代数学では、部分構造の束が部分群、イデアル、部分空間を整理する。位相数学では、特殊化順序が点の閉包を符号化する。計算機科学では、半順序は因果履歴、依存関係、型階層、表示的意味論のための領域理論をモデル化する。経済学と意思決定理論では、選好順序が選択を表現するために用いられる。

重要な区別と事実

重要な主題には、半順序と全順序の違い、有限半順序集合を可視化するハッセ図の役割、半順序を線型順序と関係付ける拡張定理がある。穏やかな仮定のもとでは、半順序は全順序へ拡張できる。ツォルン型の原理と極大鎖の議論は多くの存在証明の中心をなす一方、鎖・反鎖分解と次元理論は比較可能性の複雑さを測る。入門および詳しい文献については、半順序の概説や順序理論の標準的な教科書を参照されたい。