You are here
Home ›open and closed intervals have the same cardinality
Primary tabs
open and closed intervals have the same cardinality
Proposition.
The sets of real numbers , , , and all have the same cardinality.
We give two proofs of this proposition.
Proof.
Define a map by . The map is strictly increasing, hence injective. Moreover, the image of is contained in the interval , so the maps and obtained from by restricting the codomain are both injective. Since the inclusions into are also injective, the Cantor-Schröder-Bernstein theorem can be used to construct bijections and . Finally, the map defined by is a bijection.
Since having the same cardinality is an equivalence relation, all four intervals have the same cardinality. ∎
Proof.
Since is countable, there is a bijection . We may select so that and . The map defined by is a bijection because it is a composition of bijections. A bijection can be constructed by gluing the map to the identity map on . The formula for is
The other bijections can be constructed similarly. ∎
The reasoning above can be extended to show that any two arbitrary intervals in have the same cardinality.
Mathematics Subject Classification
26A03 Foundations: limits and generalizations, elementary topology of the line03E10 Ordinal and cardinal numbers
- Forums
- Planetary Bugs
- HS/Secondary
- University/Tertiary
- Graduate/Advanced
- Industry/Practice
- Research Topics
- LaTeX help
- Math Comptetitions
- Math History
- Math Humor
- PlanetMath Comments
- PlanetMath System Updates and News
- PlanetMath help
- PlanetMath.ORG
- Strategic Communications Development
- The Math Pub
- Testing messages (ignore)
- Other useful stuff
Recent Activity
new question: Computation of $\varphi(2000)$ by jeremyboden
new question: Computation of $\varphi(2000)$ by jeremyboden
May 21
new question: pure subgroups by lvoyster
new correction: Typo in M\"obius function? by Aleph Zero
new collection: analytic number theory by Aleph Zero
May 20
new question: Taylor's Series Query! by unlord
new question: Laplace transform by J
new question: Residue Calculus by J
May 19
new Education: Project: PlanetMath Outlines Series by unlord
May 17
new image: sinx_approx.png by jeremyboden


