Strong topology (polar topology)

In functional analysis and related areas of mathematics the strong topology is the finest polar topology, the topology with the most open sets, on a dual pair. The coarsest polar topology is called weak topology. In functional analysis and related areas of mathematics the strong topology is the finest polar topology, the topology with the most open sets, on a dual pair. The coarsest polar topology is called weak topology. Let ( X , Y , ⟨ , ⟩ ) {displaystyle (X,Y,langle , angle )} be a dual pair of vector spaces over the field F {displaystyle {mathbb {F} }} of real ( R {displaystyle {mathbb {R} }} ) or complex ( C {displaystyle {mathbb {C} }} ) numbers. Let us denote by B {displaystyle {mathcal {B}}} the system of all subsets B ⊆ X {displaystyle Bsubseteq X} bounded by elements of Y {displaystyle Y} in the following sense: Then the strong topology β ( Y , X ) {displaystyle eta (Y,X)} on Y {displaystyle Y} is defined as the locally convex topology on Y {displaystyle Y} generated by the seminorms of the form In the special case when X {displaystyle X} is a locally convex space, the strong topology on the (continuous) dual space X ′ {displaystyle X'} (i.e. on the space of all continuous linear functionals f : X → F {displaystyle f:X o {mathbb {F} }} ) is defined as the strong topology β ( X ′ , X ) {displaystyle eta (X',X)} , and it coincides with the topology of uniform convergence on bounded sets in X {displaystyle X} , i.e. with the topology on X ′ {displaystyle X'} generated by the seminorms of the form where B {displaystyle B} runs over the family of all bounded sets in X {displaystyle X} . The space X ′ {displaystyle X'} with this topology is called strong dual space of the space X {displaystyle X} and is denoted by X β ′ {displaystyle X'_{eta }} .