整礎
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2019/11/16 02:01 UTC 版)
標準的な数学的帰納法が整列原理に相当するように、構造的帰納法も整列原理に相当する。ある種の構造全体からなる集合が整礎な前順序を備えていたら、そのすべての空でない部分集合は極小元を持つ。（これは整礎関係の定義である。） いまの文脈においてこの性質が重要なのは、「証明しようとしている定理に反例があるなら、極小な反例が存在する」と推論できるからである。ここでさらに「極小な反例が存在するなら、より小さい反例がある」ことを示すことができれば、「極小な反例が極小でない」という矛盾が起こる。そして（背理法により）「反例の集合は空である」という結論が得られる。
※この「整礎」の解説は、「構造的帰納法」の解説の一部です。
「整礎」を含む「構造的帰納法」の記事については、「構造的帰納法」の概要を参照ください。
ウィキペディア小見出し辞書の「整礎」の項目はプログラムで機械的に意味や本文を生成しているため、不適切な項目が含まれていることもあります。ご了承くださいませ。
お問い合わせ。
- >> 「整礎」を含む用語の索引
- 整礎のページへのリンク
