Results 1 to 4 of 4

Math Help - [SOLVED] uncountable subset is itself uncountable

  1. #1
    Junior Member
    Joined
    Nov 2008
    Posts
    53

    [SOLVED] uncountable subset is itself uncountable

    Prove that a set with an uncountable subset is itself uncountable.
    Follow Math Help Forum on Facebook and Google+

  2. #2
    MHF Contributor

    Joined
    Aug 2006
    Posts
    18,607
    Thanks
    1574
    Awards
    1
    Quote Originally Posted by ninano1205 View Post
    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.
    Follow Math Help Forum on Facebook and Google+

  3. #3
    Junior Member
    Joined
    Nov 2008
    Posts
    53

    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?
    Follow Math Help Forum on Facebook and Google+

  4. #4
    Newbie
    Joined
    Feb 2009
    Posts
    1
    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.
    Follow Math Help Forum on Facebook and Google+

Similar Math Help Forum Discussions

  1. ORD subset of L; |ORD| uncountable; |L| countable --?
    Posted in the Discrete Math Forum
    Replies: 4
    Last Post: November 15th 2010, 05:45 AM
  2. uncountable set
    Posted in the Differential Geometry Forum
    Replies: 1
    Last Post: September 20th 2009, 09:45 AM
  3. Replies: 4
    Last Post: October 11th 2008, 01:42 PM
  4. uncountable
    Posted in the Discrete Math Forum
    Replies: 5
    Last Post: July 10th 2008, 12:37 PM
  5. N^N is uncountable
    Posted in the Number Theory Forum
    Replies: 1
    Last Post: March 22nd 2008, 01:34 AM

Search Tags


/mathhelpforum @mathhelpforum