How can I mathematically prove that the sets $[0,5]$ and $[12,60]$ have the same cardinality using Cantor's bijection? While simply drawing a linear function seems tempting, my teacher wants us to do so by demonstrating the four following statements:
- The function is injective.
- The function is surjective.
- If $x \in [0,5]$, then $y\in [12, 60]$.
- If $y \in [12,60]$, then $x \in [0,5]$.
Hint: Linear interpolation polynomial.
Some details:
The linear polynomial that takes the value $12$ at $x=0$ and $60$ at $x=5$ is: $$l(x)=60\frac{x-0}{5-0}+12\frac{x-5}{0-5}.$$