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

$$f(x)= \left\{\begin{array}{ll} x-x^2 &\mbox{if $x$ is rational,}\\ x+x^2 &\mbox{if $x$ is irrational.} \end{array}\right.$$ Show that $f'(0)=1$ and yet there is no neighborhood $I$ of the point $0$ on which this function is monotonically increasing.

share|cite|improve this question

To show that $f'(0)=1$, it suffices to prove that $\lim_{x\rightarrow 0}\frac{f(x)-x}x = 0$ (since $f(0) = 0$). Since $f(x)-x=\pm x^2$, it is always true that $|f(x)-x|=x^2$. Dividing by $x$ and making $x\rightarrow 0$ gives the answer.

As for the second part. Suppose such a neighborhood $I$ exists. Then let $x\in I$ be irrational. Since $\mathbb Q$ is dense in $\mathbb R$, there exists a sequence $r_n$ of rationals in $I$ such as $r_n\rightarrow x$ and $r_n > x$.

Since $r_n$ is rational, $f(r_n) = r-r_n^2$, on the other hand $f(x) = x+x^2$. $f$ is monotically increasing on $I$, so that $f(x)\leq f(r_n)$ for all $n$. In other words

$x+x^2\leq r_n-r_n^2$ for all $n$.

Passing to the limit, it is found $x+x^2\leq x-x^2$ which is absurd (if $x\neq 0$). Therefore $I$ does not exist.

share|cite|improve this answer

$f'(x) := \lim_{\Delta x \to 0} \frac{f(x+\Delta x) - f(x)}{\Delta x}$

since f(0) = 0,

$f'(0) = \lim_{\Delta x \to 0} \frac{f(\Delta x)}{\Delta x}$

Using $\epsilon - \delta$ method : above equation is equal to (substitute k to $\Delta x$) "for every $\epsilon > 0$, there exists $\delta > 0$ that

$k \in (-\delta,\delta), k \neq 0 \implies \frac{f(k)}k \in (1-\epsilon,1+\epsilon)$."

If k is rational, then $f(k) = k - k^2$, and $\frac{f(k)}k = 1-k$. Therefore, if $\delta = \epsilon$, then $\frac{f(k)}k$ is between $1+\delta$ and $1-\delta$, which is $(1-\epsilon,1+\epsilon)$.

Similar method works if k is irrational ($\delta = \epsilon$)

$\therefore$ whether k is rational or not, for every $\epsilon>0$, there exists $\delta$.

$\therefore$, $f'(0) = 1$.

PS : some error can exists in $\epsilon - \delta$ method

share|cite|improve this answer

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

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