Mathematics Homework Solutions
Problem
#34601

Prove that there is a one-to-one correspondence between the power set of a countably infinite set A and the set S of all countably infinite sequences of 0's and 1's, and that the power set of A is an uncountable set.

For any set B, let P(B) denote the power set of B (the collection of all subsets of B):

P(B) = {E: E is a subset of B}

Let A be a countably infinite set (an infinite set which is countable), and do the following:

(a) Prove that there is a one-to-one correspondence between P(A) and the set S of all countably infinite sequences of 0's and 1's.

(b) Using the result of part (a) or otherwise, prove that P(A) is uncountable.

Attached file(s):
Attachments
m7.doc  View File

Attachment Content Summary (Note: view attachment at the above link before purchasing. Actual attachment content may vary slightly from that shown below.)

m7.doc
Please explain in your own words how the proof works.

Please use words to describe the proof.

If you use a theorem, please state what it is and if possible, where you
got it.

Solution Summary

The solution consists of a detailed, step-by-step proof of the following: For a countably infinite set A, (a) there is a one-to-one correspondence between the power set of A and the set S of all countably infinite sequences of 0's and 1's; (b) the power set of A is uncountable.

Solution
What is this?
By OTA - Overall OTA Rating
Purchase Cost Now
$2.19 CAD (was ~$7.98)
Included in Download
  • Plain text response
Why you can trust BrainMass.com
  • Your Information is Secure
  • Best Online Academic Help Service
  • Students find real academic Success
Related Solutions
  • Sets and One-to-one Correspondence : Infinite Sets and Cardinal Numbers - Please see the attached file for the fully formatted problems.
  • Uncountable Basis - It can be shown that R (the set of all real numbers) is an infinite-dimensional vector space over Q (field of rationals). Is it true that any basis (by basis I mean algebraic basis or Hamel basis) of ...
  • Countable/uncountable - Undergraduate senior level Real Analysis. Please show me formal math proofs. Prove that the set M of all ordinals corresponding to a countable set is itself uncountable.
  • Real Analysis : Countable Sets and Antichains - Answer the following by esablishing 1-1(one to one) correspondence with a set of known cardinality: 1-is the set of all functions from{0,1} to N countable or noncountable? 2-is the set of all functi ...
  • Real Analysis : Countability - 1. Show that the set of infinite sequences from is not countable. Hint: Let be a function from to . Then is a sequence . Let . Then is again a sequence from , and for each we have . Th ...
Browse