>>696
>さらにＮ∪{∞}の開集合を以下のように定義する
>「任意のｎ∈Ｎについて{ｘ｜ｘ＞＝n}∪{∞}はN∪{∞}の開集合」
これの方が単純で∞だけに特化していて分かりやすいですね
私はN+を[0,1]の部分空間{0}∪{1/n|0<n∈N}と同一視しました