4
$\begingroup$

Let $h(x) = x$ for all rational numbers $x$ and $h(x) = 0$ for irrational numbers. I'm trying to show that $h$ is continuous at $x=0$ and at no any other point.

Defintion of continuity at $x_0$: $(\forall x)(\forall \varepsilon > 0)(\exists \delta > 0)$ such that $|x-x_0| < \delta \implies |h(x) - h(x_0)| < \varepsilon$.

For this part of the question I took $\delta = \epsilon$. Then $|x - 0| < \delta \implies |h(x)| < \varepsilon$ because if $x$ is rational, then $x < \varepsilon$ and if $x$ is irrational then $|x| < \varepsilon$.

Defintion of discontinuity at $x_0$: $(\exists x)(\exists \varepsilon > 0)(\forall \delta > 0)$ such that $|x-x_0| < \delta \implies |h(x) - h(x_0)| \geq \varepsilon$.

I tried to divide the problem into two cases:

1) If $x_0$ is rational, then $|h(x) - h(x_0)| = |h(x) - x_0|$. Then pick $x$ to be a irrational number. Then I have $|h(x) - x_0| = |x_0|$. And take $\varepsilon = \frac{|x_0|}{2}$.

2) Now if $x_0$ is irrational $|h(x) - h(x_0)| = |h(x)|$. Now here is where I was unsure of myself: If I pick $x$ to be a rational number, then $|h(x)| = |x|$. I was not sure about choosing $\varepsilon$ so that $|x| \geq \varepsilon$. Would it be valid to take $\varepsilon = \frac{|x|}{2}$? (I mean $|x|$ here and not $|x_0|$)

Could I get some feedback? Thanks!

Edit To finish off the last part, let $\varepsilon = \frac{|x_0|}{2}$. Now I want to choose an $x$ in the rational numbers. I also need to satisfy $x_0 - \delta < x$ (since $|x_0 - x| < \delta$) and $|x| \geq \frac{|x_0|}{2}$. So now I pick $x \in (|x_0|-\delta, |x_0|) \cap (\frac{|x_0|}{2}, |x_0|)$.

$\endgroup$
1
$\begingroup$

No you can't take $\varepsilon = \frac{|x|}{2}$, since it is not constant.

But you can still take $\varepsilon = \frac{x_0}{2}$, because for any $\delta>0$ you will find $x$ such that $|x - x_0|< \delta$, but $h(x) > \varepsilon$ (for positive $x_0$ such $x$ is any rational number between $x_0$ and either $x_0 - \delta$ or $x_0 - \epsilon$, whichever is bigger; similarly for negative $x_0$).

$\endgroup$
1
$\begingroup$

We have $$|h(x)|\leq |x|\to 0=h(0),\quad x\to0$$ so $h$ is continuous at $0$

For $x\neq 0$ take a sequence of rationals $(r_n)$ s.t. $r_n\to x$ and sequence of irrationals $(t_n)$ s.t. $t_n\to x$ and calculate the limit of $(h(r_n))$ and $(h(t_n))$ and conclude.

$\endgroup$
0
$\begingroup$

So you finished showing $f(x)$ is continuous at $x=0$, and $f(x)$ is discontinuous at rational numbers. For the last part, to prove $f(x)$ is not continuous at rational $x_0(x_0\neq 0)$, I provide a hint as follows.

For any $x_0\neq 0$, there exists $\delta>0$ such that if $|x-x_0|<\delta, |x|>\frac{|x_0|}{2}$, and thus you can still take $\epsilon=\frac{|x_0|}{2}$ and finish the proof by yourself.

$\endgroup$
  • $\begingroup$ Can you take a look at my edit? $\endgroup$ – Student Jun 10 '13 at 21:25
  • $\begingroup$ @Student After choosing $\epsilon$, what's lest is to fix a positive $\delta$, right? and I want to say that such $\delta$ exists. $\endgroup$ – Coiacy Jun 10 '13 at 21:28
  • $\begingroup$ Could you explain? I thought $\delta$ could be any arbitrary positive number. $\endgroup$ – Student Jun 10 '13 at 21:31
  • $\begingroup$ @Student Another thing to mention, when you prove $f(x)$ is continuous or discontinuous at a particular point, say $x_0$, remember to fix the $x_0$ first. And you cannot take $\epsilon=\frac{x}{2}$, as we don't know what the value $x$ takes, and we only know $x_0$ $\endgroup$ – Coiacy Jun 10 '13 at 21:33
  • $\begingroup$ You are right $\delta$ is arbitrary, but my $\delta$ is a bit different from yours. I mean, after you pick a $\delta$, you can find an $x$ in the neighborhood $(x_0-'\delta',x_0+'\delta')$, where $'\delta'$ is defined in my answer. $\endgroup$ – Coiacy Jun 10 '13 at 21:39

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

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