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

  • Context: MHB 
  • Thread starter Thread starter Andrei1
  • Start date Start date
  • Tags Tags
    Infinite Sets
Click For Summary
SUMMARY

The discussion confirms that if a set $$A$$ has at least two elements and satisfies the condition $$A \times A \sim A$$, then it follows that $$\mathcal{P}(A) \times \mathcal{P}(A) \sim \mathcal{P}(A)$$. The proof leverages the Schröder–Bernstein theorem to establish a bijective mapping between the power sets. Additionally, it is noted that for finite sets, the condition $$A \times A \sim A$$ cannot hold, as the cardinality of $$A \times A$$ would exceed that of $$A$$.

PREREQUISITES
  • Understanding of set theory and cardinality
  • Familiarity with the Schröder–Bernstein theorem
  • Knowledge of power sets, denoted as $$\mathcal{P}(A)$$
  • Concept of bijective functions and injections
NEXT STEPS
  • Study the Schröder–Bernstein theorem in detail
  • Explore the properties of power sets and their cardinalities
  • Investigate the implications of infinite sets in set theory
  • Learn about bijective mappings and their applications in set theory
USEFUL FOR

Mathematicians, students of set theory, and anyone interested in the foundations of mathematics and cardinality concepts.

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?
 

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