|
数学の集合論における強制法（きょうせいほう、Forcing）とは、ポール・コーエンによって開発された、無矛盾性や独立性を証明するための手法である。強制法が初めて使われたのは1962年、連続体仮説と選択公理のZFからの独立性を証明した時のことである。強制法は60年代に大きく再構成されシンプルになり、集合論や、再帰理論などの数理論理学の分野で、極めて強力な手法として使われてきた。 == 直観的意味合い == 強制法はより概念的には自然で直観的であるブール値モデルの方法と等価であるが、そちらのほうは応用が利きにくい。 直観的には、強制法は集合論の宇宙 ''V'' をより大きい宇宙 ''V'' * に拡大することから成り立っている。 この大きい宇宙では、拡大する前の宇宙には無かった ''ω'' = の新しい部分集合をたくさん要素に持っている。 そしてそれにより連続体仮説を否定することができる。が、このような議論は表面上不可能である。 原理的には、次のようなものを考える。 : を で特定し、 の形をした"新しい"集合にも 関係する拡大された所属関係を導入する。 強制法はこのアイデアを洗練したもので、新しい集合の存在を認めて利用するというより、拡大された宇宙の性質を元の宇宙からよりよく操作することを許したものである。 コーエンの元々のテクニックは今ではramified forcingと呼ばれるもので、強制法の説明によく使われるunramified forcingとは少々異なる。 抄文引用元・出典: フリー百科事典『 ウィキペディア（Wikipedia）』 ■ウィキペディアで「強制法」の詳細全文を読む スポンサード リンク
|