局所コンパクト化でできる元を∞と書くのは?