Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

Problem: Show that there is a bijective correspondence of $A \times B$ with $B \times A$.

Here is my proof. I want to see if I'm correct about the injective portion of my proof and some insight towards the onto portion.

First, without loss of generality assume $A$ and $B$ are non-empty. Let $g: A \times B \to B \times A$ defined by $g((a,b))=(b,a)$.

One-to-one: Let $(a_1,b_1)$ and $(a_2, b_2)$ be in $A \times B$. Then $g((a_1,b_1))=g((a_2,b_2))$ implies $(b_1,a_1)=(b_2,a_2)$ which implies $(a_1,b_1)=(a_2,b_2)$.

Onto: This one I'm a bit stuck on.

share|cite|improve this question
Let $\langle b,a\rangle$ be an arbitrary element of $B\times A$. Is there an element of $A\times B$ that is sent to $\langle b,a\rangle$ by your $g$? If so, can you say exactly what it is? If you can, you’ve proved that $g$ is onto. – Brian M. Scott Jan 24 '13 at 2:39
It would be $(a,b)$. – emka Jan 24 '13 at 2:47
Exactly $-$ and you’ve now finished your proof. – Brian M. Scott Jan 24 '13 at 2:49
up vote 1 down vote accepted

$$g(A\times B)=\{g((a,b)):a\in A \mbox{ and } b\in B\}=\{(b,a):(b,a)\in B\times A\}=B\times A.$$ This shows that $g$ is onto.

share|cite|improve this answer

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.