Prove that the irrationals have usual neighborhoods and the rationals are isolated is metrizable.
This is the flip-flop of the Michael Line. I do not see how to prove this. I know we want to use Urysohn Metrization Theorem, but I do not see how to use it now. Thanks in advance.