Machine-translated by Google. Questions are authored in English.
Top

Discussion

Let \(N\) be the set of natural numbers. Consider the following sets.

\(P\): Set of Rational numbers (positive and negative)
\(Q\): Set of functions from {0, 1} to \(N\)
\(R\): Set of functions from \(N\) to {0, 1}
\(S\): Set of finite subsets of \(N\).

Which of the sets above are countable?

  • A.Q and S only
  • B.P and S only
  • C.P and R only
  • D.P, Q and S only

Answer: D

The countable sets are P, Q and S.

  • P: the rationals are countable, since each is a pair of integers and the pairs can be listed.
  • Q: a function from {0, 1} to N is just an ordered pair of natural numbers, and N × N is countable.
  • S: the finite subsets of N can be listed by size and largest element, or matched with the natural numbers through binary representation.
  • R: a function from N to {0, 1} is an infinite binary sequence, and Cantor's diagonal argument shows these are uncountable.

So any option containing R, or leaving out one of P, Q or S, is wrong.

No comment is present. Be the first to comment.
Loading…

Post your comment

Please log in or register to post a comment.