Comparing Topologies - Finer and Coarser

Topology · Axiom Academy

Understanding the hierarchy and relationships between different topologies on the same set Step 1: Why Compare Topologies? On any given set, we can define multiple different topologies. But are all topologies created equal? The answer is no! Some topologies contain more open sets than others, which means they provide more "information" about the structure of the space. This leads us to two fundamental concepts: finer and coarser topologies. These terms describe the relationship between topologies based on their open sets. Let and be two topologies on a set . We say that is finer than (or is coarser than ) if: In other words, every open set in is also an open set in . Every set has two "extreme" topologies that serve as boundaries for comparison: 1. The Discrete Topology (Finest Possible) The discrete topology contains every possible subset as an open set. This is the finest topology possible on any set. No topology can be finer than the discrete topology. 2. The Indiscrete Topology (Coarsest Possible) The indiscrete (or trivial) topology contains only the empty set and the whole set. This is the coarsest topology possible. Every other topology is finer than the indiscrete topology. Step 4: Comparing Topologies Using Bases Sometimes we want to compare topologies without listing all their open sets. If we know the bases for two topologies, we can use a powerful criterion: Let be a basis for topology and be a basis for topology . Then is finer than if and only if:

This is the written version of the interactive lesson above. See the full Topology course.