• Support PF! Buy your school textbooks, materials and every day products Here!

Set Theory

  • Thread starter Cyborg31
  • Start date
  • #1
38
0

Homework Statement



1. Provide a counterexample to the following conjecture:

For sets [tex]A, B,[/tex] [tex] C \subseteq U [/tex] if A is a subset of B but B is not a subset of C, then A is not a subset of C

2. [tex](A\cap B) \cup C = (A \cap (B \cup C))[/tex] if and only if [tex]C \subseteq A[/tex]

3. Prove [tex] (A - B) - C = (A - C) - (B - C) [/tex]

Homework Equations





The Attempt at a Solution



1. Would it work if I say "If [tex] \bar{A}\notin U[/tex] then [tex] A\subseteq U[/tex] and thus [tex] A \subseteq C[/tex]" ?

2. Not sure.

3. [tex] (A \cap \bar{B}) \cap \bar{C} = (A \cap \bar{C}) - (B \cap \bar{C}) [/tex]
[tex] (A \cap \bar{B}) \cap \bar{C} = (A \cap \bar{C}) \cap \bar{(B \cap \bar{C})} [/tex]
[tex] (A \cap \bar{C}) \cap (\bar{B} \cap \bar{C}) = (A \cap \bar{C}) \cap \bar{(B \cap \bar{C})} [/tex]

I'm not sure if this is right though. Can't figure out the rest of this part.
 

Answers and Replies

  • #2
CompuChip
Science Advisor
Homework Helper
4,302
47
1. No it wouldn't. First of all, you haven't said what [itex]\overline{A}[/itex] means (is it complement?). Second of all, I assume that's a set, so [itex]\overline{A} \not\in U[/itex] doesn't make sense (did you mean [itex]\not\subset[/itex]?). Actually the question is quite easy, try to make a picture. You can construct a counterexample by for example looking at subsets of the natural numbers (e.g. [tex]A = \{0, 1, 2, 3\}, B = \{3, 5\} \cup \{ \text{ even numbers } \}, C = \mathbb{N}[/tex]).

For 2, it might help to draw a diagram again.

For a statement like 3, generally one takes an element in the left hand side and shows that it is also in the set on the right hand side and conversely to show that the LHS is contained in the RHS and vice versa.
 
  • #3
HallsofIvy
Science Advisor
Homework Helper
41,792
920

Homework Statement



1. Provide a counterexample to the following conjecture:

For sets [tex]A, B,[/tex] [tex] C \subseteq U [/tex] if A is a subset of B but B is not a subset of C, then A is not a subset of C

2. [tex](A\cap B) \cup C = (A \cap (B \cup C))[/tex] if and only if [tex]C \subseteq A[/tex]

3. Prove [tex] (A - B) - C = (A - C) - (B - C) [/tex]

Homework Equations





The Attempt at a Solution



1. Would it work if I say "If [tex] \bar{A}\notin U[/tex] then [tex] A\subseteq U[/tex] and thus [tex] A \subseteq C[/tex]" ?
Actually, that makes no sense at all. You are given that U is the universal set so both A and [itex]\bar{A}[/itex] are subsets of U. That has nothing to do with [itex]\bar{A}[/itex] being a member of U. In any case, you are only asked to give a counterexample. Suppose B= {a,b,c,d,e,f}, C= {d,e,f,g, i, j}. Can you find A that is a both a subset of B and a subset of C?

2. Not sure.
Well, I'll give you a start. (2) says, "[tex](A\cap B) \cup C = (A \cap (B \cup C))[/tex] if and only if [tex]C \subseteq A[/tex]
That is an "if and only if" statement so you need to prove 2 things:
a) If [tex](A\cap B) \cup C = (A \cap (B \cup C))[/tex] then [tex]C \subseteq A[/tex]

b) If [tex]C \subseteq A[/tex] then (A\cap B) \cup C = (A \cap (B \cup C))[/tex]
and the standard way to prove "[itex]A= B[/itex]" is to say "If [itex]a\in A[/itex]" and show that [itex]a\in B[/itex]. That is, assuming that a satisfies whatever conditions define A, show that it must satisfy whatever conditions satisfy B.

