[過去ログ] 現代数学の系譜 工学物理雑談 古典ガロア理論も読む76 (1002レス)
上下前次1-新
抽出解除 レス栞
このスレッドは過去ログ倉庫に格納されています。
次スレ検索 歴削→次スレ 栞削→次スレ 過去ログメニュー
リロード規制です。10分ほどで解除するので、他のブラウザへ避難してください。
787(2): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/09/07(土)08:39 ID:8WzaZQff(6/27) AAS
>>786 補足
”点列の極限で位相構造を特徴づけられない例としては、整列順序集合[0,ω1]に順序から定まる位相を入れた空間がある。
ここで ω1は最小の非可算順序数である。実際この集合においてω1は明らかに[0,ω1)の閉包に属しているにも関わらず、[0,ω1)内のいかなる点列もω1に収束しない。
なぜなら ω1の非可算性と「可算集合の可算和はまた可算集合になる」という事実により、 [0,ω1)内の任意の点列に対し、点列に属する点のいずれよりも大きい順序数α<ω1が存在するので、 ω1の開近傍(α,ω1]には点列の点が存在しえないからである。”
この説明は、分り易いね(^^
789(1): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/09/07(土)10:09 ID:8WzaZQff(7/27) AAS
>>782 補足
<議論を収束させるための補足>
(引用開始)
> ”{無限公理} + {ペアノの公理} : N = {1, 2, ... , n, ...}”によって
「有限数列 (x1, x2, ..., xk) は xk = xk+1 = xk+2 = … と延長することにより、コーシー列と見なせる」
です。もちろん、延長は有限ではいけません
当然、無限に延長するということ。現代数学では、これは認められますw(^^
省8
793(3): 2019/09/07(土)10:14 ID:g5ZGoduN(3/8) AAS
>>785-787
また、馬鹿が自分でも理解できないことコピペしてるなwww
自然数論は自然数全体の集合の存在を前提した理論ではない
自然数論における∀xのxの範囲は自然数全体だが、
これが集合である必要はない
集合論における∀xのxの範囲は集合全体だが
これは集合でなくクラスw
省1
上下前次1-新書関写板覧索設栞歴
スレ情報 赤レス抽出 画像レス抽出 歴の未読スレ AAサムネイル
ぬこの手 ぬこTOP 0.039s