Re: Power Set and Collection of finites subsets of N



iAGENT wrote (in part):

Power Set is collection of all subsets of N.
Can anybody tell me how Power Set is different
from collection of finite subsets of N?

Resolving this issue will probably clear up the
other thing you asked about. The following are
subsets of N, but not finite subsets of N:

{2, 4, 6, 8, ...}

{3, 6, 9, 12, ...}

{2, 2^2, 2^3, 2^4, ...}

{n: n is a prime number}

You're overlooking the infinite subsets of N.
Indeed, "almost all" subsets of N are infinite. The
collection of infinite subsets of N as compared to
the collection of finite subsets of N is somewhat
like the collection of finite subsets of N as
compared to the collection of empty subsets of N
(the latter is a collection that contains only
one set).

Dave L. Renfro

.



Relevant Pages

  • Re: Diagonalization theorem
    ... iAGENT wrote: ... Power Set is collection of all subsets of N. ... finite subsets of N? ... infinite subsets. ...
    (comp.theory)
  • Re: Simple Set Theory question
    ... finite subsets of x is the power set of x, ... Okay, I see how I can formalize that. ... I pretty much see intutitively that it is an injection, ...
    (sci.math)
  • Re: Power Set and Collection of finites subsets of N
    ... iAGENT wrote: ... finite subsets of N? ... Let E be the set of all even positive integers. ... Is E in the power set of N? ...
    (sci.math)
  • Re: Well ordering of reals
    ... how do we get all possible pairs that are well-orderings on ... What does it mean to "get" even ONE pair, let alone "all ... We can even do it for many infinite subsets. ... "for ALL" the finite subsets of R, which implies that you can do it ...
    (sci.math)
  • Re: Well ordering of reals
    ... how do we get all possible pairs that are well-orderings on ... orderings for it. ... We can even do it for many infinite subsets. ... "for ALL" the finite subsets of R, which implies that you can do it ...
    (sci.math)