To show [tex]C \subseteq A[/tex], start by saying "if [itex]x \in C[/itex] and use the fact that [tex]](A\cap B) \cup C = (A \cap (B \cup C))[/tex] to show [itex]x \in A[/itex].

To show [tex]A \subseteq C[/tex], start by saying "if [itex]x \in A[/itex] and use the fact that [tex]](A\cap B) \cup C = (A \cap (B \cup C))[/tex] to show [itex]x \in C[/itex].

Then do it the other way around.


3. [tex] (A \cap \bar{B}) \cap \bar{C} = (A \cap \bar{C}) - (B \cap \bar{C}) [/tex]
[tex] (A \cap \bar{B}) \cap \bar{C} = (A \cap \bar{C}) \cap \bar{(B \cap \bar{C})} [/tex]
[tex] (A \cap \bar{C}) \cap (\bar{B} \cap \bar{C}) = (A \cap \bar{C}) \cap \bar{(B \cap \bar{C})} [/tex]

I'm not sure if this is right though. Can't figure out the rest of this part.
Same thing. Don't write set operations like that. Start by saying "if [tex]x \in (A- B)- C[/tex] and then show that [tex]x \in (A- C)- (B- C)[/itex]. Using the definitions of those set operations, of course.
 
  • #4
matt grime
Science Advisor
Homework Helper
9,395
3
Those seem like very complicated examples for 1).

Let's "just do it". A is a subset of B. OK, so let A={a}, and let B=A. Does that work? No.

We're going to have to make B bigger. How about B={a,b}. Now I need to find a C which contains A, and doesn't contain B. Well, that's easy: C=A.

I also think the advice for 2) is overly long. We are surely allowed to use the identity

(A n B) u C = (A u C) n (B u C)

which makes one direction trivial.

Now, what does it mean for C not to be a subset of A? It means that there is a c in C that is not in A. Which proves the other direction.
 
Last edited:
  • #5
38
0
Would A = {3, 4}, B= {0,1,2,3,4}, C= {3,4,5,6,7} work as a counter example in 1? So you can assume that they're proper subsets even if the questions don't mention it?

I thought the difference between [tex]A\subseteq B [/tex] and [tex] A\subset B[/tex] would be that the latter is a proper subset and the former is a subset AND is equal and thus would make [tex]B\subseteq A [/tex] true as well. So even if you use this sign [tex]A\subseteq B [/tex] it's not necessarily true that they're also equal?

For 3, would [tex] x \in (A-B) \wedge x \notin C[/tex] => [tex] x \in (x \in A \wedge x\notin B) \wedge \notin C[/tex] therefore x is an element of (A-B) and not C, then x is an element of A and not B.

[tex] x \in (A- C) \wedge x \notin (B-C) [/tex] => [tex] x \in (x \in A \wedge x \notin C) \wedge x \notin (B-C) [/tex] therefore x is an element of (A-C) and not (B-C), then x is an element of A and not C.

...be correct?

Thanks.
 
  • #6
HallsofIvy
Science Advisor
Homework Helper
41,792
920
If A and B were necessarily equal then you would write A= B! If A and B were necessarily not equal, then you would write [tex]A\subset B[/tex]. [tex]A\subseteq B[/tex] means that A may be equal to B or may just be a subset.
 
  • #7
38
0
Well, I'll give you a start. (2) says, "[tex](A\cap B) \cup C = (A \cap (B \cup C))[/tex] if and only if [tex]C \subseteq A[/tex]
That is an "if and only if" statement so you need to prove 2 things:
a) If [tex](A\cap B) \cup C = (A \cap (B \cup C))[/tex] then [tex]C \subseteq A[/tex]

b) If [tex]C \subseteq A[/tex] then (A\cap B) \cup C = (A \cap (B \cup C))[/tex]
and the standard way to prove "[itex]A= B[/itex]" is to say "If [itex]a\in A[/itex]" and show that [itex]a\in B[/itex]. That is, assuming that a satisfies whatever conditions define A, show that it must satisfy whatever conditions satisfy B.

To show [tex]C \subseteq A[/tex], start by saying "if [itex]x \in C[/itex] and use the fact that [tex]](A\cap B) \cup C = (A \cap (B \cup C))[/tex] to show [itex]x \in A[/itex].

