Discrete M: Show that if A ⊆ B and C ⊆ D, then A X C ⊆ B X D

  • Thread starter leo255
  • Start date
  • #1
leo255
57
2

Homework Statement


[/B]
Sorry that I wasn't able to fit everything in the title. I got 2/3 on this on my quiz, and am wondering what I did wrong, or could have done better. Thanks in advance.

Show that if A ⊆ B and C ⊆ D, then A X C ⊆ B X D

Homework Equations



The Attempt at a Solution



For a given value x, if A ⊆ B, then x ∈ A and x ∈ B.
For a given value x, if C ⊆ D, then x i∈ C and x ∈ D.

Cartesian product of (A, C) means that all ordered pairs, (a, c) are included.
Cartesian product of (B, D) means that all ordered pairs, (b, d) are included.

A X C ⊆ B X D
 

Answers and Replies

  • #2
sxal96
15
1
Do you know why your instructor docked you points on your quiz?

Here's an alternative route to getting started that's based on what you already have:
For some x ∈ A ⊆ B, then x ∈ A and x ∈ B. Similarly, for some y ∈ C ⊆ D, then y ∈ C and y ∈ D.

Cartesian products don't necessarily comprise of (x,x); we have to assume that there are two arbitrary elements of the two products, hence why I used (x,y).. We assume the statement above is true based off of what you are given to believe is true, which is that A ⊆ B and C ⊆ D. What conclusion can you draw from what we just stated in the italics?
 
  • #3
HallsofIvy
Science Advisor
Homework Helper
43,021
970
You really haven't proven anything! You start by stating some definitions (always a good start) then simply assert the conclusion.

To prove "[itex]X\subset Y[/itex]" start with "if [itex]p\in X[/itex]" and use the definitions of X and Y to conclude "therefore [itex]p \in Y[/itex]". Here [itex]X= A\times C[/itex]. Now, if [itex]p\in A\times C[/itex], what can you say about p?
 
  • #4
LCKurtz
Science Advisor
Homework Helper
Insights Author
Gold Member
9,568
774

Homework Statement


[/B]
Sorry that I wasn't able to fit everything in the title. I got 2/3 on this on my quiz, and am wondering what I did wrong, or could have done better. Thanks in advance.

Show that if A ⊆ B and C ⊆ D, then A X C ⊆ B X D

Homework Equations



The Attempt at a Solution



For a given value x, if A ⊆ B, then x ∈ A and x ∈ B.

That isn't the definition of A ⊆ B. Never mind that the statement isn't even true. You might start by looking up the correct definition of A ⊆ B.
 
  • #5
leo255
57
2
That isn't the definition of A ⊆ B. Never mind that the statement isn't even true. You might start by looking up the correct definition of A ⊆ B.

Yes, you are correct - Math is not my strongest area, and I did not state that correctly. A being a subset means that A is a part of B (i.e. it is contained in B). Also, it is a proper subset if it is not equal to B.
 
  • #6
LCKurtz
Science Advisor
Homework Helper
Insights Author
Gold Member
9,568
774
Yes, you are correct - Math is not my strongest area, and I did not state that correctly. A being a subset means that A is a part of B (i.e. it is contained in B). Also, it is a proper subset if it is not equal to B.
While that is an informal understanding, it is not the definition, and you need to use the correct definition to prove your proposition. The statement that A is a subset of B means if ##a \in A## then ##a \in B##. So for your problem, you need to show, step by step, using what you are given, that if ##p \in A\times C## then ##p \in B\times D##.
 
  • #7
HallsofIvy
Science Advisor
Homework Helper
43,021
970
For a given value x, if A ⊆ B, then x ∈ A and x ∈ B.
If [itex]x\in A[/itex] then [itex]x\in B[/itex]

For a given value x, if C ⊆ D, then x i∈ C and x ∈ D.
If [itex]x\in c[/itex] then [itex]x\in D[/itex]
 

Suggested for: Discrete M: Show that if A ⊆ B and C ⊆ D, then A X C ⊆ B X D

Replies
8
Views
569
Replies
2
Views
371
Replies
23
Views
516
  • Last Post
Replies
1
Views
415
Replies
8
Views
177
Replies
9
Views
228
Replies
29
Views
649
Replies
17
Views
134
Top