MHB Sets so that the cartesian product is commutative

[mathmari]

Hey!

Let $A,B$ be sets, such that $A\times B=B\times A$. I want to show that one of the following statements hold:

• $A=B$
• $\emptyset \in \{A,B\}$

I have done the following:

Let $A$ and $B$ be non-empty set.

Let $a\in A$. For each $x\in B$ we have that $(a,x)\in A\times B$. Since $A\times B=B\times A$, it follows that $(a,x)\in B\times A$. So $a\in B$.

That means that $A\subseteq B$. Let $b\in B$. For each $y\in A$ we have that $(y,b)\in A\times B$. Since $A\times B=B\times A$, it follows that $(y,b)\in B\times A$. So $b\in A$.

That means that $B\subseteq A$. From these two relations we have that $A=B$.
If one of $A$ and $B$ is the emptyset, then it holds that $A\times B=B\times A=\emptyset$.

It also holds that the cartesian product is the empty set, then one of the setsmust be the empty set.

So it holds that $A\times B=\emptyset \iff A=\emptyset \ \text{ or } \ B=\emptyset$.

I am not really sure if the strusture of my proof is correct. At the first case I consider that both $A$ and $B$ are non-empty and I show that it must hold that $A=B$. Then at the other case I just say that if at least one of $A$ and $B$ is empty, then it holds that $A\times B=B\times A$ which is the empty set. But shouldn't I start by $A\times B=B\times A$ and conclude that one of the set must be empty? I am confused now. (Wondering)

 

[I like Serena]

Hey mathmari!

I think your proof is fine.

We start with $A\times B=B\times A$ and we consider 2 cases.
Either $A\times B$ is empty, or it is not empty.
Your proof follows naturally. (Happy)

 

[mathmari]

I think your proof is fine.

We start with $A\times B=B\times A$ and we consider 2 cases.
Either $A\times B$ is empty, or it is not empty.
Your proof follows naturally. (Happy)

Ok! Thanks a lot! (Sun)