>>13
違うな、非負実数数直線を自明なコンパクト化により0と
∞が一致してしまっているのだ。