[過去ﾛｸﾞ] 大学学部レベル質問スレ 27単位目 (1002ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
ﾘﾛｰﾄﾞ規制です｡10分ほどで解除するので､他のﾌﾞﾗｳｻﾞへ避難してください｡
220(2): 2024/06/29(土)19:10 ID:OV7p+SG5(2/3) AAS
A, B を可算無限な全順序集合で最大元、最小元を持たず稠密であるとする。
A と B は順序同形である。
この定理の証明でカントールの往復論法という論法が使われています。
この癖のある論法を使う理由は、全射であることを保証するためですか？
A = {a_1, a_2, …}
B = {b_1, b_2, …}
とする。
省13
221(3): 2024/06/29(土)19:12 ID:OV7p+SG5(3/3) AAS
>>220
訂正します。
A, B を可算無限な全順序集合で最大元、最小元を持たず稠密であるとする。
A と B は順序同形である。
この定理の証明でカントールの往復論法という論法が使われています。
この癖のある論法を使う理由は、全射であることを保証するためですか？
省15
226: 2024/06/30(日)01:09 ID:p2BM3YkJ(1/5) AAS
>>220
>カントールの往復論法
そんな名前あったんだ
ここで以外に類似の使い方
見たときない
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.033s