[過去ﾛｸﾞ] Inter-universal geometry と ABC予想 (応援スレ) 60 (1002ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
ﾘﾛｰﾄﾞ規制です｡10分ほどで解除するので､他のﾌﾞﾗｳｻﾞへ避難してください｡
904(3): 2021/11/05(金)07:37 ID:PpafSVAT(4/7) AAS
>>897
>向きが逆じゃんｗ
それは、あんたの>>654の証明に締まりが無いからだよ
院試の答案としてみたら、対偶を証明するのか、はたまた背理法を使うか、謳わないと
もっと言えば、命題Pと命題Qとの同値を証明するとき
１．命題P→命題Q
２．命題Q→命題P
に分けて証明するよね
そして、普通はこの順だろ？
２を先に証明するなら、そう宣言しないと
省24
906: 2021/11/05(金)08:06 ID:j5fczyhM(8/23) AAS
>>904
>>向きが逆じゃんｗ
>それは、あんたの>>654の証明に締まりが無いからだよ
あれ、松坂和夫氏の証明だよｗ
「集合・位相入門」の解答欄見てごらん
>対偶を証明するのか、はたまた背理法を使うか、謳わないと
それ以前の誤りだがね
>命題Pと命題Qとの同値を証明するとき
>１．命題P→命題Q
>２．命題Q→命題P
省21
907: 2021/11/05(金)08:14 ID:j5fczyhM(9/23) AAS
>>904
>何をしているかというと、
>部分集合Mで最小元を持たないもの→(an)n∈Nなる無限長の降鎖の構成
>でしょ。
SET Aよぉ、おめぇ、まだ、自分が何を間違ったか分かってねぇの？
それって
任意の部分集合Mで最小元をもつ→降鎖条件を満たす (1)
じゃねえだろ？
(1)の証明は
(an)n∈Nなる無限長の降鎖 ∧ 任意の部分集合Mで最小元をもつ から矛盾を導く
省5
921(4): 2021/11/05(金)11:56 ID:jGzj8lUT(4/12) AAS
>>904 補足
折角だから纏めておくね
>>654より
「降鎖条件を満たすことと、整礎であること、
つまり任意の空でない部分集合が極小元をもつことは同値である。
これは極小条件 (minimal condition) とも呼ばれる。」
ここ、>>887より
P:降鎖条件を満たすこと
Q:整礎であること、つまり任意の空でない部分集合が極小元をもつこと
として、
省23
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.078s