PlanetMath (more info)
 Math for the people, by the people. Sponsor PlanetMath
Encyclopedia | Requests | Forums | Docs | Wiki | Random | RSS  
Login
create new user
name:
pass:
forget your password?
Main Menu
Owner confidence rating: High Entry average rating: No information on entry rating
[parent] function continuous at only one point (Example)

Let us show that the function $ f\colon \mathbbmss{R}\to\mathbbmss{R}$ ,

$\displaystyle f(x) = \begin{cases}x, & \mbox{when $x$ is rational}, \ -x, & \mbox{when $x$ is irrational}, \end{cases}$
is continuous at $x=0$ , but discontinuous for all $ x\in \mathbbmss{R}\setminus\{0\}$ [1].

We shall use the following characterization of continuity for $f$ : $f$ is continuous at $ a\in \mathbbmss{R}$ if and only if $\lim_{k\to \infty} f(x_k)=f(a)$ for all sequences $ (x_k)\subset \mathbbmss{R}$ such that $\lim_{k\to \infty} x_k=a$ .

It is not difficult to see that $f$ is continuous at $x=0$ . Indeed, if $x_k$ is a sequence converging to $0$ . Then \begin{eqnarray*} \lim_{k\to \infty} |f(x_k)| &=& \lim_{k\to \infty} |f(x_k)| \\ &=& \lim_{k\to \infty} |x_k| \\ &=& 0. \end{eqnarray*} Suppose $a\neq 0$ . Then there exists a sequence of irrational numbers $x_1, x_2, \ldots$ converging to $a$ . For instance, if $a$ is irrational, we can take $x_k = a+1/k$ , and if $a$ is rational, we can take $x_k = a+\sqrt{2}/k$ . For this sequence we have \begin{eqnarray*} \lim_{k\to \infty} f(x_k) &=& -\lim_{k\to \infty} x_k \\ &=& -a. \end{eqnarray*} On the other hand, we can also construct a sequence of rational numbers $y_1,y_2,\ldots$ converging to $a$ . For example, if $a$ is irrational, this follows as the rational numbers are dense in $ \mathbbmss{R}$ , and if $a$ is rational, we can set $y_k = x_k+ 1/k$ . For this sequence we have \begin{eqnarray*} \lim_{k\to \infty} f(y_k) &=& \lim_{k\to \infty} y_k \\ &=& a. \end{eqnarray*}In conclusion $f$ is not continuous at $a$ .

Bibliography

1
Homepage of Thomas Vogel, A function which is continuous at only one point.




Anyone with an account can edit this entry. Please help improve it!

"function continuous at only one point" is owned by Andrea Ambrosio. [ full author list (3) | owner history (1) ]
(view preamble | get metadata)

View style:

See Also: Dirichlet's function, function differentiable at only one point


This object's parent.
Log in to rate this entry.
(view current ratings)

Cross-references: conclusion, dense in, rational numbers, rational, irrational numbers, sequences, characterization, discontinuous, continuous at, function
There is 1 reference to this entry.

This is version 4 of function continuous at only one point, born on 2005-01-08, modified 2006-09-04.
Object id is 6629, canonical name is FunctionContinuousAtOnlyOnePoint.
Accessed 4146 times total.

Classification:
AMS MSC54C05 (General topology :: Maps and general types of spaces defined by maps :: Continuous maps)
 26A15 (Real functions :: Functions of one variable :: Continuity and related questions )

Pending Errata and Addenda
None.
[ View all 1 ]
Discussion
Style: Expand: Order:
forum policy

No messages.

Interact
post | correct | update request | add example | add (any)