0
$\begingroup$

Suppose you have a set A which has the same cardinality with real numbers R, which means |A| = |R|. Also suppose that you have a finite set B , which of course has finite cardinality. Also suppose A is a proper subset of A union B, I mean there are some objects which are not an element of A but they are an element of B.

Now is the cardinality of A union B greater than the cardinality of real numbers, also if so is this cardinality of A union B equal to cardinality of the power set of real numbers ?

  • 2
    This question is very elementary, but I wouldn't call it *bad* -- why the downvotes, with no explanatory comments?2012-07-24

2 Answers 2

10

The cardinality of the union is exactly the cardinality of $\mathbb R$. To see that, take the extreme case that $A$ and $B$ are disjoint and use the bijections $f:A\to R$ and $g:B\to \{0,\dots,k-1\}$ where $k=\lvert B\rvert \in \mathbb{N}$ to construct a bijection $\phi: A\cup B\to\mathbb{R}$ as follows: $\phi(x) = \cases{ g(x) & for $x\in B$\\ f(x)+k & for $x\in A$ and $f(x)\in\mathbb{N}$\\ f(x) & for $x\in A$ and $f(x)\notin\mathbb{N}$ }$ If $A\cap B\neq\emptyset$ then use the fact that $A\cup B=A\cup(B\setminus A)$ and do the same construction with $B\setminus A$ instead of $B$ (of course, then $k=\lvert B\setminus A\rvert$).

Note that a similar construction works also if $B$ is countable infinite. In that case, map $B$ to the odd numbers and replace $f(x)+k$ with $2f(x)$ for $f(x)\in \mathbb N$.

  • 0
    @AlexBecker: Yes, however then one needs a different strategy to make place for uncountably many elements; functions mapping the reals to the negative and to the non-negative numbers are an obvious choice.2012-07-24
5

The question, in a nutshell, asks whether or not $n+\frak c=\frak c$, for finite $n$, where $\frak c$ is the cardinality of the continuum.

The answer is yes, if we add to the continuum a finite set then we do not increase its cardinality. In fact even if we add a set of size continuum, namely $\frak c+c=c$, and even $\frak c\times c=c$.

To reach the cardinality of ${\cal P}(\Bbb R)$ we need a fairly large set, i.e. $A+{\frak c}={2}^\frak c$ then $|A|=2^\frak c$, and this can be pretty large in ZFC. In fact, it can be just about any cardinal which has a cofinality of $<\frak c$.