You are here
Home ›bijection between unit interval and unit square
Primary tabs
bijection between unit interval and unit square
The real numbers in the open unit interval can be uniquely represented by their decimal expansions, when these must not end in an infinite string of 9’s. Correspondingly, the elements of the open unit square are represented by the pairs of such decimal expansions.
Let
be such a pair representing an arbitrary point in and let
Then it’s apparent that
| (1) |
is an injective mapping from to . Thus
But since contains more than one horizontal open segment equally long as (and accordingly there is a natural injection from to ), we must have also
The conclusion is that
i.e. that the sets and have equal cardinalities, and the Schröder–Bernstein theorem even garantees a bijection between the sets.
Remark. Georg Cantor utilised continued fractions for constructing such a bijection between the unit interval and the unit square; cf. e.g. this MAA article.
Since the mapping defined by
is bijective, we can conclude that the sets and , i.e. the set of the points of a line and the set of the points of a plane, have the same cardinalities. This common cardinality is .
References
- 1 Michael B. Williams: Cardinality (2011). Available here.
Mathematics Subject Classification
03E10 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 correction: typo? by Filipe
May 22
new question: Linear Algebra Combination Problem! by Aleph Zero
new question: Computation of $\varphi(2000)$ by unlord
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


