>>263 つづき

おっちゃんには蛇足だが

B = {Ur(x) x ∈ Qn , r ∈ Q , r > 0} とおくとB は可算基である！
＜補足＞
・B = {Ur(x) x ∈ Qn , r ∈ Q , r > 0} は、要するに有理点xと有理数半径rから、開近傍を定めてるんだと
・それが、「 B は開基である」となるので、有理点xは可算、有理数半径rも可算。だから、その直積も可算
・B は可算基であると

細かい証明技巧は、本文PDF参照