From: mueckenh on

Russell schrieb:

> mueckenh(a)rz.fh-augsburg.de wrote:
> > Daryl McCullough schrieb:
>
> [snip]
>
> > > What it shows is that the assumption that f is a surjection
> > > from N to P(N) leads to a contradiction. If something leads
> > > to a contradiction, then it is provably false.
> >
> > So drop this assumption. There is no mapping, even if surjectivity is
> > not at all in question!
>
> There is *no* mapping? No mapping at all? How can that
> be, if P(N) is a set with at least one member? Please tell
> us more about this interesting claim of yours.

There is no mapping including K as the image of at least one source
element, even if surjectivity is not at all in question!

Regards, WM

From: mueckenh on

Daryl McCullough schrieb:
> Yes. The reasoning is very similar:
>
> If f is any function from N to P(N), then
> K(f) is an element of P(N) that is not in
> the image of f. Therefore, f is not a surjection.
>
> If L is any enumeration of reals (that is, L is a
> function from N to R), then D(L) is an element of
> R that is not in the enumeration L. Therefore, L
> is not complete.

On the other hand we know that the set of individualizable real numbers
is countable.

> The theorem is this:
>
> forall A:set,
> forall f: A -> P(A),
> exists K: P(A),
> K is not in the image of f
>
> which implies
>
> forall A:set,
> forall f: A -> P(A),
> f is not a surjection from A to P(A)

But for all sets S constructed by the diagonal argument, we find a
surjective mapping g: |N --> S.
>
> which implies
>
> forall A:set,
> there does not exist a surjection from A to P(A)
>
> >and shows only what it does show in fact, namely the
> >countability of all list numbers including all diagonal
> >numbers which can be constructed.
>
> It shows that every list of reals, there is at least one
> real that is not on the list. From that, it follows that
> there is no list containing all real numbers.

No. It means that there is a paradox which can be remedied by switching
the mapping from f to g and this is possible for every real number
constructed. Therefore there is no uncountable set of reals.

> By definition,
> that means that the reals are uncountable.
>
> >> What it shows is that the assumption that f is a surjection
> >> from N to P(N) leads to a contradiction. If something leads
> >> to a contradiction, then it is provably false.
> >
> >So drop this assumption. There is no mapping, even if
> >surjectivity is not at all in question!
>
> Well, there certainly is a mapping from N to P(N). For
> example, let f(n) = { n }. So I don't know what you could
> possibly mean by saying that there is no mapping.

There is no mapping including K as the image of at least one source
element, even if surjectivity is not at all in question!

Regards, WM

From: mueckenh on

Daryl McCullough schrieb:

> >The assumption includes that |N and P(|N) do exist as complete sets.
>
> Actually, the nonexistence of a mapping from N to P(N) has nothing
> to do with whether N and P(N) exist as "complete sets". If you
> want to think of them as potentially infinite, that's fine. It's
> still possible to have a bijection between two potentially infinite
> sets.

Correct. If |N and P(|N) are potentially infinite, then the definition
of a mapping doesn't cause any problem, but it can be shown bijective,
because there is no completeness.
>
> The function f(x) = 2*x is a surjection from the set of naturals
> to the set of even naturals. It doesn't matter whether you think
> of the naturals as "completed" or not; if x is any natural whatsoever,
> I can multiply by 2 to get an even natural. And given any even natural,
> I can divide by two to get a natural. It doesn't matter whether the
> naturals are "complete" or not.
>
> Similarly, there is a surjection from P(N) to [0,1]. Given any set S of
> naturals, I can generate a real number as follows:
>
> r(S) = sum over all j in S of 2^{-j}
>
> I don't need to think of the set [0,1] as "completed" in order to
> understand that this mapping is surjective.

"Surjective" means that all elements are in the image. A potentially
infinite set is always finite though surpassing any given limit.
Therefore the question of all of them cannot be decided.

Regards, WM

From: mueckenh on

Virgil schrieb:


> Actually, even if it IS true, it would not allow transmutation of a set
> with a first element into one without a first element, at least if the
> transpositions are applied sequentially, as they must be.

The transpositions are just as sequentially as the construction of the
diagonal number.

> There would have to be a first transposition in the sequence which
> effects the change, and a single transposition is incapable of doing
> this.

This arguing stems from König (1905). We know that there are only
countably many constructible reals. If there is a well-ordering of the
reals, then within this order there must be a first non-constructible
real. This is a paradox. Hence, there is no well order.

Regards, WM

From: Daryl McCullough on
mueckenh(a)rz.fh-augsburg.de says...

>"Surjective" means that all elements are in the image. A potentially
>infinite set is always finite though surpassing any given limit.
>Therefore the question of all of them cannot be decided.

That's not true. If A is a "potentially infinite" set, then
saying "forall x in A, Phi(x)" just means that if x is any
thing of type A, then Phi holds of x. It doesn't matter whether
A is "completed" or not.

We know perfectly well that if x is a natural number, then x+x
is an even natural number. From this fact, it follows that

forall x: Natural, x+x is even

"forall" doesn't mean that anyone has *checked* every element of
the set.

--
Daryl McCullough
Ithaca, NY

First  |  Prev  |  Next  |  Last
Pages: 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39
Prev: integral problem
Next: Prime numbers