強制法とは? わかりやすく解説

Weblio 辞書 > 辞書・百科事典 > 百科事典 > 強制法の意味・解説 

強制法

出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2021/12/15 06:35 UTC 版)

ナビゲーションに移動 検索に移動

数学集合論における強制法(きょうせいほう、Forcing)とは、ポール・コーエンによって開発された無矛盾性や独立性を証明するための手法である。強制法が初めて使われたのは1962年連続体仮説選択公理ZFからの独立性を証明した時のことである。強制法は60年代に大きく再構成されシンプルになり、集合論や、再帰理論などの数理論理学の分野で、極めて強力な手法として使われてきた。

直観的意味合い

強制法はより概念的には自然で直観的であるブール値モデルの方法と等価であるが、そちらのほうは応用が利きにくい。

直観的には、強制法は集合論の宇宙 V をより大きい宇宙 V* に拡大することから成り立っている。 この大きい宇宙では、拡大する前の宇宙には無かった ω = {0,1,2,…} の新しい部分集合をたくさん要素に持っている。 そしてそれにより連続体仮説を否定することができる。が、このような議論は表面上不可能である。

原理的には、次のようなものを考える。

この項目は、集合論に関連した書きかけの項目です。この項目を加筆・訂正などしてくださる協力者を求めていますプロジェクト:数学Portal:数学)。



英和和英テキスト翻訳>> Weblio翻訳
英語⇒日本語日本語⇒英語
  

辞書ショートカット

すべての辞書の索引

「強制法」の関連用語

強制法のお隣キーワード
検索ランキング

   

英語⇒日本語
日本語⇒英語
   



強制法のページの著作権
Weblio 辞書 情報提供元は 参加元一覧 にて確認できます。

   
ウィキペディアウィキペディア
All text is available under the terms of the GNU Free Documentation License.
この記事は、ウィキペディアの強制法 (改訂履歴)の記事を複製、再配布したものにあたり、GNU Free Documentation Licenseというライセンスの下で提供されています。 Weblio辞書に掲載されているウィキペディアの記事も、全てGNU Free Documentation Licenseの元に提供されております。

©2025 GRAS Group, Inc.RSS