0
$\begingroup$

Let $A'$ denotes the complement of A with respect to $ \mathbb{R}$ and $A,B,T$ are subsets of $\mathbb{R}$. I am trying to prove $A' \cap (A' \cup B') \cap T= A' \cap T$, but I got some problems along the way.

$A' \cap (A' \cup B') \cap T= (A' \cap A') \cup (A' \cap B') \cap T= A' \cup (A \cup B) \cap T =(A' \cup A)\cup B \cap T= \mathbb{R} \cup B \cap T = B \cap T$ Something wrong?

  • 0
    Hint: observe, that for any sets $A'$ and $B'$ we have $A' \subseteq (A' \cup B')$.2012-07-30

4 Answers 4

2

Well, given arbitrary sets $X,Y$ we always have $X\cap(X\cup Y) = X$ since the intersection of a set with a union of that same set and anything else is just the first set itself (I hope that's not too wordy). Try drawing all possibilites with sets to see this. So $A'\cap (A' \cup B') = A'$ and that gives you your answer.

Your fault is that in the second equality does not hold: for arbitrary sets $X,Y$ in general $(X \cap X) \cup (X\cap Y) \neq X \cup (X'\cup Y')$. Again, drawing all possibilites really helps to make this clear. Here I'm generalizing slightly from what you have, so for you $X$ is $A'$ and $Y$ is $B'$. Recall $A'' = A$.

  • 0
    you are right on this one. I am too hasty to think that I am using the De Morgan's law correctly.2012-07-30
1

Let $x \in A' \cap (A' \cup B) \cap T$. Then $x \in A'$ and $x \in T$, so $x \in A' \cap T$. This proves that $A' \cap (A' \cup B) \cap T \subset A' \cap T$. The reverse inclusion is similar.

1

Dilip's comments point out the flaw re: DeMorgan's Laws.

To avoid that mess altogether, a both-directions-subset proof works concisely. On the one hand, it is clear that $A' \cap (A' \cup B') \cap T \subset A' \cap T$, since the LHS intersects all of the RHS's elements with another set.

On the other hand, expanding the LHS yields $A' \cap ((A' \cap T) \cup(B' \cap T)) = (A' \cap T)\cup(A' \cap B' \cap T)$ . Certainly, $A' \cap T \subset (A' \cap T)\cup(A' \cap B' \cap T)$ .

1

$A' \cap (A' \cup B') \cap T= ((A' \cap A') \cup (A' \cap B')) \cap T= (A' \cup (A' \cap B')) \cap T$. But, $A' \cap B' \subset A'$ and so $A' \cup (A' \cap B') = A'$ giving $(A' \cup (A' \cap B')) \cap T = A' \cap T$ without dragging DeMorgan's Laws into it.