定義（代数的整数論006の128）
Hausdorff空間 X の各点がコンパクト（>>64）な近傍をもつとき、
X は局所コンパクトであると言う。