To show [tex]A \subseteq C[/tex], start by saying "if [itex]x \in A[/itex] and use the fact that [tex]](A\cap B) \cup C = (A \cap (B \cup C))[/tex] to show [itex]x \in C[/itex].

Then do it the other way around.
Do I have to show that [itex]x \in C[/itex] first for [tex](A\cap B) \cup C [/tex] then show [itex]x \in C[/itex] for [tex] (A \cap (B \cup C))[/tex] ?
 
  • #8
CompuChip
Science Advisor
Homework Helper
4,302
47
Sometimes the notation [itex]A \subset B[/itex] is also used for "A is either a proper subset of B, or A and B are equal" and "A is a proper subset of B, they are not equal" is explicitly written as [itex]A \subsetneq B[/itex]. It depends on the author (and most authors will -- and all of them should -- explain their conventions somewhere at the start).
 
  • #9
38
0
Can I prove #2 by saying [itex]x \in C[/itex] then by [itex](A \cap B) \cup C[/itex], [itex]x \in (A \cap B)[/itex] so if [itex] x \in (A \cap B)[/itex] then [itex] x \in A[/itex] therefore since [itex] x \in C[/itex] and [itex] x \in A[/itex], [itex] C \subseteq A[/itex]

If [itex] x \in A[/itex] then by [itex] A \cap (B \cup C)[/itex], [itex] x \in A[/itex] and [itex] x \in B[/itex] or [itex] x \in C[/itex] therefore since [itex] x \in A[/itex] and [itex] x \in C[/itex], [itex] A \subseteq C[/itex]
 
  • #10
CompuChip
Science Advisor
Homework Helper
4,302
47
I don't quite see what you proved. You have to show that:
If [itex]C \subseteq A[/itex] then [itex](A \cap B) \cup C = A \cap (B \cup C)[/itex] --- so if [itex]C \subseteq A[/itex] then [itex]x \in (A \cap B) \cup C \implies x \in A \cap (B \cup C)[/itex] and [itex]x \in A \cap (B \cup C) \implies x \in (A \cap B) \cup C [/itex]

And you have to show that if [itex](A \cap B) \cup C = A \cap (B \cup C)[/itex], then [itex]x \in C[/itex] implies [itex]x \in A[/itex] (the other way around is not needed, and might not even be true).
 
  • #11
38
0
So if x is an element of [itex](A \cap B) \cup C [/itex] then it's implied that x is an element of [itex] A \cap (B \cup C) [/itex] and vice versa? Does this need any transformations or is it just like that?

And for the second part of your message, didn't what I write prove it? If x is an element of C, then by Union of (A n B) u C, x is also an element of (A n B) and from that, x is an element of A and B therefore x is an element of A and thus [itex] x \in C [/itex] implies [itex] x \in A [/itex] right? But then, I'm not sure how to work the A n (B u C) into it.
 
  • #12
HallsofIvy
Science Advisor
Homework Helper
41,792
920
Can I prove #2 by saying [itex]x \in C[/itex] then by [itex](A \cap B) \cup C[/itex], [itex]x \in (A \cap B)[/itex] so if [itex] x \in (A \cap B)[/itex] then [itex] x \in A[/itex] therefore since [itex] x \in C[/itex] and [itex] x \in A[/itex], [itex] C \subseteq A[/itex]

If [itex] x \in A[/itex] then by [itex] A \cap (B \cup C)[/itex], [itex] x \in A[/itex] and [itex] x \in B[/itex] or [itex] x \in C[/itex] therefore since [itex] x \in A[/itex] and [itex] x \in C[/itex], [itex] A \subseteq C[/itex]
If x is contained in B or C it does not follow that x is contained in C!
 
  • #13
HallsofIvy
Science Advisor
Homework Helper
41,792
920
So if x is an element of [itex](A \cap B) \cup C [/itex] then it's implied that x is an element of [itex] A \cap (B \cup C) [/itex] and vice versa? Does this need any transformations or is it just like that?
No, no one said anything like that. If x is an element of [itex](A\cap B)\cup C[/itex] then x is an element of [itex]A\cap B[/itex] or x is a member of C. For example, suppose A= {a, b}, B= {b, c} and C= {p, q}. Then [tex]A\cap B[/itex]= {b} and so [tex](A\cap B)\cup C}[/tex]= {b, p, q}. If x= p or x= q, then it is true that x is an element of [itex](A\cap B)\ cup C[/itex] but x is not an element of [itex] A \cap (B \cup C) [/itex] .

