6
$\begingroup$

Consider, the function $f:\mathbb Q\to \mathbb R$ defined by

$$f(x)=\begin{cases}1 &\text{ if, } x<\pi\\2 &\text{ if, } x>\pi\end{cases}$$

Show that, $f$ is continuous but NOT uniformly continuous..

Let, $\epsilon >0$ be arbitrary. Then, we can always find a $x>\pi$ and a $y<\pi$ such that $|x-y|<\delta$.

But, $|f(x)-f(y)|=|2-1|=1\not <\epsilon$.

So , $f$ is NOT uniformly continuous..

But I am unable to find that $f$ is continuous....

$\endgroup$

3 Answers 3

4
$\begingroup$

Let $\varepsilon > 0,x \in \mathbb{Q}$ and define $\delta=|\pi-x|$. For $x<\pi$, if $|x-y|<\delta$ then $y<\pi$ so $|f(x)-f(y)|=|1-1|=0<\varepsilon$. Essentially the same thing happens when $x>\pi$. Note that the $\delta$ I chose here depends on $x$, and goes to zero when $x$ gets closer to $\pi$.

Also your proof that you don't have uniform continuity is not quite right. You should fix a $\varepsilon$, which should be less than $1$, say $\varepsilon=1/2$. Then let $\delta > 0$ be arbitrary and choose an $x$ so that the interval $(x-\delta,x+\delta)$ contains a point on the other side of $\pi$.

Still, +1 for showing your work.

$\endgroup$
2
  • $\begingroup$ f is not continuous at $\pi$ $\endgroup$
    – user139708
    Mar 21, 2015 at 4:08
  • 6
    $\begingroup$ @ProbabilityGuy That's not a problem, because $\pi$ is not in its domain. That is, at $\pi$ I would have defined $\delta=0$, which would not do anything to prove continuity, but I defined $x \in \mathbb{Q}$, so $\delta$ is actually never zero. $\endgroup$
    – Ian
    Mar 21, 2015 at 4:08
1
$\begingroup$

Fix $x \in \Bbb Q$. Let $\epsilon > 0$. Take $\delta < |x-\pi|$. So, if $|x-y|<\delta$, we will have $f(y) = f(x)$, hence $|f(y)-f(x)| = 0 < \epsilon$. The idea of picking this $\delta$ is assuring that $y$ ends up in the "same side" of $\pi$ that $x$ is.

$\endgroup$
0
$\begingroup$

The only point of discontinuity is $\pi$ which is not the member of $\mathbb{Q}$, so you cannot give some $x \in \mathbb{Q}$ at which $f(x)$ has left hand and right limits different. Hence it is continuous.

$\endgroup$

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .