Inter-universal geometry と ABC予想 (応援スレ) 60at MATHInter-universal geometry と ABC予想 (応援スレ) 60 - 暇つぶし2ch■コピペモード□スレを通常表示□オプションモード□このｽﾚｯﾄﾞのURL■項目テキスト1003:(ﾉ∀`)ｱﾁｬｰ 21/11/05 05:04:33.24 j5fczyhM.net >>883 >>ωを有限シングルトンの極限と考えるんでしょ？ >>それが無限シングルトンだといってるんでしょ？ >>だったらωが無限シングルトンだといってることになるけど >そんなことは、ないよ 頭大丈夫？ >> Zermeloのs(x)={x}に関して >> ωはいかなる順序数の後者ではないので、シングルトンにはなりようがない > >>881な 頭大丈夫？ 1004:(ﾉ∀`)ｱﾁｬｰ 21/11/05 05:05:35.10 j5fczyhM.net >>886 >>887 >証明の前半部分は >「まず、集合Aについて、a_n∈Aとなる無限長の降鎖(a_n)n∈Nがあったら、 > 集合{a_n}n∈Nは最小元を持たないから、Aは整列集合でない」 >なので、 >P:降鎖条件を満たすこと→Q:整礎であること、 >つまり任意の空でない部分集合が極小元をもつこと >を、背理法で、Pの否定＝無限長の降鎖と、整礎が矛盾するということ >の証明だよね 向きが逆じゃんｗ あんた、対偶が全然わかってないねえ（呆） 示してるのは以下 ￢P:無限長の降鎖が存在する→￢Q:整礎でない だから、証明されたのは以下 Q:整礎である→P:降鎖条件を満たす >だから、後半部分が、 >Q:整礎であること→P:降鎖条件を満たすこと(降鎖列の長さ有限) >の証明で、ここも背理法だ。 >つまり、Qの否定＝空でない部分集合Mで最小元を持たないものが存在すると >無限長の降鎖が作れて、 >P:降鎖条件を満たすこと(降鎖列の長さ有限)との矛盾を言っている >無限長の降鎖を作る部分に”選択公理により、MからMへの写像φで云々”と、 >選択公理を使っているよ だから、向きが逆じゃんｗ あんた、ほんと対偶が全然わかってないねえ（呆） 示してるのは以下 ￢Q:整礎でない→￢P:無限長の降鎖が存在する だから、証明されたのは以下 P:降鎖条件を満たす→Q:整礎である 次ページ最新レス表示レスジャンプ類似スレ一覧スレッドの検索話題のニュースおまかせリストオプションしおりを挟むスレッドに書込スレッドの一覧暇つぶし2ch