2
$\begingroup$

Result: $(A\times C)-(B\times C)\subseteq (A-B)\times C$

Proof: Let $(x,y)\in (A\times C)-(B\times C)$. Then $(x,y)\in A\times C,\implies x\in A,y\in C$. Since $(x,y)\notin B\times C, x\notin B$. Thus $x\in A-B$ and hence $(x,y)\in (A-B)\times C$

  • 0
    And the logic is not entirely clear. Overuse of $\implies$. Also, should separate what $(x,y)\in A\times C$ implies from what $(x,y)\not\in B\times C$ implies.2012-10-20

1 Answers 1

3

The proof is in principle correct. However, one might add that $(x,y)\notin B\times C$ gives you immediately only $x\notin B\lor y\notin C$. But together with $y\in C$ (from $(x,y)\in A\times C$), you get indeed that $x\notin B$.

If one really wants to make that proof very explicit, one may werite:

Let $z\in (A\times C)-(B\times C)$ be an arbitrary element. Then $z\in A\times C$ and $z\notin B\times C$, hence there exist $x\in A$, $y\in C$ with $z=(x,y)$. If we assume $x\in B$, then this implies $z=(x,y)\in B\times C$, contrary to $z\notin B\times C$. Hence $x\notin B$, i.e. $x\in A-B$ and together with $y\in C$, we have $z=(x,y)\in(A-B)\times C$. Since $z$ was arbitrary, we conclude $(A\times C)-(B\times C)\subseteq (A-B)\times C$.

  • 0
    @Mathematics: And you have $A\times (B-C)= (A\times B)-(A\times C)$ as well. ;-)2012-10-20