0

Prove or disprove: Let $S$ be an infinite set such that, $S\cap \mathbb{N}=\emptyset$. Is$|S|=|S\cup \mathbb{N}|$ always true?

1 Answers1

2

The set $\Bbb N$ is the smallest infinite set, in the sense that $$ \text{$X$ infinite}\Longrightarrow|\Bbb N|\leq|X|. $$ Thus, if $S$ is infinite one has $|S|=|S\cup\Bbb N|$ regardless if $S$ and $\Bbb N$ are disjoint or not.

Andrea Mori
  • 26,969
  • 1
    This does not seem to answer the question. How does $|S|=|S\cup\mathbb N|$ follow from the fact that $|\mathbb N|$ is the smallest infinite cardinality? – Andrés E. Caicedo Oct 26 '19 at 21:35
  • 1
    @AndrésE.Caicedo: because is a general fact (which I assumed known) that if $A$ and $B$ are sets with $B$ infinite and $|A|\leq|B|$ then $|A\cup B|=|B|$. – Andrea Mori Oct 27 '19 at 08:30