You missed an important equality.
1) I have to prove:
I know some people get annoyed by the "-" notation, but that is what my prof uses, so...
Here is my work:
I have to find the smallest topology on that contains .
So, using the axioms for a topological space: