# Thread: [SOLVED] uncountable subset is itself uncountable

1. ## [SOLVED] uncountable subset is itself uncountable

Prove that a set with an uncountable subset is itself uncountable.

2. Originally Posted by ninano1205
Prove that a set with an uncountable subset is itself uncountable.
The proof of this really depends upon what you have already proven and how you proved it.
What definitions and theorems you have to work with. That we don’t know.

In most developments of this material, one would normally have already have proven that Any subset of a countable set is a countable set. Having done that what is the point of this problem?

If $A \subseteq B$ and $A$ is uncountable there can be no injection $f:B \mapsto \mathbb{N}$.
For if there were its restriction to $A$ would be an injection.

I hope you can see how different many different approaches there are and see that the one you need to use depends on what you have already done.

3. ## Is this statement correct?

From the theorem "Every subset of a countable set is countable", can also mean "a set which has any uncountable subset is itself uncountable."
Is it right?

4. Yes those statements are equivalent. But the very fact that you ask tells you that the connection isn't clear as crystal. And you don't want to trivialize the question if it is a homework problem.

If you want to really show the two statements follow from each other, I suggest write the first in If/then form so you can take the contrapositive. Onces that is done I think you will find your way.