18
$\begingroup$

We know that there exist real functions which are continuous at each irrational and dis- continuous at each rational number.

But does there exist a function $f: \mathbb{R} \to \mathbb{R}$ that is differentiable at every irrational and discontinuous at every rational?

  • 1
    In case anyone isn't familiar with the [functions](http://en.wikipedia.org/wiki/Thomae%27s_function) mentioned in the first sentence2010-08-11
  • 0
    @Casebash: Here is one. Define $f$ in the following manner. $f(p/q)=\frac{1}{q}$, if $p/q$ is in its lowest terms with $q>0$ and $f(x)=0$ for $x \in \mathbb{R}\setminus \mathbb{Q}$. You can see this in "Methods of Real Analysis" book by R.R.Goldberg2010-08-11
  • 6
    The title could be more specific: at least the word "differentiable" should be in there somewhere.2010-08-11
  • 0
    Hi- Can i interchange the question and post it. New question would be does there exists functions $f:\mathbb{R} \to \mathbb{R}$ which is differentiable at each rational and discontinuous at every irrational2010-08-12
  • 2
    There are no functions continuous on precisely the rationals, since the irrationals are not an $F_\sigma$ set.2010-08-12

2 Answers 2

4

I think that there can be no such function.

Suppose that $f$ is discontinuous at some point $q$. There must be constants $A,B$ so that $f(s) < A < B < f(t)$ holds for points $s,t$ arbitrarily near to $q$.

Suppose that $x_0 x_0$ converging to $q$ and satisfying $f(s_n) < A < B < f(t_n)$. Then we have

$$\frac{f(t_n) - f(x_0)}{t_n - x_0} - \frac{f(s_n) - f(x_0)}{s_n - x_0} > \frac{B - f(x_0)}{t_n - x_0} - \frac{A - f(x_0)}{s_n - x_0} \to \frac{B-A}{q - x_0} > 1$$

and may conclude that there exist $s,t$ as close to $q$ as we like satisfying

$$\frac{f(t) - f(x_0)}{t - x_0} - \frac{f(s) - f(x_0)}{s - x_0} > 1$$

Arguing similarly when $x_0 > q$ and trivially (since the Newton quotients will be unbounded as a result of the discontinuity) when $x_0 = q$ we get the same conclusion with only $|x_0 - q| < B-A$.

For $n$ a positive integer let $X_n$ denote all of the points $x_0$ in $\mathbf{R}$ for which there exist $s,t$ at distance less than $1/n$ from $x_0$ satisfying the preceding inequality. Our argument implies that, for every $n$, $X_n$ is a neighbourhood of every point $q$ at which $f$ is discontinuous (consider the points $x_0$ whose distance from $q$ is less than $1/n$ and $B-A = B_q - A_q$). If it happens that the points of discontinuity are dense (as in the case of $\mathbf{Q}$) then this implies that every $X_n$ contains an open dense set and thus $\bigcap_n X_n$ is second category in $\mathbf{R}$.

The point is of course that no point at which $f$ is differentiable can be in all the $X_n$ so if $f$ is discontinuous on the rationals then $f$ is differentiable on at most a set of 1st category in $\mathbf{R}$ (which the irrationals are not).

2

It came up in an answer that has been deleted that a solution to this problem can be found as "solution 2" in the following file: http://www.isibang.ac.in/~statmath/problems/soljan09.pdf. Another reference is "A theorem concerning functions discontinuous on a dense set" by Fort.

  • 0
    Yes; it seems Chandru1 has left the building.2011-04-02
  • 0
    The argument in Fort is the same. I think I'll just delete mine.2011-04-02
  • 0
    Actually I don't know how to do that...2011-04-02
  • 0
    @Mike: I don't know why you want to delete it, but if you do, there should be a link at the bottom left of your answer (when you're logged in) that says "delete". (The full list is "list edit delete flag".)2011-04-02
  • 0
    @Mike: There should be a "delete" link in the bottom left, next to the "edit" link.2011-04-02
  • 1
    @Jonas: Well I suppose I was momentarily ticked off that I had gone to the trouble of answering this question only subsequently learn that i) the question's owner has deleted their account as Arturo's 1st post seems to suggest and ii) the question had already been answered but the answer was deleted for whatever reason. But then I had a cup of tea and remembered this is just a website.2011-04-02
  • 5
    @Mike You should continue to drink this brand of tea, it has some beneficial effects. :-)2011-04-02
  • 0
    @Mike: It seems that when a user's account is deleted, all questions and answers by that user with negative vote count are automatically deleted. The answer I referred to was by the same user who asked the question, and it had a negative vote count. This is one of those cases where the automatic deletion takes away useful info, and I only noticed what had happened because of your answer bumping the post. Anyway, I gave +1 to your answer.2011-04-02