[過去ﾛｸﾞ] Inter-universal geometry と ABC予想 (応援スレ) 60 (1002ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
ﾘﾛｰﾄﾞ規制です｡10分ほどで解除するので､他のﾌﾞﾗｳｻﾞへ避難してください｡
761(2): 2021/10/31(日)15:30 ID:OPOZLzHw(13/26) AAS
>>758 補足
1．>>663の「ではその定理を利用してNはdccを満たすがaccを満たさないの証明を完成して下さい」
の証明で”>>655の解答書くと
もし、NがDCCでないとすると、無限降下列が存在しますが その場合、
「任意のn∈Nについて、nが無限降下列の項に入ってない」
といえるので矛盾します”について
>>674で、
”そもそも、>>654の「降鎖条件を満たすことと、整礎であること、
つまり任意の空でない部分集合が極小元をもつことは同値である。
これは極小条件 (minimal condition) とも呼ばれる。」
省18
762(3): 2021/10/31(日)15:30 ID:OPOZLzHw(14/26) AAS
>>761
つづき
これ、Aの補集合をBを使っていて、分かり易い
補集合のワンステップを入れることで
直感的に分かりやすく
自然数Nから先のコンパクト化された N∪ω にもそのまま適用できる気がする（数学的には同じだろうが）
”N∪ω”でも、「任意の空でない部分集合が最小値をもつ」の証明に使える
数学的帰納法でなく、超限帰納法というべきかも知れないがね
(参考)
外部ﾘﾝｸ:ja.wikipedia.org
省9
768(1): 2021/10/31(日)16:19 ID:+PpCGhCF(9/18) AAS
>>761
なにグダグダと言い訳書いてんだｗ
>>730の証明って、>>663と同じじゃんｗ
そんなこともわからんの？困ったもんだね論理を知らん素人はｗ
>>762
（dccを満たす証明について）
>自然数Nから先のコンパクト化された N∪ω にもそのまま適用できる気がする
「気がする」じゃなくて自分で実際に証明してみ
「そのまま」（つまり、数学的帰納法のみを使う）では頓挫するから
ωを全く理解できていないってそこで痛感する筈
省16
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.038s