Definition:Finer Topology/Definition 2
Jump to navigation
Jump to search
Definition
Let $S$ be a set.
Let $\tau_1$ and $\tau_2$ be topologies on $S$.
$\tau_1$ is finer than $\tau_2$ if and only if the identity mapping $(S, \tau_1) \to (S, \tau_2)$ is continuous.
Also see
Sources
- 1966: N. Bourbaki: General Topology: Chapter $I$ Topological Structures: $\S2$ Continuous functions: $2$: Comparison of topologies: Definition 3