|
|
|
|
open and closed intervals have the same cardinality
|
(Result)
|
|
|
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. 
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
The other bijections can be constructed similarly. 
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)
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 MSC: | 03E10 (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
|
|
|
|
|
|
|
|
|
|
|