formula_9において、いかなる点もコンパクト近傍を持たない(つまりformula_9は局所コンパクトでない)。