3
$\begingroup$

$\DeclareMathOperator{\card}{card}$ Suppose $\card(C)= \card(D)$, $D \subseteq C$, and $\card(C\setminus D)$ is infinite.

I want to show that $\card(C\setminus D) = \card(C)$.

This is easy enough for me to see in some specific cases. For example, $\card(\Bbb N=\card(\Bbb Q)$, $\Bbb N\subseteq\Bbb Q$, and $\card(\Bbb Q\setminus\Bbb N) = \card(\Bbb Q)$.

But because subtraction of two equal, infinite cardinals is not well defined, I am unsure of how to prove the general case. What would be a good method to go about it?

  • 3
    $C = \mathbb{R}$, $D = \mathbb{R} \setminus \mathbb{Z}$.2012-12-11

2 Answers 2

7

It is not true. Let $C=\mathbb R, D=\mathbb R \setminus \mathbb Q$

2

Either the question says that $C$ is countably infinite, or I'm assuming that you haven't learnt about uncountable sets yet. There are at least 2 types of basic infinities, so you should make this question more specific. In the example given by Ross Millikan, you have that $C$ is uncountably infinite, and so is $D$, but $C-D$ is only countably infinite. Look up the wikipedia articles on types of infinities if you're unfamiliar with them.

  • 1
    @Rebecca: You're already assuming that. You assume that $C$ and $D$ have equal cardinalities, which is just another way of saying that there's a bijection from $C$ to $D$.2012-12-11