Consecutive Reals: A Hypothetical Possibility?

  • Thread starter hddd123456789
  • Start date
In summary, the conversation discusses the concept of consecutive real numbers and whether they can be defined or exist in the set of real numbers. One perspective argues that there is no intuitive way to refer to the "next" real number and that the existence of consecutive reals is independent of the ability to "move along" the real number line. Another perspective suggests that, assuming the Axiom of Choice, there is a successor-like function for every set. The conversation also touches on Zeno's Paradox and the issue of defining successive reals using time. Ultimately, the question remains whether consecutive reals are a justified, if not expressible, idea.
  • #36
hddd123456789 said:
This is really more about semantics than the math.

To an extent yes. Although the mathematics informs the definitions. With only set level data, there are not very many useful ways of talking about the relative sizes of sets. Cardinality is crude but it does manage to capture some useful information.

But when you translate it into plain English and say things like "the even numbers are as large as the naturals", I disagree with the philosophy this statement is based on; it requires a rather special definition on what it means for something being "as large as" something else.

Not really in my opinion. Consider the set {a,aa,aaa,...} consisting of all finite strings of the letter a. Most people would agree this set is equally as large as the natural numbers. That the set of even natural numbers is equally as large as the natural numbers is an immediate corollary. We just change the labels!

Edit: The real problem is not that this definition of size is somehow incongruous with the way people naturally think about things, but rather that most people have inconsistent notions of size that they try applying simultaneously.
 
Last edited:
Mathematics news on Phys.org
  • #37
jgens said:
Not really in my opinion. Consider the set {a,aa,aaa,...} consisting of all finite strings of the letter a. Most people would agree this set is equally as large as the natural numbers. That the set of even natural numbers is equally as large as the natural numbers is an immediate corollary. We just change the labels!

I'm not most people in that case. Again that requires that one accept that there is such a thing as a set of all naturals. Apparently we can see the logical consequences of such a set anyway, but I personally find it akin to asking the unqualified question "how many apples are there?". As many as one likes I say. It just requires somehow consistently and usefully defining unique numbers larger than any of the type (1+1+1+...).
 
  • #38
hddd123456789 said:
Again that requires that one accept that there is such a thing as a set of all naturals.

True. But then claiming the statement that even numbers are equinumerous with the natural numbers is somehow jarring to your intuitive definition of size is kind of silly. You have no belief that such things exist anyway!

In any case, there are lots of reasons to use infinite sets. The first is utility and the widespread use infinite sets have found describing the natural world. The second is aesthetics in that doing math without infinite sets, while possible, gets quite ugly. The third is that even talking about problems in elementary arithmetic gets quite difficult if you discard the notion of infinite sets. For example, one common proof technique works by establishing that a proposition is true for the base case and then showing that if it holds for some arbitrary case, then it must also hold for the next one. Unfortunately without infinite sets you cannot quantify the statement over the set of all natural numbers so this natural proof technique gets broken. One way to fix this involves turning ordinary theorems in arithmetic into metatheorems, much in the same way proper classes are dealt with in ZFC, but this is less than satisfying in my opinion.

Apparently we can see the logical consequences of such a set anyway

Of course we can. The same criticisms can be applied to any axiom of set theory. One could object that the empty set does not really exist or that sets are not actually well-founded. The whole of axiomatic set theory is about deriving the logical consequences of such sets.
 
Last edited:
  • #39
jgens said:
True. But then claiming the statement that even numbers are equinumerous with the natural numbers is somehow jarring to your intuitive definition of size is kind of silly. You have no belief that such things exist anyway!

That's debatable really, but I won't go there.

jgens said:
In any case, there are lots of reasons to use infinite sets. The first is utility and the widespread use infinite sets have found describing the natural world. The second is aesthetics in that doing math without infinite sets, while possible, gets quite ugly. The third is that even talking about problems in elementary arithmetic gets quite difficult if you discard the notion of infinite sets. For example, one common proof technique works by establishing that a proposition is true for the base case and then showing that if it holds for some arbitrary case, then it must also hold for the next one. Unfortunately without infinite sets you cannot quantify the statement over the set of all natural numbers so this natural proof technique gets broken. One way to fix this involves turning ordinary theorems in arithmetic into metatheorems, much in the same way proper classes are dealt with in ZFC, but this is less than satisfying in my opinion.

