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: Very high
[parent] open and closed intervals have the same cardinality (Result)
Proposition   The sets of real numbers $[0,1]$ , $[0,1)$ , $(0,1]$ , and $(0,1)$ all have the same cardinality.

We give two proofs of this proposition.

Proof. Define a map $f:[0,1]\to[0,1]$ by $f(x)=(x+1)/3$ . The map $f$ is strictly increasing, hence injective. Moreover, the image of $f$ is contained in the interval $[\frac{1}{3}, \frac{2}{3}]\subsetneq (0,1)$ , so the maps $f_r:[0,1]\to[0,1)$ and $f_o:[0,1]\to(0,1)$ obtained from $f$ by restricting the codomain are both injective. Since the inclusions into $[0,1]$ are also injective, the Cantor-Schröder-Bernstein theorem can be used to construct bijections $h_r:[0,1]\to[0,1)$ and $h_o:[0,1]\to(0,1)$ . Finally, the map $r:(0,1]\to[0,1)$ defined by $r(x)=1-x$ is a bijection.

Since having the same cardinality is an equivalence relation, all four intervals have the same cardinality. $ \qedsymbol$

Proof. Since $[0,1]\cap\mathbb{Q}$ is countable, there is a bijection $a:\mathbb{N}\to[0,1]\cap\mathbb{Q}$ . We may select $a$ so that $a(0)=0$ and $a(1)=1$ . The map $f:[0,1]\cap\mathbb{Q}\to(0,1)\cap\mathbb{Q}$ defined by $f(x)=a(a^{-1}(x)+2)$ is a bijection because it is a composition of bijections. A bijection $h:[0,1]\to(0,1)$ can be constructed by gluing the map $f$ to the identity map on $(0,1)\setminus\mathbb{Q}$ . The formula for $h$ is

$\displaystyle h(x)=\begin{cases} f(x), & x\in\mathbb{Q} \ x, & x\notin\mathbb{Q}. \end{cases}$
The other bijections can be constructed similarly. $ \qedsymbol$

The reasoning above can be extended to show that any two arbitrary intervals in $\mathbb{R}$ have the same cardinality.




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

"open and closed intervals have the same cardinality" is owned by mps. [ full author list (2) ]
(view preamble | get metadata)

View style:


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

Cross-references: identity map, composition, countable, equivalence relation, bijections, inclusions, codomain, interval, contained, image, injective, strictly increasing, map, proposition, proofs, cardinality, real numbers
There is 1 reference to this entry.

This is version 5 of open and closed intervals have the same cardinality, born on 2006-03-04, modified 2007-10-27.
Object id is 7675, canonical name is ClosedOpen.
Accessed 3940 times total.

Classification:
AMS MSC03E10 (Mathematical logic and foundations :: Set theory :: Ordinal and cardinal numbers)
 26A03 (Real functions :: Functions of one variable :: Foundations: limits and generalizations, elementary topology of the line)

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)