[過去ﾛｸﾞ] Interｰuniversal geometryとABC予想(応用スレ)51 (1002ﾚｽ)
上下前次1-新
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
980(1): 2021/02/20(土)12:13 ID:c8yOLip1(54/65) AAS
>>979
論理だて？考えればわかるけど
もし、自然数から自然数への関数に最小値が存在しないとすると
任意のｘについて ｘ＜ｙとなるｙが存在して、ｆ（ｘ）＞ｆ（ｙ）となる
したがって、ｆ（０）からの無限降下列が存在する
しかし、自然数は整列集合であるから
いかなるｎについてもｎから０への降下列は有限長
したがって矛盾
これ基本ね
照井一成「コンピュータは数学者になれるのか」にも出てくるから
省1
上下前次1-新書関写板覧索設栞歴
あと 22 ﾚｽあります
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.011s