1. Not finding help here? Sign up for a free 30min tutor trial with Chegg Tutors
    Dismiss Notice
Dismiss Notice
Join Physics Forums Today!
The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

A simple question about counting and sets

  1. Aug 3, 2006 #1
    This is the question, and we're supposed to answer if it's true or false:

    If A is a countably infinite set, and A is a proper subset of another set B,
    then B is uncountable.

    I thought this was false, because if A is infinite and countable, then B should also be infinite and countable in the same way A is if it's a proper subset of B. Could we list elements of A, then elements of B that are not contained in A?
  2. jcsd
  3. Aug 3, 2006 #2
    Which of [itex]\mathbb{N}, \mathbb{Z}, \mathbb{Q}, \mathbb{R}[/itex] are contained in which? Which ones are countable? :smile:
  4. Aug 3, 2006 #3
    If A is the set containing natural numbers, and B is the set containing real numbers, then B would have to be uncountable right?
  5. Aug 3, 2006 #4
    But what if A is the natural numbers and B is the integers?
  6. Aug 3, 2006 #5
    That's a good point. In that case it would be countable. So I guess in that case the answer is false, seeing that B can be countable or uncountable.

  7. Aug 3, 2006 #6


    User Avatar
    Homework Helper

    The defining property of infinite sets is that they have proper subsets of the same cardinality as the set.
  8. Aug 3, 2006 #7
    So, since B is infinite (and it should be if A is, correct?), then it should have the same cardinality as A - and we know the cardinality of A because it's countable, meaning that B would be countable in that case?
  9. Aug 3, 2006 #8


    User Avatar
    Homework Helper

    Not necessarily. It just means that for any infinite set B, there exists a proper subset A of B with the same cardinality as B. Thus if B is countably infinite, it has a countably infinite proper subset A, and so these form a counterexample to the statement in your first post. It doesn't mean that all sets containing A are countably infinite, as for example, the reals contain the integers, but are not countable.
Know someone interested in this topic? Share this thread via Reddit, Google+, Twitter, or Facebook

Have something to add?

Similar Discussions: A simple question about counting and sets
  1. Counting sets (Replies: 6)

  2. Simple sets question (Replies: 3)

  3. Sets and counting (Replies: 2)