By the way, I have no issue with infinite sets. I just take issue with Cantor's treatment of them. I don't see them as particularly useful. One would think if they were useful, I would at least have heard of his name in my analysis course in college, let alone his cardinals or ordinals. Instead I was taught strictly limits and that infinity is not a number. Granted it was Calc 1 but you'd think his work would at least be mentioned in passing.
 
Last edited:
  • #40
hddd123456789 said:
I just take issue with Cantor's treatment of them.

The ordinals and cardinals are actually more benign than the infinities used in analysis. Lots of arguments in analysis utilize choice principles, which require further assumptions in addition to those utilized by Cantor.

I don't see them as particularly useful.

This just indicates you have seen very little mathematics. Not that ordinals and cardinals are useless. If you want to see their utility, then the simple solution is to study more mathematics.

One would think if they were useful, I would at least have heard of his name in my analysis course in college, let alone his cardinals or ordinals. Instead I was taught strictly limits and that infinity is not a number. Granted it was Calc 1.

Well introductory calculus and analysis is not really the place where ordinals/cardinals would arise anyway. In truth the ordinal and cardinal numbers are behind some very deep theorems in mathematics and are often used implicitly in other cases. Lastly the infinities in calculus and analysis are very different than the infinites in the theory of transfinite numbers. You seem to be confusing the two which is something that should stop.
 
<h2>1. What are consecutive reals?</h2><p>Consecutive reals refer to a hypothetical set of real numbers that are arranged in a specific order, with each number being the next consecutive number after the previous one. This concept is often used in mathematics and theoretical physics.</p><h2>2. How are consecutive reals different from regular real numbers?</h2><p>Consecutive reals are different from regular real numbers because they are arranged in a specific order, whereas regular real numbers can be arranged in any order. Additionally, consecutive reals are a theoretical concept and do not have a physical representation, unlike regular real numbers.</p><h2>3. Can consecutive reals exist in the real world?</h2><p>No, consecutive reals are a hypothetical concept and do not have a physical representation in the real world. They are often used in theoretical discussions and mathematical proofs, but they do not have a practical application in the physical world.</p><h2>4. How are consecutive reals used in mathematics?</h2><p>Consecutive reals are often used in mathematical proofs and theoretical discussions, particularly in the fields of calculus and number theory. They can also be used to illustrate concepts such as infinity and irrational numbers.</p><h2>5. Are consecutive reals a proven concept?</h2><p>No, consecutive reals are a hypothetical concept and have not been proven to exist. They are often used as a thought experiment to explore mathematical concepts and theories, but they have not been observed or proven to exist in the real world.</p>

1. What are consecutive reals?

Consecutive reals refer to a hypothetical set of real numbers that are arranged in a specific order, with each number being the next consecutive number after the previous one. This concept is often used in mathematics and theoretical physics.

2. How are consecutive reals different from regular real numbers?

Consecutive reals are different from regular real numbers because they are arranged in a specific order, whereas regular real numbers can be arranged in any order. Additionally, consecutive reals are a theoretical concept and do not have a physical representation, unlike regular real numbers.

3. Can consecutive reals exist in the real world?

No, consecutive reals are a hypothetical concept and do not have a physical representation in the real world. They are often used in theoretical discussions and mathematical proofs, but they do not have a practical application in the physical world.

4. How are consecutive reals used in mathematics?

Consecutive reals are often used in mathematical proofs and theoretical discussions, particularly in the fields of calculus and number theory. They can also be used to illustrate concepts such as infinity and irrational numbers.

5. Are consecutive reals a proven concept?

No, consecutive reals are a hypothetical concept and have not been proven to exist. They are often used as a thought experiment to explore mathematical concepts and theories, but they have not been observed or proven to exist in the real world.

Similar threads

Replies
7
Views
2K
  • Topology and Analysis
Replies
5
Views
814
Replies
2
Views
2K
Replies
6
Views
942
  • Differential Equations
Replies
3
Views
2K
Replies
13
Views
1K
  • Set Theory, Logic, Probability, Statistics
2
Replies
55
Views
4K
Replies
4
Views
1K
Replies
4
Views
1K
Back
Top