Learn Mathematics

Weaker and Stronger Topologies

Definition: Let $X$ be a topological space and let $\tau_1$ and $\tau_2$ be topologies on $X$. Then $\tau_1$ is said to be Weaker or Coarser than $\tau_2$ if $\tau_1 \subseteq \tau_2$, and $\tau_1$ is said to be Stronger or Finer than $\tau_2$ if $\tau_1 \supseteq \tau_2$.

Proposition 1: Let $X$ be a topological space and let $\tau_1$ and $\tau_2$ be topologies on $X$. Suppose that $\tau_1$ is weaker than $\tau_2$. Then if $f : X \to \mathbb{C}$ is continuous with respect to the topology $\tau_1$ then $f$ is continuous with respect to the topology $\tau_2$.

Proof: Let $f : X \to \mathbb{C}$ and let $U \subseteq \mathbb{C}$ be open. Since $f$ is continuous with respect to the topology $\tau_1$ we have that $f^{-1}(U) \in \tau_1$. But then since $\tau_1$ is weaker than $\tau_2$ we have that