2
$\begingroup$

I was thinking about this one for a while and can't find a proper function.

let $M=${$A\in P(N)$|A And A' are infinite}

(for example: the set of all even numbers will be in M, the complement of A will be all odd numbers (of N). )

I need to find the cardinal number of M.

so I know that $M\subseteq P(N)\rightarrow|M|\leq|P(N)=C$

now for the other way, what one to one function can I show to M?

$\endgroup$
1
  • 1
    $\begingroup$ Maybe don't find explicit one. Show instead that the collection of sets not in $M$ is countable. $\endgroup$ – André Nicolas May 7 '14 at 20:25
3
$\begingroup$

For each subset $A \subseteq P(\Bbb N)$, define $B$ by taking three times each element of $A$, union the set of naturals $\equiv 1 \pmod 3$. Both $B$ and $B'$ are infinite, so we have an injection of $A$ into $M$.

$\endgroup$
3
$\begingroup$

HINT: $\mathcal P(\Bbb N)\setminus M$ is the union of two countable sets.

$\endgroup$

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.