Dual topology

In functional analysis and related areas of mathematics a dual topology is a locally convex topology on a vector space that is induced by the continuous dual of the vector space, by means of the bilinear form (also called pairing) associated with the dual pair.

The different dual topologies for a given dual pair are characterized by the Mackey–Arens theorem. All locally convex topologies with their continuous dual are trivially a dual pair and the locally convex topology is a dual topology.

Several topological properties depend only on the dual pair and not on the chosen dual topology and thus it is often possible to substitute a complicated dual topology by a simpler one.