Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It only takes a minute to sign up.
Sign up to join this community
I'm trying to solve the following question:
Let $F:M\longrightarrow N$ be a bijective map. Prove that, if $M$ is a topological space, then $N$ admits a unique topology making $F$ a homeomorphism.
I know that this topology can be expressed as $T_N=\{F(U):U\in T_M\}$, where $T_M$ is the topology defined on the space $M$, and I can prove that in this case $F$ is a homeomorphism between the topological spaces $(M,T_M)$ and $(N,T_N)$. But how can I prove the uniqueness of this topology?
Suppose that $T$ is any topology that makes $F$ a homeomorphism. (which is an open, continuous bijection).
Then if $F[U] \in T_N$, for some $U \in T_M$, we know that as $F$ is open as a map from $(M,T_M)$ to $(N,T)$, that $F[U] \in T$, so $T_N \subseteq T$.
Remark: We can also use the continuity of $G = F^{-1}$ (the inverse function exists for bijections) and see in that way that $G^{-1}[U] = F[U]$ must be open in $T$ and prove this inclusion.
On the other hand if $U \in T$, $F^{-1}[U] \in T_M$ by continuity and so (by bijectiveness) $U = F[F^{-1}[U]] \in T_N$ by definition of $T_N$. So $T \subseteq T_N$.
So we have for any topology $T$ on $N$ that makes $F: (M, T_M) \rightarrow (N,T)$ a homeomorphism we have shown that $T = T_N$. So $T_N$ is unique: it fulfills the job, and there can be no other.
