zenaの日記

麻雀と最近放置している不等式と、極希に更新しているスペクトル以外には、ここを見る価値は基本的にありません。また、管理者は気まぐれにしか更新しませんので悪しからず。

雑記

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