Quote:
|
Originally Posted by T0M
… Let A be the first positive Real number …
|
Before proceeding to consider the rest of this proposition, let’s examine the terms used, and see if the statement is meaningful.
The term “first” has a pretty precise mathematical meaning. In a finite or infinite countable set, it is the element mapped to the Natural number 1. Note that, since there are many possible schemes (algorithms) for mapping the Natural numbers (1, 2, 3 …) to a given countable set, the precise meaning of the term “fists” is dependent on the scheme. Let’s not worry about this potential ambiguity for now, though, but look instead at some popular mappings of the set of Natural numbers to some well-known number sets.
The Integers (… -2, -1, 0, 1, 2, 3 …) can be mapped to the Naturals with this scheme for generating an integer (Z) from 2 Naturals (W
1 and W
2):
Z = W
1 - W
2.
It’s reasonable, then, to assert that the first Integer is generated by 2 instances of the first Natural, that is:
0 = 1-1,
and that the first positive Integer is:
1 = 2-1.
A Rational number (Q) can be generated from an Integer (Z) and a Natural (W) by:
Q = Z / W,
so by similar reasoning, the first Rational is
0 = 0 / 1,
and the first positive Rational is:
1 = 1 / 1.
This technique can be applied to many number sets, giving many reasonable “first” numbers in each set.
We run into trouble, however, when trying to apply it to generate a good candidate for the first Real number. There’s no simple scheme for generating Reals from Naturals, or numbers that can be generated from Naturals, an accepted fact for which many proofs exists, one of the most famous being 19th century Math superstar Cantor’s
”diagonal argument”. For this reason, the set of Real numbers is called “uncountable”.
Since there’s no scheme to map the Reals to the Naturals, the phrase “the first positive Real number” seems to describe a thing too poorly defined to be mathematically useful. Introducing the infinity symbol (∞) doesn’t get rid of this underlying trouble, but seems to lead back to the confusion being discussed in
Infinite = 1.