[過去ログ] Inter-universal geometry と ABC予想 (応援スレ) 60 (1002レス)
上下前次1-新
抽出解除 レス栞
このスレッドは過去ログ倉庫に格納されています。
次スレ検索 歴削→次スレ 栞削→次スレ 過去ログメニュー
313(3): 2021/10/17(日)00:00 ID:dQP0ifDN(2/22) AAS
>>312
つづき
この列で、0.1, 1-1/2,1-1/3,1-1/4,・・→1の箇所に右カッコ"}"を置くと
0, }1, }2, }3, }4,・・→}ω (注:例えば、}4の4は、添え字でカッコの順を示す。他も同様)
上記列の鏡映反転で、-1を掛けて、同じようにすると、左カッコ"{"の列が出来る
即ち
-1←・・,-1+1/4,-1+1/3,-1+1/2,-0.1,0
ω{←・・,4{ ,3{ ,2{ ,1{ ,0
こうすることで、左側も区間[-1,0]に埋め込める
左右を合わせると、区間[-1,1]に埋め込めて
省15
315(1): ω1 ◆y7fKJ8VsjM 2021/10/17(日)07:26 ID:w6C+QlCK(2/15) AAS
>>314のつづき
さて、>>313についてN∪ωにすり替える前のNで考え直してみる
「0.1, 1-1/2,1-1/3,1-1/4,・・の箇所に右カッコ"}"を置くと
0, }1, }2, }3, }4,・・
(注:例えば、}4の4は、添え字でカッコの順を示す。他も同様)」
「上記列の鏡映反転で、-1を掛けて、同じようにすると、左カッコ"{"の列が出来る 即ち
・・,-1+1/4,-1+1/3,-1+1/2,-0.1,0
・・,4{ ,3{ ,2{ ,1{ ,0」
「左右を合わせると、区間[-1,1]に埋め込めて
省16
316: ω1 ◆y7fKJ8VsjM 2021/10/17(日)07:44 ID:w6C+QlCK(3/15) AAS
>>315のつづき
>>313で、お🐒のSET Aはグダグダと以下の言い訳している
>さて、最外側の{}ωを外すことは、
>順序集合 N ∪ ωから、ωを取ることに相当するから、
>脱コンパクト化だ
>つまり、N ∪ ω→N とすることに相当する
ただのトートロジーw
>だから元は、・・{{{{{}}}}}・・となる。これは、右半分だけを見れば
>}}}}}・・→ 0 }1 }2 }3 }4・・ となって、全ての自然数を走るが、
>脱コンパクト化でωには決して到達しない
省32
881(5): 2021/11/04(木)20:36 ID:mTm/SPwz(4/11) AAS
>>874
>そのツェルメロのωはシングルトンなんだよな?
>ωの元はなんや?
(>>312-313より再録)
この列で、0.1, 1-1/2,1-1/3,1-1/4,・・→1の箇所に右カッコ"}"を置くと
0, }1, }2, }3, }4,・・→}ω (注:例えば、}4の4は、添え字でカッコの順を示す。他も同様)
上記列の鏡映反転で、-1を掛けて、同じようにすると、左カッコ"{"の列が出来る
即ち
-1←・・,-1+1/4,-1+1/3,-1+1/2,-0.1,0
ω{←・・,4{ ,3{ ,2{ ,1{ ,0
省17
上下前次1-新書関写板覧索設栞歴
スレ情報 赤レス抽出 画像レス抽出 歴の未読スレ AAサムネイル
ぬこの手 ぬこTOP 2.805s*