Rに±∞を追加してコンパクト化してるんだろ。
追加したからには近傍も定義しないといかんから。
(a,∞]が近傍基。
近傍基は当然∞も入ってないといかん。