Actually "monotone" suffices, since monotone maps are injective, and you can't even have and injective map from an uncountable set to a countable one. But yeah, all the same bijectivity would do it too. The cardinality approach is what came to mind first since that seemed more intuitive, but I agree the sqrt(2) proof is sick (and constructive!)
19-Aug-2016 18:12:38
- Last edited on
19-Aug-2016 18:12:57
by
Markiv13