Show that if A and B are sets with the same cardinality, then the power set of A and the power set of B have the same cardinality.
Since A and B have the same cardinality there is a bijection between A and B.
Therefore each element of A can be paired with each element of B.
It then follows that every subset of A can be paired with every subset of B.
This means that there is a bijection between the power set of A and the power set of B.
Which proves that the power set of A has the same cardinality as the power set of B.
Can anyone validate or show if and where this proof is wrong? I have a quiz tomorrow.
Thanks
Thanks for the advice, just getting used to the Latex format. Here is the actual problem from the quiz. Another student came up with the basis of the proof but it wasn't finished. So any critique of the following proof is greatly appreciated.
Given,
|A| = |B|
Prove that | | = | | where implies the cartesian product.
|A| = |B| f:A B | f is bijective
={ , , ... , ) | for i = 1,2, ... ,n}
B = {b | b = f(a)}
= { ( , , ... , ) | for i = 1,2, ... , n}
but = f( )
we can then define a function
g( , , ... , ) = ( , , ... , ) = (f( ), f( ), ... , f( ))
We need to prove g is bijective in order to show | | = | |
Let g( , , ... , ) = g( , , ... , )
but g( , , ... , ) = ( , , ... , )
also g( , , ... , ) = ( , , ... , )
obviously ( , , ... , ) = ( , , ... , )
Therefore g is injective.
To prove g is surjective:
( , , ... , ) ( , , ... , ) |
g( , , ... , ) = ( , , ... , )
but ( , , ... , ) = (f( ), f( ), ... , f( ))
since f is bijective this proves g is surjective.
Therefore g is bijective which proves | | = | |