1 定義
極大連鎖は、順序集合の中でこれ以上要素を付け加えると、もはや連鎖ではなくなるような部分集合である。連鎖は順序構造の比較可能性を表す基本的な対象であり、極大連鎖はその中でも拡張不能という性質によって特徴づけられる。順序論では、極大性と最大性がしばしば区別されるため、この概念もその文脈で理解される。
1.1 連鎖の定義
順序集合における連鎖とは、任意の2要素が互いに比較可能である部分集合を指す。つまり、任意の2つの元 x, y に対して、x ≤ y または y ≤ x が成り立つとき、その集合は連鎖である。全順序集合は、集合全体が連鎖になっている特別な場合である。
1.2 極大性の定義
極大性とは、ある性質をもつ対象が、それを保ったまま外側へ広げられないことを意味する。順序集合の部分集合については、ある性質を満たす集合をより大きな同種の集合に真に含められないとき、その集合は極大であるという。これは「最も大きい」ことを意味する最大性とは異なり、比較の仕方に依存する。
1.3 極大連鎖の定義
極大連鎖とは、順序集合の連鎖のうち、同じ順序集合の別の連鎖によって真に含まれることがないものをいう。したがって、既存の比較可能性を保ちながら要素を追加する余地がない。順序構造の内部で、連鎖としての完結性をもつ部分集合とみなせる。
1.3.1 部分集合としての拡張不能性
極大連鎖は、順序集合の部分集合として考えたとき、1点でも追加すると連鎖でなくなる。追加された要素が既存のすべての要素と比較可能でなければならないため、拡張には厳しい制約がある。このため、極大連鎖は局所的に完成した比較列として扱われる。
1.3.2 包含関係による極大性
極大性は包含関係に基づいて定義される。ある連鎖 C が極大であるとは、C を真に含む連鎖 D が存在しないことを意味する。ここでは、集合の大きさそのものよりも、部分集合の並びと拡張可能性が本質となる。
2 基本的性質
極大連鎖は、順序構造の比較関係を濃縮した対象である。しばしば全順序に近い振る舞いを示すが、対象全体が全順序である必要はない。また、存在の保証には選択公理に関わる議論が入り、一般論ではゾルンの補題が重要な役割を果たす。
2.1 全順序性
連鎖の内部では、任意の2元が比較可能なので、順序が一直線状に並んでいるかのように見える。もっとも、これは元の順序集合全体が全順序であることを意味しない。極大連鎖は、部分的な全順序のまとまりとして現れる。
2.2 極大連鎖と最大連鎖の違い
極大連鎖は、外側に延長できない連鎖である。一方、最大連鎖という語は、文脈によっては長さや濃度が最も大きい連鎖を指すことがある。両者は一致する場合もあるが、一般には「これ以上含められない」ことと「最も大きい」ことは別の性質である。
2.3 存在に関する考察
任意の順序集合で極大連鎖が存在するとは限らないが、多くの標準的な枠組みでは存在定理が得られる。特に、部分集合族が適切な上限をもつとき、極大な対象の存在を導く手法が用いられる。これにより、抽象的な順序論で構造の端点を扱いやすくなる。
2.3.1 ゾルンの補題との関係
ゾルンの補題は、適切な条件を満たす半順序集合に極大元が存在することを保証する定理である。極大連鎖の議論でも、連鎖全体を対象とする半順序を考えることで、極大な連鎖の存在を導ける場合がある。したがって、この補題は極大性を扱う代表的な道具の一つである。
2.3.2 条件付き存在定理
極大連鎖の存在は、対象となる順序集合の性質に依存する。たとえば、各連鎖の上界が適切に与えられる場合や、帰納的な拡張が可能な場合には、存在を証明しやすい。反対に、任意の条件下で自動的に存在するわけではない。
3 例
極大連鎖は、有限集合から代数的順序構造まで幅広く現れる。具体例を通じてみると、比較可能性と拡張不能性がどのように働くかが分かりやすい。以下では、代表的な状況を簡潔に示す。
3.1 有限順序集合における例
有限順序集合では、任意の連鎖は要素数が有限であるため、しばしば極大なものを直接調べられる。例えば、ある順序で並んだ鎖に対し、両端に接続できる要素がなければ、それは極大連鎖である。有限性のため、具体的な列挙によって判定しやすい。
3.2 格子における例
格子では、部分順序に加えて上限と下限が備わるため、連鎖の構造が整理されやすい。極大連鎖は、格子の階層構造を表す細長い列として現れ、補完的な要素の有無と関係する。分配格子や束の理論では、これらの連鎖が構造解析に役立つ。
3.3 半順序集合における例
半順序集合では、すべての元が比較できるとは限らないため、連鎖は局所的な全順序部分として現れる。極大連鎖は、比較可能な要素を可能な限りつないだものとして理解できる。たとえば、包含関係で並ぶ部分集合族では、同じ型の拡張できない列が典型例となる。
4 関連概念
極大連鎖は、最大元や極大元といった概念と近いが、対象のレベルが異なる。元に関する性質ではなく、部分集合全体の構造に対する性質として捉えることが重要である。また、チェーン条件は、連鎖の増大や縮小を制御するための基本的な枠組みである。
4.1 最大元をもつ集合との関係
最大元をもつ集合では、すべての元がその要素以下にある。これは順序集合全体の構造に関する性質であり、極大連鎖とは直接には別物である。とはいえ、最大元を含む連鎖はしばしば構造の端を表し、解析の手がかりになる。
4.2 極大元との違い
極大元は、その元より大きい別の元が存在しない要素である。これに対して極大連鎖は、元ではなく部分集合が極大である点に本質的な違いがある。前者は点、後者は集合という単位の違いとして整理できる。
4.3 チェーン条件
チェーン条件は、順序集合における連鎖の振る舞いを制限する条件の総称である。無限に伸びる連鎖を抑えたり、逆向きの連鎖を防いだりすることで、構造の安定性や有限性に近い性質を導く。環論や代数では、イデアルや部分群の議論にも現れる。
4.3.1 上昇鎖条件
上昇鎖条件は、包含関係で増加する列がある段階で停止することを要求する。これにより、無限に拡大し続ける構造を排除できる。極大性を得やすくする条件として、抽象代数で広く用いられる。
4.3.2 下降鎖条件
下降鎖条件は、順序が下向きに続く列がいずれ安定することを意味する。これは上昇鎖条件の対概念であり、双対的な視点を与える。両者は、順序構造や代数的対象の複雑さを抑えるための標準的な制約である。