Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

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?

share|cite|improve this question

marked as duplicate by Jason DeVito, m_t_, Thomas Andrews, Davide Giraudo, Zhen Lin Nov 9 '12 at 14:09

This question has been asked before and already has an answer. If those answers do not fully address your question, please ask a new question.

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
Yes, I should have searched harder. Thanks all for the answers. – Apprentice Nov 9 '12 at 14:04
up vote 1 down vote accepted

On the first wikipedia page linked in your question, there is :

A natural followup question one might ask is if there is a function which is continuous on the rational numbers and discontinuous on the irrational numbers. This turns out to be impossible; the set of discontinuities of any function must be an $F_\sigma$ set. If such a function existed, then the irrationals would be an $F_\sigma$ set and hence, as they don't contain an interval, would also be a meager set. It would follow that the real numbers, being a union of the irrationals and the rationals (which is evidently meager), would also be a meager set. This would contradict the Baire category theorem.

share|cite|improve this answer

Not the answer you're looking for? Browse other questions tagged or ask your own question.