[過去ﾛｸﾞ] Inter-universal geometry と ABC予想 (応援スレ) 60 (1002ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
671(1): 2021/10/30(土)07:12 ID:jsIfaBFZ(3/23) AAS
>>670
>それって証明かい？
ええ
いかなる順序数の降下列も有限列である、というのは
順序数に関する超現帰納法で証明されますが、その際
「極限順序数λについて
α＜λとなる任意のαの降下列が有限列なら
λの降下列も有限である」
を証明する必要があります
上記の証明は根本的に
省3
675(3): 2021/10/30(土)09:06 ID:zgBubH+2(6/31) AAS
>>674 追加
細かいけど>>655で
「>>654 ではその定理を利用してNはdccを満たすがaccを満たさないの証明を完成して下さい」
だったよね
対して、>>633の証明は、”その定理を利用して”の誘導を無視してない？
それって、院試なら暴走答案でしょ？
合っていれば点はくれるだろうけどねｗ、まあ、大幅減点かもねｗ
>>671
>順序数に関する超現帰納法で証明されますが、その際
>「極限順序数λについて
省13
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.271s*