1 定義
閉包とは、与えられた対象に対して、ある性質を満たすよう必要な要素や操作を加えたときに得られる、最小の拡張を指す概念である。もとの対象を大きくしすぎず、かつ条件を満たすために不可欠な部分だけを補う点に特徴がある。代数学、位相空間論、論理学、形式言語などでは、それぞれの文脈に応じた閉包が定義されるが、共通して「ある操作に関して安定な最小の範囲」を扱う。
1.1 一般的な考え方
閉包は、対象の外側から要素を追加していく過程で、条件を壊さないまま広がる極限的な結果として理解できる。たとえば、ある集合に演算を適用したときに再び同じ集合の中に戻るようにしたい場合、その演算に関して閉じた集合を考える。このとき閉包は、元の対象を含み、必要な操作に対して閉じた最小の構造となる。
1.2 閉包演算
閉包演算とは、対象を入力として、その対象を含むより大きな対象を返す操作である。通常、拡張後の対象は元の対象を保持し、さらに所定の性質を満たすように整えられる。集合論的には、閉包演算は冪等性や単調性を備えることが多く、同じ操作を繰り返しても結果が変わらない点が重要である。
1.3 最小性と拡張性
閉包の本質は、必要十分な拡張であることにある。条件を満たす対象が複数ある場合でも、閉包はその中で最小のものとして定まることが望ましい。これにより、元の対象を無意味に大きくせず、構造の解析や比較がしやすくなる。
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 稠密性
稠密性は、ある集合が空間の中でどれだけ広く分布しているかを表す性質である。集合の閉包が全体空間と一致するとき、その集合は稠密であるという。閉包は、稠密な部分集合が空間をどの程度埋めているかを示す指標になる。
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 計算可能性との関係
計算可能性の研究では、閉包はあるクラスの関数や集合がどの操作で閉じているかを調べる際に登場する。再帰的手続きで生成される範囲を整理することで、計算の限界や表現力が見えてくる。形式的な定義と実行可能性の橋渡しを担う概念である。
5 関連概念
閉包の理解を深めるには、対になる概念や公理的な特徴を確認することが有効である。開包、閉包作用素の条件、完備性との結びつきは、閉包がどのように数学的構造を安定化させるかを示している。
5.1 開包
開包は、閉包と対比される考え方で、対象を内部方向に整理したり、開いた性質に対応する成分を抽出したりする。位相論では内部演算として理解されることが多い。閉包が境界や極限点を含めるのに対し、開包はより内側の部分に焦点を当てる。
5.2 閉包作用素の公理
閉包作用素は一般に、拡張性、単調性、冪等性を満たす写像として公理化される。これらの公理により、閉包は単なる拡大ではなく、構造を安定させる標準的な手続きとして扱える。抽象的な定式化は、分野を超えた共通理解を可能にする。
5.3 完備性との関係
完備性は、ある種の極限や上限が常に存在する性質であり、閉包としばしば関連づけられる。閉包は不足している要素を補う操作であるため、完備な構造ではその補完が自然に表現されやすい。両者の関係は、解析や順序理論で特に重要である。
6 応用
閉包は抽象概念にとどまらず、数学の構成や理論整備、計算処理の設計に広く用いられる。対象を最小限の拡張で整えるという性質は、証明、構成、アルゴリズム設計のいずれにも有用である。
6.1 代数的構成
代数では、閉包を用いて必要な演算に対して安定な対象を作る。生成閉包や代数閉包、整閉包は、拡大体や整域の研究に欠かせない。こうした構成は、与えられた部分構造を基点に、より豊かな体系へ進むための標準手法である。
6.2 数学基礎論
数学基礎論では、閉包は証明可能性や定義可能性の範囲を整理するうえで重要である。公理系から導かれる全命題や、ある操作に閉じたクラスを扱うことで、理論の境界が明確になる。自己参照や最小不動点の議論にもつながる。
6.3 計算機科学への応用
計算機科学では、閉包は文法、型理論、データベース、アルゴリズム解析などに現れる。形式言語の生成閉包や論理的閉包は、プログラムの意味や処理可能性の検討に役立つ。再帰的定義を扱う際にも、閉包の考え方が構文と意味を結びつける。