[過去ログ] 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*