Take the 2-minute tour ×
Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

I think I don't understand how it works.. I found some proofs.. okay, let's see:

Well I'd like to show that the function,

$$f(x) = \begin{cases} 0 & x \not\in \mathbb{Q}\\ 1 & x \in \mathbb{Q} \end{cases}$$

is discontinuous.

Now with epsilon-delta-definition:

Let's choose an $\varepsilon < 1$, for example $\varepsilon := 1/2$. And: $\delta > 0$ .

I have to show that $|f(x) - f(x_0)| > \varepsilon$

So if $x_0 \not\in \mathbb{Q}$ let $x$ be rational in $(x_0- \delta, x_0+ \delta)$

if $x_0 \in \mathbb{Q}$ let $x$ be irrational in $(x_0- \delta, x_0 + \delta)$

In the end it is $|f(x) - f(x_0)| = 1 > 1/2$.

Why is $|f(x) - f(x_0)| = 1 $ ?

share|improve this question
    
By definition of the function. In both cases the difference is between the function at a rational and at a irrational and the distance between these values is $1$. –  Bryan Urízar Jun 11 '13 at 8:27
    
@BabakS. Okay, done. –  Bryan Urízar Jun 11 '13 at 8:32

3 Answers 3

up vote 4 down vote accepted

There always exist two distinct points: one is rational and the other is irrational in the interval $(x_0-\delta, x_0+\delta)$. By the definition of Dirichlet function, we can get the conclusion.

share|improve this answer

Let's have a look from the first point. Assume that the function $D(x)$ has limit $c$ at some point say $x_0$. Then if we choose $\epsilon=1/2$ then we have a number $\delta$ such that $$0<|x-x_0|<\delta\to|D(x)-c|<1/2$$ You do know as you point that every deleted neighborhood $0<|x-x_0|<\delta$ contains a rational point say $x_1$ and another point which is irrational say $x_2$. So regarding to what we have achieved, $$|D(x_1)-c|=|1-c|<1/2,~~~|D(x_2)-c|=|0-c|<1/2$$ and so we have reached to point of meeting a nice contradiction: $$1=|1-c+c|\leq ???<1/2+1/2=1$$

share|improve this answer
    
My, you were busy at work here at MSE today! +1! –  amWhy Jun 12 '13 at 0:08
    
@amWhy: For two or three consecutive days, I was in a member of a funeral ceremony. –  B. S. Nov 15 '13 at 8:56

$\forall x\in \mathbb{R}, \space \forall \delta \gt 0, \exists x_{1}\in\mathbb{Q},x_{2}\in\mathbb{R}-\mathbb{Q}$, s.t. $x_{1},x_{2} \in (x-\delta, x+\delta)$.

This is because the density of rational number and irrational number in real line. I guess you should learn more about the construction of real number field.

share|improve this answer

Your Answer

 
discard

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.