2012-01-27 ■ 雑記 mayには確かにsmally compactと書いてあるが、やっぱりhereditarily locally compactの方がいい気がする。 ただ、定義がfilterの場合しか見つからない。