2
$\begingroup$

Calculate the cardinality of $\mathcal P_\mathfrak{c}(\mathbb R)=\{\mathcal R \in \mathcal P(\mathbb R) \, /\, \#(\mathcal R)=\mathfrak{c}\}$.

I thought that instead of $\mathcal P_\mathfrak{c}(\mathbb R)$ I should think in $\mathcal P_c([0,1))$ so i can work with the representation of $x \in [0,1)$ in the binary numeral system but I don't know how to do a bijection with that set. Of course, I am thinking that $\mathcal P_c(\mathbb R)$ has the cardinality of $\mathbb R$. (Aclaration: $\mathfrak{c}=\#\mathbb R)$

$\endgroup$
  • 1
    $\begingroup$ If by $\mathfrak{c}$ you mean the cardinality of the continuum, then the cardinality will be $2^{\mathfrak{c}}$. $\endgroup$ – André Nicolas Jul 12 '15 at 1:59
  • 1
    $\begingroup$ Not a great notation. Usually in set theory $\mathcal P_\kappa(X)$ denotes the set of subsets of $X$ of cardinality strictly less than $\kappa$. $\endgroup$ – Asaf Karagila Jul 12 '15 at 2:20
5
$\begingroup$

The cardinality of $\mathcal{P}_\mathfrak{c}(\mathbb{R})$ is $2^\mathfrak{c}$.

Clearly we have $\mathcal{P}_\mathfrak{c}(\mathbb{R}) \subseteq \mathcal{P}(\mathbb{R})$ so that $\left|\mathcal{P}_\mathfrak{c}(\mathbb{R})\right|\le 2^\mathfrak{c}$.

On the other hand, we have $X\cup (0,\infty) \in \mathcal{P}_\mathfrak{c}(\mathbb{R})$, where $X$ is an arbitrary subset of $(-\infty,0)$. But the number of such subsets is $2^\mathfrak{c}$ since $|(-\infty,0)| = \mathfrak{c}$. Hence $\left|\mathcal{P}_\mathfrak{c}(\mathbb{R})\right| \ge 2^\mathfrak{c}$.

$\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.