# Is there a function that is contiunous at all the rationals, and discontinuous at all the irrationals? [duplicate]

Possible Duplicate:
Set of continuity points of a real function

Motivated by the examples of the Dirichlet's no-where continuous function and Thomae's function, we know that a function can have discontinuities at the reals, or at the rationals. My question is whether the set of discontinuities can actually be at the irrationals only. Froda's theorem tells us that such a function cannot be monotone, so that cuts down on the search. Are there other obstructions? Can we exhibit such a function?

-

## marked as duplicate by Jason DeVito, mt_, Thomas Andrews, Davide Giraudo, Zhen LinNov 9 '12 at 14:09

The set of points of continuity of a function is a countable intersection of open sets. $\Bbb Q$ is not such a set. –  Davide Giraudo Nov 9 '12 at 13:47