[過去ﾛｸﾞ] 純粋・応用数学・数学隣接分野（含むガロア理論）15 (1002ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
609(3): 2023/08/17(木)07:41 ID:43UpJy3d(1/10) AAS
>>608
>>まあ、Gabay-O'Connorの定理から容易に出てくる系(Corollary)だから
なるほど、ここの議論はどこかの
「系3.12は容易だから」という議論のコピーを意図しているわけだね
610(1): 2023/08/17(木)07:54 ID:1XlfUs26(6/60) AAS
>>609
実際、容易だということは学部生でもわかる
Gabay-O'Connorの定理を認めるなら
いかなる実数無限列についても自分が属する有限相違同値類の代表列が存在する
したがって自然数を値とする決定番号が存在する ここまでは自明だね
実数無限列１００列があれば、当然その決定番号１００個が存在する
１００個だろうが何個だろうが有限個であれば、その中で最大の自然数が存在する
そして、他の決定番号より大きい決定番号であるものはたかだか１個であることが
全順序集合の定義から導かれる これまた自明
611(2): 2023/08/17(木)07:54 ID:2qfs5wme(2/5) AAS
スレ主です
マルチレス失礼しますｗ
>>609
なるほど
謎のプロ数学者さん
ご苦労さまです
>>607
> 嘉田勝さんから「違う」という言葉をもらってきてよ
それ逆
嘉田勝さんでもだれでも良い
省3
616: 2023/08/17(木)08:08 ID:GvofdgS7(3/28) AAS
>>609
君消えてくれないかな？
いつもトンチンカンなことしか言わなくて目障りなんだわ
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.035s