2012-01-09 ■ 雑記 T_1 Top Grがregは常識だがT_0 Top GrがT_1になるらしい。 一応簡単に証明できるけど、自分の方法だとsemi-topの時が分からない。symmetric open nbdが取れなくても証明できる? それとも反例があったり、semi-topでもsymmetric open nbdがとれる?