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...

, so the cardinal of is equal to the cardinal of , so the cardinal of B is equal to the cardinal of C.

If and , write and , 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...

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

Quote:

Originally Posted by

**veileen** , so the cardinal of

is equal to the cardinal of

, so the cardinal of B is equal to the cardinal of C.

If

and

, write

and

, then... I don't know it's pretty obvious. ^^'

How would that even begin to show

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 , sorry.

means that every element from is in 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

, sorry.

Why are you assuming that sets are finite?

Again, cardinality has nothing to do with this problem.