Re: On Counting Irrational Numbers



On Thu, 26 Jul 2007 23:36:01 -0700, mthggl@xxxxxxxx wrote:
I have studied that irrational numbers are uncountable. I also have
an idea which shows that there cannot be two successive irrational
numbers, such that irrational numbers alternate with rational numbers
in occurance.

It's not an "alternation", because there is never a "next" number, either
rational or irrational. Between any two irrational numbers, there is a
countable infinity of rationals. But between any two rationals, there
are uncountably many irrationals.

If this is the case, it means that there is, at most,
an equivalence between the number of irrational and rational numbers.

An equivalence would be a bijection f: Q -> R\Q. What mapping f do you
have in mind? (Hint: there isn't one.)

Why then are irrational numbers uncountable? This idea has been
troubling me for some time and I would ask if someone could clarify
the error. The full argument is located at:
http://geocities.com/mthggl/On_Counting_Irrational_Numbers.pdf
I am an undergraduate student and would truly appreciate any and all
help. Thank you for your time.

Sincerely,
Ryan R. Zito

The first error is in your very first sentence:

The irrational number set, R\Q, has been defined as uncountable
in contrast to the countable rational number set, Q.

You seem to think that someone just woke up one morning and decided,
"Today, I think I'll define the irrationals to be uncountable." False.
It's actually a very easy proof. Do you agree to the following?

(1) Q is countable.
(2) R is uncountable.
(3) The union of two countable sets is countable.

From these facts it easily follows that the irrationals, R\Q, must be
uncountable.

You argue that uncountability has something to do with "denseness".
Incorrect. For example, Q is dense in R but is countable. On the other
hand, P(N), the power set of the naturals, is uncountable but is not in
any sense dense.

You claim that the irrationals cannot be uncountable unless there are
"consecutive irrationals" somewhere in the line. You give no reason for
thinking this, and it is clearly wrong. After all, the reals are
uncountable, but there are no "consecutive reals" anywhere in the line.


--
Dave Seaman
Oral Arguments in Mumia Abu-Jamal Case heard May 17
U.S. Court of Appeals, Third Circuit
<http://www.abu-jamal-news.com/>
.



Relevant Pages

  • Re: There are uncountably many irrationals was Re: abundance of irrationals
    ... >> sure you have not exhausted the irrationals. ... There are always countably many rationals and uncountably many ... uncountable, which, together with the countability of the rationals, ... demostrates the uncountability of the irrationals. ...
    (sci.math)
  • Re: infinitely many nns = infinite nns?
    ... every two irrationals, it would seem that the rationals and the ... Possibly at first glance, but that assumes that the number of rationals between two irrationals is the same as the number of irrationals between two rationals, which is distinctly not the case. ... There are never two or more reals "in a row" without others between them, regardless of their rationality or lack therof. ... Now, if we want to say that we are limited by potential infinity when mentally examining a structure with actually infinitely many elements, I would certainly agree that we cannot mentally examine the elements individually, but in the limit, where actual infinity either CAN be used, or at least predicted, there cannot be a y between ANY two x's. ...
    (sci.logic)
  • Re: Rational/Irrational Numbers
    ... irrationals into the rationals and thus a surjection from the rationals ... for Union Q_h < Q_i.) ... rationals and irrationals are each dense in the reals, ...
    (sci.math)
  • Re: Rational numbers, irrational numbers: each dense in real numbers
    ... Among the notions of why there are "more" irrationals than rationals ... reals, ... Then, particular rationals of smaller numerators, after one and zero, ... as well in these infinite expansions have various ...
    (sci.math)
  • Re: abundance of irrationals
    ... > And this sequence includes neither all rationals nor all irrationals. ... we get an alternating sequence ...
    (sci.math)