MHB Is \mathcal{P}(A)\times\mathcal{P}(A) Equinumerous with \mathcal{P}(A)?

  • Thread starter Thread starter Andrei1
  • Start date Start date
  • Tags Tags
    Infinite Sets
Click For Summary
The discussion centers on the relationship between the power set of a set A, denoted as \mathcal{P}(A), and the Cartesian product of its power set with itself, \mathcal{P}(A) \times \mathcal{P}(A). It is established that if A has at least two elements and A × A is equinumerous with A, then \mathcal{P}(A) \times \mathcal{P}(A) is also equinumerous with \mathcal{P}(A). The Schröder–Bernstein theorem is suggested as a method to prove this relationship by constructing bijective maps. Additionally, it is noted that if A is finite, the condition A × A ∼ A cannot hold. The discussion ultimately reinforces the equivalence of the power set and its Cartesian product under the specified conditions.
Andrei1
Messages
36
Reaction score
0
Suppose $$A$$ is a set with at least two elements and $$A\times A\sim A.$$ Then $$\mathcal{P}(A)\times\mathcal{P}(A)\sim\mathcal{P}(A).$$

My attempt: I know that $$\mathcal{P}((A\times A)\cup A)\sim\mathcal{P}(A\times A)\times\mathcal{P}(A)\sim\mathcal{P}(A) \times \mathcal{P}(A).$$ How to prove that $$\mathcal{P}(A)\sim \mathcal{P}((A\times A)\cup A)$$? More generally, is it true that if $$X$$ and $$Y$$ are infinite and $$X\sim Y$$, then $$X\cup Y\sim Y$$?
 
Physics news on Phys.org
Andrei said:
Suppose $$A$$ is a set with at least two elements and $$A\times A\sim A.$$ Then $$\mathcal{P}(A)\times\mathcal{P}(A)\sim\mathcal{P}(A).$$

My attempt: I know that $$\mathcal{P}((A\times A)\cup A)\sim\mathcal{P}(A\times A)\times\mathcal{P}(A)\sim\mathcal{P}(A) \times \mathcal{P}(A).$$ How to prove that $$\mathcal{P}(A)\sim \mathcal{P}((A\times A)\cup A)$$? More generally, is it true that if $$X$$ and $$Y$$ are infinite and $$X\sim Y$$, then $$X\cup Y\sim Y$$?
Very often the easiest way to tackle problems like this is to use the Schröder–Bernstein theorem. If $A\times A \sim A$ then there is a bijective map $\phi:A\times A\to A.$ Given distinct points $x,y\in A$, the map $U\times V \mapsto \phi\bigl((U\times \{x\})\cup (V\times\{y\})\bigr)$ then gives you an injective map from $\mathcal{P}(A)\times\mathcal{P}(A)$ to $\mathcal{P}(A).$ On the other hand $U\mapsto U\times A$ is an injection in the reverse direction.
 
Andrei said:
Suppose $$A$$ is a set with at least two elements and $$A\times A\sim A.$$ Then $$\mathcal{P}(A)\times\mathcal{P}(A)\sim\mathcal{P}(A).$$
The fact is that if $$A$$ is finite then $$(A\times A)\sim A$$ is impossible.
If $$\|A\|=n\text{ then }\|A\times A\|=n^2$$

Suppose that $$\{C,D,G,H\}\subset \mathcal{P}(A)$$

Now if $$(C,D)\ne(G,H)\text{ then }\left( {C \ne G} \right) \vee \left( {D \ne H} \right)$$

What can you do with that?
 
First trick I learned this one a long time ago and have used it to entertain and amuse young kids. Ask your friend to write down a three-digit number without showing it to you. Then ask him or her to rearrange the digits to form a new three-digit number. After that, write whichever is the larger number above the other number, and then subtract the smaller from the larger, making sure that you don't see any of the numbers. Then ask the young "victim" to tell you any two of the digits of the...

Similar threads

  • · Replies 5 ·
Replies
5
Views
2K
  • · Replies 2 ·
Replies
2
Views
2K
  • · Replies 2 ·
Replies
2
Views
3K
  • · Replies 6 ·
Replies
6
Views
2K
  • · Replies 6 ·
Replies
6
Views
2K
  • · Replies 1 ·
Replies
1
Views
1K
  • · Replies 1 ·
Replies
1
Views
2K
  • · Replies 1 ·
Replies
1
Views
2K
  • · Replies 10 ·
Replies
10
Views
4K
  • · Replies 11 ·
Replies
11
Views
2K