コンパクト要素

順序理論において、半順序集合上のある要素が、その要素以上の元を持たない非空有向集合の上限に含まれないとき、コンパクトあるいは有限であるという。
コンパクト性の概念は他にもあり、特に通常の集合論的な意味での「有限」という用語は順序理論においての「有限要素」の概念とは両立しないことに注意。
形式的定義.
半順序集合 ("P", ≤) 上の要素 "c" が以下の同値な条件を満たすとき、コンパクト（あるいは有限）と呼ばれる：
さらに、半順序集合 "P" が結び半束（すなわち、任意の二元の上限が存在する）であるとき、これらの条件は以下の命題と同値である：
特に、"c "= sup "S "のとき、"c "は有限部分集合 "S "の上限である。
これらの同値性は、関連する概念の定義から簡単に導かれる。結び半束の場合、有限の（空でない）上限で閉じることによって、任意の集合は同じ上限を持つ有向集合に変換することができることに注意。
有向完備半順序や完備束を考えるときは当然、特定の上限が存在するという追加条件を省くことができる。さらに、有向完備である結び半束は完備束になることに注意（最小元を持たないこともある）。詳細については、を参照。
代数的半順序集合.
任意の要素がコンパクト要素の上限として表せるような半順序集合は、"代数的半順序集合"と呼ばれる。有向完備半順序集合であるこのような半順序集合は、領域理論において頻繁に用いられる。
重要な具体例として、代数束がある。"L "の任意の要素 "x "が "x "以下のコンパクト要素の上限であるような完備束 "L "のことを代数束という。
以下が典型的な例である（「代数的」という名前の動機になる）：
任意の代数系 "A"（例えば、群、環、体、束など；あるいは何の演算もないただの集合でもよい）に対して、Sub("A") を "A" の部分構造全体の集合、すなわち、すべての演算（群の加法、環の加法と乗法など）について閉じている "A" の部分集合全体とする。ここで、部分構造の概念は代数系 "A" が零項演算を持たない場合における空の部分構造も含む。
このとき：
さらに、ある種の逆も成り立つ：任意の代数束は、ある代数系 A に対する Sub("A") と同型である。
他にも、普遍代数において重要な役割を果たす代数束がある：任意の代数系 "A" に対して、"A" 上の合同関係全体の成す集合を Con("A") と表す。"A" 上の合同関係はそれぞれ直積代数 "A"×"A" の部分代数であるから、Con("A") ⊆ Sub("A"×"A") である。ここで再び、
ここでもまた逆が成り立つ：G. Grätzer と E. T. Schmidt の定理から、任意の代数束はある代数系 A に対する Con("A") に同型である。
応用.
コンパクト要素は、領域理論と呼ばれる意味論的アプローチによる計算機科学において重要である。領域理論において、コンパクト要素はある種の原始的な要素だと考えられる：コンパクト要素によって表現された情報は、その知識を持っていなければどのような近似をしても得られない。コンパクト要素は、それよりも厳密に小さな元によって近似することができない。一方で、コンパクトではないすべての要素がコンパクト要素の有向上限として得ることができる場合がある。これは望ましい状況である。なぜなら、コンパクト要素全体の集合は、しばしばもとの半順序集合よりも小さい（上に挙げた例がこのことを示している）。
参考文献.
順序理論と領域理論に挙げられた参考文献を参照。