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: Medium Entry average rating: No information on entry rating
[parent] another proof of the non-existence of a continuous function that switches the rational and the irrational numbers (Proof)

Let $\mathbb{J}=\mathbb{R}\setminus\mathbb{Q}$ denote the irrationals. There is no continuous function $f\colon \mathbb{R} \to \mathbb{R}$ such that $f(\mathbb{Q})\subseteq \mathbb{J}$ and $f(\mathbb{J})\subseteq\mathbb{Q}$

Proof

Suppose $f$ is such a function. Since $\mathbb{Q}$ is countable, $f(\mathbb{Q})$ and $f(\mathbb{J})$ are also countable. Therefore the image of $f$ is countable. If $f$ is not a constant function, then by the intermediate value theorem the image of $f$ contains a nonempty interval, so the image of $f$ is uncountable. We have just shown that this isn't the case, so there must be some $c$ such that $f(x)=c$ for all $x\in\mathbb{R}$ Therefore $f(\mathbb{Q})=\{c\}\subset\mathbb{J}$ and $f(\mathbb{J})=\{c\}\subset\mathbb{Q}$ Obviously no number is both rational and irrational, so no such $f$ exists.




"another proof of the non-existence of a continuous function that switches the rational and the irrational numbers" is owned by neapol1s.
(view preamble | get metadata)

View style:


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

Cross-references: rational and irrational, number, uncountable, interval, contains, intermediate value theorem, constant function, image, countable, function, proof, continuous function, irrationals

This is version 4 of another proof of the non-existence of a continuous function that switches the rational and the irrational numbers, born on 2006-11-12, modified 2006-11-13.
Object id is 8546, canonical name is ProofOfTheNonExistenceOfAContinuousFunctionThatSwitchesTheRationalAndTheIrrationalNumbers.
Accessed 1153 times total.

Classification:
AMS MSC54E52 (General topology :: Spaces with richer structures :: Baire category, Baire spaces)

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)