Continuous f(x)

Calculus Level 4

Find the number of values of x for which f ( x ) f(x) is continuous,

f ( x ) = { x , if x is rational 1 x , if x is irrational \large f(x) = \begin{cases} x , \quad \quad \quad \text{if x is rational} \\ 1 - x , \quad \text{if x is irrational} \end{cases}

\infty More than 2 and finite 2 0 1

This section requires Javascript.
You are seeing this because something didn't load right. We suggest you, (a) try refreshing the page, (b) enabling javascript if it is disabled on your browser and, finally, (c) loading the non-javascript version of this page . We're sorry about the hassle.

1 solution

Arturo Presa
Nov 8, 2015

We claim that the only point of continuity is 1 2 \frac{1}{2} . Indeed, we will prove that f ( x ) f(x) is continuous at 1 2 \frac{1}{2} and discontinuous at any a a such that a 1 2 . a\neq \frac{1}{2}. Let us prove the continuity of f ( x ) f(x) at 1 2 . \frac{1}{2}. If x 1 2 x\geq \frac{1}{2} then 1 x f ( x ) x , 1-x\leq f(x) \leq x, and if x 1 2 x \leq \frac{1}{2} , then x f ( x ) 1 x . x\leq f(x) \leq 1-x. Applying the Sandwich theorem we get that lim x 1 2 f ( x ) = 1 2 = f ( 1 2 ) . \lim_{x\to \frac{1}{2}} f(x)=\frac{1}{2}=f(\frac{1}{2}). So the function f ( x ) f(x) is continuous at 1 2 \frac{1}{2} .

Now let us consider any real number a a such that a 1 2 . a\neq \frac{1}{2}. We have to consider two cases: a a can be rational or irrational.

Case 1 . If a a is irrational, we can always construct a sequence of rational numbers a n a_{n} that tends to a , a, for example, a n = 1 0 n a 1 0 n . a_{n}=\frac{\left\lfloor{10^{n} a}\right\rfloor}{10^n}. Since a n a_{n} is a sequence of rational numbers then lim n f ( a n ) = lim n a n = a 1 a = f ( a ) . \lim_{n\to \infty} f(a_{n})= \lim_{n\to \infty} a_{n}=a \neq 1-a=f(a). Therefore, f f is discontinuous at a a .

Case 2 . When a a rational and different from 1 2 . \frac{1}{2}. In this case, we can construct a sequence of irrational numbers a n a_n that tends to a , a, for example by making a n = a 2 n . a_n=a-\frac{\sqrt{2}}{n}. Then we have that lim n f ( a n ) = lim n ( 1 a n ) = 1 a a = f ( a ) . \lim_{n \to \infty}f(a_{n})=\lim_{n \to \infty}(1-a_n)=1-a \neq a=f(a). Therefore f f is discontinuous at a a also in this case.

So our proof is complete.

Sir is it dirichlet's function?

Shyambhu Mukherjee - 5 years, 6 months ago

Log in to reply

Not exactly, but it is very similar to a Dirichlet function. You can see the definition of Dirichlet here.

Arturo Presa - 5 years, 6 months ago

0 pending reports

×

Problem Loading...

Note Loading...

Set Loading...