Re: How can you prove it?



On Sun, 30 Sep 2007 12:38:46 -0700, mike3 <mike4ty4@xxxxxxxxx> wrote:

Hi.

How could one prove that there are "more" functions from reals to
reals than there are reals, anyway? How also can one show that the set
of such functions also has "just as many" items in it as the power set
of the reals?


You have received one answer; here's another way to look at it
directly. Suppose there exists a surjection H from the reals to those
functions. So for each a in R there corresponds a distinct function
H(a) = f_a.
Now consider the function g defined with the condition that for each a
in R, g(a) <> f_a(a). Since H is onto, there is w in R such that H(w)
= g, so g = f_w. Then g(w) = f_w(w), a contradiction. So no such
surjection exists.

--Lynn
.



Relevant Pages

  • Re: Uncountable sets in CZF?
    ... there can't be a surjection from the whole of the ... | naturals to the reals. ... set is a countable union of countable sets, ...
    (sci.math)
  • Re: An uncountable countable set
    ... f is not a surjection. ... forall f: A -> P, ... It shows that every list of reals, ... there certainly is a mapping from N to P. ...
    (sci.math)
  • Re: Uncountable sets in CZF?
    ... |a trivial surjection from R onto any subset of N there is a bijection. ... It doesn't follow that there's a bijection. ... is that it is *consistent with IZF* that they are true. ... for all reals if we are able to say that for each real x, ...
    (sci.math)
  • Re: An uncountable countable set
    ... the set of all reals? ... the proof that there is no surjection from N to Pis purely algebraic. ... It is ridiculous to believe this to be a proof of uncountability. ... that such a construction was possible. ...
    (sci.math)
  • Re: Uncountable sets in CZF?
    ... you just claim that it's consistent for the naturals to ... For a surjection from N onto R, that is an injection from R into N. ... I think the point to make clear is that the set of all reals ... Now I'm trying to think about each function from N to N vis-a-vis NxN ...
    (sci.math)

Quantcast