D'après un résultat, R/Q n'est pas séparé car Q n'est pas fermé.
Une autre façon de le voir:
Soit p: R --> R/Q la surjection canonique. soit x un irrationnel
si R/Q était séparé , il existe U et V deux ouverts disjoints de R/Q tels p(0)€U et p(x)€V
mais par densité et continuité de p, Q n p^-1(U) et Q n p^-1(V) sont non vides
absurde car p(0)=Q.