This site is currently being migrated at a new site. Please read the information below.

LaTeX

Unicode

Tuesday, December 15, 2015

The identity function

Let $f:\mathbb{R} \rightarrow \mathbb{R}$ be a strictly increasing function in $\mathbb{R}$. If $f(r)=r, \; \forall r \in \mathbb{Q}$ prove that $f(x)=x , \; \forall x \in \mathbb{R}$.

Solution

Let $x$ be an irrational number. If $f(x)<x$ , then we choose a rational $r$ such $f(x)<r<x$ (density of rationals). From the last equation and from the assumption that $f$ is strictly increasing we have that:

$$r = f(r)< f(x)< r$$

leading to a contradiction. Similarly, if we assume $f(x)>x$ we will also be led to a contradiction. The result follows.

The exercise can also be found in mathematica.gr

No comments:

Post a Comment