>>766-767
蕎麦屋さん、フォローありがとう
 >>763の後半も見てくれ

>>768
>>(dccを満たす証明について)
>>自然数Nから先のコンパクト化された N∪ω にもそのまま適用できる気がする

さすがに気付いてくれた? 珍説批判を兼ねていることに
N∪ω >>762 "自然数全体(離散位相) N の一点コンパクト化は N に最大元 ω を付け加えた順序集合 N∪ω の順序位相と同相になる"
から、dccを満たすよね。分かっているかい?w

>>>もし「上昇列、即、降下列」と思ってるなら、
>>>それが君の最大の躓きの石だよ
>>なんだかね それは、おれが言いたいことだよ

なんだかね
晒し者状態継続中かよ
時枝 箱入り無数目 とか「無限シングルトン」とかも