1 一般概念
完備性は、対象が与えられた枠組みの中で「必要とされる要素を取りこぼしていない」ことを表す概念である。数学や形式科学では、定義域、演算、推論規則、極限操作など、文脈に応じた条件がすべて満たされている状態を指す。多くの場合、外部から追加の構成を持ち込まなくても、内部の規則だけで扱いが閉じていることが重視される。
1.1 定義
完備性の厳密な意味は分野によって異なる。論理学では証明や真理に関する性質として扱われ、解析学では極限過程の内部性に関係する。代数学や位相論では、ある操作を施したときに空白や欠損がないことを示す語として用いられる。したがって、単一の普遍定義があるというより、共通の直観を持つ複数の定式化が存在すると理解するのが適切である。
1.2 完備性の直感
直感的には、完備な対象は「必要なものがそろった全体」である。たとえば、途中で止まる列をその先まで埋められる、あるいは考えうる場合分けが体系内で尽くされる、といったイメージが近い。数学的には、この直観が収束、証明、還元、閉包などの概念へ分化して表れる。
1.3 不完全性との対比
不完全性は、条件の一部が欠落している状態や、体系が自らの内部だけでは扱い切れない領域を残す状態を指す。たとえば、ある列が極限を持ちそうに見えても対象空間の外に飛び出してしまう場合、その空間は完備でないとされる。また、命題の真偽をその体系内で必ず決定できない状況も、別の意味で不完全性と関係する。
1.4 完備性の評価基準
完備性を評価する際には、何を「必要な条件」とみなすかが重要になる。極限の存在、証明の到達可能性、推論の網羅性、仕様との対応など、判定基準は対象分野で異なる。一般に、体系の外へ逃げる現象がないこと、欠けた場合の補完が不要であること、説明や記述が閉じていることが主要な判断材料となる。
2 論理学における完備性
論理学では、完備性は公理系や推論体系が意味論とどのように対応するかを示す中心概念である。ある理論が「真であるものをすべて証明できるか」、あるいは「証明できるものがすべて真であるか」といった問いを、形式的に整理する役割を担う。これにより、記号操作の体系が対象となる意味世界をどこまで捉えられるかが明らかになる。
2.1 形式体系の完備性
形式体系の完備性は、与えられた言語と公理、推論規則によって、対象領域の命題をどの程度処理できるかを表す。これは単なる記号の整合性ではなく、体系が命題に対して十分な応答能力を持つかどうかを問う性質である。論理体系の種類によって、完備性の定義は「証明可能性」と「真理」のどちらを基準にするかで変わる。
2.1.1 構文論的完備性
構文論的完備性は、形式的証明の観点から見た性質である。ある命題が公理と推論規則から導出できるなら、その命題は体系内で扱えるとみなされる。逆に、証明が構成できない命題が残る場合、構文論的には不完備といえる。
2.1.2 意味論的完備性
意味論的完備性は、モデルにおいて真である命題が、形式体系でも証明可能であることを意味する。ここでは、解釈や構造の側から見た真理が基準になる。したがって、構文論と意味論の対応がよく取れているほど、体系は完備に近いといえる。
2.2 完備性定理
完備性定理は、特定の論理体系において、意味論的真理と構文論的証明可能性が一致することを示す結果である。代表的には一階述語論理で知られ、形式体系の強さを保証する基礎定理として位置づけられる。この定理により、モデル理論と証明論の橋渡しが成立する。
2.3 証明可能性との関係
完備性は、ある命題が証明可能かどうかに直接関わる。証明可能性が高い体系では、広い範囲の主張を形式的に導出できるが、必ずしもすべての真命題を扱えるとは限らない。反対に、完備性が成立していれば、真である命題は証明の形で回収される。
2.4 公理系の独立性との関係
公理系に独立な命題が存在すると、その命題は既存の公理からも反証からも導けないことになる。これは体系の記述能力に限界があることを示し、完備性と緊張関係を持つ。十分に強い理論では、独立命題の存在が、どの範囲までを公理で明示すべきかという設計問題を浮き彫りにする。
3 数学における完備性
数学では、完備性は極限の存在、空間の補完、演算の閉じ方など、多様な形で現れる。特に解析学では収束列の扱い、代数学では完備化の操作、位相幾何学では空間の補い方に密接である。いずれも、対象が「途中で途切れない」ことを保証する点で共通している。
3.1 解析学の完備性
解析学における完備性は、極限操作が空間内で完結するかどうかを問う。収束に関する議論では、対象が十分に整っていないと、極限が元の空間から外れることがある。そのため、完備性は微積分や関数解析の基礎条件として重要である。
3.1.1 完備距離空間
完備距離空間とは、コーシー列がすべて空間内の点に収束する距離空間をいう。距離によって点同士の近さが測られ、極限の取り扱いが体系的に定められる。この性質により、近づく列が「行き先を失わない」ことが保証される。
3.1.2 コーシー列と極限
コーシー列は、項同士が十分後ろでは任意に近づく列である。一般の空間では、コーシー列が収束するとは限らないが、完備空間では必ず極限を持つ。したがって、コーシー性は収束の予兆であり、完備性はその予兆を実現へと変える条件である。
3.1.3 実数の完備性
実数は、解析学で典型的な完備性を持つ数体系である。単調収束や上限性、コーシー列の収束など、多くの基本事実がこの性質に支えられている。実数の完備性は、微分積分学の連続的議論を安定化させる中心的特徴である。
3.2 代数学の完備性
代数学では、完備性は環や体に対して、ある種の極限を許容する構造として現れる。これにより、無限に細かい近似を内部で扱えるようになる。しばしば位相やフィルトレーションと組み合わされ、代数的対象の解析を容易にする。
3.2.1 完備化
完備化は、不完備な対象に必要な極限点を付け加えて完備な対象へ拡張する操作である。もとの構造を保ちながら欠落部分を補う点に特徴がある。完成された対象は、元の対象を稠密に含みつつ、収束に関する欠点を解消する。
3.2.2 位相環の完備性
位相環では、環構造と位相構造が両立しており、完備性は位相的収束と結びつく。点列やイデアル列が収束するかどうかは、環の解析的性格を左右する。完備な位相環では、無限和や形式的操作が扱いやすくなる。
3.2.3 イデアルに関する完備性
イデアルに関する完備性は、イデアルによる近さの概念を使って定義されることがある。ある降下列やフィルトレーションに対し、対象がその極限的な情報を保持しているかが問題になる。これにより、局所的な近似から全体構造を復元しやすくなる。
3.3 位相空間における完備性
位相空間では、完備性は距離空間ほど一様ではないが、収束や補完の概念と結びついて現れる。位相的な完備化は、元の空間の性質を保ちながら不足分を補う方法として重要である。特に、連続性や分離性とあわせて議論されることが多い。
3.3.1 完備化空間
完備化空間は、不完全な空間に対し、欠けている極限点を加えて作られる拡張空間である。元の空間はその中に自然に埋め込まれ、収束の振る舞いをより良く記述できる。こうした構成は、解析や位相の両面で有用である。
3.3.2 コンパクト性との違い
完備性とコンパクト性はいずれも「よい性質」を表すが、内容は異なる。完備性は主にコーシー列や極限の存在に関係し、コンパクト性は被覆や部分列の抽出に関係する。両者はしばしば近い場面で現れるものの、同値ではなく、必要とする条件も別である。
4 情報科学・計算理論における完備性
情報科学では、完備性は問題の分類、探索の網羅、検証の十分性などに使われる。計算理論では、ある問題が特定クラスの中で最も難しいことを示す語としても用いられる。形式的仕様や推論システムにおいては、抜け落ちがないことを測る指標として機能する。
4.1 問題の完備性
問題の完備性は、ある計算量クラス内で代表的な困難さを持つ問題に対して用いられる。これは、その問題がクラスの全ての問題を還元によって受け止められることを示す。結果として、完備問題はクラス全体の性質を調べる基準点になる。
4.1.1 計算量理論での完備問題
計算量理論では、P完備、NP完備、PSPACE完備などの概念が知られる。これらは、所属するクラスの中でとりわけ表現力や困難性が高い問題を示す。完備性はここで、「最も典型的な難問」であることを意味する。
4.1.2 還元と困難性
還元は、ある問題を別の問題に変換して解けるようにする方法である。完備性の証明では、すべての問題から対象問題への還元を示すことで、その問題の困難さを確立する。したがって、還元は完備性と計算困難性を結ぶ中心的な道具である。
4.2 論理プログラミングと完備性
論理プログラミングでは、与えられた規則から解を導く過程が重視される。完備性は、正しい解があれば探索によって到達できるかどうか、また推論規則が必要な結論を取りこぼさないかを示す。これにより、実行時の探索戦略と理論的な正当性が結びつく。
4.2.1 探索の網羅性
探索の網羅性は、解候補を漏れなくたどれるかという性質である。分岐が多い場合でも、適切な探索方式であれば解の存在を検出できる。完備な探索は、見つかるはずの解を構造的に逃さない。
4.2.2 推論規則の完備性
推論規則が完備であるとは、正しい結論を導くために必要な推論ステップが体系内に備わっていることをいう。規則が不足していると、真である関係を表現できても導出できない場合がある。逆に、十分な規則を持つ体系では、求める答えへの到達可能性が高まる。
4.3 形式検証における完備性
形式検証では、仕様と実装が一致するかを厳密に調べる。完備性は、検証条件が仕様の重要部分をすべて捉えているか、あるいは証明手続きが必要な性質を漏らしていないかを示す。安全性や信頼性を保証するうえで、欠落のない検査設計が重要になる。
4.3.1 仕様の網羅
仕様の網羅は、検証対象に必要な要件がすべて明示されていることを意味する。条件が抜けると、形式上は正しく見えても実際には望ましくない挙動が残る。完備な仕様は、検証の前提として不可欠である。
4.3.2 検証条件の不足と過剰
検証条件が不足すると、見逃しが増えて結果の信頼性が下がる。一方、条件が過剰だと、不要な制約によって実装の自由度が失われる。完備性の観点では、必要十分な条件の設定が理想となる。
5 関連概念
完備性は、近接する概念群としばしば混同されるが、各語には固有の用法がある。完全性、無矛盾性、健全性、閉性はいずれも体系の性質を述べるが、評価の軸が異なる。これらを区別することで、論理や数学の議論はより精密になる。
5.1 完全性
完全性は、対象が望ましい性質を欠かさず備えていることを指す語として使われるが、分野によって意味の重心が異なる。完備性と似ているものの、どちらを使うかは伝統や文脈に依存する。厳密な議論では、両者の用法を区別することが重要である。
5.1.1 完備性との用語上の違い
完備性は、欠けている要素を補い切った状態や、条件が閉じている状態に重点がある。完全性は、全体としての充実や欠落のなさをより一般的に表すことが多い。したがって、両者は近縁だが同義ではない。
5.1.2 分野ごとの使い分け
論理学では完備性が証明と真理の対応を示すのに対し、他分野では完全性が別の意味で使われることがある。英語の訳語の対応も一定ではなく、翻訳上の選択に注意が必要である。専門分野では、慣用に従って読み分けるのが通例である。
5.2 無矛盾性
無矛盾性は、体系の中で互いに両立しない命題が同時に証明されないことを指す。これは完備性とは別の性質であり、前者は「破綻しないこと」、後者は「必要なものがそろっていること」に関わる。形式体系では、両者の両立が望まれるが、自動的には得られない。
5.3 健全性
健全性は、体系内で証明できることが意味論的にも正しいことを保証する性質である。完備性が真理から証明への方向を問うのに対し、健全性は証明から真理への方向を問う。両者がそろうと、証明体系とモデルの関係がよく整う。
5.4 閉性
閉性は、ある操作を行っても対象がその範囲から外れない性質である。加法、乗法、合成、極限など、何について閉じているかは文脈で定まる。完備性は閉性を含意する場合もあるが、一般にはより強い、あるいは別種の要求を含む。
6 代表的な例
完備性は抽象的な概念であるが、具体例を見ると理解しやすい。実数や完備ベクトル空間のように、解析学の基礎を支える例から、論理体系や自然数の限界を示す例まで幅広い。これらは、完備性が「何がそろっていて、何が欠けているか」を比較する道具であることを示している。
6.1 実数の完備性
実数は、コーシー列が必ず収束するという意味で完備である。これにより、極限操作が実数の内部で閉じる。微積分や連続関数の理論が安定して展開できるのは、この性質に負うところが大きい。
6.2 自然数の非完備性
自然数は、距離空間として見ると完備でない例の代表である。自然数列の中にはコーシー列でありながら、自然数の範囲内に極限を持たないものがある。これは、数体系が必要な極限を含んでいないことを示す。
6.3 完備ベクトル空間
完備ベクトル空間は、通常バナッハ空間として知られ、ノルムに関するコーシー列が収束する空間である。関数空間や作用素論で頻繁に現れ、解析的手法を強力に支える。完備性により、近似列の極限を空間内で扱える。
6.4 完備論理体系
完備論理体系は、意味論的に真である命題を形式的に証明できる体系である。代表的な例として、一階論理の完備性が挙げられる。これにより、論理式の真理と証明の関係が理論的に保証される。