I came across this article, by H. Vic Dannon, where he argues that the cardinality of a powerset is not necessarily strictly bigger than the cardinality of the set, and the problem arises when one starts applying properties of finite sets to infinite sets. But that's not the point I am concerned with... On pages 4-5 he describes a purported injection from reals to rationals, more precisely from (0, 1) to rationals. I am not very good at math, so as I read the description I couldn't find the mistake. Could someone please explain where his flaw is (I presume there is one)? Thank you very much.
- Anybody can ask a question
- Anybody can answer
- The best answers are voted up and rise to the top
closed as too localized by Arturo Magidin, Grigory M, Andrés Caicedo, Asaf Karagila, t.b. Jan 30 '12 at 18:41
This question is unlikely to help any future visitors; it is only relevant to a small geographic area, a specific moment in time, or an extraordinarily narrow situation that is not generally applicable to the worldwide audience of the internet. For help making this question more broadly applicable, visit the help center.If this question can be reworded to fit the rules in the help center, please edit the question.
The problem with that argument is that his ‘dictionary listing of the Real numbers’ includes only those sequences that are $0$ from some point on. In other words, he gets only the so-called dyadic rationals in $(0,1)$, those that can be written as a fraction whose denominator is a power of $2$. In particular, it does not include $\sqrt2$, his assertion to the contrary notwithstanding. Since he lists only countably many of the real numbers, it’s no surprise that he is able to find an injection from them into the rationals. He could, in fact, simply have let $f(x)=x$ for each $x$ in his list, and $f$ would have been an injection from his list into the rationals!
The essay is a rather sad exhibition of someone’s reach greatly exceeding his grasp: the author clearly understands very little of the mathematics that he attempts to bring to bear on a non-existent problem.