I recently read that, given topological spaces $S,T$ and a map $f:S\rightarrow T$, for $f$ to be open it is sufficient to show that for a certain subbasis $C$ of $T$ and all (open) sets $A\in C$ holds $f(A)$ is open. (The converse holds by definition.)
This fact was stated as obvious, however I'm struggling with following it through. Before I prove the statement for any open set, I start with the open sets $A\in B$, where $B$ is the basis of $T$ obtained from $C$ (i.e. $B$ contains all finite intersections of Elements of $C$).
What I know:
- $\exists A_1,\ldots,A_n\in C: A = \bigcap A_i$
- since $A_i$ is open and in $C$, $f(A_i)$ is open by assumption for all $i=1,\ldots,n$
- therefore $\bigcap f(A_i)$ is open
What I want to show:
- $f(A)$ is open
If I had $f(A)=\bigcap f(A_i)$ I would be finished, but this doesn't hold generally. I don't know how to continue from here.
Getting from $C$ to any open set is easy, because for $A$ open exist index set $I$ and sets $A_i\in C$ with $i\in I$ such that $A=\bigcup A_i$, furthermore $f(A)=\bigcup f(A_i)$ always holds.