And for the second part of your message, didn't what I write prove it? If x is an element of C, then by Union of (A n B) u C, x is also an element of (A n B) and from that, x is an element of A and B therefore x is an element of A and thus [itex] x \in C [/itex] implies [itex] x \in A [/itex] right? But then, I'm not sure how to work the A n (B u C) into it.
I have know idea what you mean by "by Union of [itex](A\cap B)\cup C[/itex]". Are you clear on the definitions of "union" and "intersection"? If x is a member of C, then, yes, it is a member of [itex](A\cap B)\cup C[/itex] but that tells you nothing at all about whether x is or is not a member of [itex]A\cap B[/itex].
I think you need to go back and review the definitions.
 
  • #14
38
0
Uh ok, if x is an element of C then by the Union of (A n B) u C, x is an element of (A n B) u C but not necessarily an element of (A n B)...

Then how do I prove that x is an element of (A n B)?

The book doesn't show this type of question so I'm stumped. Also, I'm not sure how A n (B u C) plays into this for the whole proof.

If x is an element of C then by the Union of (B u C), x is an element of (B u C). But Intersection of A and (B u C) only works if x is an element of A...
 
  • #15
HallsofIvy
Science Advisor
Homework Helper
41,792
920
Uh ok, if x is an element of C then by the Union of (A n B) u C,
You mean by definition of ...

x is an element of (A n B) u C but not necessarily an element of (A n B)...

Then how do I prove that x is an element of (A n B)?
Unless you have additional information you don't- it's not necessarily true. What information do you have about A, B, and C?

The book doesn't show this type of question so I'm stumped. Also, I'm not sure how A n (B u C) plays into this for the whole proof.

If x is an element of C then by the Union of (B u C), x is an element of (B u C). But Intersection of A and (B u C) only works if x is an element of A...
You are getting yourself confused. In order to prove [tex]C \subseteq A[/tex], yes you should start with "if x is a member of C". Now use the fact that [tex](A\cap B) \cup C = (A \cap (B \cup C))[/tex]. If x is in C, then it is in [tex](A\cap B)\cup C[/tex] which mean it is in [tex](A\cap (B\cup C))[/tex] (because they are equal) which, in turn, means x is in ?
 
  • #16
38
0
Because of the brackets, x element of C and by the Union of (A n B) and C, x is an element of (A n B) u C.

(A n (B u C)), has the brackets shifted over. So if x element of C, Union of C and B means x element of (B u C). I know x element of (B u C) but not A, but by the definition of Intersection, x is an element of two intersected sets only if it were in the separate sets to begin with. So I can only know x is an element of (A n (B u C)) if x is an element of A and (B u C), and I do know it is in the latter.

And that's exactly what I'm trying to find out, x an element of A so I'm not sure how the two clauses are equal.

Or is x an element of (A n (B u C)) because the brackets enclose the whole thing?

Hmm, either way I know that x is an element of a combined set (set C with the other sets), but how does one show that x is an element of an individual set, i.e. set A?

Thanks for your help.
 
  • #17
matt grime
Science Advisor
Homework Helper
9,395
3
2. [tex](A\cap B) \cup C = (A \cap (B \cup C))[/tex] if and only if [tex]C \subseteq A[/tex]

Look, this really is trivial, and shouldn't have taken this long.

We know that [itex](A\cap B)\cup C)=(A\cup C)\cap (B\cup C)[/itex], so that is one direction proved. Do you see that? Conversely, if A is not a subset of C....
 

Related Threads for: Set Theory

  • Last Post
Replies
3
Views
2K
  • Last Post
Replies
3
Views
855
  • Last Post
Replies
3
Views
405
  • Last Post
Replies
5
Views
1K
  • Last Post
Replies
2
Views
1K
  • Last Post
Replies
1
Views
429
  • Last Post
Replies
2
Views
1K
  • Last Post
Replies
6
Views
2K
Top