1 基本概念
完備化は、対象に備わる構造を保ちながら、足りない極限や境界成分を補う操作である。多くの場合、元の対象を自然に埋め込み、その内部で扱えなかった収束現象や端点を、より扱いやすい形に取り込む。解析学では距離空間、代数学では環や群、位相論では空間そのものが主な対象となる。
1.1 定義
完備化とは、ある数学的対象から、その対象の性質を失いにくい方法で新しい対象を構成し、元の対象を稠密部分として含める手続きである。構成後の対象は、元の対象では存在しなかった極限を持つように作られることが多い。定義の細部は分野ごとに異なるが、「元の情報を保存しつつ不足分を補う」という点は共通している。
1.2 目的
主な目的は、収束や極限の議論を安定させることである。完備でない空間では、コーシー列が極限を持たないことがあるため、解析上の不便が生じる。完備化を施すと、存在しないはずの極限点を追加でき、方程式の解法や連続写像の延長が容易になる。また、抽象的な対象をより扱いやすい標準形へ移す役割も果たす。
1.3 一般的な考え方
完備化の基本発想は、元の対象で「収束すべきだが収束先がない」ものを見つけ、それらを新しい点として加えることにある。距離空間ではコーシー列、位相空間では埋め込み先の性質、環や群では自然なフィルトレーションや逆極限が手がかりになる。こうした方法は、異なる分野であっても、欠けた部分を補完して一つ上の構造へ移行するという共通原理に支えられている。
2 距離空間の完備化
距離空間の完備化は、完備化の最も標準的な例である。ここでは、収束しないコーシー列を新しい点として解釈し、元の空間を密に含む完備空間を構成する。解析学で頻繁に用いられ、実数の構成にもつながる基本的な考え方である。
2.1 コーシー列による構成
距離空間では、コーシー列全体を用いて完備化を作る方法が一般的である。元の空間の点列のうち、互いに十分近づいていくものを集め、それらを同じ極限候補としてまとめる。こうして得られた同値類を、新しい空間の点とみなす。
2.1.1 同値関係
二つのコーシー列が、項ごとの差の距離が0に近づくとき、それらは同じ点を表すものとして同値とする。この同値関係により、実際には異なる列でも、同一の極限像を持つものを一つにまとめられる。結果として、構成された空間の点は、個々の列ではなく列の同値類となる。
2.1.2 極限点の付加
同値類は、元の空間に存在しなかった極限点を表す。元の点からなる定数列は、その点に対応する新しい点へ写るため、元の空間は自然に新空間へ埋め込まれる。これにより、収束先を欠いていた列が、完備化された空間内では実際に極限を持つようになる。
2.2 完備化の性質
距離空間の完備化は、単に点を追加するだけでなく、距離や収束の振る舞いを整然と引き継ぐ。構成された空間は完備であり、元の空間はその中で稠密になる。さらに、写像の延長に関する普遍的な性質を持つため、他の完備空間との比較が容易である。
2.2.1 普遍性
完備化には普遍性がある。すなわち、元の空間から任意の完備距離空間への距離を保つ写像は、完備化を経由して一意に延長できる。この性質は、完備化が「最小の補完」であることを意味し、構成の一意性を保証する重要な基盤となる。
2.2.2 元の空間との関係
元の距離空間は、完備化の中に等長的に埋め込まれる。埋め込み像は稠密であり、元の空間の距離構造はそのまま保持される。ただし、完備化はしばしば元の空間より大きく、境界や極限に相当する新しい点を含む。そのため、元の空間と完備化された空間は、構造を共有しつつも同一ではない。
2.3 例
距離空間の完備化は、具体例を通じて直感的に理解しやすい。特に有理数と開区間は、完備化の典型的な振る舞いを示す。
2.3.1 有理数の完備化
有理数全体は通常の距離に関して完備ではない。たとえば、無理数に収束する有理数列は有理数の内部では極限を持たない。これを完備化すると実数全体が得られ、無理数は「欠けていた極限点」として理解できる。これは完備化の代表例として広く知られている。
2.3.2 開区間の完備化
開区間は、端点を含まないため完備でないことが多い。適切な距離のもとでは、端点に向かうコーシー列が極限を欠くため、完備化によってその端点が追加される。結果として、閉区間のようなより完全な空間が現れ、境界を明示的に扱えるようになる。
3 位相空間における完備化
位相空間の完備化は、距離空間ほど一様ではないが、位相的な情報を保ちながら不足を補う試みである。ここでは、ある空間を別の完備な空間へ埋め込み、その閉包や分離性を通じて補完を実現する。一般位相では、完備化の定義は文脈に依存し、しばしば一様構造や関連する追加条件が必要となる。
3.1 完備化の必要性
位相空間では、極限の挙動が位相だけでは十分に制御できない場合がある。収束や近接性を精密に扱うには、位相に加えて一様構造のような補助情報が有用である。そのため、完備化は単なる位相的閉包とは異なり、収束過程を保存する形で不足を補う必要がある。
3.2 完備化の方法
位相空間の完備化は、対象をより大きな空間へ写し、その中で元の空間の像を稠密にすることによって行う。方法は複数あり、空間の種類や付随構造に応じて選ばれる。重要なのは、追加後も元の位相的特徴が無理なく反映されることである。
3.2.1 埋め込みによる構成
典型的には、元の空間を完備な空間へ埋め込み、その像の閉包を完備化とみなす。こうした構成では、埋め込みが位相的性質をよく反映し、元の空間が新しい空間内で稠密になる。埋め込み先を適切に選ぶことで、完備性を持つ自然な拡張が得られる。
3.2.2 閉包との関係
完備化は、しばしば閉包の考え方と近い関係を持つ。元の空間が上位空間に稠密に入っているなら、その閉包が補完の候補となる。ただし、単なる閉包が常に所望の完備化になるわけではない。位相の種類や追加構造によっては、閉包だけでは不十分で、より精密な構成が必要になる。
3.3 関連概念
位相空間の完備化は、コンパクト化や完備化可能性といった周辺概念と密接に関係する。これらは似た印象を与えるが、目的や達成する性質は異なる。
3.3.1 コンパクト化との違い
コンパクト化は、空間をコンパクトにするために点を付加する操作であり、必ずしも完備性を目指すものではない。これに対し、完備化は収束の欠落を補うことが中心である。両者は空間を拡張する点で共通するが、追加される点の意味づけは異なる。
3.3.2 完備化可能性
すべての空間が同じ意味で完備化できるわけではない。どのような構造を仮定するかにより、完備化の存在や一意性は変わる。特に位相空間では、適切な補助構造がないと完備化の概念自体が曖昧になりやすいため、完備化可能性は前提条件に強く依存する。
4 代数学における完備化
代数学では、完備化は環や群、加群の構造を、あるフィルトレーションや位相に関して極限的に整える操作として現れる。数論や代数幾何学では、局所的情報を精密に調べるために重要である。代数的完備化は、解析学の完備化とは形式が異なるが、欠けた情報を階層的に補う点は共通している。
4.1 環の完備化
環の完備化は、あるイデアルに関する近似を無限段階まで取り込む方法である。一般に、イデアルの冪で定めた近傍系を使い、元の環を極限として整える。これにより、局所的な計算や形式的操作がしやすくなる。
4.1.1 イデアルによる完備化
環RとイデアルIに対して、I^nによる系列を用いて完備化を定義する。各段階での剰余環をまとめ、逆極限として得られる対象がI進完備化である。元の環は自然にこの完備化へ写り、Iに関する情報がより細かく保持される。
4.1.2 形式的冪級数との関係
完備化された環は、しばしば形式的冪級数環と似た振る舞いを示す。たとえば、変数xに関するx進完備化は、xの冪級数を無限に扱う形式的な枠組みと深く結びつく。ここでは収束そのものよりも、係数や次数に基づく代数的近似が重視される。
4.2 群の完備化
群の完備化は、位相や有限商群の体系を通じて行われることが多い。特に、逆極限を用いた構成は、群の局所的・有限的情報を束ねて新しい群を作る代表的手法である。位相群では、連続性を保ちながら完備な位相群へ移行することが目的となる。
4.2.1 位相群の完備化
位相群に対しては、群演算と位相の両方を保つように完備化を行う。完備な位相群では、コーシー的な列やフィルターが極限を持つように整えられる。これにより、連続準同型の延長や局所構造の解析がしやすくなる。
4.2.2 逆極限による完備化
群の完備化は、有限指数部分群や正規部分群による商群の逆極限として表されることがある。各有限段階の情報を一つにまとめることで、群の全体像を細かく復元する。これはプロ有限群の理論とも深く関係し、代数的な「近似の極限」を与える。
4.3 加群の完備化
加群の完備化は、環の完備化と連動して現れることが多い。イデアルに関する近傍系を用いることで、加群の元を無限精度で近似し、収束的な構造を導入する。環上の線形代数に相当する場面で役立つ。
4.3.1 完備化とテンソル積
加群の完備化は、しばしばテンソル積を介して記述される。環の完備化した後でテンソルを取ることで、もとの加群に新しい位相的性質を与えられる。これにより、代数操作と極限操作を組み合わせた柔軟な構成が可能になる。
4.3.2 射影的完備化
射影的完備化では、加群を剰余加群の系から逆極限として再構成する。各段階での近似を整列させることで、無限に細かい情報を保持できる。この方法は、形式的な局所計算や完備局所環上の議論に特に適している。
5 関連する数学的概念
完備化を理解するには、完備性や稠密性、収束、普遍性といった概念との関係を押さえる必要がある。これらは完備化の定義を支えるだけでなく、なぜその構成が有用なのかを示す指標でもある。
5.1 完備性
完備性とは、コーシー的に近づく対象が必ず極限を持つ性質である。完備化の結果として得られる空間や代数的対象は、この性質を満たすよう設計される。したがって、完備性は完備化の最終目標であると同時に、その評価基準でもある。
5.2 稠密性
稠密性は、元の対象が完備化された対象の中で十分に「隙間なく」広がっていることを意味する。稠密な埋め込みがあると、元の情報は新しい空間で失われにくい。完備化では、稠密性により元の構造と拡張後の構造の連続性が保証される。
5.3 極限と収束
極限と収束は、完備化の中心概念である。どのような列や図式が極限を持つかを明らかにし、その極限が存在しない場合にそれをどう補うかが問われる。完備化は、収束の欠落を体系的に埋めることで、極限の理論を閉じたものに近づける。
5.4 普遍性
普遍性は、完備化が特定の構成に依存しすぎないことを示す。ある対象から完備な対象への写像が、完備化を通じて一意に因子化するなら、その完備化は自然で比較可能なものとなる。普遍性は、完備化が「最も標準的な拡張」であることを裏づける。
6 応用
完備化は純粋理論にとどまらず、解析、幾何、数論、関数解析など多方面で活用される。特に、局所的情報を精密に扱う必要がある領域では、完備化は基本的な道具となる。
6.1 解析学
解析学では、極限過程や無限和を正当化するために完備性が重要である。実数の構成はその典型であり、また関数列の収束を扱う際にも完備化の考え方が活きる。完備な空間を使うことで、微分積分や級数の理論が安定する。
6.2 代数幾何学
代数幾何学では、点の近傍や局所環を調べる際に完備化が役立つ。形式的局所論では、ある点のまわりを無限に高い精度で近似し、図形の局所構造を解析する。これにより、幾何学的対象の微細な性質を代数的に記述しやすくなる。
6.3 数論
数論では、素数に関する情報を段階的に集約するために完備化が使われる。p進的な考え方は、整数や有理数を別の完備な体系へ移し、局所的計算を可能にする。こうした方法は、合同式や方程式の解の研究に深く関わる。
6.4 関数解析
関数解析では、ノルム空間や線形作用素を扱う際に完備性が不可欠である。バナッハ空間やヒルベルト空間は完備な構造の代表例で、作用素の極限やスペクトル理論を支える。完備化は、与えられた空間をこれらの理想的な舞台へ整える手段として現れる。