Let A, B, and C be sets with A not equal to the empty set...

Is the following proposition true or false? Justify your conclusion.

Let A, B, and C be sets with A not equal to the empty set. If the Cartesian Product AXB = the Cartesian Product AXC, then B=C.

Explain where the assumption that A is not equal to the empty set is needed.

This proposition seems true to me, but I have no idea how to prove it. I tried showing that AXB = AXC by showing they are subsets of each other, but I'm not sure if that's the right approach. Additionally, my proof of showing they are subsets of one another didn't get very far.

Can anyone show me how to do this step by step?

Re: Let A, B, and C be sets with A not equal to the empty set...

$\displaystyle A\times B=A\times C$, so the cardinal of $\displaystyle A\times B$ is equal to the cardinal of $\displaystyle A\times C$, so the cardinal of B is equal to the cardinal of C.

If $\displaystyle B = \left \{ b_1, b_2, ..., b_n \right \}$ and $\displaystyle C = \left \{ c_1, c_2, ..., c_n \right \}$, write $\displaystyle A\times B$ and $\displaystyle A\times C$, then... I don't know it's pretty obvious. ^^'

Re: Let A, B, and C be sets with A not equal to the empty set...

Quote:

Originally Posted by

**Brjakewa** Is the following proposition true or false? Justify your conclusion.

Let A, B, and C be sets with A not equal to the empty set. If the Cartesian Product AXB = the Cartesian Product AXC, then B=C.

Explain where the assumption that A is not equal to the empty set is needed.

We know that $\displaystyle \left( {\exists a \in A} \right)$, WHY?

If $\displaystyle x\in B$ then $\displaystyle (a,x)\in A\times B.$ Why?

Does that mean $\displaystyle (a,x)\in A\times C~?$ WHY?

So does that mean $\displaystyle x\in C~?$ WHY?

**YOU** finish it now.

Re: Let A, B, and C be sets with A not equal to the empty set...

Quote:

Originally Posted by

**veileen** $\displaystyle A\times B=A\times C$, so the cardinal of $\displaystyle A\times B$ is equal to the cardinal of $\displaystyle A\times C$, so the cardinal of B is equal to the cardinal of C.

If $\displaystyle B = \left \{ b_1, b_2, ..., b_n \right \}$ and $\displaystyle B = \left \{ c_1, c_2, ..., c_n \right \}$, write $\displaystyle A\times B$ and $\displaystyle A\times C$, then... I don't know it's pretty obvious. ^^'

How would that even begin to show $\displaystyle B=C~?$

This proof is not about cardinalty.

Re: Let A, B, and C be sets with A not equal to the empty set...

The second set is $\displaystyle C = \left \{ c_1, c_2, ..., c_n \right \}$, sorry.

$\displaystyle A \times B=A \times C$ means that every element from $\displaystyle A \times B$ is in $\displaystyle A \times C$ too.

Re: Let A, B, and C be sets with A not equal to the empty set...

Quote:

Originally Posted by

**veileen** The second set is $\displaystyle C = \left \{ c_1, c_2, ..., c_n \right \}$, sorry.

Why are you assuming that sets $\displaystyle C~\&~B$ are finite?

Again, cardinality has nothing to do with this problem.