Extrapolating linear ratios
- From: WM <mueckenh@xxxxxxxxxxxxxxxxx>
- Date: Fri, 12 Dec 2008 07:45:42 -0800 (PST)
Cantor's diagonal argument shows that the anti-diagonal number AD
cannot exist at the n-th place of a diagonalized sequence. From this
fact it is concluded that the AD cannot be a member of the complete
infinite sequence. But this conclusion is invalid unless the ratio of
0 ADs and 1 numbers
0/1 = 0
at the n-th place of the sequence can be extrapolated to yield 0 ADs
for the complete sequence. This conclusion is not self-evident,
because in mathematics we cannot conclude in general from 0*n = 0 that
0*oo = 0 is correct.
Without this possible extrapolation, however, Cantor's proof is
invalid. But if this extrapolation holds, then it shows also that the
number of elements of the set of positive even numbers cannot be
larger than every number of the set.
Let n be the cardinal number of the set. The ratio of positive even
numbers > n and positive even numbers =< n cannot be less than 1. The
minimum of this ratio
|{2(n+1), 2(n+2), ..., 4n}| / |{2, 4, 6, ..., 2n}| = 1
is taken for initial segments of the form {2, 4, 6, ..., 4n}. For all
other finite sets of positive even numbers this ratio is larger. By
extrapolating as above we see that every infinite set of positive even
numbers contains numbers that are larger than the cardinal number of
the set.
This can also be seen by a geometric argument: Counting elements means
to add a step width of one unit per count on the real axis. But every
even number consumes two units on the real axis. Therefore it is
impossible to compress any set of even numbers to a diameter that is
smaller than the number of elements.
Therefore, every set of positive even numbers contains numbers larger
than its cardinal number.
Regards, WM
.
- Follow-Ups:
- Re: Extrapolating linear ratios
- From: george
- Re: Extrapolating linear ratios
- From: george
- Re: Extrapolating linear ratios
- From: george
- Re: Extrapolating linear ratios
- From: David C . Ullrich
- Re: Extrapolating linear ratios
- From: george
- undefined terms as usual
- From: george
- Re: Extrapolating linear ratios
- From: george
- Re: Extrapolating linear ratios
- Prev by Date: Re: uniqueness quantifier
- Next by Date: Re: Cantor's "diagonal argument". My Objection.
- Previous by thread: Re: XP home "increases virtual memory as it's too low"
- Next by thread: Re: Extrapolating linear ratios
- Index(es):
Relevant Pages
|
Loading