局所コンパクト・LCH 空間

定義 2.1（「局所コンパクト空間」§2）

位相空間 $X$ が局所コンパクトであるとは、各点 $x \in X$ がコンパクトな近傍 $K$ を持つこと、すなわち $x \in O \subseteq K$ なる開集合 $O$ とコンパクト集合 $K$ が存在することをいう。局所コンパクトかつハウスドルフな空間を LCH 空間という。