# More basic topology (couple questions)

• May 4th 2011, 08:50 AM
MathSucker
More basic topology (couple questions)
1) I have to prove: $(A \cup B) - (A \cap B) = (A-B) \cup (B-A)$

I know some people get annoyed by the "-" notation, but that is what my prof uses, so...

Here is my work:

$(A \cup B) - (A \cap B) = (A \cup B) \cap (A \cap B)^c$

$=(A \cup B) \cap (A^c \cup B^c)$

$=(A \cup B) \cup (B \cap A^c)$

$=(A-B) \cup (B-A)$

2) Let $X = \{ a,b,c,d \}$

and let $S = \{ \O , \{ a,b \} , \{ b,c \} , \{ c,d \} , \{ a,d \} , \{ a,b,c,d \} \}$

I have to find the smallest topology on $X$ that contains $S$.

So, using the axioms for a topological space:

$\{ \{ S, \{ a \} , \{ b \} , \{ c \} , \{ d \} , \{ b,d \} , \{ a,c \} , \{ a,b,c \} , \{ a,b,d \} , \{ b,c,d \} , \{ a,c,d \} \}$

Correct?
• May 4th 2011, 09:08 AM
Plato
You missed an important equality.
$(A \cup B) \cap (A^c \cup B^c)=(A\cap B^c)\cup(B\cap A^c)$.
• May 4th 2011, 09:19 AM
MathSucker
Oh right, so it should have been:

$(A \cup B) - (A \cap B) = (A \cup B) \cap (A \cap B)^c$

$=(A \cup B) \cap (A^c \cup B^c)$

$=(A \cap B^c) \cup (B \cap A^c)$

$=(A-B) \cup (B-A)$