l'ensemble des points de discontinuité est forcément dénombrable, non ?

I'm on a boat motherfucker, don't you ever forget
Non... (fonction caractéristique de Q?)
Les droits inaliénables du troll :
1) le droit d'avoir raison
2) le droit d'être péremptoire
3) le droit de ne pas lire
4) le droit de ne pas répondre
5) le droit d'être de mauvaise foi
6) Autant pour moi / Faignant / Vivent Tintin et Milou
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. For it can be shown that the set of discontinuities of any function must be an F-sigma set. If such a function existed, then the irrationals would be F-sigma and hence would also be a meagre 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.

I'm on a boat motherfucker, don't you ever forget
F-sigma c'est les boréliens obtenus en faisant des unions dénombrables de fermés. On les appelles aussi \Pi_1 ou \Sigma_1 je sais plus.

I'm on a boat motherfucker, don't you ever forget
attends je l'avais mis mais retiré car la musique n'était pas synchro .. je la remet là sur mon skyblog