removing a countable subset from an infinite set doesn't change cardinality

1.1k Views Asked by At

Prove that if an infinite set $S$ has a countable (infinite or finite) subset removed from it leaving the set $T$, and $T$ is infinite then: $$|S|=|T|$$

I have seen some proofs related to this but usually only regarding removing a finite set.

Any help would be appreciated.

2

There are 2 best solutions below

2
On BEST ANSWER

Hint: let be $R$ the countably infinite subset s.t. $S = T\cup R$. Extract $Q\subset T$ countably infinite. Construct a bijection between $Q$ and $R\cup Q$.

1
On

If S is countable and T is infinite, then T must be countable. If S is uncountably infinite, then removing a countable set leaves a noncountable set behind.