Question about rationals on the real line.

  • Thread starter cragar
  • Start date
  • Tags
    Line
In summary, the conversation discusses the mapping of rationals to naturals using prime bases and the countability of rationals. It also touches on the existence of a rational between any two reals and the relationship between the number of rationals and irrationals. The conversation highlights the differences in order properties between rationals and naturals, and the possibility of finding an infinite number of rationals and irrationals between two given numbers.
  • #1
cragar
2,552
3
I have seen how one maps the rationals to the naturals by using prime bases. So it is quite clear that the rationals are countable. But it seems strange to me that between any 2 reals there is a rational. So it seems like there would be just as many rationals as reals. This probably has a simple answer but it is not clear to me. Any help will be appreciated.
 
Mathematics news on Phys.org
  • #2
I think the statement says something exists, but not that it is the only thing in there.
 
  • #3
A lot of your pairs of real numbers will have the same rational number. For example for each positive plus negative real number you might pick zero.
 
  • #4
Office_Shredder said:
A lot of your pairs of real numbers will have the same rational number. For example for each positive plus negative real number you might pick zero.
What do you mean by " For example for each positive plus negative real number you might pick
zero "
Ok let's look at the irrationals and the rationals. Between any two irrationals there is a rational.
 
  • #5
cragar said:
What do you mean by " For example for each positive plus negative real number you might pick
zero "
Ok let's look at the irrationals and the rationals. Between any two irrationals there is a rational.

Yes, this is a bit counterintuitive. But say you could go through all the pairs of irrationals; and for each pair, pick a rational that's between them. If you could do this, you'd end up picking the same rational many times. For example you'd find 0 between, say, -pi and pi. And you might also pick 0 as the rational between -sqrt(2) and sqrt(2).

Since the rationals are countable and the irrationals uncountable, it MUST be the case that we will always end up re-using some rationals a lot of times as "the rational between two irrationals."

What's confusing here is that the rationals are equinumerous to the natural numbers; but they have very different order properties. The natural numbers can be well-ordered: there's a first one, and a second one, and a third one, etc.

The rationals could in theory be well-ordered too. But in their usual order, they are not well ordered. Between every rational there's another rational. That's a very different order property than the natural numbers.
 
  • #6
Suppose that your two reals are very close, so they are equal up to the 100th decimal digit. They differ in the subsequent digits; for example, for one of them the 101th digit could be 3 and, for the other, 7. You could find a rational number in-between, say, the one whose 101th digit is 6 and all subsequent digits are zero.

But, of course, that is not the only rational you can imagine. You could choose the one whose digits from the 101th position are 51234 and then all zeros. In fact, there is an infinitude of rationals in between.

Now, how many irrationals do you think you could find between the same two numbers? How many non-repeatable sequences of digits can you form after the 101th digit? Another whole infinitude of them.

So, if between your two reals there are infinite rationals, as well as infinite irrationals, what is the argument, again, to say that there are just as many rationals as irrationals?

What I try to say boils down to realizing that, if your two reals are a,b, with a<b, there is a bijection between the interval [a,b] and the interval [0,1], namely the map f:[a,b]->[0,1] defined as f(x) = (x-a)/(b-a). As SteveL27 points out, the rationals may be countable but they do not line up in the ordinary lesser-to-greater order, so there is no such thing as two contiguous rationals, let alone two contiguous reals.
 
Last edited:
  • #7
@ Dodo : your saying that there are no 2 rationals right next to each other. and the same for the reals. Ok Its starting to make a little more sense.
 

FAQ: Question about rationals on the real line.

1. What are rationals on the real line?

Rationals on the real line refer to any number that can be expressed as a ratio of two integers (e.g. 1/2, 3/4, 5/6). These numbers are part of the set of rational numbers, which are a subset of the real numbers.

2. How are rationals represented on the real line?

Rationals are represented on the real line as points that fall between two integers. For example, the rational number 1/2 would be represented on the real line as the point halfway between the integers 0 and 1.

3. How are rationals different from irrationals on the real line?

Rationals and irrationals are both subsets of the real numbers, but they have different properties. Rationals can be expressed as a ratio of two integers, while irrationals cannot be expressed as a ratio and have an infinite number of non-repeating decimal places.

4. Can all numbers on the real line be expressed as rationals?

No, not all numbers on the real line can be expressed as rationals. For example, the number pi (π) is an irrational number that cannot be written as a ratio of two integers. There are infinitely more irrationals than rationals on the real line.

5. How are rationals used in real life?

Rationals are used in many real-life situations, such as in measurements and calculations. They are also used in everyday tasks like dividing a pizza into equal slices or measuring ingredients for a recipe. In addition, rationals are important in fields such as economics, engineering, and physics.

Similar threads

Back
Top