1 数学における閉合
数学における閉合は、ある対象が指定された操作に対して外へはみ出さず、内部で保たれる性質を指す。さらに、そうした性質を満たすように対象を補う最小の拡張を意味する場合もある。集合論、位相空間論、代数、論理学などで広く使われ、構造を「完結したもの」として捉えるための基本語となっている。
1.1 閉集合
閉集合は、位相空間において極限操作に対して安定な集合である。直感的には、内部の点の列が収束したとき、その到達点も集合の外に出ないような集合を指す。実数直線の区間のうち、端点を含むものが典型例である。
1.1.1 開集合との関係
閉集合と開集合は、互いに補集合の関係にある。ある集合が開であれば、その外側は閉となり、逆も成り立つ。したがって、両者は対立する概念というより、位相を記述するための双対的な表現である。
1.1.2 閉包との関係
閉包は、与えられた集合をそれを含む最小の閉集合へ広げたものである。元の集合に極限点を加えることで得られ、閉集合は自分自身と一致する閉包をもつ。閉包は、境界を補って対象を完結させる操作として理解される。
1.2 演算に関する閉合
演算に関する閉合とは、集合の要素に演算を施しても結果が同じ集合の中にとどまることをいう。たとえば、整数の加法は整数全体に対して閉じている。これにより、外部の要素を持ち込まずに計算を継続できる。
1.2.1 閉じた演算
閉じた演算は、結果が常に対象集合に属する演算である。加法、乗法、合成などが典型で、どの組み合わせを取っても集合の枠内に収まる。こうした性質は、代数構造の定義で重要な役割を果たす。
1.2.2 閉じた構造
閉じた構造とは、ある演算群に対して安定な集合や系である。群、環、体などは、定義の段階で演算の閉性を備えるよう設計されている。構造全体が閉じていることで、内部だけで理論を展開できる。
1.3 閉包作用素
閉包作用素は、対象を閉じた形へ拡張する写像である。元の対象を含み、しかも冪等で単調という性質をもつことが多い。数学では、集合の閉包、生成部分群、論理的帰結の生成などに現れる。
1.3.1 拡張の最小性
閉包の拡張は、必要以上に大きくならない。元の対象を含みつつ、指定された条件を満たす最小のものが選ばれる。これにより、余分な要素を避けながら完結性を確保する。
1.3.2 反復による生成
閉包は、一度の操作で得られる場合もあれば、規則を繰り返し適用して到達する場合もある。反復の過程で新しい要素が順次加わり、最終的に安定点に達する。これは、生成と停止の両面を持つ仕組みである。
2 代数における閉合
代数における閉合は、演算に対して集合が保たれる性質として現れる。群や環、体では、演算結果が同じ系に残ることが基本条件になっている。これにより、演算の定義域と値域が一致し、体系が自足的に扱える。
2.1 群と閉合
群は、積に相当する二項演算、単位元、逆元を備えた代数系である。閉合はその前提条件の一つであり、任意の二要素を組み合わせた結果が同じ集合に属することを求める。これが満たされなければ、群の構造は成立しない。
2.1.1 部分群の条件
部分群は、群の部分集合であって、それ自体が群になるものである。閉合性に加えて、単位元の存在と逆元の存在が必要となる。単なる部分集合ではなく、元の群の演算をそのまま保てることが重要である。
2.1.2 演算の安定性
群の演算が安定しているとは、要素同士を掛け合わせても外部へ逸脱しないことをいう。逆元を取っても集合内に戻るため、計算の連鎖が途切れない。安定性は、群論の変形や証明を支える基盤である。
2.2 環と体における閉合
環と体では、加法と乗法がそれぞれ閉じていることが要求される。さらに、体では零でない元の逆数についても閉性が問われる。複数の演算が同時に安定である点に特色がある。
2.2.1 加法と乗法の閉合
環では、二つの元を足しても掛けても、結果が同じ環内に残る。体では、加法と乗法に加え、零以外の元の逆元も扱える。演算の閉性が複数層で成り立つため、より豊かな計算体系となる。
2.2.2 部分環と部分体
部分環や部分体は、元の環や体の演算を保ったまま取り出された小さい構造である。閉合の条件を満たすことで、親構造の法則をそのまま継承できる。小さくても、独立した代数系として機能する。
2.3 閉じた部分構造
閉じた部分構造は、全体の中で演算に対して安定な部分集合をいう。代数では、生成された部分群や部分環がその代表例である。対象を限定しつつ、必要な法則を維持する点に意義がある。
2.3.1 閉じた集合の例
整数全体は加法に対して閉じ、偶数全体も加法で閉じている。一方、自然数は減法に対して閉じていない。具体例を比較すると、閉合が構造の種類によって異なることが分かる。
2.3.2 生成系との関係
生成系は、少数の要素から閉じた構造全体を作る出発点である。与えられた元を含む最小の閉じた部分構造が、生成された構造として得られる。ここでは、閉合が「作り出す」働きを担う。
3 位相空間論における閉合
位相空間論では、閉合は集合の極限的性質を表す中心概念である。点列や開集合の言葉を通じて、境界の扱いを精密に記述する。閉包や閉写像は、この分野の基本道具として機能する。
3.1 閉包と閉集合
閉包は、ある集合を含む最小の閉集合である。閉集合は閉包に関して不動点となり、元の集合がすでに閉じていれば追加要素は生じない。両者は位相的性質を整理するうえで密接に結びつく。
3.1.1 極限点
極限点は、集合の要素が近づいていく先に現れる点である。閉集合は、そのような点を含む性質を持つ。点列の収束先を内部に取り込むことが、閉性の直観的な特徴である。
3.1.2 閉包の性質
閉包は、元の集合を含み、単調で、二回適用しても変化しない性質をもつ。加えて、合併や包含関係とも整合的に振る舞う。これらの性質により、閉包は秩序だった拡張として扱われる。
3.2 閉じた写像
閉じた写像は、閉集合を閉集合へ写す写像である。連続写像とは異なる観点から、位相的な構造保存を表す。像の振る舞いを通じて、空間間の関係を調べる際に用いられる。
3.2.1 像と逆像
写像の像は、元の集合の要素を移した先の集合であり、逆像は対応する元の側を引き戻したものである。閉写像は像の側で閉性を保つのに対し、連続性は主として逆像で開性を保つ。両者の視点の違いが比較の要点である。
3.2.2 連続性との対比
連続性は、開集合の逆像が開になることを通じて定義される。閉写像は、閉集合の像が閉であることを要求するため、似ていても条件の向きが異なる。両概念は補完的だが、同値ではない。
3.3 閉包公理
閉包公理は、閉包演算を抽象的に特徴づける規則である。集合族に対して閉包がどのように振る舞うべきかを公理化することで、位相を一般的に扱える。これにより、個別の空間に依存しない議論が可能になる。
3.3.1 外延性
外延性は、集合が自身を含むという性質である。閉包では、元の集合はその閉包に必ず含まれる。これは、拡張が元を失わないことを保証する。
3.3.2 冪等性
冪等性は、閉包を二度とっても結果が変わらない性質である。いったん閉じたものは、再適用しても同じ状態に留まる。安定化した対象を表す重要な特徴である。
3.3.3 単調性
単調性は、集合の包含関係が閉包の下でも保たれることである。小さい集合を大きい集合に含めると、その閉包も対応して含まれる。秩序構造との相性がよく、比較を容易にする。
4 論理学と形式体系における閉合
論理学では、閉合は公理や規則から導ける命題全体を集める働きとして表れる。形式体系が与えられると、その体系のもとで証明可能なものの集合が形成される。これは、推論の到達範囲を明確にする概念である。
4.1 推論規則による閉合
推論規則による閉合とは、ある集合から規則に従って導ける命題をすべて加えた状態である。証明可能性の範囲を閉じた形で捉えることで、体系の力を測定できる。論理学の基礎では、導出の全体像を記述する手段となる。
4.1.1 導出可能性
導出可能性は、与えられた前提からある命題を証明できるかどうかを示す。閉合された命題集合には、前提から到達できるすべての結論が含まれる。証明の有無を集合論的に整理する考え方である。
4.1.2 証明体系の完結性
証明体系の完結性は、規則に従って得られるものが漏れなく取り込まれている状態を表す。すべての導出可能な命題が閉包内に現れるなら、体系はその意味で完結している。これは、証明の網羅性に関わる性質である。
4.2 閉包演算としての導出
導出は、公理集合から新しい命題を作る閉包演算として理解できる。規則を適用して得られる成果を逐次集めることで、証明可能な全体が構成される。ここでは、論理的帰結が生成過程として捉えられる。
4.2.1 公理からの生成
公理は、導出の出発点となる基本命題である。そこに推論規則を加えると、新しい定理が生まれる。閉包は、この生成によって広がる命題集合の最終形を示す。
4.2.2 規則適用の反復
規則の適用は一度で終わるとは限らない。新しく得られた命題を再び前提として使うことで、さらに多くの結論に到達する。反復の末に安定した集合が現れ、これが導出の閉合である。
4.3 形式概念分析における閉合
形式概念分析では、対象の集合と性質の集合の間に閉包対応が定義される。これにより、対象が共有する属性や、属性を満たす対象群を整理できる。概念の構造を階層的に把握するための枠組みである。
4.3.1 外延と内包
外延は概念に属する対象の集まり、内包はその概念を特徴づける属性の集まりである。両者は互いに対応し、閉包操作を通じて結びつく。対象群と性質群を往復させることで、概念が定まる。
4.3.2 閉包対応
閉包対応は、対象から属性へ、属性から対象へと移す二つの操作の組である。往復することで安定した組が得られ、それが形式概念を構成する。対応の反復により、概念の境界が明確になる。