定義
局所コンパクトな（必ずしも可換でない）位相体(過去スレ006の190)を
局所コンパクト体と言う。