そろそろ沖本、北岡、影村 戦が見れそうである。熱い。 らしんばんに行ったらけいおんのＣＤが結構入ってて、偶然だと思うけど吹いた。

は常識らしい。(XがT_4+T_1なら被覆次元、completely regularならfinite openをfinite cozero openに代えたもの。） 序に、被覆次元だとnormalでない場合、任意のnについてだがとなるものがあるようだ。Brechner : On the non-monotony of dimension.