Finer topology

In mathematics, the possible topologies on a given set X form a partially ordered set: if a collection τ₁ of subsets of X contains each subset in a collection τ₂, and these are both topologies on X, we say that τ₁ is a finer (alt. stronger or larger) topology than τ₂, or, synonymously, that τ₂ is a coarser (alt. weaker or smaller) topology than τ₁.

NB: Be aware that there are some authors, esp. analysts, who use the terms weak and strong with opposite meaning.

It is equivalent to say that the identity function on the set X, considered as a mapping from (X,τ₁) to (X,τ₂), is continuous. If τ₁ is the finer of two topologies on X, we can say that it is easier for functions on X to be continuous mappings when we use τ₁ since it allows us more open sets; and harder for functions to X to be continuous mappings.

The finest topology on X is the discrete topology. The coarsest topology on X is the trivial topology. Any two topologies on X have a meet and join, in the sense of lattice theory; the meet is the intersection, but the join is not in general the union.

In function spaces and spaces of measures there are often a number of possible topologies. See topologies on the set of operators on a Hilbert space for some intricate relationships.

See also:

• Weak topology
• Strong topology