Dual system

<h2 id="definition-notation-and-conventions">Definition, notation, and conventions</h2>
<h3>Pairings</h3>
A pairing or pair over a field 
 
 
 
 
 K
 
 
 
 {\displaystyle \mathbb {K} }
 
 is a triple 
 
 
 
 (
 X
 ,
 Y
 ,
 b
 )
 ,
 
 
 {\displaystyle (X,Y,b),}
 
 which may also be denoted by 
 
 
 
 b
 (
 X
 ,
 Y
 )
 ,
 
 
 {\displaystyle b(X,Y),}
 
 consisting of two vector spaces 
 
 
 
 X
 
 
 {\displaystyle X}
 
 and 
 
 
 
 Y
 
 
 {\displaystyle Y}
 
 over 
 
 
 
 
 K
 
 
 
 {\displaystyle \mathbb {K} }
 
 and a <a href="/facts/Bilinear_map/LH1lHVeP">bilinear map</a> 
 
 
 
 b
 :
 X
 ×
 Y
 →
 
 K
 
 
 
 {\displaystyle b:X\times Y\to \mathbb {K} }
 
 called the bilinear map associated with the pairing,<a class="footnote-ref" id="fnref:1" href="#fn:1">1</a> or more simply called the pairing's map or its <a href="/facts/Bilinear_form/gyvzn9ym">bilinear form</a>. The examples here only describe when 
 
 
 
 
 K
 
 
 
 {\displaystyle \mathbb {K} }
 
 is either the <a href="/facts/Real_number/R02gw5Pb">real numbers</a> 
 
 
 
 
 R
 
 
 
 {\displaystyle \mathbb {R} }
 
 or the <a href="/facts/Complex_number/2w7mqI7e">complex numbers</a> 
 
 
 
 
 C
 
 
 
 {\displaystyle \mathbb {C} }
 
, but the mathematical theory is general.
For every 
 
 
 
 x
 ∈
 X
 
 
 {\displaystyle x\in X}
 
, define

b
                (
                x
                ,
                
                ⋅
                
                )
                :
                
              
              
                Y
              
              
              
                
                →
              
              
              
                
                
                  K
                
              
            
            
              
              
                y
              
              
              
                
                ↦
              
              
              
                
                b
                (
                x
                ,
                y
                )
              
            
          
        
      
    
    {\displaystyle {\begin{alignedat}{4}b(x,\,\cdot \,):\,&Y&&\to &&\,\mathbb {K} \\&y&&\mapsto &&\,b(x,y)\end{alignedat}}}

and for every 
  
    
      
        y
        ∈
        Y
        ,
      
    
    {\displaystyle y\in Y,}
  
 define

b
                (
                
                ⋅
                
                ,
                y
                )
                :
                
              
              
                X
              
              
              
                
                →
              
              
              
                
                
                  K
                
              
            
            
              
              
                x
              
              
              
                
                ↦
              
              
              
                
                b
                (
                x
                ,
                y
                )
                .
              
            
          
        
      
    
    {\displaystyle {\begin{alignedat}{4}b(\,\cdot \,,y):\,&X&&\to &&\,\mathbb {K} \\&x&&\mapsto &&\,b(x,y).\end{alignedat}}}

Every 
 
 
 
 b
 (
 x
 ,
 
 ⋅
 
 )
 
 
 {\displaystyle b(x,\,\cdot \,)}
 
 is a <a href="/facts/Linear_functional/oGh7Asrz">linear functional</a> on 
 
 
 
 Y
 
 
 {\displaystyle Y}
 
 and every 
 
 
 
 b
 (
 
 ⋅
 
 ,
 y
 )
 
 
 {\displaystyle b(\,\cdot \,,y)}
 
 is a <a href="/facts/Linear_functional/oGh7Asrz">linear functional</a> on 
 
 
 
 X
 
 
 {\displaystyle X}
 
. Therefore both

b
        (
        X
        ,
        
        ⋅
        
        )
        :=
        {
        b
        (
        x
        ,
        
        ⋅
        
        )
        :
        x
        ∈
        X
        }
        
        
           and 
        
        
        b
        (
        
        ⋅
        
        ,
        Y
        )
        :=
        {
        b
        (
        
        ⋅
        
        ,
        y
        )
        :
        y
        ∈
        Y
        }
        ,
      
    
    {\displaystyle b(X,\,\cdot \,):=\{b(x,\,\cdot \,):x\in X\}\qquad {\text{ and }}\qquad b(\,\cdot \,,Y):=\{b(\,\cdot \,,y):y\in Y\},}

form vector spaces of <a href="/facts/Linear_functionals/oGh7Asrz">linear functionals</a>.
It is common practice to write 
 
 
 
 ⟨
 x
 ,
 y
 ⟩
 
 
 {\displaystyle \langle x,y\rangle }
 
 instead of 
 
 
 
 b
 (
 x
 ,
 y
 )
 
 
 {\displaystyle b(x,y)}
 
, in which in some cases the pairing may be denoted by 
 
 
 
 
 ⟨
 
 X
 ,
 Y
 
 ⟩
 
 
 
 {\displaystyle \left\langle X,Y\right\rangle }
 
 rather than 
 
 
 
 (
 X
 ,
 Y
 ,
 ⟨
 ⋅
 ,
 ⋅
 ⟩
 )
 
 
 {\displaystyle (X,Y,\langle \cdot ,\cdot \rangle )}
 
. However, this article will reserve the use of 
 
 
 
 ⟨
 ⋅
 ,
 ⋅
 ⟩
 
 
 {\displaystyle \langle \cdot ,\cdot \rangle }
 
 for the canonical <a href="/facts/Initial_topology/bNRdJM81">evaluation map</a> (defined below) so as to avoid confusion for readers not familiar with this subject.

<h3>Dual pairings</h3>
A pairing 
 
 
 
 (
 X
 ,
 Y
 ,
 b
 )
 
 
 {\displaystyle (X,Y,b)}
 
 is called a dual system, a dual pair,<a class="footnote-ref" id="fnref:2" href="#fn:2">2</a> or a duality over 
 
 
 
 
 K
 
 
 
 {\displaystyle \mathbb {K} }
 
 if the <a href="/facts/Bilinear_form/gyvzn9ym">bilinear form</a> 
 
 
 
 b
 
 
 {\displaystyle b}
 
 is non-<a href="/facts/Degenerate_bilinear_form/9TLGBvSH">degenerate</a>, which means that it satisfies the following two separation axioms:

<ol><li>
 
 
 
 Y
 
 
 {\displaystyle Y}
 
 separates (distinguishes) points of 
 
 
 
 X
 
 
 {\displaystyle X}
 
: if 
 
 
 
 x
 ∈
 X
 
 
 {\displaystyle x\in X}
 
 is such that 
 
 
 
 b
 (
 x
 ,
 
 ⋅
 
 )
 =
 0
 
 
 {\displaystyle b(x,\,\cdot \,)=0}
 
 then 
 
 
 
 x
 =
 0
 
 
 {\displaystyle x=0}
 
; or equivalently, for all non-zero 
 
 
 
 x
 ∈
 X
 
 
 {\displaystyle x\in X}
 
, the map 
 
 
 
 b
 (
 x
 ,
 
 ⋅
 
 )
 :
 Y
 →
 
 K
 
 
 
 {\displaystyle b(x,\,\cdot \,):Y\to \mathbb {K} }
 
 is not identically 
 
 
 
 0
 
 
 {\displaystyle 0}
 
 (i.e. there exists a 
 
 
 
 y
 ∈
 Y
 
 
 {\displaystyle y\in Y}
 
 such that 
 
 
 
 b
 (
 x
 ,
 y
 )
 ≠
 0
 
 
 {\displaystyle b(x,y)\neq 0}
 
 for each 
 
 
 
 x
 ∈
 X
 
 
 {\displaystyle x\in X}
 
);</li>
<li>
 
 
 
 X
 
 
 {\displaystyle X}
 
 separates (distinguishes) points of 
 
 
 
 Y
 
 
 {\displaystyle Y}
 
: if 
 
 
 
 y
 ∈
 Y
 
 
 {\displaystyle y\in Y}
 
 is such that 
 
 
 
 b
 (
 
 ⋅
 
 ,
 y
 )
 =
 0
 
 
 {\displaystyle b(\,\cdot \,,y)=0}
 
 then 
 
 
 
 y
 =
 0
 
 
 {\displaystyle y=0}
 
; or equivalently, for all non-zero 
 
 
 
 y
 ∈
 Y
 ,
 
 
 {\displaystyle y\in Y,}
 
 the map 
 
 
 
 b
 (
 
 ⋅
 
 ,
 y
 )
 :
 X
 →
 
 K
 
 
 
 {\displaystyle b(\,\cdot \,,y):X\to \mathbb {K} }
 
 is not identically 
 
 
 
 0
 
 
 {\displaystyle 0}
 
 (i.e. there exists an 
 
 
 
 x
 ∈
 X
 
 
 {\displaystyle x\in X}
 
 such that 
 
 
 
 b
 (
 x
 ,
 y
 )
 ≠
 0
 
 
 {\displaystyle b(x,y)\neq 0}
 
 for each 
 
 
 
 y
 ∈
 Y
 
 
 {\displaystyle y\in Y}
 
).</li></ol>
In this case 
 
 
 
 b
 
 
 {\displaystyle b}
 
 is non-degenerate, and one can say that 
 
 
 
 b
 
 
 {\displaystyle b}
 
 places 
 
 
 
 X
 
 
 {\displaystyle X}
 
 and 
 
 
 
 Y
 
 
 {\displaystyle Y}
 
 in duality (or, redundantly but explicitly, in separated duality), and 
 
 
 
 b
 
 
 {\displaystyle b}
 
 is called the duality pairing of the triple 
 
 
 
 (
 X
 ,
 Y
 ,
 b
 )
 
 
 {\displaystyle (X,Y,b)}
 
.<a class="footnote-ref" id="fnref:3" href="#fn:3">3</a><a class="footnote-ref" id="fnref:4" href="#fn:4">4</a>

<h3>Total subsets</h3>
A subset 
 
 
 
 S
 
 
 {\displaystyle S}
 
 of 
 
 
 
 Y
 
 
 {\displaystyle Y}
 
 is called total if for every 
 
 
 
 x
 ∈
 X
 
 
 {\displaystyle x\in X}
 
, 
 
 
 
 b
 (
 x
 ,
 s
 )
 =
 0
 
 
  for all 
 
 s
 ∈
 S
 
 
 {\displaystyle b(x,s)=0\quad {\text{ for all }}s\in S}
 
 implies 
 
 
 
 x
 =
 0.
 
 
 {\displaystyle x=0.}
 
 
A total subset of 
 
 
 
 X
 
 
 {\displaystyle X}
 
 is defined analogously (see footnote).<a class="footnote-ref" id="fnref:5" href="#fn:5">5</a> Thus 
 
 
 
 X
 
 
 {\displaystyle X}
 
 separates points of 
 
 
 
 Y
 
 
 {\displaystyle Y}
 
 if and only if 
 
 
 
 X
 
 
 {\displaystyle X}
 
 is a total subset of 
 
 
 
 X
 
 
 {\displaystyle X}
 
, and similarly for 
 
 
 
 Y
 
 
 {\displaystyle Y}
 
.

<h3>Orthogonality</h3>
The vectors 
 
 
 
 x
 
 
 {\displaystyle x}
 
 and 
 
 
 
 y
 
 
 {\displaystyle y}
 
 are <a href="/facts/Orthogonality/JVIjYPog">orthogonal</a>, written 
 
 
 
 x
 ⊥
 y
 
 
 {\displaystyle x\perp y}
 
, if 
 
 
 
 b
 (
 x
 ,
 y
 )
 =
 0
 
 
 {\displaystyle b(x,y)=0}
 
. Two subsets 
 
 
 
 R
 ⊆
 X
 
 
 {\displaystyle R\subseteq X}
 
 and 
 
 
 
 S
 ⊆
 Y
 
 
 {\displaystyle S\subseteq Y}
 
 are <a href="/facts/Orthogonality/JVIjYPog">orthogonal</a>, written 
 
 
 
 R
 ⊥
 S
 
 
 {\displaystyle R\perp S}
 
, if 
 
 
 
 b
 (
 R
 ,
 S
 )
 =
 {
 0
 }
 
 
 {\displaystyle b(R,S)=\{0\}}
 
; that is, if 
 
 
 
 b
 (
 r
 ,
 s
 )
 =
 0
 
 
 {\displaystyle b(r,s)=0}
 
 for all 
 
 
 
 r
 ∈
 R
 
 
 {\displaystyle r\in R}
 
 and 
 
 
 
 s
 ∈
 S
 
 
 {\displaystyle s\in S}
 
. The definition of a subset being orthogonal to a vector is defined <a href="/facts/Analogy/LYcGaTdm">analogously</a>.
The <a href="/facts/Orthogonal_complement/a13oQBsz">orthogonal complement</a> or <a href="/facts/Annihilator_(linear_algebra)/4Uw4Knz1">annihilator</a> of a subset 
 
 
 
 R
 ⊆
 X
 
 
 {\displaystyle R\subseteq X}
 
 is

R
 
 ⊥
 
 
 :=
 {
 y
 ∈
 Y
 :
 R
 ⊥
 y
 }
 :=
 {
 y
 ∈
 Y
 :
 b
 (
 R
 ,
 y
 )
 =
 {
 0
 }
 }
 
 
 {\displaystyle R^{\perp }:=\{y\in Y:R\perp y\}:=\{y\in Y:b(R,y)=\{0\}\}}
 
Thus 
 
 
 
 R
 
 
 {\displaystyle R}
 
 is a total subset of 
 
 
 
 X
 
 
 {\displaystyle X}
 
 if and only if 
 
 
 
 
 R
 
 ⊥
 
 
 
 
 {\displaystyle R^{\perp }}
 
 equals 
 
 
 
 {
 0
 }
 
 
 {\displaystyle \{0\}}
 
.

<h3>Polar sets</h3>
Main article: <a href="/facts/Polar_set/JY45pfbt">Polar set</a>
Given a triple 
 
 
 
 (
 X
 ,
 Y
 ,
 b
 )
 
 
 {\displaystyle (X,Y,b)}
 
 defining a pairing over 
 
 
 
 
 K
 
 
 
 {\displaystyle \mathbb {K} }
 
, the absolute polar set or polar set of a subset 
 
 
 
 A
 
 
 {\displaystyle A}
 
 of 
 
 
 
 X
 
 
 {\displaystyle X}
 
 is the set:
 
 
 
 
 A
 
 ∘
 
 
 :=
 
 {
 
 y
 ∈
 Y
 :
 
 sup
 
 x
 ∈
 A
 
 
 
 |
 
 b
 (
 x
 ,
 y
 )
 
 |
 
 ≤
 1
 
 }
 
 .
 
 
 {\displaystyle A^{\circ }:=\left\{y\in Y:\sup _{x\in A}|b(x,y)|\leq 1\right\}.}
 
<a href="/facts/Symmetry/hpu7DK8p">Symmetrically</a>, the absolute polar set or polar set of a subset 
 
 
 
 B
 
 
 {\displaystyle B}
 
 of 
 
 
 
 Y
 
 
 {\displaystyle Y}
 
 is denoted by 
 
 
 
 
 B
 
 ∘
 
 
 
 
 {\displaystyle B^{\circ }}
 
 and defined by

B
          
            ∘
          
        
        :=
        
          {
          
            x
            ∈
            X
            :
            
              sup
              
                y
                ∈
                B
              
            
            
              |
            
            b
            (
            x
            ,
            y
            )
            
              |
            
            ≤
            1
          
          }
        
        .
      
    
    {\displaystyle B^{\circ }:=\left\{x\in X:\sup _{y\in B}|b(x,y)|\leq 1\right\}.}

To use bookkeeping that helps keep track of the anti-symmetry of the two sides of the duality, the absolute polar of a subset 
 
 
 
 B
 
 
 {\displaystyle B}
 
 of 
 
 
 
 Y
 
 
 {\displaystyle Y}
 
 may also be called the absolute prepolar or prepolar of 
 
 
 
 B
 
 
 {\displaystyle B}
 
 and then may be denoted by 
 
 
 
 
 
 
 ∘
 
 
 B
 
 
 {\displaystyle ^{\circ }B}
 
.<a class="footnote-ref" id="fnref:6" href="#fn:6">6</a>
The polar 
 
 
 
 
 B
 
 ∘
 
 
 
 
 {\displaystyle B^{\circ }}
 
 is necessarily a <a href="/facts/Convex_set/vdAuJRJl">convex</a> set containing 
 
 
 
 0
 ∈
 Y
 
 
 {\displaystyle 0\in Y}
 
 where if 
 
 
 
 B
 
 
 {\displaystyle B}
 
 is balanced then so is 
 
 
 
 
 B
 
 ∘
 
 
 
 
 {\displaystyle B^{\circ }}
 
 and if 
 
 
 
 B
 
 
 {\displaystyle B}
 
 is a vector subspace of 
 
 
 
 X
 
 
 {\displaystyle X}
 
 then so too is 
 
 
 
 
 B
 
 ∘
 
 
 
 
 {\displaystyle B^{\circ }}
 
 a vector subspace of 
 
 
 
 Y
 .
 
 
 {\displaystyle Y.}
 
<a class="footnote-ref" id="fnref:7" href="#fn:7">7</a>
If 
 
 
 
 A
 
 
 {\displaystyle A}
 
 is a vector subspace of 
 
 
 
 X
 ,
 
 
 {\displaystyle X,}
 
 then 
 
 
 
 
 A
 
 ∘
 
 
 =
 
 A
 
 ⊥
 
 
 
 
 {\displaystyle A^{\circ }=A^{\perp }}
 
 and this is also equal to the <a href="/facts/Real_polar/JY45pfbt">real polar</a> of 
 
 
 
 A
 .
 
 
 {\displaystyle A.}
 
 If 
 
 
 
 A
 ⊆
 X
 
 
 {\displaystyle A\subseteq X}
 
 then the bipolar of 
 
 
 
 A
 
 
 {\displaystyle A}
 
, denoted 
 
 
 
 
 A
 
 ∘
 ∘
 
 
 
 
 {\displaystyle A^{\circ \circ }}
 
, is the polar of the orthogonal complement of 
 
 
 
 A
 
 
 {\displaystyle A}
 
, i.e., the set

∘
          
        
        
          (
          
            A
            
              ⊥
            
          
          )
        
        .
      
    
    {\displaystyle {}^{\circ }\left(A^{\perp }\right).}
  
 Similarly, if 
  
    
      
        B
        ⊆
        Y
      
    
    {\displaystyle B\subseteq Y}
  
 then the bipolar of 
  
    
      
        B
      
    
    {\displaystyle B}
  
 is 
  
    
      
        
          B
          
            ∘
            ∘
          
        
        :=
        
          
            (

∘
                
              
              B
            
            )
          
          
            ∘
          
        
        .
      
    
    {\displaystyle B^{\circ \circ }:=\left({}^{\circ }B\right)^{\circ }.}

<h3>Dual definitions and results</h3>
Given a pairing 
 
 
 
 (
 X
 ,
 Y
 ,
 b
 )
 ,
 
 
 {\displaystyle (X,Y,b),}
 
 define a new pairing 
 
 
 
 (
 Y
 ,
 X
 ,
 d
 )
 
 
 {\displaystyle (Y,X,d)}
 
 where 
 
 
 
 d
 (
 y
 ,
 x
 )
 :=
 b
 (
 x
 ,
 y
 )
 
 
 {\displaystyle d(y,x):=b(x,y)}
 
 for all 
 
 
 
 x
 ∈
 X
 
 
 {\displaystyle x\in X}
 
 and 
 
 
 
 y
 ∈
 Y
 
 
 {\displaystyle y\in Y}
 
.<a class="footnote-ref" id="fnref:8" href="#fn:8">8</a>
There is a consistent theme in duality theory that any definition for a pairing 
 
 
 
 (
 X
 ,
 Y
 ,
 b
 )
 
 
 {\displaystyle (X,Y,b)}
 
 has a corresponding dual definition for the pairing 
 
 
 
 (
 Y
 ,
 X
 ,
 d
 )
 .
 
 
 {\displaystyle (Y,X,d).}

Convention and Definition: Given any definition for a pairing 
 
 
 
 (
 X
 ,
 Y
 ,
 b
 )
 ,
 
 
 {\displaystyle (X,Y,b),}
 
 one obtains a dual definition by applying it to the pairing 
 
 
 
 (
 Y
 ,
 X
 ,
 d
 )
 .
 
 
 {\displaystyle (Y,X,d).}
 
 These conventions also apply to theorems.
For instance, if "
 
 
 
 X
 
 
 {\displaystyle X}
 
 distinguishes points of 
 
 
 
 Y
 
 
 {\displaystyle Y}
 
" (resp, "
 
 
 
 S
 
 
 {\displaystyle S}
 
 is a total subset of 
 
 
 
 Y
 
 
 {\displaystyle Y}
 
") is defined as above, then this convention immediately produces the dual definition of "
 
 
 
 Y
 
 
 {\displaystyle Y}
 
 distinguishes points of 
 
 
 
 X
 
 
 {\displaystyle X}
 
" (resp, "
 
 
 
 S
 
 
 {\displaystyle S}
 
 is a total subset of 
 
 
 
 X
 
 
 {\displaystyle X}
 
").
This following notation is almost ubiquitous and allows us to avoid assigning a symbol to 
 
 
 
 d
 .
 
 
 {\displaystyle d.}

Convention and Notation: If a definition and its notation for a pairing 
 
 
 
 (
 X
 ,
 Y
 ,
 b
 )
 
 
 {\displaystyle (X,Y,b)}
 
 depends on the order of 
 
 
 
 X
 
 
 {\displaystyle X}
 
 and 
 
 
 
 Y
 
 
 {\displaystyle Y}
 
 (for example, the definition of the <a href="/facts/Mackey_topology/KI5zwcXv">Mackey topology</a> 
 
 
 
 τ
 (
 X
 ,
 Y
 ,
 b
 )
 
 
 {\displaystyle \tau (X,Y,b)}
 
 on 
 
 
 
 X
 
 
 {\displaystyle X}
 
) then by switching the order of 
 
 
 
 X
 
 
 {\displaystyle X}
 
 and 
 
 
 
 Y
 ,
 
 
 {\displaystyle Y,}
 
 then it is meant that definition applied to 
 
 
 
 (
 Y
 ,
 X
 ,
 d
 )
 
 
 {\displaystyle (Y,X,d)}
 
 (continuing the same example, the topology 
 
 
 
 τ
 (
 Y
 ,
 X
 ,
 b
 )
 
 
 {\displaystyle \tau (Y,X,b)}
 
 would actually denote the topology 
 
 
 
 τ
 (
 Y
 ,
 X
 ,
 d
 )
 
 
 {\displaystyle \tau (Y,X,d)}
 
).
For another example, once the weak topology on 
 
 
 
 X
 
 
 {\displaystyle X}
 
 is defined, denoted by 
 
 
 
 σ
 (
 X
 ,
 Y
 ,
 b
 )
 
 
 {\displaystyle \sigma (X,Y,b)}
 
, then this dual definition would automatically be applied to the pairing 
 
 
 
 (
 Y
 ,
 X
 ,
 d
 )
 
 
 {\displaystyle (Y,X,d)}
 
 so as to obtain the definition of the weak topology on 
 
 
 
 Y
 
 
 {\displaystyle Y}
 
, and this topology would be denoted by 
 
 
 
 σ
 (
 Y
 ,
 X
 ,
 b
 )
 
 
 {\displaystyle \sigma (Y,X,b)}
 
 rather than 
 
 
 
 σ
 (
 Y
 ,
 X
 ,
 d
 )
 
 
 {\displaystyle \sigma (Y,X,d)}
 
.

<h4>Identification of 
 
 
 
 (
 X
 ,
 Y
 )
 
 
 {\displaystyle (X,Y)}
 
 with 
 
 
 
 (
 Y
 ,
 X
 )
 
 
 {\displaystyle (Y,X)}
 
</h4>
Although it is technically incorrect and an abuse of notation, this article will adhere to the nearly ubiquitous convention of treating a pairing 
 
 
 
 (
 X
 ,
 Y
 ,
 b
 )
 
 
 {\displaystyle (X,Y,b)}
 
 interchangeably with 
 
 
 
 (
 Y
 ,
 X
 ,
 d
 )
 
 
 {\displaystyle (Y,X,d)}
 
 and also of denoting 
 
 
 
 (
 Y
 ,
 X
 ,
 d
 )
 
 
 {\displaystyle (Y,X,d)}
 
 by 
 
 
 
 (
 Y
 ,
 X
 ,
 b
 )
 .
 
 
 {\displaystyle (Y,X,b).}

<h2 id="examples">Examples</h2>
<h3>Restriction of a pairing</h3>
Suppose that 
 
 
 
 (
 X
 ,
 Y
 ,
 b
 )
 
 
 {\displaystyle (X,Y,b)}
 
 is a pairing, 
 
 
 
 M
 
 
 {\displaystyle M}
 
 is a vector subspace of 
 
 
 
 X
 ,
 
 
 {\displaystyle X,}
 
 and 
 
 
 
 N
 
 
 {\displaystyle N}
 
 is a vector subspace of 
 
 
 
 Y
 
 
 {\displaystyle Y}
 
. Then the restriction of 
 
 
 
 (
 X
 ,
 Y
 ,
 b
 )
 
 
 {\displaystyle (X,Y,b)}
 
 to 
 
 
 
 M
 ×
 N
 
 
 {\displaystyle M\times N}
 
 is the pairing 
 
 
 
 
 (
 
 M
 ,
 N
 ,
 b
 
 
 
 |
 
 
 
 M
 ×
 N
 
 
 
 )
 
 .
 
 
 {\displaystyle \left(M,N,b{\big \vert }_{M\times N}\right).}
 
 If 
 
 
 
 (
 X
 ,
 Y
 ,
 b
 )
 
 
 {\displaystyle (X,Y,b)}
 
 is a duality, then it's possible for a restriction to fail to be a duality (e.g. if 
 
 
 
 Y
 ≠
 {
 0
 }
 
 
 {\displaystyle Y\neq \{0\}}
 
 and 
 
 
 
 N
 =
 {
 0
 }
 
 
 {\displaystyle N=\{0\}}
 
).
This article will use the common practice of denoting the restriction 
 
 
 
 
 (
 
 M
 ,
 N
 ,
 b
 
 
 
 |
 
 
 
 M
 ×
 N
 
 
 
 )
 
 
 
 {\displaystyle \left(M,N,b{\big \vert }_{M\times N}\right)}
 
 by 
 
 
 
 (
 M
 ,
 N
 ,
 b
 )
 .
 
 
 {\displaystyle (M,N,b).}

<h3>Canonical duality on a vector space</h3>
Suppose that 
 
 
 
 X
 
 
 {\displaystyle X}
 
 is a vector space and let 
 
 
 
 
 X
 
 #
 
 
 
 
 {\displaystyle X^{\#}}
 
 denote the <a href="/facts/Algebraic_dual_space/4Uw4Knz1">algebraic dual space</a> of 
 
 
 
 X
 
 
 {\displaystyle X}
 
 (that is, the space of all linear functionals on 
 
 
 
 X
 
 
 {\displaystyle X}
 
). 
There is a canonical duality 
 
 
 
 
 (
 
 X
 ,
 
 X
 
 #
 
 
 ,
 c
 
 )
 
 
 
 {\displaystyle \left(X,X^{\#},c\right)}
 
 where 
 
 
 
 c
 
 (
 
 x
 ,
 
 x
 
 ′
 
 
 
 )
 
 =
 
 ⟨
 
 x
 ,
 
 x
 
 ′
 
 
 
 ⟩
 
 =
 
 x
 
 ′
 
 
 (
 x
 )
 ,
 
 
 {\displaystyle c\left(x,x^{\prime }\right)=\left\langle x,x^{\prime }\right\rangle =x^{\prime }(x),}
 
 which is called the evaluation map or the natural or canonical bilinear functional on 
 
 
 
 X
 ×
 
 X
 
 #
 
 
 .
 
 
 {\displaystyle X\times X^{\#}.}
 
 
Note in particular that for any 
 
 
 
 
 x
 
 ′
 
 
 ∈
 
 X
 
 #
 
 
 ,
 
 
 {\displaystyle x^{\prime }\in X^{\#},}
 
 
 
 
 
 c
 
 (
 
 
 ⋅
 
 ,
 
 x
 
 ′
 
 
 
 )
 
 
 
 {\displaystyle c\left(\,\cdot \,,x^{\prime }\right)}
 
 is just another way of denoting 
 
 
 
 
 x
 
 ′
 
 
 
 
 {\displaystyle x^{\prime }}
 
; i.e. 
 
 
 
 c
 
 (
 
 
 ⋅
 
 ,
 
 x
 
 ′
 
 
 
 )
 
 =
 
 x
 
 ′
 
 
 (
 
 ⋅
 
 )
 =
 
 x
 
 ′
 
 
 .
 
 
 {\displaystyle c\left(\,\cdot \,,x^{\prime }\right)=x^{\prime }(\,\cdot \,)=x^{\prime }.}

If 
 
 
 
 N
 
 
 {\displaystyle N}
 
 is a vector subspace of 
 
 
 
 
 X
 
 #
 
 
 
 
 {\displaystyle X^{\#}}
 
, then the restriction of 
 
 
 
 
 (
 
 X
 ,
 
 X
 
 #
 
 
 ,
 c
 
 )
 
 
 
 {\displaystyle \left(X,X^{\#},c\right)}
 
 to 
 
 
 
 X
 ×
 N
 
 
 {\displaystyle X\times N}
 
 is called the canonical pairing where if this pairing is a duality then it is instead called the canonical duality. Clearly, 
 
 
 
 X
 
 
 {\displaystyle X}
 
 always distinguishes points of 
 
 
 
 N
 
 
 {\displaystyle N}
 
, so the canonical pairing is a dual system if and only if 
 
 
 
 N
 
 
 {\displaystyle N}
 
 separates points of 
 
 
 
 X
 .
 
 
 {\displaystyle X.}
 
 
The following notation is now nearly ubiquitous in duality theory.
The evaluation map will be denoted by 
 
 
 
 
 ⟨
 
 x
 ,
 
 x
 
 ′
 
 
 
 ⟩
 
 =
 
 x
 
 ′
 
 
 (
 x
 )
 
 
 {\displaystyle \left\langle x,x^{\prime }\right\rangle =x^{\prime }(x)}
 
 (rather than by 
 
 
 
 c
 
 
 {\displaystyle c}
 
) and 
 
 
 
 ⟨
 X
 ,
 N
 ⟩
 
 
 {\displaystyle \langle X,N\rangle }
 
 will be written rather than 
 
 
 
 (
 X
 ,
 N
 ,
 c
 )
 .
 
 
 {\displaystyle (X,N,c).}

Assumption: As is common practice, if 
 
 
 
 X
 
 
 {\displaystyle X}
 
 is a vector space and 
 
 
 
 N
 
 
 {\displaystyle N}
 
 is a vector space of linear functionals on 
 
 
 
 X
 ,
 
 
 {\displaystyle X,}
 
 then unless stated otherwise, it will be assumed that they are associated with the canonical pairing 
 
 
 
 ⟨
 X
 ,
 N
 ⟩
 .
 
 
 {\displaystyle \langle X,N\rangle .}

If 
 
 
 
 N
 
 
 {\displaystyle N}
 
 is a vector subspace of 
 
 
 
 
 X
 
 #
 
 
 
 
 {\displaystyle X^{\#}}
 
 then 
 
 
 
 X
 
 
 {\displaystyle X}
 
 distinguishes points of 
 
 
 
 N
 
 
 {\displaystyle N}
 
 (or equivalently, 
 
 
 
 (
 X
 ,
 N
 ,
 c
 )
 
 
 {\displaystyle (X,N,c)}
 
 is a duality) if and only if 
 
 
 
 N
 
 
 {\displaystyle N}
 
 distinguishes points of 
 
 
 
 X
 ,
 
 
 {\displaystyle X,}
 
 or equivalently if 
 
 
 
 N
 
 
 {\displaystyle N}
 
 is total (that is, 
 
 
 
 n
 (
 x
 )
 =
 0
 
 
 {\displaystyle n(x)=0}
 
 for all 
 
 
 
 n
 ∈
 N
 
 
 {\displaystyle n\in N}
 
 implies 
 
 
 
 x
 =
 0
 
 
 {\displaystyle x=0}
 
).<a class="footnote-ref" id="fnref:9" href="#fn:9">9</a>

<h3>Canonical duality on a topological vector space</h3>
Suppose 
 
 
 
 X
 
 
 {\displaystyle X}
 
 is a <a href="/facts/Topological_vector_space/XRex1ChN">topological vector space</a> (TVS) with <a href="/facts/Continuous_dual_space/4Uw4Knz1">continuous dual space</a> 
 
 
 
 
 X
 
 ′
 
 
 .
 
 
 {\displaystyle X^{\prime }.}
 
 
Then the restriction of the canonical duality 
 
 
 
 
 (
 
 X
 ,
 
 X
 
 #
 
 
 ,
 c
 
 )
 
 
 
 {\displaystyle \left(X,X^{\#},c\right)}
 
 to 
 
 
 
 X
 
 
 {\displaystyle X}
 
 × 
 
 
 
 
 X
 
 ′
 
 
 
 
 {\displaystyle X^{\prime }}
 
 defines a pairing 
 
 
 
 
 (
 
 X
 ,
 
 X
 
 ′
 
 
 ,
 c
 
 
 
 |
 
 
 
 X
 ×
 
 X
 
 ′
 
 
 
 
 
 )
 
 
 
 {\displaystyle \left(X,X^{\prime },c{\big \vert }_{X\times X^{\prime }}\right)}
 
 for which 
 
 
 
 X
 
 
 {\displaystyle X}
 
 separates points of 
 
 
 
 
 X
 
 ′
 
 
 .
 
 
 {\displaystyle X^{\prime }.}
 
 
If 
 
 
 
 
 X
 
 ′
 
 
 
 
 {\displaystyle X^{\prime }}
 
 separates points of 
 
 
 
 X
 
 
 {\displaystyle X}
 
 (which is true if, for instance, 
 
 
 
 X
 
 
 {\displaystyle X}
 
 is a Hausdorff locally convex space) then this pairing forms a duality.<a class="footnote-ref" id="fnref:10" href="#fn:10">10</a>

Assumption: As is commonly done, whenever 
 
 
 
 X
 
 
 {\displaystyle X}
 
 is a TVS, then unless indicated otherwise, it will be assumed without comment that it's associated with the canonical pairing 
 
 
 
 
 ⟨
 
 X
 ,
 
 X
 
 ′
 
 
 
 ⟩
 
 .
 
 
 {\displaystyle \left\langle X,X^{\prime }\right\rangle .}

<h3>Polars and duals of TVSs</h3>
The following result shows that the <a href="/facts/Continuous_linear_functional/KcqjDBrJ">continuous linear functionals</a> on a TVS are exactly those linear functionals that are bounded on a neighborhood of the origin.

Theorem<a class="footnote-ref" id="fnref:11" href="#fn:11">11</a>—Let 
 
 
 
 X
 
 
 {\displaystyle X}
 
 be a TVS with algebraic dual

X
          
            #
          
        
      
    
    {\displaystyle X^{\#}}
  
 and let 
  
    
      
        
          
            N
          
        
      
    
    {\displaystyle {\mathcal {N}}}
  
 be a basis of neighborhoods of 
  
    
      
        X
      
    
    {\displaystyle X}
  
 at the origin. 
Under the canonical duality 
  
    
      
        
          ⟨
          
            X
            ,
            
              X
              
                #
              
            
          
          ⟩
        
        ,
      
    
    {\displaystyle \left\langle X,X^{\#}\right\rangle ,}
  
 the continuous dual space of 
  
    
      
        X
      
    
    {\displaystyle X}
  
 is the union of all 
  
    
      
        
          N
          
            ∘
          
        
      
    
    {\displaystyle N^{\circ }}
  
 as 
  
    
      
        N
      
    
    {\displaystyle N}
  
 ranges over 
  
    
      
        
          
            N
          
        
      
    
    {\displaystyle {\mathcal {N}}}
  
 (where the polars are taken in

X
 
 #
 
 
 
 
 {\displaystyle X^{\#}}
 
).

<h3>Inner product spaces and complex conjugate spaces</h3>
A <a href="/facts/Pre-Hilbert_space/HoyjElEy">pre-Hilbert space</a> 
 
 
 
 (
 H
 ,
 ⟨
 ⋅
 ,
 ⋅
 ⟩
 )
 
 
 {\displaystyle (H,\langle \cdot ,\cdot \rangle )}
 
 is a dual pairing if and only if 
 
 
 
 H
 
 
 {\displaystyle H}
 
 is vector space over 
 
 
 
 
 R
 
 
 
 {\displaystyle \mathbb {R} }
 
 or 
 
 
 
 H
 
 
 {\displaystyle H}
 
 has dimension 
 
 
 
 0.
 
 
 {\displaystyle 0.}
 
 Here it is assumed that the <a href="/facts/Sesquilinear_form/Kp6qUA8v">sesquilinear form</a> 
 
 
 
 ⟨
 ⋅
 ,
 ⋅
 ⟩
 
 
 {\displaystyle \langle \cdot ,\cdot \rangle }
 
 is <a href="/facts/Conjugate_homogeneous/wF9XX7s5">conjugate homogeneous</a> in its second coordinate and homogeneous in its first coordinate.

<ul>
<li>If 
 
 
 
 (
 H
 ,
 ⟨
 ⋅
 ,
 ⋅
 ⟩
 )
 
 
 {\displaystyle (H,\langle \cdot ,\cdot \rangle )}
 
 is a real <a href="/facts/Hilbert_space/aDFMh4lV">Hilbert space</a> then 
 
 
 
 (
 H
 ,
 H
 ,
 ⟨
 ⋅
 ,
 ⋅
 ⟩
 )
 
 
 {\displaystyle (H,H,\langle \cdot ,\cdot \rangle )}
 
 forms a dual system.</li>
<li>If 
 
 
 
 (
 H
 ,
 ⟨
 ⋅
 ,
 ⋅
 ⟩
 )
 
 
 {\displaystyle (H,\langle \cdot ,\cdot \rangle )}
 
 is a complex <a href="/facts/Hilbert_space/aDFMh4lV">Hilbert space</a> then 
 
 
 
 (
 H
 ,
 H
 ,
 ⟨
 ⋅
 ,
 ⋅
 ⟩
 )
 
 
 {\displaystyle (H,H,\langle \cdot ,\cdot \rangle )}
 
 forms a dual system if and only if 
 
 
 
 dim
 ⁡
 H
 =
 0.
 
 
 {\displaystyle \operatorname {dim} H=0.}
 
 If 
 
 
 
 H
 
 
 {\displaystyle H}
 
 is non-trivial then 
 
 
 
 (
 H
 ,
 H
 ,
 ⟨
 ⋅
 ,
 ⋅
 ⟩
 )
 
 
 {\displaystyle (H,H,\langle \cdot ,\cdot \rangle )}
 
 does not even form pairing since the inner product is <a href="/facts/Sesquilinear/Kp6qUA8v">sesquilinear</a> rather than bilinear.<a class="footnote-ref" id="fnref:12" href="#fn:12">12</a></li>
</ul>
Suppose that 
 
 
 
 (
 H
 ,
 ⟨
 ⋅
 ,
 ⋅
 ⟩
 )
 
 
 {\displaystyle (H,\langle \cdot ,\cdot \rangle )}
 
 is a complex pre-Hilbert space with scalar multiplication denoted as usual by juxtaposition or by a dot 
 
 
 
 ⋅
 .
 
 
 {\displaystyle \cdot .}
 
 
Define the map

⋅
        
        ⊥
        
        ⋅
        
        :
        
          C
        
        ×
        H
        →
        H
        
        
           by 
        
        
        c
        ⊥
        x
        :=
        
          
            c
            ¯
          
        
        x
        ,
      
    
    {\displaystyle \,\cdot \,\perp \,\cdot \,:\mathbb {C} \times H\to H\quad {\text{ by }}\quad c\perp x:={\overline {c}}x,}

where the right-hand side uses the scalar multiplication of 
 
 
 
 H
 .
 
 
 {\displaystyle H.}
 
 
Let 
 
 
 
 
 
 H
 ¯
 
 
 
 
 {\displaystyle {\overline {H}}}
 
 denote the <a href="/facts/Complex_conjugate_vector_space/trWp8y4A">complex conjugate vector space</a> of 
 
 
 
 H
 ,
 
 
 {\displaystyle H,}
 
 where 
 
 
 
 
 
 H
 ¯
 
 
 
 
 {\displaystyle {\overline {H}}}
 
 denotes the additive group of 
 
 
 
 (
 H
 ,
 +
 )
 
 
 {\displaystyle (H,+)}
 
 (so vector addition in 
 
 
 
 
 
 H
 ¯
 
 
 
 
 {\displaystyle {\overline {H}}}
 
 is identical to vector addition in 
 
 
 
 H
 
 
 {\displaystyle H}
 
) but with scalar multiplication in 
 
 
 
 
 
 H
 ¯
 
 
 
 
 {\displaystyle {\overline {H}}}
 
 being the map 
 
 
 
 
 ⋅
 
 ⊥
 
 ⋅
 
 
 
 {\displaystyle \,\cdot \,\perp \,\cdot \,}
 
 (instead of the scalar multiplication that 
 
 
 
 H
 
 
 {\displaystyle H}
 
 is endowed with).
The map 
 
 
 
 b
 :
 H
 ×
 
 
 H
 ¯
 
 
 →
 
 C
 
 
 
 {\displaystyle b:H\times {\overline {H}}\to \mathbb {C} }
 
 defined by 
 
 
 
 b
 (
 x
 ,
 y
 )
 :=
 ⟨
 x
 ,
 y
 ⟩
 
 
 {\displaystyle b(x,y):=\langle x,y\rangle }
 
 is linear in both coordinates<a class="footnote-ref" id="fnref:13" href="#fn:13">13</a> and so 
 
 
 
 
 (
 
 H
 ,
 
 
 H
 ¯
 
 
 ,
 ⟨
 ⋅
 ,
 ⋅
 ⟩
 
 )
 
 
 
 {\displaystyle \left(H,{\overline {H}},\langle \cdot ,\cdot \rangle \right)}
 
 forms a dual pairing.

<h3>Other examples</h3>
<ul>
<li>Suppose 
 
 
 
 X
 =
 
 
 R
 
 
 2
 
 
 ,
 
 
 {\displaystyle X=\mathbb {R} ^{2},}
 
 
 
 
 
 Y
 =
 
 
 R
 
 
 3
 
 
 ,
 
 
 {\displaystyle Y=\mathbb {R} ^{3},}
 
 and for all 
 
 
 
 
 (
 
 
 x
 
 1
 
 
 ,
 
 y
 
 1
 
 
 
 )
 
 ∈
 X
 
  and 
 
 
 (
 
 
 x
 
 2
 
 
 ,
 
 y
 
 2
 
 
 ,
 
 z
 
 2
 
 
 
 )
 
 ∈
 Y
 ,
 
 
 {\displaystyle \left(x_{1},y_{1}\right)\in X{\text{ and }}\left(x_{2},y_{2},z_{2}\right)\in Y,}
 
 let 
 
 
 
 b
 
 (
 
 
 (
 
 
 x
 
 1
 
 
 ,
 
 y
 
 1
 
 
 
 )
 
 ,
 
 (
 
 
 x
 
 2
 
 
 ,
 
 y
 
 2
 
 
 ,
 
 z
 
 2
 
 
 
 )
 
 
 )
 
 :=
 
 x
 
 1
 
 
 
 x
 
 2
 
 
 +
 
 y
 
 1
 
 
 
 y
 
 2
 
 
 .
 
 
 {\displaystyle b\left(\left(x_{1},y_{1}\right),\left(x_{2},y_{2},z_{2}\right)\right):=x_{1}x_{2}+y_{1}y_{2}.}
 
 Then 
 
 
 
 (
 X
 ,
 Y
 ,
 b
 )
 
 
 {\displaystyle (X,Y,b)}
 
 is a pairing such that 
 
 
 
 X
 
 
 {\displaystyle X}
 
 distinguishes points of 
 
 
 
 Y
 ,
 
 
 {\displaystyle Y,}
 
 but 
 
 
 
 Y
 
 
 {\displaystyle Y}
 
 does not distinguish points of 
 
 
 
 X
 .
 
 
 {\displaystyle X.}
 
 Furthermore, 
 
 
 
 
 X
 
 ⊥
 
 
 :=
 {
 y
 ∈
 Y
 :
 X
 ⊥
 y
 }
 =
 {
 (
 0
 ,
 0
 ,
 z
 )
 :
 z
 ∈
 
 R
 
 }
 .
 
 
 {\displaystyle X^{\perp }:=\{y\in Y:X\perp y\}=\{(0,0,z):z\in \mathbb {R} \}.}
 
</li>
<li>Let 
 
 
 
 0
 <
 p
 <
 ∞
 ,
 
 
 {\displaystyle 0<p<\infty ,}
 
 
 
 
 
 X
 :=
 
 L
 
 p
 
 
 (
 μ
 )
 ,
 
 
 {\displaystyle X:=L^{p}(\mu ),}
 
 
 
 
 
 Y
 :=
 
 L
 
 q
 
 
 (
 μ
 )
 
 
 {\displaystyle Y:=L^{q}(\mu )}
 
 (where 
 
 
 
 q
 
 
 {\displaystyle q}
 
 is such that 
 
 
 
 
 
 
 1
 p
 
 
 
 +
 
 
 
 1
 q
 
 
 
 =
 1
 
 
 {\displaystyle {\tfrac {1}{p}}+{\tfrac {1}{q}}=1}
 
), and 
 
 
 
 b
 (
 f
 ,
 g
 )
 :=
 ∫
 f
 g
 
 
 d
 
 μ
 .
 
 
 {\displaystyle b(f,g):=\int fg\,\mathrm {d} \mu .}
 
 Then 
 
 
 
 (
 X
 ,
 Y
 ,
 b
 )
 
 
 {\displaystyle (X,Y,b)}
 
 is a dual system.</li>
<li>Let 
 
 
 
 X
 
 
 {\displaystyle X}
 
 and 
 
 
 
 Y
 
 
 {\displaystyle Y}
 
 be vector spaces over the same field 
 
 
 
 
 K
 
 .
 
 
 {\displaystyle \mathbb {K} .}
 
 Then the bilinear form 
 
 
 
 b
 
 (
 
 x
 ⊗
 y
 ,
 
 x
 
 ∗
 
 
 ⊗
 
 y
 
 ∗
 
 
 
 )
 
 =
 
 ⟨
 
 
 x
 
 ′
 
 
 ,
 x
 
 ⟩
 
 
 ⟨
 
 
 y
 
 ′
 
 
 ,
 y
 
 ⟩
 
 
 
 {\displaystyle b\left(x\otimes y,x^{*}\otimes y^{*}\right)=\left\langle x^{\prime },x\right\rangle \left\langle y^{\prime },y\right\rangle }
 
 places 
 
 
 
 X
 ×
 Y
 
 
 {\displaystyle X\times Y}
 
 and 
 
 
 
 
 X
 
 #
 
 
 ×
 
 Y
 
 #
 
 
 
 
 {\displaystyle X^{\#}\times Y^{\#}}
 
 in duality.<a class="footnote-ref" id="fnref:14" href="#fn:14">14</a></li>
<li>A <a href="/facts/Sequence_space/2HkcM12K">sequence space</a> 
 
 
 
 X
 
 
 {\displaystyle X}
 
 and its <a href="/facts/Beta_dual/y5JDQ2o4">beta dual</a> 
 
 
 
 Y
 :=
 
 X
 
 β
 
 
 
 
 {\displaystyle Y:=X^{\beta }}
 
 with the bilinear map defined as 
 
 
 
 ⟨
 x
 ,
 y
 ⟩
 :=
 
 ∑
 
 i
 =
 1
 
 
 ∞
 
 
 
 x
 
 i
 
 
 
 y
 
 i
 
 
 
 
 {\displaystyle \langle x,y\rangle :=\sum _{i=1}^{\infty }x_{i}y_{i}}
 
 for 
 
 
 
 x
 ∈
 X
 ,
 
 
 {\displaystyle x\in X,}
 
 
 
 
 
 y
 ∈
 
 X
 
 β
 
 
 
 
 {\displaystyle y\in X^{\beta }}
 
 forms a dual system.</li>
</ul>
<h2 id="weak-topology">Weak topology</h2>
Main articles: <a href="/facts/Weak_topology/XJASE9Up">Weak topology</a> and <a href="/facts/Weak-*_topology/XJASE9Up">Weak-* topology</a>
Suppose that 
 
 
 
 (
 X
 ,
 Y
 ,
 b
 )
 
 
 {\displaystyle (X,Y,b)}
 
 is a pairing of <a href="/facts/Vector_space/M1pxMLx2">vector spaces</a> over 
 
 
 
 
 K
 
 .
 
 
 {\displaystyle \mathbb {K} .}
 
 
If 
 
 
 
 S
 ⊆
 Y
 
 
 {\displaystyle S\subseteq Y}
 
 then the weak topology on 
 
 
 
 X
 
 
 {\displaystyle X}
 
 induced by 
 
 
 
 S
 
 
 {\displaystyle S}
 
 (and 
 
 
 
 b
 
 
 {\displaystyle b}
 
) is the weakest TVS topology on 
 
 
 
 X
 ,
 
 
 {\displaystyle X,}
 
 denoted by 
 
 
 
 σ
 (
 X
 ,
 S
 ,
 b
 )
 
 
 {\displaystyle \sigma (X,S,b)}
 
 or simply 
 
 
 
 σ
 (
 X
 ,
 S
 )
 ,
 
 
 {\displaystyle \sigma (X,S),}
 
 making all maps 
 
 
 
 b
 (
 
 ⋅
 
 ,
 y
 )
 :
 X
 →
 
 K
 
 
 
 {\displaystyle b(\,\cdot \,,y):X\to \mathbb {K} }
 
 continuous as 
 
 
 
 y
 
 
 {\displaystyle y}
 
 ranges over 
 
 
 
 S
 .
 
 
 {\displaystyle S.}
 
<a class="footnote-ref" id="fnref:15" href="#fn:15">15</a> If 
 
 
 
 S
 
 
 {\displaystyle S}
 
 is not clear from context then it should be assumed to be all of 
 
 
 
 Y
 ,
 
 
 {\displaystyle Y,}
 
 in which case it is called the weak topology on 
 
 
 
 X
 
 
 {\displaystyle X}
 
 (induced by 
 
 
 
 Y
 
 
 {\displaystyle Y}
 
). 
The notation 
 
 
 
 
 X
 
 σ
 (
 X
 ,
 S
 ,
 b
 )
 
 
 ,
 
 
 {\displaystyle X_{\sigma (X,S,b)},}
 
 
 
 
 
 
 X
 
 σ
 (
 X
 ,
 S
 )
 
 
 ,
 
 
 {\displaystyle X_{\sigma (X,S)},}
 
 or (if no confusion could arise) simply 
 
 
 
 
 X
 
 σ
 
 
 
 
 {\displaystyle X_{\sigma }}
 
 is used to denote 
 
 
 
 X
 
 
 {\displaystyle X}
 
 endowed with the weak topology 
 
 
 
 σ
 (
 X
 ,
 S
 ,
 b
 )
 .
 
 
 {\displaystyle \sigma (X,S,b).}
 
 
Importantly, the weak topology depends entirely on the function 
 
 
 
 b
 ,
 
 
 {\displaystyle b,}
 
 the usual topology on 
 
 
 
 
 C
 
 ,
 
 
 {\displaystyle \mathbb {C} ,}
 
 and 
 
 
 
 X
 
 
 {\displaystyle X}
 
's <a href="/facts/Vector_space/M1pxMLx2">vector space</a> structure but not on the <a href="/facts/Algebraic_structure/TkuXca24">algebraic structures</a> of 
 
 
 
 Y
 .
 
 
 {\displaystyle Y.}

Similarly, if 
 
 
 
 R
 ⊆
 X
 
 
 {\displaystyle R\subseteq X}
 
 then the dual definition of the weak <a href="/facts/Topology/2EqW47cU">topology</a> on 
 
 
 
 Y
 
 
 {\displaystyle Y}
 
 induced by 
 
 
 
 R
 
 
 {\displaystyle R}
 
 (and 
 
 
 
 b
 
 
 {\displaystyle b}
 
), which is denoted by 
 
 
 
 σ
 (
 Y
 ,
 R
 ,
 b
 )
 
 
 {\displaystyle \sigma (Y,R,b)}
 
 or simply 
 
 
 
 σ
 (
 Y
 ,
 R
 )
 
 
 {\displaystyle \sigma (Y,R)}
 
 (see footnote for details).<a class="footnote-ref" id="fnref:16" href="#fn:16">16</a>

Definition and Notation: If "
 
 
 
 σ
 (
 X
 ,
 Y
 ,
 b
 )
 
 
 {\displaystyle \sigma (X,Y,b)}
 
" is attached to a topological definition (e.g. 
 
 
 
 σ
 (
 X
 ,
 Y
 ,
 b
 )
 
 
 {\displaystyle \sigma (X,Y,b)}
 
-converges, 
 
 
 
 σ
 (
 X
 ,
 Y
 ,
 b
 )
 
 
 {\displaystyle \sigma (X,Y,b)}
 
-bounded, 
 
 
 
 
 cl
 
 σ
 (
 X
 ,
 Y
 ,
 b
 )
 
 
 ⁡
 (
 S
 )
 ,
 
 
 {\displaystyle \operatorname {cl} _{\sigma (X,Y,b)}(S),}
 
 etc.) then it means that definition when the first space (i.e. 
 
 
 
 X
 
 
 {\displaystyle X}
 
) carries the 
 
 
 
 σ
 (
 X
 ,
 Y
 ,
 b
 )
 
 
 {\displaystyle \sigma (X,Y,b)}
 
 topology. Mention of 
 
 
 
 b
 
 
 {\displaystyle b}
 
 or even 
 
 
 
 X
 
 
 {\displaystyle X}
 
 and 
 
 
 
 Y
 
 
 {\displaystyle Y}
 
 may be omitted if no confusion arises. So, for instance, if a sequence 
 
 
 
 
 
 (
 
 a
 
 i
 
 
 )
 
 
 i
 =
 1
 
 
 ∞
 
 
 
 
 {\displaystyle \left(a_{i}\right)_{i=1}^{\infty }}
 
 in 
 
 
 
 Y
 
 
 {\displaystyle Y}
 
 "
 
 
 
 σ
 
 
 {\displaystyle \sigma }
 
-converges" or "weakly converges" then this means that it converges in 
 
 
 
 (
 Y
 ,
 σ
 (
 Y
 ,
 X
 ,
 b
 )
 )
 
 
 {\displaystyle (Y,\sigma (Y,X,b))}
 
 whereas if it were a sequence in 
 
 
 
 X
 
 
 {\displaystyle X}
 
, then this would mean that it converges in 
 
 
 
 (
 X
 ,
 σ
 (
 X
 ,
 Y
 ,
 b
 )
 )
 
 
 {\displaystyle (X,\sigma (X,Y,b))}
 
).
The topology 
 
 
 
 σ
 (
 X
 ,
 Y
 ,
 b
 )
 
 
 {\displaystyle \sigma (X,Y,b)}
 
 is <a href="/facts/Locally_convex/AGrPrayC">locally convex</a> since it is determined by the family of seminorms 
 
 
 
 
 p
 
 y
 
 
 :
 X
 →
 
 R
 
 
 
 {\displaystyle p_{y}:X\to \mathbb {R} }
 
 defined by 
 
 
 
 
 p
 
 y
 
 
 (
 x
 )
 :=
 
 |
 
 b
 (
 x
 ,
 y
 )
 
 |
 
 ,
 
 
 {\displaystyle p_{y}(x):=|b(x,y)|,}
 
 as 
 
 
 
 y
 
 
 {\displaystyle y}
 
 ranges over 
 
 
 
 Y
 .
 
 
 {\displaystyle Y.}
 
<a class="footnote-ref" id="fnref:17" href="#fn:17">17</a> 
If 
 
 
 
 x
 ∈
 X
 
 
 {\displaystyle x\in X}
 
 and 
 
 
 
 
 
 (
 
 x
 
 i
 
 
 )
 
 
 i
 ∈
 I
 
 
 
 
 {\displaystyle \left(x_{i}\right)_{i\in I}}
 
 is a <a href="/facts/Net_(mathematics)/msmsvMTT">net</a> in 
 
 
 
 X
 ,
 
 
 {\displaystyle X,}
 
 then 
 
 
 
 
 
 (
 
 x
 
 i
 
 
 )
 
 
 i
 ∈
 I
 
 
 
 
 {\displaystyle \left(x_{i}\right)_{i\in I}}
 
 
 
 
 
 σ
 (
 X
 ,
 Y
 ,
 b
 )
 
 
 {\displaystyle \sigma (X,Y,b)}
 
-converges to 
 
 
 
 x
 
 
 {\displaystyle x}
 
 if 
 
 
 
 
 
 (
 
 x
 
 i
 
 
 )
 
 
 i
 ∈
 I
 
 
 
 
 {\displaystyle \left(x_{i}\right)_{i\in I}}
 
 converges to 
 
 
 
 x
 
 
 {\displaystyle x}
 
 in 
 
 
 
 (
 X
 ,
 σ
 (
 X
 ,
 Y
 ,
 b
 )
 )
 .
 
 
 {\displaystyle (X,\sigma (X,Y,b)).}
 
<a class="footnote-ref" id="fnref:18" href="#fn:18">18</a> 
A net 
 
 
 
 
 
 (
 
 x
 
 i
 
 
 )
 
 
 i
 ∈
 I
 
 
 
 
 {\displaystyle \left(x_{i}\right)_{i\in I}}
 
 
 
 
 
 σ
 (
 X
 ,
 Y
 ,
 b
 )
 
 
 {\displaystyle \sigma (X,Y,b)}
 
-converges to 
 
 
 
 x
 
 
 {\displaystyle x}
 
 if and only if for all 
 
 
 
 y
 ∈
 Y
 ,
 
 
 {\displaystyle y\in Y,}
 
 
 
 
 
 b
 
 (
 
 
 x
 
 i
 
 
 ,
 y
 
 )
 
 
 
 {\displaystyle b\left(x_{i},y\right)}
 
 converges to 
 
 
 
 b
 (
 x
 ,
 y
 )
 .
 
 
 {\displaystyle b(x,y).}
 
 
If 
 
 
 
 
 
 (
 
 x
 
 i
 
 
 )
 
 
 i
 =
 1
 
 
 ∞
 
 
 
 
 {\displaystyle \left(x_{i}\right)_{i=1}^{\infty }}
 
 is a sequence of <a href="/facts/Orthonormal/JfgL1nAh">orthonormal</a> vectors in Hilbert space, then 
 
 
 
 
 
 (
 
 x
 
 i
 
 
 )
 
 
 i
 =
 1
 
 
 ∞
 
 
 
 
 {\displaystyle \left(x_{i}\right)_{i=1}^{\infty }}
 
 converges weakly to 0 but does not norm-converge to 0 (or any other vector).<a class="footnote-ref" id="fnref:19" href="#fn:19">19</a>
If 
 
 
 
 (
 X
 ,
 Y
 ,
 b
 )
 
 
 {\displaystyle (X,Y,b)}
 
 is a pairing and 
 
 
 
 N
 
 
 {\displaystyle N}
 
 is a proper vector subspace of 
 
 
 
 Y
 
 
 {\displaystyle Y}
 
 such that 
 
 
 
 (
 X
 ,
 N
 ,
 b
 )
 
 
 {\displaystyle (X,N,b)}
 
 is a dual pair, then 
 
 
 
 σ
 (
 X
 ,
 N
 ,
 b
 )
 
 
 {\displaystyle \sigma (X,N,b)}
 
 is strictly <a href="/facts/Comparison_of_topologies/5Q9F2fjf">coarser</a> than 
 
 
 
 σ
 (
 X
 ,
 Y
 ,
 b
 )
 .
 
 
 {\displaystyle \sigma (X,Y,b).}
 
<a class="footnote-ref" id="fnref:20" href="#fn:20">20</a>

<h3>Bounded subsets</h3>
A subset 
 
 
 
 S
 
 
 {\displaystyle S}
 
 of 
 
 
 
 X
 
 
 {\displaystyle X}
 
 is 
 
 
 
 σ
 (
 X
 ,
 Y
 ,
 b
 )
 
 
 {\displaystyle \sigma (X,Y,b)}
 
-bounded if and only if

sup

|
 
 b
 (
 S
 ,
 y
 )
 
 |
 
 <
 ∞
 
 
  for all 
 
 y
 ∈
 Y
 ,
 
 
 {\displaystyle \sup _{}|b(S,y)|<\infty \quad {\text{ for all }}y\in Y,}
 
 where 
 
 
 
 
 |
 
 b
 (
 S
 ,
 y
 )
 
 |
 
 :=
 {
 b
 (
 s
 ,
 y
 )
 :
 s
 ∈
 S
 }
 .
 
 
 {\displaystyle |b(S,y)|:=\{b(s,y):s\in S\}.}

<h3>Hausdorffness</h3>
If 
 
 
 
 (
 X
 ,
 Y
 ,
 b
 )
 
 
 {\displaystyle (X,Y,b)}
 
 is a pairing then the following are equivalent:

<ol><li>
 
 
 
 X
 
 
 {\displaystyle X}
 
 distinguishes points of 
 
 
 
 Y
 
 
 {\displaystyle Y}
 
;</li>
<li>The map 
 
 
 
 y
 ↦
 b
 (
 
 ⋅
 
 ,
 y
 )
 
 
 {\displaystyle y\mapsto b(\,\cdot \,,y)}
 
 defines an <a href="/facts/Injective_function/5ES6tqf5">injection</a> from 
 
 
 
 Y
 
 
 {\displaystyle Y}
 
 into the algebraic dual space of 
 
 
 
 X
 
 
 {\displaystyle X}
 
;<a class="footnote-ref" id="fnref:21" href="#fn:21">21</a></li>
<li>
 
 
 
 σ
 (
 Y
 ,
 X
 ,
 b
 )
 
 
 {\displaystyle \sigma (Y,X,b)}
 
 is <a href="/facts/Hausdorff_space/gbKIrusl">Hausdorff</a>.<a class="footnote-ref" id="fnref:22" href="#fn:22">22</a></li></ol>
<h3>Weak representation theorem</h3>
The following theorem is of fundamental importance to duality theory because it completely characterizes the continuous dual space of 
 
 
 
 (
 X
 ,
 σ
 (
 X
 ,
 Y
 ,
 b
 )
 )
 .
 
 
 {\displaystyle (X,\sigma (X,Y,b)).}

Weak representation theorem<a class="footnote-ref" id="fnref:23" href="#fn:23">23</a>—Let 
 
 
 
 (
 X
 ,
 Y
 ,
 b
 )
 
 
 {\displaystyle (X,Y,b)}
 
 be a pairing over the field 
 
 
 
 
 K
 
 .
 
 
 {\displaystyle \mathbb {K} .}
 
 Then the <a href="/facts/Continuous_dual_space/4Uw4Knz1">continuous dual space</a> of 
 
 
 
 (
 X
 ,
 σ
 (
 X
 ,
 Y
 ,
 b
 )
 )
 
 
 {\displaystyle (X,\sigma (X,Y,b))}
 
 is 
 
 
 
 b
 (
 
 ⋅
 
 ,
 Y
 )
 :=
 {
 b
 (
 
 ⋅
 
 ,
 y
 )
 :
 y
 ∈
 Y
 }
 .
 
 
 {\displaystyle b(\,\cdot \,,Y):=\{b(\,\cdot \,,y):y\in Y\}.}
 
 Furthermore,

<ol><li>If 
 
 
 
 f
 
 
 {\displaystyle f}
 
 is a <a href="/facts/Continuous_linear_functional/KcqjDBrJ">continuous linear functional</a> on 
 
 
 
 (
 X
 ,
 σ
 (
 X
 ,
 Y
 ,
 b
 )
 )
 
 
 {\displaystyle (X,\sigma (X,Y,b))}
 
 then there exists some 
 
 
 
 y
 ∈
 Y
 
 
 {\displaystyle y\in Y}
 
 such that 
 
 
 
 f
 =
 b
 (
 
 ⋅
 
 ,
 y
 )
 
 
 {\displaystyle f=b(\,\cdot \,,y)}
 
; if such a 
 
 
 
 y
 
 
 {\displaystyle y}
 
 exists then it is unique if and only if 
 
 
 
 X
 
 
 {\displaystyle X}
 
 distinguishes points of 
 
 
 
 Y
 .
 
 
 {\displaystyle Y.}

<ul><li>Note that whether or not 
 
 
 
 X
 
 
 {\displaystyle X}
 
 distinguishes points of 
 
 
 
 Y
 
 
 {\displaystyle Y}
 
 is not dependent on the particular choice of 
 
 
 
 y
 .
 
 
 {\displaystyle y.}
 
</li></ul>
</li><li>The continuous dual space of 
 
 
 
 (
 X
 ,
 σ
 (
 X
 ,
 Y
 ,
 b
 )
 )
 
 
 {\displaystyle (X,\sigma (X,Y,b))}
 
 may be identified with the quotient space 
 
 
 
 Y
 
 /
 
 
 X
 
 ⊥
 
 
 ,
 
 
 {\displaystyle Y/X^{\perp },}
 
 where 
 
 
 
 
 X
 
 ⊥
 
 
 :=
 {
 y
 ∈
 Y
 :
 b
 (
 x
 ,
 y
 )
 =
 0
 
  for all 
 
 x
 ∈
 X
 }
 .
 
 
 {\displaystyle X^{\perp }:=\{y\in Y:b(x,y)=0{\text{ for all }}x\in X\}.}

<ul><li>This is true regardless of whether or not 
 
 
 
 X
 
 
 {\displaystyle X}
 
 distinguishes points of 
 
 
 
 Y
 
 
 {\displaystyle Y}
 
 or 
 
 
 
 Y
 
 
 {\displaystyle Y}
 
 distinguishes points of 
 
 
 
 X
 .
 
 
 {\displaystyle X.}
 
</li></ul></li></ol>

Consequently, the <a href="/facts/Continuous_dual_space/4Uw4Knz1">continuous dual space</a> of 
 
 
 
 (
 X
 ,
 σ
 (
 X
 ,
 Y
 ,
 b
 )
 )
 
 
 {\displaystyle (X,\sigma (X,Y,b))}
 
 is

(
        X
        ,
        σ
        (
        X
        ,
        Y
        ,
        b
        )
        
          )
          
            ′
          
        
        =
        b
        (
        
        ⋅
        
        ,
        Y
        )
        :=
        
          {
          
            b
            (
            
            ⋅
            
            ,
            y
            )
            :
            y
            ∈
            Y
          
          }
        
        .
      
    
    {\displaystyle (X,\sigma (X,Y,b))^{\prime }=b(\,\cdot \,,Y):=\left\{b(\,\cdot \,,y):y\in Y\right\}.}

With respect to the canonical pairing, if 
 
 
 
 X
 
 
 {\displaystyle X}
 
 is a TVS whose continuous dual space 
 
 
 
 
 X
 
 ′
 
 
 
 
 {\displaystyle X^{\prime }}
 
 separates points on 
 
 
 
 X
 
 
 {\displaystyle X}
 
 (i.e. such that 
 
 
 
 
 (
 
 X
 ,
 σ
 
 (
 
 X
 ,
 
 X
 
 ′
 
 
 
 )
 
 
 )
 
 
 
 {\displaystyle \left(X,\sigma \left(X,X^{\prime }\right)\right)}
 
 is Hausdorff, which implies that 
 
 
 
 X
 
 
 {\displaystyle X}
 
 is also necessarily Hausdorff) then the continuous dual space of 
 
 
 
 
 (
 
 
 X
 
 ′
 
 
 ,
 σ
 
 (
 
 
 X
 
 ′
 
 
 ,
 X
 
 )
 
 
 )
 
 
 
 {\displaystyle \left(X^{\prime },\sigma \left(X^{\prime },X\right)\right)}
 
 is equal to the set of all "evaluation at a point 
 
 
 
 x
 
 
 {\displaystyle x}
 
" maps as 
 
 
 
 x
 
 
 {\displaystyle x}
 
 ranges over 
 
 
 
 X
 
 
 {\displaystyle X}
 
 (i.e. the map that send 
 
 
 
 
 x
 
 ′
 
 
 ∈
 
 X
 
 ′
 
 
 
 
 {\displaystyle x^{\prime }\in X^{\prime }}
 
 to 
 
 
 
 
 x
 
 ′
 
 
 (
 x
 )
 
 
 {\displaystyle x^{\prime }(x)}
 
). 
This is commonly written as

(
            
              
                X
                
                  ′
                
              
              ,
              σ
              
                (
                
                  
                    X
                    
                      ′
                    
                  
                  ,
                  X
                
                )
              
            
            )
          
          
            ′
          
        
        =
        X
        
        
           or 
        
        
        
          
            (
            
              X
              
                σ
              
              
                ′
              
            
            )
          
          
            ′
          
        
        =
        X
        .
      
    
    {\displaystyle \left(X^{\prime },\sigma \left(X^{\prime },X\right)\right)^{\prime }=X\qquad {\text{ or }}\qquad \left(X_{\sigma }^{\prime }\right)^{\prime }=X.}

This very important fact is why results for polar topologies on continuous dual spaces, such as the <a href="/facts/Strong_dual_topology/4RI1SYl6">strong dual topology</a> 
 
 
 
 β
 
 (
 
 
 X
 
 ′
 
 
 ,
 X
 
 )
 
 
 
 {\displaystyle \beta \left(X^{\prime },X\right)}
 
 on 
 
 
 
 
 X
 
 ′
 
 
 
 
 {\displaystyle X^{\prime }}
 
 for example, can also often be applied to the original TVS 
 
 
 
 X
 
 
 {\displaystyle X}
 
; for instance, 
 
 
 
 X
 
 
 {\displaystyle X}
 
 being identified with 
 
 
 
 
 
 (
 
 X
 
 σ
 
 
 ′
 
 
 )
 
 
 ′
 
 
 
 
 {\displaystyle \left(X_{\sigma }^{\prime }\right)^{\prime }}
 
 means that the topology 
 
 
 
 β
 
 (
 
 
 
 (
 
 X
 
 σ
 
 
 ′
 
 
 )
 
 
 ′
 
 
 ,
 
 X
 
 σ
 
 
 ′
 
 
 
 )
 
 
 
 {\displaystyle \beta \left(\left(X_{\sigma }^{\prime }\right)^{\prime },X_{\sigma }^{\prime }\right)}
 
 on 
 
 
 
 
 
 (
 
 X
 
 σ
 
 
 ′
 
 
 )
 
 
 ′
 
 
 
 
 {\displaystyle \left(X_{\sigma }^{\prime }\right)^{\prime }}
 
 can instead be thought of as a topology on 
 
 
 
 X
 .
 
 
 {\displaystyle X.}
 
 
Moreover, if 
 
 
 
 
 X
 
 ′
 
 
 
 
 {\displaystyle X^{\prime }}
 
 is endowed with a topology that is <a href="/facts/Comparison_of_topologies/5Q9F2fjf">finer</a> than 
 
 
 
 σ
 
 (
 
 
 X
 
 ′
 
 
 ,
 X
 
 )
 
 
 
 {\displaystyle \sigma \left(X^{\prime },X\right)}
 
 then the continuous dual space of 
 
 
 
 
 X
 
 ′
 
 
 
 
 {\displaystyle X^{\prime }}
 
 will necessarily contain 
 
 
 
 
 
 (
 
 X
 
 σ
 
 
 ′
 
 
 )
 
 
 ′
 
 
 
 
 {\displaystyle \left(X_{\sigma }^{\prime }\right)^{\prime }}
 
 as a subset. 
So for instance, when 
 
 
 
 
 X
 
 ′
 
 
 
 
 {\displaystyle X^{\prime }}
 
 is endowed with the strong dual topology (and so is denoted by 
 
 
 
 
 X
 
 β
 
 
 ′
 
 
 
 
 {\displaystyle X_{\beta }^{\prime }}
 
) then

(
            
              X
              
                β
              
              
                ′
              
            
            )
          
          
            ′
          
        
         
        ⊇
         
        
          
            (
            
              X
              
                σ
              
              
                ′
              
            
            )
          
          
            ′
          
        
         
        =
         
        X
      
    
    {\displaystyle \left(X_{\beta }^{\prime }\right)^{\prime }~\supseteq ~\left(X_{\sigma }^{\prime }\right)^{\prime }~=~X}

which (among other things) allows for 
 
 
 
 X
 
 
 {\displaystyle X}
 
 to be endowed with the subspace topology induced on it by, say, the strong dual topology 
 
 
 
 β
 
 (
 
 
 
 (
 
 X
 
 β
 
 
 ′
 
 
 )
 
 
 ′
 
 
 ,
 
 X
 
 β
 
 
 ′
 
 
 
 )
 
 
 
 {\displaystyle \beta \left(\left(X_{\beta }^{\prime }\right)^{\prime },X_{\beta }^{\prime }\right)}
 
 (this topology is also called the strong <a href="/facts/Bidual/8jGuyQIU">bidual</a> topology and it appears in the theory of <a href="/facts/Reflexive_space/g7Cjbw0S">reflexive spaces</a>: the Hausdorff locally convex TVS 
 
 
 
 X
 
 
 {\displaystyle X}
 
 is said to be <a href="/facts/Semi-reflexive_space/NRcUlayR">semi-reflexive</a> if 
 
 
 
 
 
 (
 
 X
 
 β
 
 
 ′
 
 
 )
 
 
 ′
 
 
 =
 X
 
 
 {\displaystyle \left(X_{\beta }^{\prime }\right)^{\prime }=X}
 
 and it will be called <a href="/facts/Reflexive_space/g7Cjbw0S">reflexive</a> if in addition the strong bidual topology 
 
 
 
 β
 
 (
 
 
 
 (
 
 X
 
 β
 
 
 ′
 
 
 )
 
 
 ′
 
 
 ,
 
 X
 
 β
 
 
 ′
 
 
 
 )
 
 
 
 {\displaystyle \beta \left(\left(X_{\beta }^{\prime }\right)^{\prime },X_{\beta }^{\prime }\right)}
 
 on 
 
 
 
 X
 
 
 {\displaystyle X}
 
 is equal to 
 
 
 
 X
 
 
 {\displaystyle X}
 
's original/starting topology).

<h3>Orthogonals, quotients, and subspaces</h3>
If 
 
 
 
 (
 X
 ,
 Y
 ,
 b
 )
 
 
 {\displaystyle (X,Y,b)}
 
 is a pairing then for any subset 
 
 
 
 S
 
 
 {\displaystyle S}
 
 of 
 
 
 
 X
 
 
 {\displaystyle X}
 
:

<ul>
<li>
 
 
 
 
 S
 
 ⊥
 
 
 =
 (
 span
 ⁡
 S
 
 )
 
 ⊥
 
 
 =
 
 
 (
 
 
 cl
 
 σ
 (
 Y
 ,
 X
 ,
 b
 )
 
 
 ⁡
 span
 ⁡
 S
 
 )
 
 
 ⊥
 
 
 =
 
 S
 
 ⊥⊥⊥
 
 
 
 
 {\displaystyle S^{\perp }=(\operatorname {span} S)^{\perp }=\left(\operatorname {cl} _{\sigma (Y,X,b)}\operatorname {span} S\right)^{\perp }=S^{\perp \perp \perp }}
 
 and this set is 
 
 
 
 σ
 (
 Y
 ,
 X
 ,
 b
 )
 
 
 {\displaystyle \sigma (Y,X,b)}
 
-closed;<a class="footnote-ref" id="fnref:24" href="#fn:24">24</a></li>
<li>
 
 
 
 S
 ⊆
 
 S
 
 ⊥⊥
 
 
 =
 
 (
 
 
 cl
 
 σ
 (
 X
 ,
 Y
 ,
 b
 )
 
 
 ⁡
 span
 ⁡
 S
 
 )
 
 
 
 {\displaystyle S\subseteq S^{\perp \perp }=\left(\operatorname {cl} _{\sigma (X,Y,b)}\operatorname {span} S\right)}
 
;<a class="footnote-ref" id="fnref:25" href="#fn:25">25</a>
<ul><li>Thus if 
 
 
 
 S
 
 
 {\displaystyle S}
 
 is a 
 
 
 
 σ
 (
 X
 ,
 Y
 ,
 b
 )
 
 
 {\displaystyle \sigma (X,Y,b)}
 
-closed vector subspace of 
 
 
 
 X
 
 
 {\displaystyle X}
 
 then 
 
 
 
 S
 ⊆
 
 S
 
 ⊥⊥
 
 
 .
 
 
 {\displaystyle S\subseteq S^{\perp \perp }.}
 
</li></ul>
</li><li>If 
 
 
 
 
 
 (
 
 S
 
 i
 
 
 )
 
 
 i
 ∈
 I
 
 
 
 
 {\displaystyle \left(S_{i}\right)_{i\in I}}
 
 is a family of 
 
 
 
 σ
 (
 X
 ,
 Y
 ,
 b
 )
 
 
 {\displaystyle \sigma (X,Y,b)}
 
-closed vector subspaces of 
 
 
 
 X
 
 
 {\displaystyle X}
 
 then

(
 
 
 ⋂
 
 i
 ∈
 I
 
 
 
 S
 
 i
 
 
 
 )
 
 
 ⊥
 
 
 =
 
 cl
 
 σ
 (
 Y
 ,
 X
 ,
 b
 )
 
 
 ⁡
 
 (
 
 span
 ⁡
 
 (
 
 
 ⋃
 
 i
 ∈
 I
 
 
 
 S
 
 i
 
 
 ⊥
 
 
 
 )
 
 
 )
 
 .
 
 
 {\displaystyle \left(\bigcap _{i\in I}S_{i}\right)^{\perp }=\operatorname {cl} _{\sigma (Y,X,b)}\left(\operatorname {span} \left(\bigcup _{i\in I}S_{i}^{\perp }\right)\right).}
 
<a class="footnote-ref" id="fnref:26" href="#fn:26">26</a></li>
<li>If 
 
 
 
 
 
 (
 
 S
 
 i
 
 
 )
 
 
 i
 ∈
 I
 
 
 
 
 {\displaystyle \left(S_{i}\right)_{i\in I}}
 
 is a family of subsets of 
 
 
 
 X
 
 
 {\displaystyle X}
 
 then

(
 
 
 ⋃
 
 i
 ∈
 I
 
 
 
 S
 
 i
 
 
 
 )
 
 
 ⊥
 
 
 =
 
 ⋂
 
 i
 ∈
 I
 
 
 
 S
 
 i
 
 
 ⊥
 
 
 .
 
 
 {\displaystyle \left(\bigcup _{i\in I}S_{i}\right)^{\perp }=\bigcap _{i\in I}S_{i}^{\perp }.}
 
<a class="footnote-ref" id="fnref:27" href="#fn:27">27</a></li>
</ul>
If 
 
 
 
 X
 
 
 {\displaystyle X}
 
 is a normed space then under the canonical duality, 
 
 
 
 
 S
 
 ⊥
 
 
 
 
 {\displaystyle S^{\perp }}
 
 is norm closed in 
 
 
 
 
 X
 
 ′
 
 
 
 
 {\displaystyle X^{\prime }}
 
 and 
 
 
 
 
 S
 
 ⊥⊥
 
 
 
 
 {\displaystyle S^{\perp \perp }}
 
 is norm closed in 
 
 
 
 X
 .
 
 
 {\displaystyle X.}
 
<a class="footnote-ref" id="fnref:28" href="#fn:28">28</a>

<h3>Subspaces</h3>
Suppose that 
 
 
 
 M
 
 
 {\displaystyle M}
 
 is a vector subspace of 
 
 
 
 X
 
 
 {\displaystyle X}
 
 and let 
 
 
 
 (
 M
 ,
 Y
 ,
 b
 )
 
 
 {\displaystyle (M,Y,b)}
 
 denote the restriction of 
 
 
 
 (
 X
 ,
 Y
 ,
 b
 )
 
 
 {\displaystyle (X,Y,b)}
 
 to 
 
 
 
 M
 ×
 Y
 .
 
 
 {\displaystyle M\times Y.}
 
 
The weak topology 
 
 
 
 σ
 (
 M
 ,
 Y
 ,
 b
 )
 
 
 {\displaystyle \sigma (M,Y,b)}
 
 on 
 
 
 
 M
 
 
 {\displaystyle M}
 
 is identical to the <a href="/facts/Subspace_topology/NjU6z4Ca">subspace topology</a> that 
 
 
 
 M
 
 
 {\displaystyle M}
 
 inherits from 
 
 
 
 (
 X
 ,
 σ
 (
 X
 ,
 Y
 ,
 b
 )
 )
 .
 
 
 {\displaystyle (X,\sigma (X,Y,b)).}

Also, 
 
 
 
 
 (
 
 M
 ,
 Y
 
 /
 
 
 M
 
 ⊥
 
 
 ,
 b
 
 
 
 |
 
 
 
 M
 
 
 
 )
 
 
 
 {\displaystyle \left(M,Y/M^{\perp },b{\big \vert }_{M}\right)}
 
 is a paired space (where 
 
 
 
 Y
 
 /
 
 
 M
 
 ⊥
 
 
 
 
 {\displaystyle Y/M^{\perp }}
 
 means 
 
 
 
 Y
 
 /
 
 
 (
 
 M
 
 ⊥
 
 
 )
 
 
 
 {\displaystyle Y/\left(M^{\perp }\right)}
 
) where 
 
 
 
 b
 
 
 
 |
 
 
 
 M
 
 
 :
 M
 ×
 Y
 
 /
 
 
 M
 
 ⊥
 
 
 →
 
 K
 
 
 
 {\displaystyle b{\big \vert }_{M}:M\times Y/M^{\perp }\to \mathbb {K} }
 
 is defined by

(
          
            m
            ,
            y
            +
            
              M
              
                ⊥
              
            
          
          )
        
        ↦
        b
        (
        m
        ,
        y
        )
        .
      
    
    {\displaystyle \left(m,y+M^{\perp }\right)\mapsto b(m,y).}

The topology 
 
 
 
 σ
 
 (
 
 M
 ,
 Y
 
 /
 
 
 M
 
 ⊥
 
 
 ,
 b
 
 
 
 |
 
 
 
 M
 
 
 
 )
 
 
 
 {\displaystyle \sigma \left(M,Y/M^{\perp },b{\big \vert }_{M}\right)}
 
 is equal to the <a href="/facts/Subspace_topology/NjU6z4Ca">subspace topology</a> that 
 
 
 
 M
 
 
 {\displaystyle M}
 
 inherits from 
 
 
 
 (
 X
 ,
 σ
 (
 X
 ,
 Y
 ,
 b
 )
 )
 .
 
 
 {\displaystyle (X,\sigma (X,Y,b)).}
 
<a class="footnote-ref" id="fnref:29" href="#fn:29">29</a> 
Furthermore, if 
 
 
 
 (
 X
 ,
 σ
 (
 X
 ,
 Y
 ,
 b
 )
 )
 
 
 {\displaystyle (X,\sigma (X,Y,b))}
 
 is a dual system then so is 
 
 
 
 
 (
 
 M
 ,
 Y
 
 /
 
 
 M
 
 ⊥
 
 
 ,
 b
 
 
 
 |
 
 
 
 M
 
 
 
 )
 
 .
 
 
 {\displaystyle \left(M,Y/M^{\perp },b{\big \vert }_{M}\right).}
 
<a class="footnote-ref" id="fnref:30" href="#fn:30">30</a>

<h3>Quotients</h3>
Suppose that 
 
 
 
 M
 
 
 {\displaystyle M}
 
 is a vector subspace of 
 
 
 
 X
 .
 
 
 {\displaystyle X.}
 
 
Then 
 
 
 
 
 (
 
 X
 
 /
 
 M
 ,
 
 M
 
 ⊥
 
 
 ,
 b
 
 /
 
 M
 
 )
 
 
 
 {\displaystyle \left(X/M,M^{\perp },b/M\right)}
 
 is a paired space where 
 
 
 
 b
 
 /
 
 M
 :
 X
 
 /
 
 M
 ×
 
 M
 
 ⊥
 
 
 →
 
 K
 
 
 
 {\displaystyle b/M:X/M\times M^{\perp }\to \mathbb {K} }
 
 is defined by

(
        x
        +
        M
        ,
        y
        )
        ↦
        b
        (
        x
        ,
        y
        )
        .
      
    
    {\displaystyle (x+M,y)\mapsto b(x,y).}

The topology 
 
 
 
 σ
 
 (
 
 X
 
 /
 
 M
 ,
 
 M
 
 ⊥
 
 
 
 )
 
 
 
 {\displaystyle \sigma \left(X/M,M^{\perp }\right)}
 
 is identical to the usual <a href="/facts/Quotient_topology/muE0qQVC">quotient topology</a> induced by 
 
 
 
 (
 X
 ,
 σ
 (
 X
 ,
 Y
 ,
 b
 )
 )
 
 
 {\displaystyle (X,\sigma (X,Y,b))}
 
 on 
 
 
 
 X
 
 /
 
 M
 .
 
 
 {\displaystyle X/M.}
 
<a class="footnote-ref" id="fnref:31" href="#fn:31">31</a>

<h3>Polars and the weak topology</h3>
If 
 
 
 
 X
 
 
 {\displaystyle X}
 
 is a locally convex space and if 
 
 
 
 H
 
 
 {\displaystyle H}
 
 is a subset of the continuous dual space 
 
 
 
 
 X
 
 ′
 
 
 ,
 
 
 {\displaystyle X^{\prime },}
 
 then 
 
 
 
 H
 
 
 {\displaystyle H}
 
 is 
 
 
 
 σ
 
 (
 
 
 X
 
 ′
 
 
 ,
 X
 
 )
 
 
 
 {\displaystyle \sigma \left(X^{\prime },X\right)}
 
-bounded if and only if 
 
 
 
 H
 ⊆
 
 B
 
 ∘
 
 
 
 
 {\displaystyle H\subseteq B^{\circ }}
 
 for some <a href="/facts/Barrelled_space/r2H58TN3">barrel</a> 
 
 
 
 B
 
 
 {\displaystyle B}
 
 in 
 
 
 
 X
 .
 
 
 {\displaystyle X.}
 
<a class="footnote-ref" id="fnref:32" href="#fn:32">32</a>
The following results are important for defining polar topologies.
If 
 
 
 
 (
 X
 ,
 Y
 ,
 b
 )
 
 
 {\displaystyle (X,Y,b)}
 
 is a pairing and 
 
 
 
 A
 ⊆
 X
 ,
 
 
 {\displaystyle A\subseteq X,}
 
 then:<a class="footnote-ref" id="fnref:33" href="#fn:33">33</a>

<ol>
<li>The polar 
 
 
 
 
 A
 
 ∘
 
 
 
 
 {\displaystyle A^{\circ }}
 
 of 
 
 
 
 A
 
 
 {\displaystyle A}
 
 is a closed subset of 
 
 
 
 (
 Y
 ,
 σ
 (
 Y
 ,
 X
 ,
 b
 )
 )
 .
 
 
 {\displaystyle (Y,\sigma (Y,X,b)).}
 
</li>
<li>The polars of the following sets are identical: (a) 
 
 
 
 A
 
 
 {\displaystyle A}
 
; (b) the convex hull of 
 
 
 
 A
 
 
 {\displaystyle A}
 
; (c) the <a href="/facts/Balanced_set/Y2ar7E6g">balanced hull</a> of 
 
 
 
 A
 
 
 {\displaystyle A}
 
; (d) the 
 
 
 
 σ
 (
 X
 ,
 Y
 ,
 b
 )
 
 
 {\displaystyle \sigma (X,Y,b)}
 
-closure of 
 
 
 
 A
 
 
 {\displaystyle A}
 
; (e) the 
 
 
 
 σ
 (
 X
 ,
 Y
 ,
 b
 )
 
 
 {\displaystyle \sigma (X,Y,b)}
 
-closure of the <a href="/facts/Absolutely_convex_set/rJ5HLWkg">convex balanced hull</a> of 
 
 
 
 A
 .
 
 
 {\displaystyle A.}
 
</li>
<li>The <a href="/facts/Bipolar_theorem/MtShefAp">bipolar theorem</a>: The bipolar of 
 
 
 
 A
 ,
 
 
 {\displaystyle A,}
 
 denoted by 
 
 
 
 
 A
 
 ∘
 ∘
 
 
 ,
 
 
 {\displaystyle A^{\circ \circ },}
 
 is equal to the 
 
 
 
 σ
 (
 X
 ,
 Y
 ,
 b
 )
 
 
 {\displaystyle \sigma (X,Y,b)}
 
-closure of the convex balanced hull of 
 
 
 
 A
 .
 
 
 {\displaystyle A.}

<ul><li>The <a href="/facts/Bipolar_theorem/MtShefAp">bipolar theorem</a> in particular "is an indispensable tool in working with dualities."<a class="footnote-ref" id="fnref:34" href="#fn:34">34</a></li></ul>
</li><li>
 
 
 
 A
 
 
 {\displaystyle A}
 
 is 
 
 
 
 σ
 (
 X
 ,
 Y
 ,
 b
 )
 
 
 {\displaystyle \sigma (X,Y,b)}
 
-bounded if and only if 
 
 
 
 
 A
 
 ∘
 
 
 
 
 {\displaystyle A^{\circ }}
 
 is <a href="/facts/Absorbing_set/GCtjsUuX">absorbing</a> in 
 
 
 
 Y
 .
 
 
 {\displaystyle Y.}
 
</li>
<li>If in addition 
 
 
 
 Y
 
 
 {\displaystyle Y}
 
 distinguishes points of 
 
 
 
 X
 
 
 {\displaystyle X}
 
 then 
 
 
 
 A
 
 
 {\displaystyle A}
 
 is 
 
 
 
 σ
 (
 X
 ,
 Y
 ,
 b
 )
 
 
 {\displaystyle \sigma (X,Y,b)}
 
-<a href="/facts/Bounded_set_(topological_vector_space)/bTsWeU9g">bounded</a> if and only if it is 
 
 
 
 σ
 (
 X
 ,
 Y
 ,
 b
 )
 
 
 {\displaystyle \sigma (X,Y,b)}
 
-<a href="/facts/Totally_bounded/H8GSU1TT">totally bounded</a>.</li>
</ol>
If 
 
 
 
 (
 X
 ,
 Y
 ,
 b
 )
 
 
 {\displaystyle (X,Y,b)}
 
 is a pairing and 
 
 
 
 τ
 
 
 {\displaystyle \tau }
 
 is a locally convex topology on 
 
 
 
 X
 
 
 {\displaystyle X}
 
 that is consistent with duality, then a subset 
 
 
 
 B
 
 
 {\displaystyle B}
 
 of 
 
 
 
 X
 
 
 {\displaystyle X}
 
 is a <a href="/facts/Barreled_space/r2H58TN3">barrel</a> in 
 
 
 
 (
 X
 ,
 τ
 )
 
 
 {\displaystyle (X,\tau )}
 
 if and only if 
 
 
 
 B
 
 
 {\displaystyle B}
 
 is the <a href="/facts/Polar_set/JY45pfbt">polar</a> of some 
 
 
 
 σ
 (
 Y
 ,
 X
 ,
 b
 )
 
 
 {\displaystyle \sigma (Y,X,b)}
 
-bounded subset of 
 
 
 
 Y
 .
 
 
 {\displaystyle Y.}
 
<a class="footnote-ref" id="fnref:35" href="#fn:35">35</a>

<h2 id="transposes">Transposes</h2>
<h3>Transposes of a linear map with respect to pairings</h3>
See also: <a href="/facts/Transpose_of_a_linear_map/uv0JWTHq">Transpose of a linear map</a>, <a href="/facts/Transpose/8wmsagGS">Transpose</a>, and <a href="/facts/Transpose/8wmsagGS">Transpose § Transposes of linear maps and bilinear forms</a>
Let 
 
 
 
 (
 X
 ,
 Y
 ,
 b
 )
 
 
 {\displaystyle (X,Y,b)}
 
 and 
 
 
 
 (
 W
 ,
 Z
 ,
 c
 )
 
 
 {\displaystyle (W,Z,c)}
 
 be pairings over 
 
 
 
 
 K
 
 
 
 {\displaystyle \mathbb {K} }
 
 and let 
 
 
 
 F
 :
 X
 →
 W
 
 
 {\displaystyle F:X\to W}
 
 be a linear map.
For all 
 
 
 
 z
 ∈
 Z
 ,
 
 
 {\displaystyle z\in Z,}
 
 let 
 
 
 
 c
 (
 F
 (
 
 ⋅
 
 )
 ,
 z
 )
 :
 X
 →
 
 K
 
 
 
 {\displaystyle c(F(\,\cdot \,),z):X\to \mathbb {K} }
 
 be the map defined by 
 
 
 
 x
 ↦
 c
 (
 F
 (
 x
 )
 ,
 z
 )
 .
 
 
 {\displaystyle x\mapsto c(F(x),z).}
 
 
It is said that 
 
 
 
 F
 
 
 {\displaystyle F}
 
's transpose or adjoint is well-defined if the following conditions are satisfied:

<ol><li>
 
 
 
 X
 
 
 {\displaystyle X}
 
 distinguishes points of 
 
 
 
 Y
 
 
 {\displaystyle Y}
 
 (or equivalently, the map 
 
 
 
 y
 ↦
 b
 (
 
 ⋅
 
 ,
 y
 )
 
 
 {\displaystyle y\mapsto b(\,\cdot \,,y)}
 
 from 
 
 
 
 Y
 
 
 {\displaystyle Y}
 
 into the algebraic dual 
 
 
 
 
 X
 
 #
 
 
 
 
 {\displaystyle X^{\#}}
 
 is <a href="/facts/Injective_map/5ES6tqf5">injective</a>), and</li>
<li>
 
 
 
 c
 (
 F
 (
 
 ⋅
 
 )
 ,
 Z
 )
 ⊆
 b
 (
 
 ⋅
 
 ,
 Y
 )
 ,
 
 
 {\displaystyle c(F(\,\cdot \,),Z)\subseteq b(\,\cdot \,,Y),}
 
 where 
 
 
 
 c
 (
 F
 (
 
 ⋅
 
 )
 ,
 Z
 )
 :=
 {
 c
 (
 F
 (
 
 ⋅
 
 )
 ,
 z
 )
 :
 z
 ∈
 Z
 }
 
 
 {\displaystyle c(F(\,\cdot \,),Z):=\{c(F(\,\cdot \,),z):z\in Z\}}
 
 and 
 
 
 
 b
 (
 
 ⋅
 
 ,
 Y
 )
 :=
 {
 b
 (
 
 ⋅
 
 ,
 y
 )
 :
 y
 ∈
 Y
 }
 
 
 {\displaystyle b(\,\cdot \,,Y):=\{b(\,\cdot \,,y):y\in Y\}}
 
.</li></ol>
In this case, for any 
 
 
 
 z
 ∈
 Z
 
 
 {\displaystyle z\in Z}
 
 there exists (by condition 2) a unique (by condition 1) 
 
 
 
 y
 ∈
 Y
 
 
 {\displaystyle y\in Y}
 
 such that 
 
 
 
 c
 (
 F
 (
 
 ⋅
 
 )
 ,
 z
 )
 =
 b
 (
 
 ⋅
 
 ,
 y
 )
 
 
 {\displaystyle c(F(\,\cdot \,),z)=b(\,\cdot \,,y)}
 
), where this element of 
 
 
 
 Y
 
 
 {\displaystyle Y}
 
 will be denoted by

t
          
        
        F
        (
        z
        )
        .
      
    
    {\displaystyle {}^{t}F(z).}
  
 
This defines a linear map

t
          
        
        F
        :
        Z
        →
        Y
      
    
    {\displaystyle {}^{t}F:Z\to Y}

called the transpose or adjoint of 
 
 
 
 F
 
 
 {\displaystyle F}
 
 with respect to 
 
 
 
 (
 X
 ,
 Y
 ,
 b
 )
 
 
 {\displaystyle (X,Y,b)}
 
 and 
 
 
 
 (
 W
 ,
 Z
 ,
 c
 )
 
 
 {\displaystyle (W,Z,c)}
 
 (this should not be confused with the <a href="/facts/Hermitian_adjoint/gN6RHphd">Hermitian adjoint</a>). 
It is easy to see that the two conditions mentioned above (i.e. for "the transpose is well-defined") are also necessary for

t
          
        
        F
      
    
    {\displaystyle {}^{t}F}
  
 to be well-defined. 
For every 
  
    
      
        z
        ∈
        Z
        ,
      
    
    {\displaystyle z\in Z,}
  
 the defining condition for

t
          
        
        F
        (
        z
        )
      
    
    {\displaystyle {}^{t}F(z)}
  
 is

c
        (
        F
        (
        
        ⋅
        
        )
        ,
        z
        )
        =
        b
        
          (
          
            
            ⋅
            
            ,

t
              
            
            F
            (
            z
            )
          
          )
        
        ,
      
    
    {\displaystyle c(F(\,\cdot \,),z)=b\left(\,\cdot \,,{}^{t}F(z)\right),}
  
 
that is,

c
        (
        F
        (
        x
        )
        ,
        z
        )
        =
        b
        
          (
          
            x
            ,

t
              
            
            F
            (
            z
            )
          
          )
        
      
    
    {\displaystyle c(F(x),z)=b\left(x,{}^{t}F(z)\right)}
  
      for all 
  
    
      
        x
        ∈
        X
        .
      
    
    {\displaystyle x\in X.}

By the conventions mentioned at the beginning of this article, this also defines the transpose of linear maps of the form 
 
 
 
 Z
 →
 Y
 ,
 
 
 {\displaystyle Z\to Y,}
 
<a class="footnote-ref" id="fnref:36" href="#fn:36">36</a>

X
 →
 Z
 ,
 
 
 {\displaystyle X\to Z,}
 
<a class="footnote-ref" id="fnref:37" href="#fn:37">37</a>

W
 →
 Y
 ,
 
 
 {\displaystyle W\to Y,}
 
<a class="footnote-ref" id="fnref:38" href="#fn:38">38</a>

Y
 →
 W
 ,
 
 
 {\displaystyle Y\to W,}
 
<a class="footnote-ref" id="fnref:39" href="#fn:39">39</a> etc. (see footnote).

<h3>Properties of the transpose</h3>
Throughout, 
 
 
 
 (
 X
 ,
 Y
 ,
 b
 )
 
 
 {\displaystyle (X,Y,b)}
 
 and 
 
 
 
 (
 W
 ,
 Z
 ,
 c
 )
 
 
 {\displaystyle (W,Z,c)}
 
 be pairings over 
 
 
 
 
 K
 
 
 
 {\displaystyle \mathbb {K} }
 
 and 
 
 
 
 F
 :
 X
 →
 W
 
 
 {\displaystyle F:X\to W}
 
 will be a linear map whose transpose

t
 
 
 F
 :
 Z
 →
 Y
 
 
 {\displaystyle {}^{t}F:Z\to Y}
 
 is well-defined.

<ul><li>

t
 
 
 F
 :
 Z
 →
 Y
 
 
 {\displaystyle {}^{t}F:Z\to Y}
 
 is <a href="/facts/Injective_function/5ES6tqf5">injective</a> (i.e. 
 
 
 
 ker
 ⁡

t
 
 
 F
 =
 {
 0
 }
 
 
 {\displaystyle \operatorname {ker} {}^{t}F=\{0\}}
 
) if and only if the range of 
 
 
 
 F
 
 
 {\displaystyle F}
 
 is dense in 
 
 
 
 
 (
 
 W
 ,
 σ
 
 (
 
 W
 ,
 Z
 ,
 c
 
 )
 
 
 )
 
 .
 
 
 {\displaystyle \left(W,\sigma \left(W,Z,c\right)\right).}
 
<a class="footnote-ref" id="fnref:40" href="#fn:40">40</a></li>
<li>If in addition to

t
          
        
        F
      
    
    {\displaystyle {}^{t}F}
  
 being well-defined, the transpose of

t
          
        
        F
      
    
    {\displaystyle {}^{t}F}
  
 is also well-defined then

t
 t
 
 
 F
 =
 F
 .
 
 
 {\displaystyle {}^{tt}F=F.}
 
</li>
<li>Suppose 
 
 
 
 (
 U
 ,
 V
 ,
 a
 )
 
 
 {\displaystyle (U,V,a)}
 
 is a pairing over 
 
 
 
 
 K
 
 
 
 {\displaystyle \mathbb {K} }
 
 and 
 
 
 
 E
 :
 U
 →
 X
 
 
 {\displaystyle E:U\to X}
 
 is a linear map whose transpose

t
          
        
        E
        :
        Y
        →
        V
      
    
    {\displaystyle {}^{t}E:Y\to V}
  
 is well-defined. Then the transpose of 
  
    
      
        F
        ∘
        E
        :
        U
        →
        W
        ,
      
    
    {\displaystyle F\circ E:U\to W,}
  
 which is

t
          
        
        (
        F
        ∘
        E
        )
        :
        Z
        →
        V
        ,
      
    
    {\displaystyle {}^{t}(F\circ E):Z\to V,}
  
 is well-defined and

t
          
        
        (
        F
        ∘
        E
        )
        =

t
          
        
        E
        ∘

t
 
 
 F
 .
 
 
 {\displaystyle {}^{t}(F\circ E)={}^{t}E\circ {}^{t}F.}
 
</li>
<li>If 
 
 
 
 F
 :
 X
 →
 W
 
 
 {\displaystyle F:X\to W}
 
 is a vector space isomorphism then

t
          
        
        F
        :
        Z
        →
        Y
      
    
    {\displaystyle {}^{t}F:Z\to Y}
  
 is bijective, the transpose of 
  
    
      
        
          F
          
            −
            1
          
        
        :
        W
        →
        X
        ,
      
    
    {\displaystyle F^{-1}:W\to X,}
  
 which is

t
          
        
        
          (
          
            F
            
              −
              1
            
          
          )
        
        :
        Y
        →
        Z
        ,
      
    
    {\displaystyle {}^{t}\left(F^{-1}\right):Y\to Z,}
  
 is well-defined, and

t
          
        
        
          (
          
            F
            
              −
              1
            
          
          )
        
        =
        
          
            (

t
 
 
 F
 
 )
 
 
 −
 1
 
 
 
 
 {\displaystyle {}^{t}\left(F^{-1}\right)=\left({}^{t}F\right)^{-1}}
 
<a class="footnote-ref" id="fnref:41" href="#fn:41">41</a></li>
<li>Let 
 
 
 
 S
 ⊆
 X
 
 
 {\displaystyle S\subseteq X}
 
 and let 
 
 
 
 
 S
 
 ∘
 
 
 
 
 {\displaystyle S^{\circ }}
 
 denotes the <a href="/facts/Polar_set/JY45pfbt">absolute polar</a> of 
 
 
 
 A
 ,
 
 
 {\displaystyle A,}
 
 then:<a class="footnote-ref" id="fnref:42" href="#fn:42">42</a>
<ol><li>
 
 
 
 [
 F
 (
 S
 )
 
 ]
 
 ∘
 
 
 =
 
 
 (

t
 
 
 F
 
 )
 
 
 −
 1
 
 
 
 (
 
 S
 
 ∘
 
 
 )
 
 
 
 {\displaystyle [F(S)]^{\circ }=\left({}^{t}F\right)^{-1}\left(S^{\circ }\right)}
 
;</li>
<li>if 
 
 
 
 F
 (
 S
 )
 ⊆
 T
 
 
 {\displaystyle F(S)\subseteq T}
 
 for some 
 
 
 
 T
 ⊆
 W
 ,
 
 
 {\displaystyle T\subseteq W,}
 
 then

t
 
 
 F
 
 (
 
 T
 
 ∘
 
 
 )
 
 ⊆
 
 S
 
 ∘
 
 
 
 
 {\displaystyle {}^{t}F\left(T^{\circ }\right)\subseteq S^{\circ }}
 
;</li>
<li>if 
 
 
 
 T
 ⊆
 W
 
 
 {\displaystyle T\subseteq W}
 
 is such that

t
 
 
 F
 
 (
 
 T
 
 ∘
 
 
 )
 
 ⊆
 
 S
 
 ∘
 
 
 ,
 
 
 {\displaystyle {}^{t}F\left(T^{\circ }\right)\subseteq S^{\circ },}
 
 then 
 
 
 
 F
 (
 S
 )
 ⊆
 
 T
 
 ∘
 ∘
 
 
 
 
 {\displaystyle F(S)\subseteq T^{\circ \circ }}
 
;</li>
<li>if 
 
 
 
 T
 ⊆
 W
 
 
 {\displaystyle T\subseteq W}
 
 and 
 
 
 
 S
 ⊆
 X
 
 
 {\displaystyle S\subseteq X}
 
 are weakly closed disks then

t
 
 
 F
 
 (
 
 T
 
 ∘
 
 
 )
 
 ⊆
 
 S
 
 ∘
 
 
 
 
 {\displaystyle {}^{t}F\left(T^{\circ }\right)\subseteq S^{\circ }}
 
 if and only if 
 
 
 
 F
 (
 S
 )
 ⊆
 T
 
 
 {\displaystyle F(S)\subseteq T}
 
;</li>
<li>
 
 
 
 ker
 ⁡

t
 
 
 F
 =
 [
 F
 (
 X
 )
 
 ]
 
 ⊥
 
 
 .
 
 
 {\displaystyle \operatorname {ker} {}^{t}F=[F(X)]^{\perp }.}
 
</li></ol></li></ul>
These results hold when the <a href="/facts/Real_polar/JY45pfbt">real polar</a> is used in place of the absolute polar.
If 
 
 
 
 X
 
 
 {\displaystyle X}
 
 and 
 
 
 
 Y
 
 
 {\displaystyle Y}
 
 are normed spaces under their canonical dualities and if 
 
 
 
 F
 :
 X
 →
 Y
 
 
 {\displaystyle F:X\to Y}
 
 is a continuous linear map, then 
 
 
 
 ‖
 F
 ‖
 =
 
 ‖

t
 
 
 F
 
 ‖
 
 .
 
 
 {\displaystyle \|F\|=\left\|{}^{t}F\right\|.}
 
<a class="footnote-ref" id="fnref:43" href="#fn:43">43</a>

<h4>Weak continuity</h4>
A linear map 
 
 
 
 F
 :
 X
 →
 W
 
 
 {\displaystyle F:X\to W}
 
 is weakly continuous (with respect to 
 
 
 
 (
 X
 ,
 Y
 ,
 b
 )
 
 
 {\displaystyle (X,Y,b)}
 
 and 
 
 
 
 (
 W
 ,
 Z
 ,
 c
 )
 
 
 {\displaystyle (W,Z,c)}
 
) if 
 
 
 
 F
 :
 (
 X
 ,
 σ
 (
 X
 ,
 Y
 ,
 b
 )
 )
 →
 (
 W
 ,
 (
 W
 ,
 Z
 ,
 c
 )
 )
 
 
 {\displaystyle F:(X,\sigma (X,Y,b))\to (W,(W,Z,c))}
 
 is continuous.
The following result shows that the existence of the transpose map is intimately tied to the weak topology.

Proposition—Assume that 
 
 
 
 X
 
 
 {\displaystyle X}
 
 distinguishes points of 
 
 
 
 Y
 
 
 {\displaystyle Y}
 
 and 
 
 
 
 F
 :
 X
 →
 W
 
 
 {\displaystyle F:X\to W}
 
 is a linear map. 
Then the following are equivalent: 

<ol><li>
 
 
 
 F
 
 
 {\displaystyle F}
 
 is weakly continuous (that is, 
 
 
 
 F
 :
 (
 X
 ,
 σ
 (
 X
 ,
 Y
 ,
 b
 )
 )
 →
 (
 W
 ,
 (
 W
 ,
 Z
 ,
 c
 )
 )
 
 
 {\displaystyle F:(X,\sigma (X,Y,b))\to (W,(W,Z,c))}
 
 is continuous);</li>
<li>
 
 
 
 c
 (
 F
 (
 
 ⋅
 
 )
 ,
 Z
 )
 ⊆
 b
 (
 
 ⋅
 
 ,
 Y
 )
 
 
 {\displaystyle c(F(\,\cdot \,),Z)\subseteq b(\,\cdot \,,Y)}
 
;</li>
<li>the transpose of 
 
 
 
 F
 
 
 {\displaystyle F}
 
 is well-defined.</li></ol>
If 
 
 
 
 F
 
 
 {\displaystyle F}
 
 is weakly continuous then 

<ul><li>

t
          
        
        F
        :
        Z
        →
        Y
      
    
    {\displaystyle {}^{t}F:Z\to Y}
  
 is weakly continuous, meaning that

t
 
 
 F
 :
 (
 Z
 ,
 σ
 (
 Z
 ,
 W
 ,
 c
 )
 )
 →
 (
 Y
 ,
 (
 Y
 ,
 X
 ,
 b
 )
 )
 
 
 {\displaystyle {}^{t}F:(Z,\sigma (Z,W,c))\to (Y,(Y,X,b))}
 
 is continuous;</li>
<li>the transpose of

t
          
        
        F
      
    
    {\displaystyle {}^{t}F}
  
 is well-defined if and only if 
  
    
      
        Z
      
    
    {\displaystyle Z}
  
 distinguishes points of 
  
    
      
        W
        ,
      
    
    {\displaystyle W,}
  
 in which case

t
 t
 
 
 F
 =
 F
 .
 
 
 {\displaystyle {}^{tt}F=F.}
 
</li></ul>

<h3>Weak topology and the canonical duality</h3>
Suppose that 
 
 
 
 X
 
 
 {\displaystyle X}
 
 is a vector space and that 
 
 
 
 
 X
 
 #
 
 
 
 
 {\displaystyle X^{\#}}
 
 is its the algebraic dual. 
Then every 
 
 
 
 σ
 
 (
 
 X
 ,
 
 X
 
 #
 
 
 
 )
 
 
 
 {\displaystyle \sigma \left(X,X^{\#}\right)}
 
-bounded subset of 
 
 
 
 X
 
 
 {\displaystyle X}
 
 is contained in a finite dimensional vector subspace and every vector subspace of 
 
 
 
 X
 
 
 {\displaystyle X}
 
 is 
 
 
 
 σ
 
 (
 
 X
 ,
 
 X
 
 #
 
 
 
 )
 
 
 
 {\displaystyle \sigma \left(X,X^{\#}\right)}
 
-closed.<a class="footnote-ref" id="fnref:44" href="#fn:44">44</a>

<h4>Weak completeness</h4>
If 
 
 
 
 (
 X
 ,
 σ
 (
 X
 ,
 Y
 ,
 b
 )
 )
 
 
 {\displaystyle (X,\sigma (X,Y,b))}
 
 is a <a href="/facts/Complete_topological_vector_space/e6qtS76j">complete topological vector space</a> say that 
 
 
 
 X
 
 
 {\displaystyle X}
 
 is 
 
 
 
 σ
 (
 X
 ,
 Y
 ,
 b
 )
 
 
 {\displaystyle \sigma (X,Y,b)}
 
-complete or (if no ambiguity can arise) weakly-complete. 
There exist <a href="/facts/Banach_space/sDEIk7EC">Banach spaces</a> that are not weakly-complete (despite being complete in their norm topology).<a class="footnote-ref" id="fnref:45" href="#fn:45">45</a>
If 
 
 
 
 X
 
 
 {\displaystyle X}
 
 is a vector space then under the canonical duality, 
 
 
 
 
 (
 
 
 X
 
 #
 
 
 ,
 σ
 
 (
 
 
 X
 
 #
 
 
 ,
 X
 
 )
 
 
 )
 
 
 
 {\displaystyle \left(X^{\#},\sigma \left(X^{\#},X\right)\right)}
 
 is complete.<a class="footnote-ref" id="fnref:46" href="#fn:46">46</a> 
Conversely, if 
 
 
 
 Z
 
 
 {\displaystyle Z}
 
 is a Hausdorff <a href="/facts/Locally_convex/AGrPrayC">locally convex</a> TVS with continuous dual space 
 
 
 
 
 Z
 
 ′
 
 
 ,
 
 
 {\displaystyle Z^{\prime },}
 
 then 
 
 
 
 
 (
 
 Z
 ,
 σ
 
 (
 
 Z
 ,
 
 Z
 
 ′
 
 
 
 )
 
 
 )
 
 
 
 {\displaystyle \left(Z,\sigma \left(Z,Z^{\prime }\right)\right)}
 
 is complete if and only if 
 
 
 
 Z
 =
 
 
 (
 
 Z
 
 ′
 
 
 )
 
 
 #
 
 
 
 
 {\displaystyle Z=\left(Z^{\prime }\right)^{\#}}
 
; that is, if and only if the map 
 
 
 
 Z
 →
 
 
 (
 
 Z
 
 ′
 
 
 )
 
 
 #
 
 
 
 
 {\displaystyle Z\to \left(Z^{\prime }\right)^{\#}}
 
 defined by sending 
 
 
 
 z
 ∈
 Z
 
 
 {\displaystyle z\in Z}
 
 to the evaluation map at 
 
 
 
 z
 
 
 {\displaystyle z}
 
 (i.e. 
 
 
 
 
 z
 
 ′
 
 
 ↦
 
 z
 
 ′
 
 
 (
 z
 )
 
 
 {\displaystyle z^{\prime }\mapsto z^{\prime }(z)}
 
) is a bijection.<a class="footnote-ref" id="fnref:47" href="#fn:47">47</a>
In particular, with respect to the canonical duality, if 
 
 
 
 Y
 
 
 {\displaystyle Y}
 
 is a vector subspace of 
 
 
 
 
 X
 
 #
 
 
 
 
 {\displaystyle X^{\#}}
 
 such that 
 
 
 
 Y
 
 
 {\displaystyle Y}
 
 separates points of 
 
 
 
 X
 ,
 
 
 {\displaystyle X,}
 
 then 
 
 
 
 (
 Y
 ,
 σ
 (
 Y
 ,
 X
 )
 )
 
 
 {\displaystyle (Y,\sigma (Y,X))}
 
 is complete if and only if 
 
 
 
 Y
 =
 
 X
 
 #
 
 
 .
 
 
 {\displaystyle Y=X^{\#}.}
 
 
Said differently, there does not exist a proper vector subspace 
 
 
 
 Y
 ≠
 
 X
 
 #
 
 
 
 
 {\displaystyle Y\neq X^{\#}}
 
 of 
 
 
 
 
 X
 
 #
 
 
 
 
 {\displaystyle X^{\#}}
 
 such that 
 
 
 
 (
 X
 ,
 σ
 (
 X
 ,
 Y
 )
 )
 
 
 {\displaystyle (X,\sigma (X,Y))}
 
 is Hausdorff and 
 
 
 
 Y
 
 
 {\displaystyle Y}
 
 is complete in the <a href="/facts/Weak-*_topology/XJASE9Up">weak-* topology</a> (i.e. the topology of pointwise convergence). 
Consequently, when the <a href="/facts/Continuous_dual_space/4Uw4Knz1">continuous dual space</a> 
 
 
 
 
 X
 
 ′
 
 
 
 
 {\displaystyle X^{\prime }}
 
 of a <a href="/facts/Hausdorff_space/gbKIrusl">Hausdorff</a> <a href="/facts/Locally_convex_topological_vector_space/AGrPrayC">locally convex</a> TVS 
 
 
 
 X
 
 
 {\displaystyle X}
 
 is endowed with the <a href="/facts/Weak-*_topology/XJASE9Up">weak-* topology</a>, then 
 
 
 
 
 X
 
 σ
 
 
 ′
 
 
 
 
 {\displaystyle X_{\sigma }^{\prime }}
 
 is <a href="/facts/Complete_topological_vector_space/e6qtS76j">complete</a> if and only if 
 
 
 
 
 X
 
 ′
 
 
 =
 
 X
 
 #
 
 
 
 
 {\displaystyle X^{\prime }=X^{\#}}
 
 (that is, if and only if every linear functional on 
 
 
 
 X
 
 
 {\displaystyle X}
 
 is continuous).

<h4>Identification of Y with a subspace of the algebraic dual</h4>
If 
 
 
 
 X
 
 
 {\displaystyle X}
 
 distinguishes points of 
 
 
 
 Y
 
 
 {\displaystyle Y}
 
 and if 
 
 
 
 Z
 
 
 {\displaystyle Z}
 
 denotes the range of the injection 
 
 
 
 y
 ↦
 b
 (
 
 ⋅
 
 ,
 y
 )
 
 
 {\displaystyle y\mapsto b(\,\cdot \,,y)}
 
 then 
 
 
 
 Z
 
 
 {\displaystyle Z}
 
 is a vector subspace of the <a href="/facts/Algebraic_dual_space/4Uw4Knz1">algebraic dual space</a> of 
 
 
 
 X
 
 
 {\displaystyle X}
 
 and the pairing 
 
 
 
 (
 X
 ,
 Y
 ,
 b
 )
 
 
 {\displaystyle (X,Y,b)}
 
 becomes canonically identified with the canonical pairing 
 
 
 
 ⟨
 X
 ,
 Z
 ⟩
 
 
 {\displaystyle \langle X,Z\rangle }
 
 (where 
 
 
 
 
 ⟨
 
 x
 ,
 
 x
 
 ′
 
 
 
 ⟩
 
 :=
 
 x
 
 ′
 
 
 (
 x
 )
 
 
 {\displaystyle \left\langle x,x^{\prime }\right\rangle :=x^{\prime }(x)}
 
 is the natural evaluation map). 
In particular, in this situation it will be assumed <a href="/facts/Without_loss_of_generality/gVP4dmEe">without loss of generality</a> that 
 
 
 
 Y
 
 
 {\displaystyle Y}
 
 is a vector subspace of 
 
 
 
 X
 
 
 {\displaystyle X}
 
's algebraic dual and 
 
 
 
 b
 
 
 {\displaystyle b}
 
 is the evaluation map.

Convention: Often, whenever 
 
 
 
 y
 ↦
 b
 (
 
 ⋅
 
 ,
 y
 )
 
 
 {\displaystyle y\mapsto b(\,\cdot \,,y)}
 
 is injective (especially when 
 
 
 
 (
 X
 ,
 Y
 ,
 b
 )
 
 
 {\displaystyle (X,Y,b)}
 
 forms a dual pair) then it is common practice to assume <a href="/facts/Without_loss_of_generality/gVP4dmEe">without loss of generality</a> that 
 
 
 
 Y
 
 
 {\displaystyle Y}
 
 is a vector subspace of the algebraic dual space of 
 
 
 
 X
 ,
 
 
 {\displaystyle X,}
 
 that 
 
 
 
 b
 
 
 {\displaystyle b}
 
 is the natural evaluation map, and also denote 
 
 
 
 Y
 
 
 {\displaystyle Y}
 
 by 
 
 
 
 
 X
 
 ′
 
 
 .
 
 
 {\displaystyle X^{\prime }.}

In a completely analogous manner, if 
 
 
 
 Y
 
 
 {\displaystyle Y}
 
 distinguishes points of 
 
 
 
 X
 
 
 {\displaystyle X}
 
 then it is possible for 
 
 
 
 X
 
 
 {\displaystyle X}
 
 to be identified as a vector subspace of 
 
 
 
 Y
 
 
 {\displaystyle Y}
 
's algebraic dual space.<a class="footnote-ref" id="fnref:48" href="#fn:48">48</a>

<h4>Algebraic adjoint</h4>
In the special case where the dualities are the canonical dualities 
 
 
 
 
 ⟨
 
 X
 ,
 
 X
 
 #
 
 
 
 ⟩
 
 
 
 {\displaystyle \left\langle X,X^{\#}\right\rangle }
 
 and 
 
 
 
 
 ⟨
 
 W
 ,
 
 W
 
 #
 
 
 
 ⟩
 
 ,
 
 
 {\displaystyle \left\langle W,W^{\#}\right\rangle ,}
 
 the transpose of a linear map 
 
 
 
 F
 :
 X
 →
 W
 
 
 {\displaystyle F:X\to W}
 
 is always well-defined. 
This transpose is called the algebraic adjoint of 
 
 
 
 F
 
 
 {\displaystyle F}
 
 and it will be denoted by 
 
 
 
 
 F
 
 #
 
 
 
 
 {\displaystyle F^{\#}}
 
; 
that is, 
 
 
 
 
 F
 
 #
 
 
 =

t
          
        
        F
        :
        
          W
          
            #
          
        
        →
        
          X
          
            #
          
        
        .
      
    
    {\displaystyle F^{\#}={}^{t}F:W^{\#}\to X^{\#}.}
  
 
In this case, for all 
  
    
      
        
          w
          
            ′
          
        
        ∈
        
          W
          
            #
          
        
        ,
      
    
    {\displaystyle w^{\prime }\in W^{\#},}

F
 
 #
 
 
 
 (
 
 w
 
 ′
 
 
 )
 
 =
 
 w
 
 ′
 
 
 ∘
 F
 
 
 {\displaystyle F^{\#}\left(w^{\prime }\right)=w^{\prime }\circ F}
 
<a class="footnote-ref" id="fnref:49" href="#fn:49">49</a><a class="footnote-ref" id="fnref:50" href="#fn:50">50</a> where the defining condition for 
 
 
 
 
 F
 
 #
 
 
 
 (
 
 w
 
 ′
 
 
 )
 
 
 
 {\displaystyle F^{\#}\left(w^{\prime }\right)}
 
 is:

⟨
          
            x
            ,
            
              F
              
                #
              
            
            
              (
              
                w
                
                  ′
                
              
              )
            
          
          ⟩
        
        =
        
          ⟨
          
            F
            (
            x
            )
            ,
            
              w
              
                ′
              
            
          
          ⟩
        
        
        
           for all 
        
        >
        x
        ∈
        X
        ,
      
    
    {\displaystyle \left\langle x,F^{\#}\left(w^{\prime }\right)\right\rangle =\left\langle F(x),w^{\prime }\right\rangle \quad {\text{ for all }}>x\in X,}
  
 
or equivalently, 
  
    
      
        
          F
          
            #
          
        
        
          (
          
            w
            
              ′
            
          
          )
        
        (
        x
        )
        =
        
          w
          
            ′
          
        
        (
        F
        (
        x
        )
        )
        
        
           for all 
        
        x
        ∈
        X
        .
      
    
    {\displaystyle F^{\#}\left(w^{\prime }\right)(x)=w^{\prime }(F(x))\quad {\text{ for all }}x\in X.}

If 
 
 
 
 X
 =
 Y
 =
 
 
 K
 
 
 n
 
 
 
 
 {\displaystyle X=Y=\mathbb {K} ^{n}}
 
 for some integer 
 
 
 
 n
 ,
 
 
 {\displaystyle n,}
 
 
 
 
 
 
 
 E
 
 
 =
 
 {
 
 
 e
 
 1
 
 
 ,
 …
 ,
 
 e
 
 n
 
 
 
 }
 
 
 
 {\displaystyle {\mathcal {E}}=\left\{e_{1},\ldots ,e_{n}\right\}}
 
 is a basis for 
 
 
 
 X
 
 
 {\displaystyle X}
 
 with <a href="/facts/Dual_basis/3S14kq2A">dual basis</a> 
 
 
 
 
 
 
 E
 
 
 
 ′
 
 
 =
 
 {
 
 
 e
 
 1
 
 
 ′
 
 
 ,
 …
 ,
 
 e
 
 n
 
 
 ′
 
 
 
 }
 
 ,
 
 
 {\displaystyle {\mathcal {E}}^{\prime }=\left\{e_{1}^{\prime },\ldots ,e_{n}^{\prime }\right\},}
 
 
 
 
 
 F
 :
 
 
 K
 
 
 n
 
 
 →
 
 
 K
 
 
 n
 
 
 
 
 {\displaystyle F:\mathbb {K} ^{n}\to \mathbb {K} ^{n}}
 
 is a linear operator, and the matrix representation of 
 
 
 
 F
 
 
 {\displaystyle F}
 
 with respect to 
 
 
 
 
 
 E
 
 
 
 
 {\displaystyle {\mathcal {E}}}
 
 is 
 
 
 
 M
 :=
 
 (
 
 f
 
 i
 ,
 j
 
 
 )
 
 ,
 
 
 {\displaystyle M:=\left(f_{i,j}\right),}
 
 then the transpose of 
 
 
 
 M
 
 
 {\displaystyle M}
 
 is the matrix representation with respect to 
 
 
 
 
 
 
 E
 
 
 
 ′
 
 
 
 
 {\displaystyle {\mathcal {E}}^{\prime }}
 
 of 
 
 
 
 
 F
 
 #
 
 
 .
 
 
 {\displaystyle F^{\#}.}

<h4>Weak continuity and openness</h4>
Suppose that 
 
 
 
 
 ⟨
 
 X
 ,
 Y
 
 ⟩
 
 
 
 {\displaystyle \left\langle X,Y\right\rangle }
 
 and 
 
 
 
 ⟨
 W
 ,
 Z
 ⟩
 
 
 {\displaystyle \langle W,Z\rangle }
 
 are canonical pairings (so 
 
 
 
 Y
 ⊆
 
 X
 
 #
 
 
 
 
 {\displaystyle Y\subseteq X^{\#}}
 
 and 
 
 
 
 Z
 ⊆
 
 W
 
 #
 
 
 
 
 {\displaystyle Z\subseteq W^{\#}}
 
) that are dual systems and let 
 
 
 
 F
 :
 X
 →
 W
 
 
 {\displaystyle F:X\to W}
 
 be a linear map. 
Then 
 
 
 
 F
 :
 X
 →
 W
 
 
 {\displaystyle F:X\to W}
 
 is weakly continuous if and only if it satisfies any of the following equivalent conditions:<a class="footnote-ref" id="fnref:51" href="#fn:51">51</a> 

<ol><li>
 
 
 
 F
 :
 (
 X
 ,
 σ
 (
 X
 ,
 Y
 )
 )
 →
 (
 W
 ,
 σ
 (
 W
 ,
 Z
 )
 )
 
 
 {\displaystyle F:(X,\sigma (X,Y))\to (W,\sigma (W,Z))}
 
 is continuous.</li>
<li>
 
 
 
 
 F
 
 #
 
 
 (
 Z
 )
 ⊆
 Y
 
 
 {\displaystyle F^{\#}(Z)\subseteq Y}
 
</li>
<li>the transpose of F,

t
 
 
 F
 :
 Z
 →
 Y
 ,
 
 
 {\displaystyle {}^{t}F:Z\to Y,}
 
 with respect to 
 
 
 
 
 ⟨
 
 X
 ,
 Y
 
 ⟩
 
 
 
 {\displaystyle \left\langle X,Y\right\rangle }
 
 and 
 
 
 
 ⟨
 W
 ,
 Z
 ⟩
 
 
 {\displaystyle \langle W,Z\rangle }
 
 is well-defined.</li></ol>
If 
 
 
 
 F
 
 
 {\displaystyle F}
 
 is weakly continuous then

t
          
        
        F
        ::
        (
        Z
        ,
        σ
        (
        Z
        ,
        W
        )
        )
        →
        (
        Y
        ,
        σ
        (
        Y
        ,
        X
        )
        )
      
    
    {\displaystyle {}^{t}F::(Z,\sigma (Z,W))\to (Y,\sigma (Y,X))}
  
 will be continuous and furthermore,

t
 t
 
 
 F
 =
 F
 
 
 {\displaystyle {}^{tt}F=F}
 
<a class="footnote-ref" id="fnref:52" href="#fn:52">52</a>
A map 
 
 
 
 g
 :
 A
 →
 B
 
 
 {\displaystyle g:A\to B}
 
 between topological spaces is relatively open if 
 
 
 
 g
 :
 A
 →
 Im
 ⁡
 g
 
 
 {\displaystyle g:A\to \operatorname {Im} g}
 
 is an <a href="/facts/Open_map/abHUKX7l">open mapping</a>, where 
 
 
 
 Im
 ⁡
 g
 
 
 {\displaystyle \operatorname {Im} g}
 
 is the range of 
 
 
 
 g
 .
 
 
 {\displaystyle g.}
 
<a class="footnote-ref" id="fnref:53" href="#fn:53">53</a>
Suppose that 
 
 
 
 ⟨
 X
 ,
 Y
 ⟩
 
 
 {\displaystyle \langle X,Y\rangle }
 
 and 
 
 
 
 ⟨
 W
 ,
 Z
 ⟩
 
 
 {\displaystyle \langle W,Z\rangle }
 
 are dual systems and 
 
 
 
 F
 :
 X
 →
 W
 
 
 {\displaystyle F:X\to W}
 
 is a weakly continuous linear map. 
Then the following are equivalent:<a class="footnote-ref" id="fnref:54" href="#fn:54">54</a>

<ol><li>
 
 
 
 F
 :
 (
 X
 ,
 σ
 (
 X
 ,
 Y
 )
 )
 →
 (
 W
 ,
 σ
 (
 W
 ,
 Z
 )
 )
 
 
 {\displaystyle F:(X,\sigma (X,Y))\to (W,\sigma (W,Z))}
 
 is relatively open.</li>
<li>The range of

t
 
 
 F
 
 
 {\displaystyle {}^{t}F}
 
 is 
 
 
 
 σ
 (
 Y
 ,
 X
 )
 
 
 {\displaystyle \sigma (Y,X)}
 
-closed in 
 
 
 
 Y
 
 
 {\displaystyle Y}
 
;</li>
<li>
 
 
 
 Im
 ⁡

t
 
 
 F
 =
 (
 ker
 ⁡
 F
 
 )
 
 ⊥
 
 
 
 
 {\displaystyle \operatorname {Im} {}^{t}F=(\operatorname {ker} F)^{\perp }}
 
</li></ol>
Furthermore, 

<ul><li>
 
 
 
 F
 :
 X
 →
 W
 
 
 {\displaystyle F:X\to W}
 
 is injective (resp. bijective) if and only if

t
 
 
 F
 
 
 {\displaystyle {}^{t}F}
 
 is surjective (resp. bijective);</li>
<li>
 
 
 
 F
 :
 X
 →
 W
 
 
 {\displaystyle F:X\to W}
 
 is surjective if and only if

t
 
 
 F
 ::
 (
 Z
 ,
 σ
 (
 Z
 ,
 W
 )
 )
 →
 (
 Y
 ,
 σ
 (
 Y
 ,
 X
 )
 )
 
 
 {\displaystyle {}^{t}F::(Z,\sigma (Z,W))\to (Y,\sigma (Y,X))}
 
 is relatively open and injective.</li></ul>
<h5>Transpose of a map between TVSs</h5>
The transpose of map between two TVSs is defined if and only if 
 
 
 
 F
 
 
 {\displaystyle F}
 
 is weakly continuous.
If 
 
 
 
 F
 :
 X
 →
 Y
 
 
 {\displaystyle F:X\to Y}
 
 is a linear map between two Hausdorff locally convex topological vector spaces, then:<a class="footnote-ref" id="fnref:55" href="#fn:55">55</a>

<ul><li>If 
 
 
 
 F
 
 
 {\displaystyle F}
 
 is continuous then it is weakly continuous and

t
 
 
 F
 
 
 {\displaystyle {}^{t}F}
 
 is both Mackey continuous and strongly continuous.</li>
<li>If 
 
 
 
 F
 
 
 {\displaystyle F}
 
 is weakly continuous then it is both Mackey continuous and strongly continuous (defined below).</li>
<li>If 
 
 
 
 F
 
 
 {\displaystyle F}
 
 is weakly continuous then it is continuous if and only if

t
 
 
 F
 
 :
 
 ′
 
 
 →
 
 X
 
 ′
 
 
 
 
 {\displaystyle {}^{t}F:^{\prime }\to X^{\prime }}
 
 maps <a href="/facts/Equicontinuity/cKjFQWD6">equicontinuous</a> subsets of 
 
 
 
 
 Y
 
 ′
 
 
 
 
 {\displaystyle Y^{\prime }}
 
 to equicontinuous subsets of 
 
 
 
 
 X
 
 ′
 
 
 .
 
 
 {\displaystyle X^{\prime }.}
 
</li>
<li>If 
 
 
 
 X
 
 
 {\displaystyle X}
 
 and 
 
 
 
 Y
 
 
 {\displaystyle Y}
 
 are normed spaces then 
 
 
 
 F
 
 
 {\displaystyle F}
 
 is continuous if and only if it is weakly continuous, in which case 
 
 
 
 ‖
 F
 ‖
 =
 
 ‖

t
 
 
 F
 
 ‖
 
 .
 
 
 {\displaystyle \|F\|=\left\|{}^{t}F\right\|.}
 
</li>
<li>If 
 
 
 
 F
 
 
 {\displaystyle F}
 
 is continuous then 
 
 
 
 F
 :
 X
 →
 Y
 
 
 {\displaystyle F:X\to Y}
 
 is relatively open if and only if 
 
 
 
 F
 
 
 {\displaystyle F}
 
 is weakly relatively open (i.e. 
 
 
 
 F
 :
 
 (
 
 X
 ,
 σ
 
 (
 
 X
 ,
 
 X
 
 ′
 
 
 
 )
 
 
 )
 
 →
 
 (
 
 Y
 ,
 σ
 
 (
 
 Y
 ,
 
 Y
 
 ′
 
 
 
 )
 
 
 )
 
 
 
 {\displaystyle F:\left(X,\sigma \left(X,X^{\prime }\right)\right)\to \left(Y,\sigma \left(Y,Y^{\prime }\right)\right)}
 
 is relatively open) and every equicontinuous subsets of 
 
 
 
 Im
 ⁡

t
          
        
        F
        =

t
 
 
 F
 
 (
 
 Y
 
 ′
 
 
 )
 
 
 
 {\displaystyle \operatorname {Im} {}^{t}F={}^{t}F\left(Y^{\prime }\right)}
 
 is the image of some equicontinuous subsets of 
 
 
 
 
 Y
 
 ′
 
 
 .
 
 
 {\displaystyle Y^{\prime }.}
 
</li>
<li>If 
 
 
 
 F
 
 
 {\displaystyle F}
 
 is continuous injection then 
 
 
 
 F
 :
 X
 →
 Y
 
 
 {\displaystyle F:X\to Y}
 
 is a TVS-embedding (or equivalently, a <a href="/facts/Topological_embedding/HKeVKc42">topological embedding</a>) if and only if every equicontinuous subsets of 
 
 
 
 
 X
 
 ′
 
 
 
 
 {\displaystyle X^{\prime }}
 
 is the image of some equicontinuous subsets of 
 
 
 
 
 Y
 
 ′
 
 
 .
 
 
 {\displaystyle Y^{\prime }.}
 
</li></ul>
<h4>Metrizability and separability</h4>
Let 
 
 
 
 X
 
 
 {\displaystyle X}
 
 be a <a href="/facts/Locally_convex/AGrPrayC">locally convex</a> space with continuous dual space 
 
 
 
 
 X
 
 ′
 
 
 
 
 {\displaystyle X^{\prime }}
 
 and let 
 
 
 
 K
 ⊆
 
 X
 
 ′
 
 
 .
 
 
 {\displaystyle K\subseteq X^{\prime }.}
 
<a class="footnote-ref" id="fnref:56" href="#fn:56">56</a> 

<ol><li>If 
 
 
 
 K
 
 
 {\displaystyle K}
 
 is <a href="/facts/Equicontinuous/cKjFQWD6">equicontinuous</a> or 
 
 
 
 σ
 
 (
 
 
 X
 
 ′
 
 
 ,
 X
 
 )
 
 
 
 {\displaystyle \sigma \left(X^{\prime },X\right)}
 
-compact, and if 
 
 
 
 D
 ⊆
 
 X
 
 ′
 
 
 
 
 {\displaystyle D\subseteq X^{\prime }}
 
 is such that 
 
 
 
 span
 ⁡
 D
 
 
 {\displaystyle \operatorname {span} D}
 
 is dense in 
 
 
 
 X
 ,
 
 
 {\displaystyle X,}
 
 then the subspace topology that 
 
 
 
 K
 
 
 {\displaystyle K}
 
 inherits from 
 
 
 
 
 (
 
 
 X
 
 ′
 
 
 ,
 σ
 
 (
 
 
 X
 
 ′
 
 
 ,
 D
 
 )
 
 
 )
 
 
 
 {\displaystyle \left(X^{\prime },\sigma \left(X^{\prime },D\right)\right)}
 
 is identical to the subspace topology that 
 
 
 
 K
 
 
 {\displaystyle K}
 
 inherits from 
 
 
 
 
 (
 
 
 X
 
 ′
 
 
 ,
 σ
 
 (
 
 
 X
 
 ′
 
 
 ,
 X
 
 )
 
 
 )
 
 .
 
 
 {\displaystyle \left(X^{\prime },\sigma \left(X^{\prime },X\right)\right).}
 
</li>
<li>If 
 
 
 
 X
 
 
 {\displaystyle X}
 
 is <a href="/facts/Separable_space/2bmU73bk">separable</a> and 
 
 
 
 K
 
 
 {\displaystyle K}
 
 is equicontinuous then 
 
 
 
 K
 ,
 
 
 {\displaystyle K,}
 
 when endowed with the subspace topology induced by 
 
 
 
 
 (
 
 
 X
 
 ′
 
 
 ,
 σ
 
 (
 
 
 X
 
 ′
 
 
 ,
 X
 
 )
 
 
 )
 
 ,
 
 
 {\displaystyle \left(X^{\prime },\sigma \left(X^{\prime },X\right)\right),}
 
 is <a href="/facts/Metrizable_space/BCLdo5Jf">metrizable</a>.</li>
<li>If 
 
 
 
 X
 
 
 {\displaystyle X}
 
 is separable and <a href="/facts/Metrizable_TVS/6FUHfx6W">metrizable</a>, then 
 
 
 
 
 (
 
 
 X
 
 ′
 
 
 ,
 σ
 
 (
 
 
 X
 
 ′
 
 
 ,
 X
 
 )
 
 
 )
 
 
 
 {\displaystyle \left(X^{\prime },\sigma \left(X^{\prime },X\right)\right)}
 
 is separable.</li>
<li>If 
 
 
 
 X
 
 
 {\displaystyle X}
 
 is a normed space then 
 
 
 
 X
 
 
 {\displaystyle X}
 
 is separable if and only if the closed unit call the continuous dual space of 
 
 
 
 X
 
 
 {\displaystyle X}
 
 is metrizable when given the subspace topology induced by 
 
 
 
 
 (
 
 
 X
 
 ′
 
 
 ,
 σ
 
 (
 
 
 X
 
 ′
 
 
 ,
 X
 
 )
 
 
 )
 
 .
 
 
 {\displaystyle \left(X^{\prime },\sigma \left(X^{\prime },X\right)\right).}
 
</li>
<li>If 
 
 
 
 X
 
 
 {\displaystyle X}
 
 is a normed space whose continuous dual space is separable (when given the usual norm topology), then 
 
 
 
 X
 
 
 {\displaystyle X}
 
 is separable.</li></ol>
<h2 id="polar-topologies-and-topologies-compatible-with-pairing">Polar topologies and topologies compatible with pairing</h2>
Main article: <a href="/facts/Polar_topology/WutbMK1V">Polar topology</a>
Starting with only the weak topology, the use of <a href="/facts/Polar_set/JY45pfbt">polar sets</a> produces a range of locally convex topologies. 
Such topologies are called <a href="/facts/Polar_topologies/WutbMK1V">polar topologies</a>. 
The weak topology is the <a href="/facts/Comparison_of_topologies/5Q9F2fjf">weakest topology</a> of this range.
Throughout, 
 
 
 
 (
 X
 ,
 Y
 ,
 b
 )
 
 
 {\displaystyle (X,Y,b)}
 
 will be a pairing over 
 
 
 
 
 K
 
 
 
 {\displaystyle \mathbb {K} }
 
 and 
 
 
 
 
 
 G
 
 
 
 
 {\displaystyle {\mathcal {G}}}
 
 will be a non-empty collection of 
 
 
 
 σ
 (
 X
 ,
 Y
 ,
 b
 )
 
 
 {\displaystyle \sigma (X,Y,b)}
 
-bounded subsets of 
 
 
 
 X
 .
 
 
 {\displaystyle X.}

<h3>Polar topologies</h3>
Main article: <a href="/facts/Polar_topology/WutbMK1V">Polar topology</a>
Given a collection 
 
 
 
 
 
 G
 
 
 
 
 {\displaystyle {\mathcal {G}}}
 
 of subsets of 
 
 
 
 X
 
 
 {\displaystyle X}
 
, the <a href="/facts/Polar_topology/WutbMK1V">polar topology</a> on 
 
 
 
 Y
 
 
 {\displaystyle Y}
 
 determined by 
 
 
 
 
 
 G
 
 
 
 
 {\displaystyle {\mathcal {G}}}
 
 (and 
 
 
 
 b
 
 
 {\displaystyle b}
 
) or the 
 
 
 
 
 
 G
 
 
 
 
 {\displaystyle {\mathcal {G}}}
 
-topology on 
 
 
 
 Y
 
 
 {\displaystyle Y}
 
 is the unique <a href="/facts/Topological_vector_space/XRex1ChN">topological vector space</a> (TVS) topology on 
 
 
 
 Y
 
 
 {\displaystyle Y}
 
 for which

{
          
            r
            
              G
              
                ∘
              
            
            :
            G
            ∈
            
              
                G
              
            
            ,
            r
            >
            0
          
          }
        
      
    
    {\displaystyle \left\{rG^{\circ }:G\in {\mathcal {G}},r>0\right\}}

forms a <a href="/facts/Subbasis/CoQAlDFJ">subbasis</a> of neighborhoods at the origin.<a class="footnote-ref" id="fnref:57" href="#fn:57">57</a> 
When 
 
 
 
 Y
 
 
 {\displaystyle Y}
 
 is endowed with this 
 
 
 
 
 
 G
 
 
 
 
 {\displaystyle {\mathcal {G}}}
 
-topology then it is denoted by Y
 
 
 
 
 
 G
 
 
 
 
 {\displaystyle {\mathcal {G}}}
 
. 
Every polar topology is necessarily <a href="/facts/Locally_convex/AGrPrayC">locally convex</a>.<a class="footnote-ref" id="fnref:58" href="#fn:58">58</a> 
When 
 
 
 
 
 
 G
 
 
 
 
 {\displaystyle {\mathcal {G}}}
 
 is a <a href="/facts/Directed_set/GmWcqe3L">directed set</a> with respect to subset inclusion (i.e. if for all 
 
 
 
 G
 ,
 K
 ∈
 
 
 G
 
 
 
 
 {\displaystyle G,K\in {\mathcal {G}}}
 
 there exists some 
 
 
 
 K
 ∈
 
 
 G
 
 
 
 
 {\displaystyle K\in {\mathcal {G}}}
 
 such that 
 
 
 
 G
 ∪
 H
 ⊆
 K
 
 
 {\displaystyle G\cup H\subseteq K}
 
) then this neighborhood subbasis at 0 actually forms a <a href="/facts/Neighborhood_basis/fMRM8Xht">neighborhood basis</a> at 0.<a class="footnote-ref" id="fnref:59" href="#fn:59">59</a>
The following table lists some of the more important polar topologies.

Notation: If 
 
 
 
 Δ
 (
 X
 ,
 Y
 ,
 b
 )
 
 
 {\displaystyle \Delta (X,Y,b)}
 
 denotes a polar topology on 
 
 
 
 Y
 
 
 {\displaystyle Y}
 
 then 
 
 
 
 Y
 
 
 {\displaystyle Y}
 
 endowed with this topology will be denoted by 
 
 
 
 
 Y
 
 Δ
 (
 Y
 ,
 X
 ,
 b
 )
 
 
 ,
 
 
 {\displaystyle Y_{\Delta (Y,X,b)},}
 
 
 
 
 
 
 Y
 
 Δ
 (
 Y
 ,
 X
 )
 
 
 
 
 {\displaystyle Y_{\Delta (Y,X)}}
 
 or simply 
 
 
 
 
 Y
 
 Δ
 
 
 
 
 {\displaystyle Y_{\Delta }}
 
 (e.g. for 
 
 
 
 σ
 (
 Y
 ,
 X
 ,
 b
 )
 
 
 {\displaystyle \sigma (Y,X,b)}
 
 we'd have 
 
 
 
 Δ
 =
 σ
 
 
 {\displaystyle \Delta =\sigma }
 
 so that 
 
 
 
 
 Y
 
 σ
 (
 Y
 ,
 X
 ,
 b
 )
 
 
 ,
 
 
 {\displaystyle Y_{\sigma (Y,X,b)},}
 
 
 
 
 
 
 Y
 
 σ
 (
 Y
 ,
 X
 )
 
 
 
 
 {\displaystyle Y_{\sigma (Y,X)}}
 
 and 
 
 
 
 
 Y
 
 σ
 
 
 
 
 {\displaystyle Y_{\sigma }}
 
 all denote 
 
 
 
 Y
 
 
 {\displaystyle Y}
 
 endowed with 
 
 
 
 σ
 (
 X
 ,
 Y
 ,
 b
 )
 
 
 {\displaystyle \sigma (X,Y,b)}
 
).
<table><tbody><tr><th> G ⊆ P X {\displaystyle {\mathcal {G}}\subseteq {\mathcal {P}}X} ("topology of uniform convergence on ...")</th><th>Notation</th><th>Name ("topology of...")</th><th>Alternative name</th></tr><tr><td>finite subsets of X {\displaystyle X} (or σ ( X , Y , b ) {\displaystyle \sigma (X,Y,b)} -closed <a href="/facts/Absolutely_convex_set/rJ5HLWkg">disked hulls</a> of finite subsets of X {\displaystyle X} )</td><td> σ ( X , Y , b ) {\displaystyle \sigma (X,Y,b)} s ( X , Y , b ) {\displaystyle s(X,Y,b)} </td><td>pointwise/simple convergence</td><td><a href="/facts/Weak_topology/XJASE9Up">weak/weak* topology</a></td></tr><tr><td> σ ( X , Y , b ) {\displaystyle \sigma (X,Y,b)} -compact <a href="/facts/Absolutely_convex_set/rJ5HLWkg">disks</a></td><td> τ ( X , Y , b ) {\displaystyle \tau (X,Y,b)} </td><td></td><td><a href="/facts/Mackey_topology/KI5zwcXv">Mackey topology</a></td></tr><tr><td> σ ( X , Y , b ) {\displaystyle \sigma (X,Y,b)} -compact convex subsets</td><td> γ ( X , Y , b ) {\displaystyle \gamma (X,Y,b)} </td><td>compact convex convergence</td><td></td></tr><tr><td> σ ( X , Y , b ) {\displaystyle \sigma (X,Y,b)} -compact subsets(or balanced σ ( X , Y , b ) {\displaystyle \sigma (X,Y,b)} -compact subsets)</td><td> c ( X , Y , b ) {\displaystyle c(X,Y,b)} </td><td>compact convergence</td><td></td></tr><tr><td> σ ( X , Y , b ) {\displaystyle \sigma (X,Y,b)} -bounded subsets</td><td> b ( X , Y , b ) {\displaystyle b(X,Y,b)} β ( X , Y , b ) {\displaystyle \beta (X,Y,b)} </td><td>bounded convergence</td><td><a href="/facts/Strong_dual_space/4RI1SYl6">strong topology</a>Strongest polar topology</td></tr></tbody></table>
<h4>Definitions involving polar topologies</h4>
Continuity
A linear map 
 
 
 
 F
 :
 X
 →
 W
 
 
 {\displaystyle F:X\to W}
 
 is Mackey continuous (with respect to 
 
 
 
 (
 X
 ,
 Y
 ,
 b
 )
 
 
 {\displaystyle (X,Y,b)}
 
 and 
 
 
 
 (
 W
 ,
 Z
 ,
 c
 )
 
 
 {\displaystyle (W,Z,c)}
 
) if 
 
 
 
 F
 :
 (
 X
 ,
 τ
 (
 X
 ,
 Y
 ,
 b
 )
 )
 →
 (
 W
 ,
 τ
 (
 W
 ,
 Z
 ,
 c
 )
 )
 
 
 {\displaystyle F:(X,\tau (X,Y,b))\to (W,\tau (W,Z,c))}
 
 is continuous.<a class="footnote-ref" id="fnref:60" href="#fn:60">60</a>
A linear map 
 
 
 
 F
 :
 X
 →
 W
 
 
 {\displaystyle F:X\to W}
 
 is strongly continuous (with respect to 
 
 
 
 (
 X
 ,
 Y
 ,
 b
 )
 
 
 {\displaystyle (X,Y,b)}
 
 and 
 
 
 
 (
 W
 ,
 Z
 ,
 c
 )
 
 
 {\displaystyle (W,Z,c)}
 
) if 
 
 
 
 F
 :
 (
 X
 ,
 β
 (
 X
 ,
 Y
 ,
 b
 )
 )
 →
 (
 W
 ,
 β
 (
 W
 ,
 Z
 ,
 c
 )
 )
 
 
 {\displaystyle F:(X,\beta (X,Y,b))\to (W,\beta (W,Z,c))}
 
 is continuous.<a class="footnote-ref" id="fnref:61" href="#fn:61">61</a>

<h3>Bounded subsets</h3>
A subset of 
 
 
 
 X
 
 
 {\displaystyle X}
 
 is weakly bounded (resp. Mackey bounded, strongly bounded) if it is bounded in 
 
 
 
 (
 X
 ,
 σ
 (
 X
 ,
 Y
 ,
 b
 )
 )
 
 
 {\displaystyle (X,\sigma (X,Y,b))}
 
 (resp. bounded in 
 
 
 
 (
 X
 ,
 τ
 (
 X
 ,
 Y
 ,
 b
 )
 )
 ,
 
 
 {\displaystyle (X,\tau (X,Y,b)),}
 
 bounded in 
 
 
 
 (
 X
 ,
 β
 (
 X
 ,
 Y
 ,
 b
 )
 )
 
 
 {\displaystyle (X,\beta (X,Y,b))}
 
).

<h3>Topologies compatible with a pair</h3>
If 
 
 
 
 (
 X
 ,
 Y
 ,
 b
 )
 
 
 {\displaystyle (X,Y,b)}
 
 is a pairing over 
 
 
 
 
 K
 
 
 
 {\displaystyle \mathbb {K} }
 
 and 
 
 
 
 
 
 T
 
 
 
 
 {\displaystyle {\mathcal {T}}}
 
 is a vector topology on 
 
 
 
 X
 
 
 {\displaystyle X}
 
 then 
 
 
 
 
 
 T
 
 
 
 
 {\displaystyle {\mathcal {T}}}
 
 is a topology of the pairing and that it is compatible (or consistent) with the pairing 
 
 
 
 (
 X
 ,
 Y
 ,
 b
 )
 
 
 {\displaystyle (X,Y,b)}
 
 if it is <a href="/facts/Locally_convex/AGrPrayC">locally convex</a> and if the continuous dual space of 
 
 
 
 
 (
 
 X
 ,
 
 
 T
 
 
 
 )
 
 =
 b
 (
 
 ⋅
 
 ,
 Y
 )
 .
 
 
 {\displaystyle \left(X,{\mathcal {T}}\right)=b(\,\cdot \,,Y).}
 
<a class="footnote-ref" id="fnref:62" href="#fn:62">62</a> 
If 
 
 
 
 X
 
 
 {\displaystyle X}
 
 distinguishes points of 
 
 
 
 Y
 
 
 {\displaystyle Y}
 
 then by identifying 
 
 
 
 Y
 
 
 {\displaystyle Y}
 
 as a vector subspace of 
 
 
 
 X
 
 
 {\displaystyle X}
 
's algebraic dual, the defining condition becomes: 
 
 
 
 
 
 (
 
 X
 ,
 
 
 T
 
 
 
 )
 
 
 ′
 
 
 =
 Y
 .
 
 
 {\displaystyle \left(X,{\mathcal {T}}\right)^{\prime }=Y.}
 
<a class="footnote-ref" id="fnref:63" href="#fn:63">63</a> 
Some authors (e.g. [Trèves 2006] and [Schaefer 1999]) require that a topology of a pair also be Hausdorff,<a class="footnote-ref" id="fnref:64" href="#fn:64">64</a><a class="footnote-ref" id="fnref:65" href="#fn:65">65</a> which it would have to be if 
 
 
 
 Y
 
 
 {\displaystyle Y}
 
 distinguishes the points of 
 
 
 
 X
 
 
 {\displaystyle X}
 
 (which these authors assume).
The weak topology 
 
 
 
 σ
 (
 X
 ,
 Y
 ,
 b
 )
 
 
 {\displaystyle \sigma (X,Y,b)}
 
 is compatible with the pairing 
 
 
 
 (
 X
 ,
 Y
 ,
 b
 )
 
 
 {\displaystyle (X,Y,b)}
 
 (as was shown in the Weak representation theorem) and it is in fact the weakest such topology. 
There is a strongest topology compatible with this pairing and that is the <a href="/facts/Mackey_topology/KI5zwcXv">Mackey topology</a>. 
If 
 
 
 
 N
 
 
 {\displaystyle N}
 
 is a normed space that is not <a href="/facts/Reflexive_space/g7Cjbw0S">reflexive</a> then the usual norm topology on its continuous dual space is not compatible with the duality 
 
 
 
 
 (
 
 
 N
 
 ′
 
 
 ,
 N
 
 )
 
 .
 
 
 {\displaystyle \left(N^{\prime },N\right).}
 
<a class="footnote-ref" id="fnref:66" href="#fn:66">66</a>

<h4>Mackey–Arens theorem</h4>
Main articles: <a href="/facts/Mackey%25E2%2580%2593Arens_theorem/uzExVVAD">Mackey–Arens theorem</a>, <a href="/facts/Mackey_topology/KI5zwcXv">Mackey topology</a>, and <a href="/facts/Mackey_space/X2d6rBTI">Mackey space</a>
The following is one of the most important theorems in duality theory.

<a href="/facts/Mackey%25E2%2580%2593Arens_theorem/uzExVVAD">Mackey–Arens theorem</a> I<a class="footnote-ref" id="fnref:67" href="#fn:67">67</a>—Let 
 
 
 
 (
 X
 ,
 Y
 ,
 b
 )
 
 
 {\displaystyle (X,Y,b)}
 
 will be a pairing such that 
 
 
 
 X
 
 
 {\displaystyle X}
 
 distinguishes the points of 
 
 
 
 Y
 
 
 {\displaystyle Y}
 
 and let 
 
 
 
 
 
 T
 
 
 
 
 {\displaystyle {\mathcal {T}}}
 
 be a locally convex topology on 
 
 
 
 X
 
 
 {\displaystyle X}
 
 (not necessarily Hausdorff). 
Then 
 
 
 
 
 
 T
 
 
 
 
 {\displaystyle {\mathcal {T}}}
 
 is compatible with the pairing 
 
 
 
 (
 X
 ,
 Y
 ,
 b
 )
 
 
 {\displaystyle (X,Y,b)}
 
 if and only if 
 
 
 
 
 
 T
 
 
 
 
 {\displaystyle {\mathcal {T}}}
 
 is a polar topology determined by some collection 
 
 
 
 
 
 G
 
 
 
 
 {\displaystyle {\mathcal {G}}}
 
 of 
 
 
 
 σ
 (
 Y
 ,
 X
 ,
 b
 )
 
 
 {\displaystyle \sigma (Y,X,b)}
 
-compact <a href="/facts/Absolutely_convex_set/rJ5HLWkg">disks</a> that cover<a class="footnote-ref" id="fnref:68" href="#fn:68">68</a> 
 
 
 
 Y
 .
 
 
 {\displaystyle Y.}

It follows that the Mackey topology 
 
 
 
 τ
 (
 X
 ,
 Y
 ,
 b
 )
 ,
 
 
 {\displaystyle \tau (X,Y,b),}
 
 which recall is the polar topology generated by all 
 
 
 
 σ
 (
 X
 ,
 Y
 ,
 b
 )
 
 
 {\displaystyle \sigma (X,Y,b)}
 
-compact disks in 
 
 
 
 Y
 ,
 
 
 {\displaystyle Y,}
 
 is the strongest locally convex topology on 
 
 
 
 X
 
 
 {\displaystyle X}
 
 that is compatible with the pairing 
 
 
 
 (
 X
 ,
 Y
 ,
 b
 )
 .
 
 
 {\displaystyle (X,Y,b).}
 
 
A locally convex space whose given topology is identical to the Mackey topology is called a <a href="/facts/Mackey_space/X2d6rBTI">Mackey space</a>. 
The following consequence of the above Mackey-Arens theorem is also called the Mackey-Arens theorem.

Mackey–Arens theorem II<a class="footnote-ref" id="fnref:69" href="#fn:69">69</a>—Let 
 
 
 
 (
 X
 ,
 Y
 ,
 b
 )
 
 
 {\displaystyle (X,Y,b)}
 
 will be a pairing such that 
 
 
 
 X
 
 
 {\displaystyle X}
 
 distinguishes the points of 
 
 
 
 Y
 
 
 {\displaystyle Y}
 
 and let 
 
 
 
 
 
 T
 
 
 
 
 {\displaystyle {\mathcal {T}}}
 
 be a locally convex topology on 
 
 
 
 X
 .
 
 
 {\displaystyle X.}
 
 
Then 
 
 
 
 
 
 T
 
 
 
 
 {\displaystyle {\mathcal {T}}}
 
 is compatible with the pairing if and only if 
 
 
 
 σ
 (
 X
 ,
 Y
 ,
 b
 )
 ⊆
 
 
 T
 
 
 ⊆
 τ
 (
 X
 ,
 Y
 ,
 b
 )
 .
 
 
 {\displaystyle \sigma (X,Y,b)\subseteq {\mathcal {T}}\subseteq \tau (X,Y,b).}

<h3>Mackey's theorem, barrels, and closed convex sets</h3>
If 
 
 
 
 X
 
 
 {\displaystyle X}
 
 is a TVS (over 
 
 
 
 
 R
 
 
 
 {\displaystyle \mathbb {R} }
 
 or 
 
 
 
 
 C
 
 
 
 {\displaystyle \mathbb {C} }
 
) then a half-space is a set of the form 
 
 
 
 {
 x
 ∈
 X
 :
 f
 (
 x
 )
 ≤
 r
 }
 
 
 {\displaystyle \{x\in X:f(x)\leq r\}}
 
 for some real 
 
 
 
 r
 
 
 {\displaystyle r}
 
 and some continuous real linear functional 
 
 
 
 f
 
 
 {\displaystyle f}
 
 on 
 
 
 
 X
 .
 
 
 {\displaystyle X.}

Theorem—If 
 
 
 
 X
 
 
 {\displaystyle X}
 
 is a <a href="/facts/Locally_convex/AGrPrayC">locally convex</a> space (over 
 
 
 
 
 R
 
 
 
 {\displaystyle \mathbb {R} }
 
 or 
 
 
 
 
 C
 
 
 
 {\displaystyle \mathbb {C} }
 
) and if 
 
 
 
 C
 
 
 {\displaystyle C}
 
 is a non-empty closed and convex subset of 
 
 
 
 X
 ,
 
 
 {\displaystyle X,}
 
 then 
 
 
 
 C
 
 
 {\displaystyle C}
 
 is equal to the intersection of all closed half spaces containing it.<a class="footnote-ref" id="fnref:70" href="#fn:70">70</a>

The above theorem implies that the closed and convex subsets of a locally convex space depend entirely on the continuous dual space. Consequently, the closed and convex subsets are the same in any topology compatible with duality;that is, if 
 
 
 
 
 
 T
 
 
 
 
 {\displaystyle {\mathcal {T}}}
 
 and 
 
 
 
 
 
 L
 
 
 
 
 {\displaystyle {\mathcal {L}}}
 
 are any locally convex topologies on 
 
 
 
 X
 
 
 {\displaystyle X}
 
 with the same continuous dual spaces, then a convex subset of 
 
 
 
 X
 
 
 {\displaystyle X}
 
 is closed in the 
 
 
 
 
 
 T
 
 
 
 
 {\displaystyle {\mathcal {T}}}
 
 topology if and only if it is closed in the 
 
 
 
 
 
 L
 
 
 
 
 {\displaystyle {\mathcal {L}}}
 
 topology. 
This implies that the 
 
 
 
 
 
 T
 
 
 
 
 {\displaystyle {\mathcal {T}}}
 
-closure of any convex subset of 
 
 
 
 X
 
 
 {\displaystyle X}
 
 is equal to its 
 
 
 
 
 
 L
 
 
 
 
 {\displaystyle {\mathcal {L}}}
 
-closure and that for any 
 
 
 
 
 
 T
 
 
 
 
 {\displaystyle {\mathcal {T}}}
 
-closed <a href="/facts/Absolutely_convex_set/rJ5HLWkg">disk</a> 
 
 
 
 A
 
 
 {\displaystyle A}
 
 in 
 
 
 
 X
 ,
 
 
 {\displaystyle X,}
 
 
 
 
 
 A
 =
 
 A
 
 ∘
 ∘
 
 
 .
 
 
 {\displaystyle A=A^{\circ \circ }.}
 
<a class="footnote-ref" id="fnref:71" href="#fn:71">71</a> 
In particular, if 
 
 
 
 B
 
 
 {\displaystyle B}
 
 is a subset of 
 
 
 
 X
 
 
 {\displaystyle X}
 
 then 
 
 
 
 B
 
 
 {\displaystyle B}
 
 is a <a href="/facts/Barrelled_space/r2H58TN3">barrel</a> in 
 
 
 
 (
 X
 ,
 
 
 L
 
 
 )
 
 
 {\displaystyle (X,{\mathcal {L}})}
 
 if and only if it is a barrel in 
 
 
 
 (
 X
 ,
 
 
 L
 
 
 )
 .
 
 
 {\displaystyle (X,{\mathcal {L}}).}
 
<a class="footnote-ref" id="fnref:72" href="#fn:72">72</a>
The following theorem shows that <a href="/facts/Barrelled_space/r2H58TN3">barrels</a> (i.e. closed <a href="/facts/Absorbing_set/GCtjsUuX">absorbing</a> <a href="/facts/Absolutely_convex_set/rJ5HLWkg">disks</a>) are exactly the polars of weakly bounded subsets.

Theorem<a class="footnote-ref" id="fnref:73" href="#fn:73">73</a>—Let 
 
 
 
 (
 X
 ,
 Y
 ,
 b
 )
 
 
 {\displaystyle (X,Y,b)}
 
 will be a pairing such that 
 
 
 
 X
 
 
 {\displaystyle X}
 
 distinguishes the points of 
 
 
 
 Y
 
 
 {\displaystyle Y}
 
 and let 
 
 
 
 
 
 T
 
 
 
 
 {\displaystyle {\mathcal {T}}}
 
 be a topology of the pair. 
Then a subset of 
 
 
 
 X
 
 
 {\displaystyle X}
 
 is a barrel in 
 
 
 
 X
 
 
 {\displaystyle X}
 
 if and only if it is equal to the polar of some 
 
 
 
 σ
 (
 Y
 ,
 X
 ,
 b
 )
 
 
 {\displaystyle \sigma (Y,X,b)}
 
-bounded subset of 
 
 
 
 Y
 .
 
 
 {\displaystyle Y.}

If 
 
 
 
 X
 
 
 {\displaystyle X}
 
 is a topological vector space, then:<a class="footnote-ref" id="fnref:74" href="#fn:74">74</a><a class="footnote-ref" id="fnref:75" href="#fn:75">75</a> 

<ol><li>A closed <a href="/facts/Absorbing_set/GCtjsUuX">absorbing</a> and <a href="/facts/Balanced_set/Y2ar7E6g">balanced</a> subset 
 
 
 
 B
 
 
 {\displaystyle B}
 
 of 
 
 
 
 X
 
 
 {\displaystyle X}
 
 absorbs each convex compact subset of 
 
 
 
 X
 
 
 {\displaystyle X}
 
 (i.e. there exists a real 
 
 
 
 r
 >
 0
 
 
 {\displaystyle r>0}
 
 such that 
 
 
 
 r
 B
 
 
 {\displaystyle rB}
 
 contains that set).</li>
<li>If 
 
 
 
 X
 
 
 {\displaystyle X}
 
 is Hausdorff and locally convex then every barrel in 
 
 
 
 X
 
 
 {\displaystyle X}
 
 absorbs every convex bounded complete subset of 
 
 
 
 X
 .
 
 
 {\displaystyle X.}
 
</li></ol>
All of this leads to Mackey's theorem, which is one of the central theorems in the theory of dual systems. 
In short, it states the bounded subsets are the same for any two Hausdorff locally convex topologies that are compatible with the same duality.

Mackey's theorem<a class="footnote-ref" id="fnref:76" href="#fn:76">76</a><a class="footnote-ref" id="fnref:77" href="#fn:77">77</a>—Suppose that 
 
 
 
 (
 X
 ,
 
 
 L
 
 
 )
 
 
 {\displaystyle (X,{\mathcal {L}})}
 
 is a Hausdorff locally convex space with continuous dual space 
 
 
 
 
 X
 
 ′
 
 
 
 
 {\displaystyle X^{\prime }}
 
 and consider the canonical duality 
 
 
 
 
 ⟨
 
 X
 ,
 
 X
 
 ′
 
 
 
 ⟩
 
 .
 
 
 {\displaystyle \left\langle X,X^{\prime }\right\rangle .}
 
 
If 
 
 
 
 
 
 L
 
 
 
 
 {\displaystyle {\mathcal {L}}}
 
 is any topology on 
 
 
 
 X
 
 
 {\displaystyle X}
 
 that is compatible with the duality 
 
 
 
 
 ⟨
 
 X
 ,
 
 X
 
 ′
 
 
 
 ⟩
 
 
 
 {\displaystyle \left\langle X,X^{\prime }\right\rangle }
 
 on 
 
 
 
 X
 
 
 {\displaystyle X}
 
 then the bounded subsets of 
 
 
 
 (
 X
 ,
 
 
 L
 
 
 )
 
 
 {\displaystyle (X,{\mathcal {L}})}
 
 are the same as the bounded subsets of 
 
 
 
 (
 X
 ,
 
 
 L
 
 
 )
 .
 
 
 {\displaystyle (X,{\mathcal {L}}).}

<h3>Space of finite sequences</h3>
Let 
 
 
 
 X
 
 
 {\displaystyle X}
 
 denote the space of all sequences of scalars 
 
 
 
 
 r
 
 ∙
 
 
 =
 
 
 (
 
 r
 
 i
 
 
 )
 
 
 i
 =
 1
 
 
 ∞
 
 
 
 
 {\displaystyle r_{\bullet }=\left(r_{i}\right)_{i=1}^{\infty }}
 
 such that 
 
 
 
 
 r
 
 i
 
 
 =
 0
 
 
 {\displaystyle r_{i}=0}
 
 for all sufficiently large 
 
 
 
 i
 .
 
 
 {\displaystyle i.}
 
 
Let 
 
 
 
 Y
 =
 X
 
 
 {\displaystyle Y=X}
 
 and define a bilinear map 
 
 
 
 b
 :
 X
 ×
 X
 →
 
 K
 
 
 
 {\displaystyle b:X\times X\to \mathbb {K} }
 
 by

b
 
 (
 
 
 r
 
 ∙
 
 
 ,
 
 s
 
 ∙
 
 
 
 )
 
 :=
 
 ∑
 
 i
 =
 1
 
 
 ∞
 
 
 
 r
 
 i
 
 
 
 s
 
 i
 
 
 .
 
 
 {\displaystyle b\left(r_{\bullet },s_{\bullet }\right):=\sum _{i=1}^{\infty }r_{i}s_{i}.}
 
 
Then 
 
 
 
 σ
 (
 X
 ,
 X
 ,
 b
 )
 =
 τ
 (
 X
 ,
 X
 ,
 b
 )
 .
 
 
 {\displaystyle \sigma (X,X,b)=\tau (X,X,b).}
 
<a class="footnote-ref" id="fnref:78" href="#fn:78">78</a> 
Moreover, a subset 
 
 
 
 T
 ⊆
 X
 
 
 {\displaystyle T\subseteq X}
 
 is 
 
 
 
 σ
 (
 X
 ,
 X
 ,
 b
 )
 
 
 {\displaystyle \sigma (X,X,b)}
 
-bounded (resp. 
 
 
 
 β
 (
 X
 ,
 X
 ,
 b
 )
 
 
 {\displaystyle \beta (X,X,b)}
 
-bounded) if and only if there exists a sequence 
 
 
 
 
 m
 
 ∙
 
 
 =
 
 
 (
 
 m
 
 i
 
 
 )
 
 
 i
 =
 1
 
 
 ∞
 
 
 
 
 {\displaystyle m_{\bullet }=\left(m_{i}\right)_{i=1}^{\infty }}
 
 of positive real numbers such that 
 
 
 
 
 |
 
 t
 
 i
 
 
 |
 
 ≤
 
 m
 
 i
 
 
 
 
 {\displaystyle \left|t_{i}\right|\leq m_{i}}
 
 for all 
 
 
 
 
 t
 
 ∙
 
 
 =
 
 
 (
 
 t
 
 i
 
 
 )
 
 
 i
 =
 1
 
 
 ∞
 
 
 ∈
 T
 
 
 {\displaystyle t_{\bullet }=\left(t_{i}\right)_{i=1}^{\infty }\in T}
 
 and all indices 
 
 
 
 i
 
 
 {\displaystyle i}
 
 (resp. and 
 
 
 
 
 m
 
 ∙
 
 
 ∈
 X
 
 
 {\displaystyle m_{\bullet }\in X}
 
).<a class="footnote-ref" id="fnref:79" href="#fn:79">79</a> 
It follows that there are weakly bounded (that is, 
 
 
 
 σ
 (
 X
 ,
 X
 ,
 b
 )
 
 
 {\displaystyle \sigma (X,X,b)}
 
-bounded) subsets of 
 
 
 
 X
 
 
 {\displaystyle X}
 
 that are not strongly bounded (that is, not 
 
 
 
 β
 (
 X
 ,
 X
 ,
 b
 )
 
 
 {\displaystyle \beta (X,X,b)}
 
-bounded).

<h2 id="see-also">See also</h2>
<ul><li><a href="/facts/Beta-dual_space/y5JDQ2o4">Beta-dual space</a></li>
<li><a href="/facts/Biorthogonal_system/2VvVdbUY">Biorthogonal system</a></li>
<li><a href="/facts/Dual_space/4Uw4Knz1">Dual space</a> – In mathematics, vector space of linear forms</li>
<li><a href="/facts/Dual_topology/DKPD7nYJ">Dual topology</a></li>
<li><a href="/facts/Duality_(mathematics)/8jGuyQIU">Duality (mathematics)</a> – General concept and operation in mathematics</li>
<li><a href="/facts/Inner_product/HoyjElEy">Inner product</a> – Vector space with generalized dot productPages displaying short descriptions of redirect targets</li>
<li><a href="/facts/L-semi-inner_product/YEUafu3j">L-semi-inner product</a> – Generalization of inner products that applies to all normed spaces</li>
<li><a href="/facts/Pairing/G0qgKRD8">Pairing</a> – Bilinear map in mathematics</li>
<li><a href="/facts/Polar_set/JY45pfbt">Polar set</a> – Subset of all points that is bounded by some given point of a dual (in a dual pairing)</li>
<li><a href="/facts/Polar_topology/WutbMK1V">Polar topology</a> – Dual space topology of uniform convergence on some sub-collection of bounded subsets</li>
<li><a href="/facts/Reductive_dual_pair/pKpCTJHT">Reductive dual pair</a></li>
<li><a href="/facts/Strong_dual_space/4RI1SYl6">Strong dual space</a> – Continuous dual space endowed with the topology of uniform convergence on bounded sets</li>
<li><a href="/facts/Strong_topology_(polar_topology)/4RI1SYl6">Strong topology (polar topology)</a> – Continuous dual space endowed with the topology of uniform convergence on bounded setsPages displaying short descriptions of redirect targets</li>
<li><a href="/facts/Topologies_on_spaces_of_linear_maps/TVmUH4ao">Topologies on spaces of linear maps</a></li>
<li><a href="/facts/Weak_topology/XJASE9Up">Weak topology</a> – Mathematical term</li></ul>
<h2 id="notes">Notes</h2>

<h2 id="bibliography">Bibliography</h2>
<ul><li>Narici, Lawrence; Beckenstein, Edward (2011). Topological Vector Spaces. Pure and applied mathematics (Second ed.). Boca Raton, FL: CRC Press. <a href="/facts/ISBN_(identifier)/15AdSPa9">ISBN</a> 978-1584888666. <a href="/facts/OCLC_(identifier)/Yqad8waq">OCLC</a> <a href="https://search.worldcat.org/oclc/144216834">144216834</a>.</li>
<li>Michael Reed and Barry Simon, Methods of Modern Mathematical Physics, Vol. 1, Functional Analysis, Section III.3. Academic Press, San Diego, 1980. <a href="/facts/ISBN_(identifier)/15AdSPa9">ISBN</a> 0-12-585050-6.</li>
<li><a href="/facts/Walter_Rudin/9mxRAECY">Rudin, Walter</a> (1991). <a href="https://archive.org/details/functionalanalys00rudi">Functional Analysis</a>. International Series in Pure and Applied Mathematics. Vol. 8 (Second ed.). New York, NY: <a href="/facts/McGraw-Hill_Science%2fEngineering%2fMath/srSyQSsY">McGraw-Hill Science/Engineering/Math</a>. <a href="/facts/ISBN_(identifier)/15AdSPa9">ISBN</a> 978-0-07-054236-5. <a href="/facts/OCLC_(identifier)/Yqad8waq">OCLC</a> <a href="https://search.worldcat.org/oclc/21163277">21163277</a>.</li>
<li><a href="/facts/Helmut_H._Schaefer/xorHTDBE">Schaefer, Helmut H.</a>; Wolff, Manfred P. (1999). Topological Vector Spaces. <a href="/facts/Graduate_Texts_in_Mathematics/VTIfY29j">GTM</a>. Vol. 8 (Second ed.). New York, NY: Springer New York Imprint Springer. <a href="/facts/ISBN_(identifier)/15AdSPa9">ISBN</a> 978-1-4612-7155-0. <a href="/facts/OCLC_(identifier)/Yqad8waq">OCLC</a> <a href="https://search.worldcat.org/oclc/840278135">840278135</a>.</li>
<li>Schmitt, Lothar M (1992). <a href="http://www.math.uh.edu/~hjm/vol18-3.html">"An Equivariant Version of the Hahn–Banach Theorem"</a>. Houston J. Of Math. 18: 429–447.</li>
<li><a href="/facts/Fran%25C3%25A7ois_Tr%25C3%25A8ves/cpjQbAov">Trèves, François</a> (2006) [1967]. Topological Vector Spaces, Distributions and Kernels. Mineola, N.Y.: Dover Publications. <a href="/facts/ISBN_(identifier)/15AdSPa9">ISBN</a> 978-0-486-45352-1. <a href="/facts/OCLC_(identifier)/Yqad8waq">OCLC</a> <a href="https://search.worldcat.org/oclc/853623322">853623322</a>.</li></ul>
<h2 id="external-links">External links</h2>
<ul><li><a href="https://www.math.ksu.edu/~nagy/func-an-2007-2008/dt-1.pdf">Duality Theory</a></li></ul>

<h2 id="references">References</h2>

<ol>
<li id="fn:1">Narici & Beckenstein 2011, pp. 225–273. - Narici, Lawrence; Beckenstein, Edward (2011). Topological Vector Spaces. Pure and applied mathematics (Second ed.). Boca Raton, FL: CRC Press. ISBN 978-1584888666. OCLC 144216834. <a href="https://search.worldcat.org/oclc/144216834" target="_blank">https://search.worldcat.org/oclc/144216834</a> <a href="#fnref:1" class="footnote-back-ref">↩</a></li>
<li id="fn:2">Schaefer & Wolff 1999, pp. 122–128. - Schaefer, Helmut H.; Wolff, Manfred P. (1999). Topological Vector Spaces. GTM. Vol. 8 (Second ed.). New York, NY: Springer New York Imprint Springer. ISBN 978-1-4612-7155-0. OCLC 840278135. <a href="https://search.worldcat.org/oclc/840278135" target="_blank">https://search.worldcat.org/oclc/840278135</a> <a href="#fnref:2" class="footnote-back-ref">↩</a></li>
<li id="fn:3">Narici & Beckenstein 2011, pp. 225–273. - Narici, Lawrence; Beckenstein, Edward (2011). Topological Vector Spaces. Pure and applied mathematics (Second ed.). Boca Raton, FL: CRC Press. ISBN 978-1584888666. OCLC 144216834. <a href="https://search.worldcat.org/oclc/144216834" target="_blank">https://search.worldcat.org/oclc/144216834</a> <a href="#fnref:3" class="footnote-back-ref">↩</a></li>
<li id="fn:4">Schaefer & Wolff 1999, pp. 122–128. - Schaefer, Helmut H.; Wolff, Manfred P. (1999). Topological Vector Spaces. GTM. Vol. 8 (Second ed.). New York, NY: Springer New York Imprint Springer. ISBN 978-1-4612-7155-0. OCLC 840278135. <a href="https://search.worldcat.org/oclc/840278135" target="_blank">https://search.worldcat.org/oclc/840278135</a> <a href="#fnref:4" class="footnote-back-ref">↩</a></li>
<li id="fn:5">A subset 
 
 
 
 S
 
 
 {\displaystyle S}
 
 of 
 
 
 
 X
 
 
 {\displaystyle X}
 
 is total if for all 
 
 
 
 y
 ∈
 Y
 
 
 {\displaystyle y\in Y}
 
, 
 
 
 
 b
 (
 s
 ,
 y
 )
 =
 0
 
 
  for all 
 
 s
 ∈
 S
 
 
 {\displaystyle b(s,y)=0\quad {\text{ for all }}s\in S}
 
 implies 
 
 
 
 y
 =
 0
 
 
 {\displaystyle y=0}
 
. <a href="#fnref:5" class="footnote-back-ref">↩</a></li>
<li id="fn:6">Trèves 2006, p. 195. - Trèves, François (2006) [1967]. Topological Vector Spaces, Distributions and Kernels. Mineola, N.Y.: Dover Publications. ISBN 978-0-486-45352-1. OCLC 853623322. <a href="https://search.worldcat.org/oclc/853623322" target="_blank">https://search.worldcat.org/oclc/853623322</a> <a href="#fnref:6" class="footnote-back-ref">↩</a></li>
<li id="fn:7">Schaefer & Wolff 1999, pp. 123–128. - Schaefer, Helmut H.; Wolff, Manfred P. (1999). Topological Vector Spaces. GTM. Vol. 8 (Second ed.). New York, NY: Springer New York Imprint Springer. ISBN 978-1-4612-7155-0. OCLC 840278135. <a href="https://search.worldcat.org/oclc/840278135" target="_blank">https://search.worldcat.org/oclc/840278135</a> <a href="#fnref:7" class="footnote-back-ref">↩</a></li>
<li id="fn:8">Narici & Beckenstein 2011, pp. 225–273. - Narici, Lawrence; Beckenstein, Edward (2011). Topological Vector Spaces. Pure and applied mathematics (Second ed.). Boca Raton, FL: CRC Press. ISBN 978-1584888666. OCLC 144216834. <a href="https://search.worldcat.org/oclc/144216834" target="_blank">https://search.worldcat.org/oclc/144216834</a> <a href="#fnref:8" class="footnote-back-ref">↩</a></li>
<li id="fn:9">Narici & Beckenstein 2011, pp. 225–273. - Narici, Lawrence; Beckenstein, Edward (2011). Topological Vector Spaces. Pure and applied mathematics (Second ed.). Boca Raton, FL: CRC Press. ISBN 978-1584888666. OCLC 144216834. <a href="https://search.worldcat.org/oclc/144216834" target="_blank">https://search.worldcat.org/oclc/144216834</a> <a href="#fnref:9" class="footnote-back-ref">↩</a></li>
<li id="fn:10">Schaefer & Wolff 1999, pp. 122–128. - Schaefer, Helmut H.; Wolff, Manfred P. (1999). Topological Vector Spaces. GTM. Vol. 8 (Second ed.). New York, NY: Springer New York Imprint Springer. ISBN 978-1-4612-7155-0. OCLC 840278135. <a href="https://search.worldcat.org/oclc/840278135" target="_blank">https://search.worldcat.org/oclc/840278135</a> <a href="#fnref:10" class="footnote-back-ref">↩</a></li>
<li id="fn:11">Narici & Beckenstein 2011, pp. 225–273. - Narici, Lawrence; Beckenstein, Edward (2011). Topological Vector Spaces. Pure and applied mathematics (Second ed.). Boca Raton, FL: CRC Press. ISBN 978-1584888666. OCLC 144216834. <a href="https://search.worldcat.org/oclc/144216834" target="_blank">https://search.worldcat.org/oclc/144216834</a> <a href="#fnref:11" class="footnote-back-ref">↩</a></li>
<li id="fn:12">Narici & Beckenstein 2011, pp. 225–273. - Narici, Lawrence; Beckenstein, Edward (2011). Topological Vector Spaces. Pure and applied mathematics (Second ed.). Boca Raton, FL: CRC Press. ISBN 978-1584888666. OCLC 144216834. <a href="https://search.worldcat.org/oclc/144216834" target="_blank">https://search.worldcat.org/oclc/144216834</a> <a href="#fnref:12" class="footnote-back-ref">↩</a></li>
<li id="fn:13">That 
 
 
 
 b
 
 
 {\displaystyle b}
 
 is linear in its first coordinate is obvious. Suppose 
 
 
 
 c
 
 
 {\displaystyle c}
 
 is a scalar. Then 
 
 
 
 b
 (
 x
 ,
 c
 ⊥
 y
 )
 =
 b
 
 (
 
 x
 ,
 
 
 c
 ¯
 
 
 y
 
 )
 
 =
 ⟨
 x
 ,
 
 
 c
 ¯
 
 
 y
 ⟩
 =
 c
 ⟨
 x
 ,
 y
 ⟩
 =
 c
 b
 (
 x
 ,
 y
 )
 ,
 
 
 {\displaystyle b(x,c\perp y)=b\left(x,{\overline {c}}y\right)=\langle x,{\overline {c}}y\rangle =c\langle x,y\rangle =cb(x,y),}
 
 which shows that 
 
 
 
 b
 
 
 {\displaystyle b}
 
 is linear in its second coordinate. <a href="#fnref:13" class="footnote-back-ref">↩</a></li>
<li id="fn:14">Schaefer & Wolff 1999, pp. 122–128. - Schaefer, Helmut H.; Wolff, Manfred P. (1999). Topological Vector Spaces. GTM. Vol. 8 (Second ed.). New York, NY: Springer New York Imprint Springer. ISBN 978-1-4612-7155-0. OCLC 840278135. <a href="https://search.worldcat.org/oclc/840278135" target="_blank">https://search.worldcat.org/oclc/840278135</a> <a href="#fnref:14" class="footnote-back-ref">↩</a></li>
<li id="fn:15">Narici & Beckenstein 2011, pp. 225–273. - Narici, Lawrence; Beckenstein, Edward (2011). Topological Vector Spaces. Pure and applied mathematics (Second ed.). Boca Raton, FL: CRC Press. ISBN 978-1584888666. OCLC 144216834. <a href="https://search.worldcat.org/oclc/144216834" target="_blank">https://search.worldcat.org/oclc/144216834</a> <a href="#fnref:15" class="footnote-back-ref">↩</a></li>
<li id="fn:16">The weak topology on 
 
 
 
 Y
 
 
 {\displaystyle Y}
 
 is the weakest TVS topology on 
 
 
 
 Y
 
 
 {\displaystyle Y}
 
 making all maps 
 
 
 
 b
 (
 x
 ,
 
 ⋅
 
 )
 :
 Y
 →
 
 K
 
 
 
 {\displaystyle b(x,\,\cdot \,):Y\to \mathbb {K} }
 
 continuous, as 
 
 
 
 x
 
 
 {\displaystyle x}
 
 ranges over 
 
 
 
 R
 .
 
 
 {\displaystyle R.}
 
 The dual notation of 
 
 
 
 (
 Y
 ,
 σ
 (
 Y
 ,
 R
 ,
 b
 )
 )
 ,
 
 
 {\displaystyle (Y,\sigma (Y,R,b)),}
 
 
 
 
 
 (
 Y
 ,
 σ
 (
 Y
 ,
 R
 )
 )
 ,
 
 
 {\displaystyle (Y,\sigma (Y,R)),}
 
 or simply 
 
 
 
 (
 Y
 ,
 σ
 )
 
 
 {\displaystyle (Y,\sigma )}
 
 may also be used to denote 
 
 
 
 Y
 
 
 {\displaystyle Y}
 
 endowed with the weak topology 
 
 
 
 σ
 (
 Y
 ,
 R
 ,
 b
 )
 .
 
 
 {\displaystyle \sigma (Y,R,b).}
 
 If 
 
 
 
 R
 
 
 {\displaystyle R}
 
 is not clear from context then it should be assumed to be all of 
 
 
 
 X
 ,
 
 
 {\displaystyle X,}
 
 in which case it is simply called the weak topology on 
 
 
 
 Y
 
 
 {\displaystyle Y}
 
 (induced by 
 
 
 
 X
 
 
 {\displaystyle X}
 
). <a href="#fnref:16" class="footnote-back-ref">↩</a></li>
<li id="fn:17">Narici & Beckenstein 2011, pp. 225–273. - Narici, Lawrence; Beckenstein, Edward (2011). Topological Vector Spaces. Pure and applied mathematics (Second ed.). Boca Raton, FL: CRC Press. ISBN 978-1584888666. OCLC 144216834. <a href="https://search.worldcat.org/oclc/144216834" target="_blank">https://search.worldcat.org/oclc/144216834</a> <a href="#fnref:17" class="footnote-back-ref">↩</a></li>
<li id="fn:18">Narici & Beckenstein 2011, pp. 225–273. - Narici, Lawrence; Beckenstein, Edward (2011). Topological Vector Spaces. Pure and applied mathematics (Second ed.). Boca Raton, FL: CRC Press. ISBN 978-1584888666. OCLC 144216834. <a href="https://search.worldcat.org/oclc/144216834" target="_blank">https://search.worldcat.org/oclc/144216834</a> <a href="#fnref:18" class="footnote-back-ref">↩</a></li>
<li id="fn:19">Narici & Beckenstein 2011, pp. 225–273. - Narici, Lawrence; Beckenstein, Edward (2011). Topological Vector Spaces. Pure and applied mathematics (Second ed.). Boca Raton, FL: CRC Press. ISBN 978-1584888666. OCLC 144216834. <a href="https://search.worldcat.org/oclc/144216834" target="_blank">https://search.worldcat.org/oclc/144216834</a> <a href="#fnref:19" class="footnote-back-ref">↩</a></li>
<li id="fn:20">Narici & Beckenstein 2011, pp. 225–273. - Narici, Lawrence; Beckenstein, Edward (2011). Topological Vector Spaces. Pure and applied mathematics (Second ed.). Boca Raton, FL: CRC Press. ISBN 978-1584888666. OCLC 144216834. <a href="https://search.worldcat.org/oclc/144216834" target="_blank">https://search.worldcat.org/oclc/144216834</a> <a href="#fnref:20" class="footnote-back-ref">↩</a></li>
<li id="fn:21">Narici & Beckenstein 2011, pp. 225–273. - Narici, Lawrence; Beckenstein, Edward (2011). Topological Vector Spaces. Pure and applied mathematics (Second ed.). Boca Raton, FL: CRC Press. ISBN 978-1584888666. OCLC 144216834. <a href="https://search.worldcat.org/oclc/144216834" target="_blank">https://search.worldcat.org/oclc/144216834</a> <a href="#fnref:21" class="footnote-back-ref">↩</a></li>
<li id="fn:22">Narici & Beckenstein 2011, pp. 225–273. - Narici, Lawrence; Beckenstein, Edward (2011). Topological Vector Spaces. Pure and applied mathematics (Second ed.). Boca Raton, FL: CRC Press. ISBN 978-1584888666. OCLC 144216834. <a href="https://search.worldcat.org/oclc/144216834" target="_blank">https://search.worldcat.org/oclc/144216834</a> <a href="#fnref:22" class="footnote-back-ref">↩</a></li>
<li id="fn:23">Narici & Beckenstein 2011, pp. 225–273. - Narici, Lawrence; Beckenstein, Edward (2011). Topological Vector Spaces. Pure and applied mathematics (Second ed.). Boca Raton, FL: CRC Press. ISBN 978-1584888666. OCLC 144216834. <a href="https://search.worldcat.org/oclc/144216834" target="_blank">https://search.worldcat.org/oclc/144216834</a> <a href="#fnref:23" class="footnote-back-ref">↩</a></li>
<li id="fn:24">Narici & Beckenstein 2011, pp. 225–273. - Narici, Lawrence; Beckenstein, Edward (2011). Topological Vector Spaces. Pure and applied mathematics (Second ed.). Boca Raton, FL: CRC Press. ISBN 978-1584888666. OCLC 144216834. <a href="https://search.worldcat.org/oclc/144216834" target="_blank">https://search.worldcat.org/oclc/144216834</a> <a href="#fnref:24" class="footnote-back-ref">↩</a></li>
<li id="fn:25">Narici & Beckenstein 2011, pp. 225–273. - Narici, Lawrence; Beckenstein, Edward (2011). Topological Vector Spaces. Pure and applied mathematics (Second ed.). Boca Raton, FL: CRC Press. ISBN 978-1584888666. OCLC 144216834. <a href="https://search.worldcat.org/oclc/144216834" target="_blank">https://search.worldcat.org/oclc/144216834</a> <a href="#fnref:25" class="footnote-back-ref">↩</a></li>
<li id="fn:26">Narici & Beckenstein 2011, pp. 225–273. - Narici, Lawrence; Beckenstein, Edward (2011). Topological Vector Spaces. Pure and applied mathematics (Second ed.). Boca Raton, FL: CRC Press. ISBN 978-1584888666. OCLC 144216834. <a href="https://search.worldcat.org/oclc/144216834" target="_blank">https://search.worldcat.org/oclc/144216834</a> <a href="#fnref:26" class="footnote-back-ref">↩</a></li>
<li id="fn:27">Narici & Beckenstein 2011, pp. 225–273. - Narici, Lawrence; Beckenstein, Edward (2011). Topological Vector Spaces. Pure and applied mathematics (Second ed.). Boca Raton, FL: CRC Press. ISBN 978-1584888666. OCLC 144216834. <a href="https://search.worldcat.org/oclc/144216834" target="_blank">https://search.worldcat.org/oclc/144216834</a> <a href="#fnref:27" class="footnote-back-ref">↩</a></li>
<li id="fn:28">Narici & Beckenstein 2011, pp. 225–273. - Narici, Lawrence; Beckenstein, Edward (2011). Topological Vector Spaces. Pure and applied mathematics (Second ed.). Boca Raton, FL: CRC Press. ISBN 978-1584888666. OCLC 144216834. <a href="https://search.worldcat.org/oclc/144216834" target="_blank">https://search.worldcat.org/oclc/144216834</a> <a href="#fnref:28" class="footnote-back-ref">↩</a></li>
<li id="fn:29">Narici & Beckenstein 2011, pp. 260–264. - Narici, Lawrence; Beckenstein, Edward (2011). Topological Vector Spaces. Pure and applied mathematics (Second ed.). Boca Raton, FL: CRC Press. ISBN 978-1584888666. OCLC 144216834. <a href="https://search.worldcat.org/oclc/144216834" target="_blank">https://search.worldcat.org/oclc/144216834</a> <a href="#fnref:29" class="footnote-back-ref">↩</a></li>
<li id="fn:30">Narici & Beckenstein 2011, pp. 260–264. - Narici, Lawrence; Beckenstein, Edward (2011). Topological Vector Spaces. Pure and applied mathematics (Second ed.). Boca Raton, FL: CRC Press. ISBN 978-1584888666. OCLC 144216834. <a href="https://search.worldcat.org/oclc/144216834" target="_blank">https://search.worldcat.org/oclc/144216834</a> <a href="#fnref:30" class="footnote-back-ref">↩</a></li>
<li id="fn:31">Narici & Beckenstein 2011, pp. 260–264. - Narici, Lawrence; Beckenstein, Edward (2011). Topological Vector Spaces. Pure and applied mathematics (Second ed.). Boca Raton, FL: CRC Press. ISBN 978-1584888666. OCLC 144216834. <a href="https://search.worldcat.org/oclc/144216834" target="_blank">https://search.worldcat.org/oclc/144216834</a> <a href="#fnref:31" class="footnote-back-ref">↩</a></li>
<li id="fn:32">Narici & Beckenstein 2011, pp. 225–273. - Narici, Lawrence; Beckenstein, Edward (2011). Topological Vector Spaces. Pure and applied mathematics (Second ed.). Boca Raton, FL: CRC Press. ISBN 978-1584888666. OCLC 144216834. <a href="https://search.worldcat.org/oclc/144216834" target="_blank">https://search.worldcat.org/oclc/144216834</a> <a href="#fnref:32" class="footnote-back-ref">↩</a></li>
<li id="fn:33">Narici & Beckenstein 2011, pp. 225–273. - Narici, Lawrence; Beckenstein, Edward (2011). Topological Vector Spaces. Pure and applied mathematics (Second ed.). Boca Raton, FL: CRC Press. ISBN 978-1584888666. OCLC 144216834. <a href="https://search.worldcat.org/oclc/144216834" target="_blank">https://search.worldcat.org/oclc/144216834</a> <a href="#fnref:33" class="footnote-back-ref">↩</a></li>
<li id="fn:34">Schaefer & Wolff 1999, pp. 123–128. - Schaefer, Helmut H.; Wolff, Manfred P. (1999). Topological Vector Spaces. GTM. Vol. 8 (Second ed.). New York, NY: Springer New York Imprint Springer. ISBN 978-1-4612-7155-0. OCLC 840278135. <a href="https://search.worldcat.org/oclc/840278135" target="_blank">https://search.worldcat.org/oclc/840278135</a> <a href="#fnref:34" class="footnote-back-ref">↩</a></li>
<li id="fn:35">Narici & Beckenstein 2011, pp. 251–253. - Narici, Lawrence; Beckenstein, Edward (2011). Topological Vector Spaces. Pure and applied mathematics (Second ed.). Boca Raton, FL: CRC Press. ISBN 978-1584888666. OCLC 144216834. <a href="https://search.worldcat.org/oclc/144216834" target="_blank">https://search.worldcat.org/oclc/144216834</a> <a href="#fnref:35" class="footnote-back-ref">↩</a></li>
<li id="fn:36">If 
 
 
 
 G
 :
 Z
 →
 Y
 
 
 {\displaystyle G:Z\to Y}
 
 is a linear map then 
 
 
 
 G
 
 
 {\displaystyle G}
 
's transpose,

t
          
        
        G
        :
        X
        →
        W
        ,
      
    
    {\displaystyle {}^{t}G:X\to W,}
  
 is well-defined if and only if 
  
    
      
        Z
      
    
    {\displaystyle Z}
  
 distinguishes points of 
  
    
      
        W
      
    
    {\displaystyle W}
  
 and 
  
    
      
        b
        (
        X
        ,
        G
        (
        
        ⋅
        
        )
        )
        ⊆
        c
        (
        W
        ,
        
        ⋅
        
        )
        .
      
    
    {\displaystyle b(X,G(\,\cdot \,))\subseteq c(W,\,\cdot \,).}
  
 In this case, for each 
  
    
      
        x
        ∈
        X
        ,
      
    
    {\displaystyle x\in X,}
  
 the defining condition for

t
          
        
        G
        (
        x
        )
      
    
    {\displaystyle {}^{t}G(x)}
  
 is: 
  
    
      
        c
        (
        x
        ,
        G
        (
        
        ⋅
        
        )
        )
        =
        c
        
          (

t
 
 
 G
 (
 x
 )
 ,
 
 ⋅
 
 
 )
 
 .
 
 
 {\displaystyle c(x,G(\,\cdot \,))=c\left({}^{t}G(x),\,\cdot \,\right).}
 <a href="#fnref:36" class="footnote-back-ref">↩</a></li>
<li id="fn:37">If 
 
 
 
 H
 :
 X
 →
 Z
 
 
 {\displaystyle H:X\to Z}
 
 is a linear map then 
 
 
 
 H
 
 
 {\displaystyle H}
 
's transpose,

t
          
        
        H
        :
        W
        →
        Y
        ,
      
    
    {\displaystyle {}^{t}H:W\to Y,}
  
 is well-defined if and only if 
  
    
      
        X
      
    
    {\displaystyle X}
  
 distinguishes points of 
  
    
      
        Y
      
    
    {\displaystyle Y}
  
 and 
  
    
      
        c
        (
        W
        ,
        H
        (
        
        ⋅
        
        )
        )
        ⊆
        b
        (
        
        ⋅
        
        ,
        Y
        )
        .
      
    
    {\displaystyle c(W,H(\,\cdot \,))\subseteq b(\,\cdot \,,Y).}
  
 In this case, for each 
  
    
      
        w
        ∈
        W
        ,
      
    
    {\displaystyle w\in W,}
  
 the defining condition for

t
          
        
        H
        (
        w
        )
      
    
    {\displaystyle {}^{t}H(w)}
  
 is: 
  
    
      
        c
        (
        w
        ,
        H
        (
        
        ⋅
        
        )
        )
        =
        b
        
          (
          
            
            ⋅
            
            ,

t
 
 
 H
 (
 w
 )
 
 )
 
 .
 
 
 {\displaystyle c(w,H(\,\cdot \,))=b\left(\,\cdot \,,{}^{t}H(w)\right).}
 <a href="#fnref:37" class="footnote-back-ref">↩</a></li>
<li id="fn:38">If 
 
 
 
 H
 :
 W
 →
 Y
 
 
 {\displaystyle H:W\to Y}
 
 is a linear map then 
 
 
 
 H
 
 
 {\displaystyle H}
 
's transpose,

t
          
        
        H
        :
        X
        →
        Q
        ,
      
    
    {\displaystyle {}^{t}H:X\to Q,}
  
 is well-defined if and only if 
  
    
      
        W
      
    
    {\displaystyle W}
  
 distinguishes points of 
  
    
      
        Z
      
    
    {\displaystyle Z}
  
 and 
  
    
      
        b
        (
        X
        ,
        H
        (
        
        ⋅
        
        )
        )
        ⊆
        c
        (
        
        ⋅
        
        ,
        Z
        )
        .
      
    
    {\displaystyle b(X,H(\,\cdot \,))\subseteq c(\,\cdot \,,Z).}
  
 In this case, for each 
  
    
      
        x
        ∈
        X
        ,
      
    
    {\displaystyle x\in X,}
  
 the defining condition for

t
          
        
        H
        (
        x
        )
      
    
    {\displaystyle {}^{t}H(x)}
  
 is: 
  
    
      
        c
        (
        x
        ,
        H
        (
        
        ⋅
        
        )
        )
        =
        b
        
          (
          
            
            ⋅
            
            ,

t
 
 
 H
 (
 x
 )
 
 )
 
 .
 
 
 {\displaystyle c(x,H(\,\cdot \,))=b\left(\,\cdot \,,{}^{t}H(x)\right).}
 <a href="#fnref:38" class="footnote-back-ref">↩</a></li>
<li id="fn:39">If 
 
 
 
 H
 :
 Y
 →
 W
 
 
 {\displaystyle H:Y\to W}
 
 is a linear map then 
 
 
 
 H
 
 
 {\displaystyle H}
 
's transpose,

t
          
        
        H
        :
        Z
        →
        X
        ,
      
    
    {\displaystyle {}^{t}H:Z\to X,}
  
 is well-defined if and only if 
  
    
      
        Y
      
    
    {\displaystyle Y}
  
 distinguishes points of 
  
    
      
        X
      
    
    {\displaystyle X}
  
 and 
  
    
      
        c
        (
        H
        (
        
        ⋅
        
        )
        ,
        Z
        )
        ⊆
        b
        (
        X
        ,
        
        ⋅
        
        )
        .
      
    
    {\displaystyle c(H(\,\cdot \,),Z)\subseteq b(X,\,\cdot \,).}
  
 In this case, for each 
  
    
      
        z
        ∈
        Z
        ,
      
    
    {\displaystyle z\in Z,}
  
 the defining condition for

t
          
        
        H
        (
        z
        )
      
    
    {\displaystyle {}^{t}H(z)}
  
 is: 
  
    
      
        c
        (
        H
        (
        
        ⋅
        
        )
        ,
        z
        )
        =
        b
        
          (

t
 
 
 H
 (
 z
 )
 ,
 
 ⋅
 
 
 )
 
 
 
 {\displaystyle c(H(\,\cdot \,),z)=b\left({}^{t}H(z),\,\cdot \,\right)}
 <a href="#fnref:39" class="footnote-back-ref">↩</a></li>
<li id="fn:40">Narici & Beckenstein 2011, pp. 225–273. - Narici, Lawrence; Beckenstein, Edward (2011). Topological Vector Spaces. Pure and applied mathematics (Second ed.). Boca Raton, FL: CRC Press. ISBN 978-1584888666. OCLC 144216834. <a href="https://search.worldcat.org/oclc/144216834" target="_blank">https://search.worldcat.org/oclc/144216834</a> <a href="#fnref:40" class="footnote-back-ref">↩</a></li>
<li id="fn:41">Narici & Beckenstein 2011, pp. 225–273. - Narici, Lawrence; Beckenstein, Edward (2011). Topological Vector Spaces. Pure and applied mathematics (Second ed.). Boca Raton, FL: CRC Press. ISBN 978-1584888666. OCLC 144216834. <a href="https://search.worldcat.org/oclc/144216834" target="_blank">https://search.worldcat.org/oclc/144216834</a> <a href="#fnref:41" class="footnote-back-ref">↩</a></li>
<li id="fn:42">Narici & Beckenstein 2011, pp. 225–273. - Narici, Lawrence; Beckenstein, Edward (2011). Topological Vector Spaces. Pure and applied mathematics (Second ed.). Boca Raton, FL: CRC Press. ISBN 978-1584888666. OCLC 144216834. <a href="https://search.worldcat.org/oclc/144216834" target="_blank">https://search.worldcat.org/oclc/144216834</a> <a href="#fnref:42" class="footnote-back-ref">↩</a></li>
<li id="fn:43">Narici & Beckenstein 2011, pp. 225–273. - Narici, Lawrence; Beckenstein, Edward (2011). Topological Vector Spaces. Pure and applied mathematics (Second ed.). Boca Raton, FL: CRC Press. ISBN 978-1584888666. OCLC 144216834. <a href="https://search.worldcat.org/oclc/144216834" target="_blank">https://search.worldcat.org/oclc/144216834</a> <a href="#fnref:43" class="footnote-back-ref">↩</a></li>
<li id="fn:44">Narici & Beckenstein 2011, pp. 225–273. - Narici, Lawrence; Beckenstein, Edward (2011). Topological Vector Spaces. Pure and applied mathematics (Second ed.). Boca Raton, FL: CRC Press. ISBN 978-1584888666. OCLC 144216834. <a href="https://search.worldcat.org/oclc/144216834" target="_blank">https://search.worldcat.org/oclc/144216834</a> <a href="#fnref:44" class="footnote-back-ref">↩</a></li>
<li id="fn:45">Narici & Beckenstein 2011, pp. 225–273. - Narici, Lawrence; Beckenstein, Edward (2011). Topological Vector Spaces. Pure and applied mathematics (Second ed.). Boca Raton, FL: CRC Press. ISBN 978-1584888666. OCLC 144216834. <a href="https://search.worldcat.org/oclc/144216834" target="_blank">https://search.worldcat.org/oclc/144216834</a> <a href="#fnref:45" class="footnote-back-ref">↩</a></li>
<li id="fn:46">Narici & Beckenstein 2011, pp. 225–273. - Narici, Lawrence; Beckenstein, Edward (2011). Topological Vector Spaces. Pure and applied mathematics (Second ed.). Boca Raton, FL: CRC Press. ISBN 978-1584888666. OCLC 144216834. <a href="https://search.worldcat.org/oclc/144216834" target="_blank">https://search.worldcat.org/oclc/144216834</a> <a href="#fnref:46" class="footnote-back-ref">↩</a></li>
<li id="fn:47">Narici & Beckenstein 2011, pp. 225–273. - Narici, Lawrence; Beckenstein, Edward (2011). Topological Vector Spaces. Pure and applied mathematics (Second ed.). Boca Raton, FL: CRC Press. ISBN 978-1584888666. OCLC 144216834. <a href="https://search.worldcat.org/oclc/144216834" target="_blank">https://search.worldcat.org/oclc/144216834</a> <a href="#fnref:47" class="footnote-back-ref">↩</a></li>
<li id="fn:48">Schaefer & Wolff 1999, pp. 122–128. - Schaefer, Helmut H.; Wolff, Manfred P. (1999). Topological Vector Spaces. GTM. Vol. 8 (Second ed.). New York, NY: Springer New York Imprint Springer. ISBN 978-1-4612-7155-0. OCLC 840278135. <a href="https://search.worldcat.org/oclc/840278135" target="_blank">https://search.worldcat.org/oclc/840278135</a> <a href="#fnref:48" class="footnote-back-ref">↩</a></li>
<li id="fn:49">Narici & Beckenstein 2011, pp. 225–273. - Narici, Lawrence; Beckenstein, Edward (2011). Topological Vector Spaces. Pure and applied mathematics (Second ed.). Boca Raton, FL: CRC Press. ISBN 978-1584888666. OCLC 144216834. <a href="https://search.worldcat.org/oclc/144216834" target="_blank">https://search.worldcat.org/oclc/144216834</a> <a href="#fnref:49" class="footnote-back-ref">↩</a></li>
<li id="fn:50">Schaefer & Wolff 1999, pp. 128–130. - Schaefer, Helmut H.; Wolff, Manfred P. (1999). Topological Vector Spaces. GTM. Vol. 8 (Second ed.). New York, NY: Springer New York Imprint Springer. ISBN 978-1-4612-7155-0. OCLC 840278135. <a href="https://search.worldcat.org/oclc/840278135" target="_blank">https://search.worldcat.org/oclc/840278135</a> <a href="#fnref:50" class="footnote-back-ref">↩</a></li>
<li id="fn:51">Narici & Beckenstein 2011, pp. 225–273. - Narici, Lawrence; Beckenstein, Edward (2011). Topological Vector Spaces. Pure and applied mathematics (Second ed.). Boca Raton, FL: CRC Press. ISBN 978-1584888666. OCLC 144216834. <a href="https://search.worldcat.org/oclc/144216834" target="_blank">https://search.worldcat.org/oclc/144216834</a> <a href="#fnref:51" class="footnote-back-ref">↩</a></li>
<li id="fn:52">Schaefer & Wolff 1999, pp. 128–130. - Schaefer, Helmut H.; Wolff, Manfred P. (1999). Topological Vector Spaces. GTM. Vol. 8 (Second ed.). New York, NY: Springer New York Imprint Springer. ISBN 978-1-4612-7155-0. OCLC 840278135. <a href="https://search.worldcat.org/oclc/840278135" target="_blank">https://search.worldcat.org/oclc/840278135</a> <a href="#fnref:52" class="footnote-back-ref">↩</a></li>
<li id="fn:53">Narici & Beckenstein 2011, pp. 225–273. - Narici, Lawrence; Beckenstein, Edward (2011). Topological Vector Spaces. Pure and applied mathematics (Second ed.). Boca Raton, FL: CRC Press. ISBN 978-1584888666. OCLC 144216834. <a href="https://search.worldcat.org/oclc/144216834" target="_blank">https://search.worldcat.org/oclc/144216834</a> <a href="#fnref:53" class="footnote-back-ref">↩</a></li>
<li id="fn:54">Narici & Beckenstein 2011, pp. 225–273. - Narici, Lawrence; Beckenstein, Edward (2011). Topological Vector Spaces. Pure and applied mathematics (Second ed.). Boca Raton, FL: CRC Press. ISBN 978-1584888666. OCLC 144216834. <a href="https://search.worldcat.org/oclc/144216834" target="_blank">https://search.worldcat.org/oclc/144216834</a> <a href="#fnref:54" class="footnote-back-ref">↩</a></li>
<li id="fn:55">Narici & Beckenstein 2011, pp. 225–273. - Narici, Lawrence; Beckenstein, Edward (2011). Topological Vector Spaces. Pure and applied mathematics (Second ed.). Boca Raton, FL: CRC Press. ISBN 978-1584888666. OCLC 144216834. <a href="https://search.worldcat.org/oclc/144216834" target="_blank">https://search.worldcat.org/oclc/144216834</a> <a href="#fnref:55" class="footnote-back-ref">↩</a></li>
<li id="fn:56">Narici & Beckenstein 2011, pp. 225–273. - Narici, Lawrence; Beckenstein, Edward (2011). Topological Vector Spaces. Pure and applied mathematics (Second ed.). Boca Raton, FL: CRC Press. ISBN 978-1584888666. OCLC 144216834. <a href="https://search.worldcat.org/oclc/144216834" target="_blank">https://search.worldcat.org/oclc/144216834</a> <a href="#fnref:56" class="footnote-back-ref">↩</a></li>
<li id="fn:57">Narici & Beckenstein 2011, pp. 225–273. - Narici, Lawrence; Beckenstein, Edward (2011). Topological Vector Spaces. Pure and applied mathematics (Second ed.). Boca Raton, FL: CRC Press. ISBN 978-1584888666. OCLC 144216834. <a href="https://search.worldcat.org/oclc/144216834" target="_blank">https://search.worldcat.org/oclc/144216834</a> <a href="#fnref:57" class="footnote-back-ref">↩</a></li>
<li id="fn:58">Narici & Beckenstein 2011, pp. 225–273. - Narici, Lawrence; Beckenstein, Edward (2011). Topological Vector Spaces. Pure and applied mathematics (Second ed.). Boca Raton, FL: CRC Press. ISBN 978-1584888666. OCLC 144216834. <a href="https://search.worldcat.org/oclc/144216834" target="_blank">https://search.worldcat.org/oclc/144216834</a> <a href="#fnref:58" class="footnote-back-ref">↩</a></li>
<li id="fn:59">Narici & Beckenstein 2011, pp. 225–273. - Narici, Lawrence; Beckenstein, Edward (2011). Topological Vector Spaces. Pure and applied mathematics (Second ed.). Boca Raton, FL: CRC Press. ISBN 978-1584888666. OCLC 144216834. <a href="https://search.worldcat.org/oclc/144216834" target="_blank">https://search.worldcat.org/oclc/144216834</a> <a href="#fnref:59" class="footnote-back-ref">↩</a></li>
<li id="fn:60">Narici & Beckenstein 2011, pp. 225–273. - Narici, Lawrence; Beckenstein, Edward (2011). Topological Vector Spaces. Pure and applied mathematics (Second ed.). Boca Raton, FL: CRC Press. ISBN 978-1584888666. OCLC 144216834. <a href="https://search.worldcat.org/oclc/144216834" target="_blank">https://search.worldcat.org/oclc/144216834</a> <a href="#fnref:60" class="footnote-back-ref">↩</a></li>
<li id="fn:61">Narici & Beckenstein 2011, pp. 225–273. - Narici, Lawrence; Beckenstein, Edward (2011). Topological Vector Spaces. Pure and applied mathematics (Second ed.). Boca Raton, FL: CRC Press. ISBN 978-1584888666. OCLC 144216834. <a href="https://search.worldcat.org/oclc/144216834" target="_blank">https://search.worldcat.org/oclc/144216834</a> <a href="#fnref:61" class="footnote-back-ref">↩</a></li>
<li id="fn:62">Of course, there is an analogous definition for topologies on 
 
 
 
 Y
 
 
 {\displaystyle Y}
 
 to be "compatible it a pairing" but this article will only deal with topologies on 
 
 
 
 X
 .
 
 
 {\displaystyle X.}
 <a href="#fnref:62" class="footnote-back-ref">↩</a></li>
<li id="fn:63">Narici & Beckenstein 2011, pp. 225–273. - Narici, Lawrence; Beckenstein, Edward (2011). Topological Vector Spaces. Pure and applied mathematics (Second ed.). Boca Raton, FL: CRC Press. ISBN 978-1584888666. OCLC 144216834. <a href="https://search.worldcat.org/oclc/144216834" target="_blank">https://search.worldcat.org/oclc/144216834</a> <a href="#fnref:63" class="footnote-back-ref">↩</a></li>
<li id="fn:64">Schaefer & Wolff 1999, pp. 122–128. - Schaefer, Helmut H.; Wolff, Manfred P. (1999). Topological Vector Spaces. GTM. Vol. 8 (Second ed.). New York, NY: Springer New York Imprint Springer. ISBN 978-1-4612-7155-0. OCLC 840278135. <a href="https://search.worldcat.org/oclc/840278135" target="_blank">https://search.worldcat.org/oclc/840278135</a> <a href="#fnref:64" class="footnote-back-ref">↩</a></li>
<li id="fn:65">Trèves 2006, pp. 368–377. - Trèves, François (2006) [1967]. Topological Vector Spaces, Distributions and Kernels. Mineola, N.Y.: Dover Publications. ISBN 978-0-486-45352-1. OCLC 853623322. <a href="https://search.worldcat.org/oclc/853623322" target="_blank">https://search.worldcat.org/oclc/853623322</a> <a href="#fnref:65" class="footnote-back-ref">↩</a></li>
<li id="fn:66">Narici & Beckenstein 2011, pp. 225–273. - Narici, Lawrence; Beckenstein, Edward (2011). Topological Vector Spaces. Pure and applied mathematics (Second ed.). Boca Raton, FL: CRC Press. ISBN 978-1584888666. OCLC 144216834. <a href="https://search.worldcat.org/oclc/144216834" target="_blank">https://search.worldcat.org/oclc/144216834</a> <a href="#fnref:66" class="footnote-back-ref">↩</a></li>
<li id="fn:67">Narici & Beckenstein 2011, pp. 225–273. - Narici, Lawrence; Beckenstein, Edward (2011). Topological Vector Spaces. Pure and applied mathematics (Second ed.). Boca Raton, FL: CRC Press. ISBN 978-1584888666. OCLC 144216834. <a href="https://search.worldcat.org/oclc/144216834" target="_blank">https://search.worldcat.org/oclc/144216834</a> <a href="#fnref:67" class="footnote-back-ref">↩</a></li>
<li id="fn:68">Recall that a collection of subsets of a set 
 
 
 
 S
 
 
 {\displaystyle S}
 
 is said to cover 
 
 
 
 S
 
 
 {\displaystyle S}
 
 if every point of 
 
 
 
 S
 
 
 {\displaystyle S}
 
 is contained in some set belonging to the collection. <a href="#fnref:68" class="footnote-back-ref">↩</a></li>
<li id="fn:69">Narici & Beckenstein 2011, pp. 225–273. - Narici, Lawrence; Beckenstein, Edward (2011). Topological Vector Spaces. Pure and applied mathematics (Second ed.). Boca Raton, FL: CRC Press. ISBN 978-1584888666. OCLC 144216834. <a href="https://search.worldcat.org/oclc/144216834" target="_blank">https://search.worldcat.org/oclc/144216834</a> <a href="#fnref:69" class="footnote-back-ref">↩</a></li>
<li id="fn:70">Narici & Beckenstein 2011, p. 200. - Narici, Lawrence; Beckenstein, Edward (2011). Topological Vector Spaces. Pure and applied mathematics (Second ed.). Boca Raton, FL: CRC Press. ISBN 978-1584888666. OCLC 144216834. <a href="https://search.worldcat.org/oclc/144216834" target="_blank">https://search.worldcat.org/oclc/144216834</a> <a href="#fnref:70" class="footnote-back-ref">↩</a></li>
<li id="fn:71">Narici & Beckenstein 2011, pp. 225–273. - Narici, Lawrence; Beckenstein, Edward (2011). Topological Vector Spaces. Pure and applied mathematics (Second ed.). Boca Raton, FL: CRC Press. ISBN 978-1584888666. OCLC 144216834. <a href="https://search.worldcat.org/oclc/144216834" target="_blank">https://search.worldcat.org/oclc/144216834</a> <a href="#fnref:71" class="footnote-back-ref">↩</a></li>
<li id="fn:72">Narici & Beckenstein 2011, pp. 225–273. - Narici, Lawrence; Beckenstein, Edward (2011). Topological Vector Spaces. Pure and applied mathematics (Second ed.). Boca Raton, FL: CRC Press. ISBN 978-1584888666. OCLC 144216834. <a href="https://search.worldcat.org/oclc/144216834" target="_blank">https://search.worldcat.org/oclc/144216834</a> <a href="#fnref:72" class="footnote-back-ref">↩</a></li>
<li id="fn:73">Narici & Beckenstein 2011, pp. 225–273. - Narici, Lawrence; Beckenstein, Edward (2011). Topological Vector Spaces. Pure and applied mathematics (Second ed.). Boca Raton, FL: CRC Press. ISBN 978-1584888666. OCLC 144216834. <a href="https://search.worldcat.org/oclc/144216834" target="_blank">https://search.worldcat.org/oclc/144216834</a> <a href="#fnref:73" class="footnote-back-ref">↩</a></li>
<li id="fn:74">Narici & Beckenstein 2011, pp. 225–273. - Narici, Lawrence; Beckenstein, Edward (2011). Topological Vector Spaces. Pure and applied mathematics (Second ed.). Boca Raton, FL: CRC Press. ISBN 978-1584888666. OCLC 144216834. <a href="https://search.worldcat.org/oclc/144216834" target="_blank">https://search.worldcat.org/oclc/144216834</a> <a href="#fnref:74" class="footnote-back-ref">↩</a></li>
<li id="fn:75">Trèves 2006, pp. 371–372. - Trèves, François (2006) [1967]. Topological Vector Spaces, Distributions and Kernels. Mineola, N.Y.: Dover Publications. ISBN 978-0-486-45352-1. OCLC 853623322. <a href="https://search.worldcat.org/oclc/853623322" target="_blank">https://search.worldcat.org/oclc/853623322</a> <a href="#fnref:75" class="footnote-back-ref">↩</a></li>
<li id="fn:76">Trèves 2006, pp. 371–372. - Trèves, François (2006) [1967]. Topological Vector Spaces, Distributions and Kernels. Mineola, N.Y.: Dover Publications. ISBN 978-0-486-45352-1. OCLC 853623322. <a href="https://search.worldcat.org/oclc/853623322" target="_blank">https://search.worldcat.org/oclc/853623322</a> <a href="#fnref:76" class="footnote-back-ref">↩</a></li>
<li id="fn:77">Narici & Beckenstein 2011, pp. 225–273. - Narici, Lawrence; Beckenstein, Edward (2011). Topological Vector Spaces. Pure and applied mathematics (Second ed.). Boca Raton, FL: CRC Press. ISBN 978-1584888666. OCLC 144216834. <a href="https://search.worldcat.org/oclc/144216834" target="_blank">https://search.worldcat.org/oclc/144216834</a> <a href="#fnref:77" class="footnote-back-ref">↩</a></li>
<li id="fn:78">Narici & Beckenstein 2011, pp. 225–273. - Narici, Lawrence; Beckenstein, Edward (2011). Topological Vector Spaces. Pure and applied mathematics (Second ed.). Boca Raton, FL: CRC Press. ISBN 978-1584888666. OCLC 144216834. <a href="https://search.worldcat.org/oclc/144216834" target="_blank">https://search.worldcat.org/oclc/144216834</a> <a href="#fnref:78" class="footnote-back-ref">↩</a></li>
<li id="fn:79">Narici & Beckenstein 2011, pp. 225–273. - Narici, Lawrence; Beckenstein, Edward (2011). Topological Vector Spaces. Pure and applied mathematics (Second ed.). Boca Raton, FL: CRC Press. ISBN 978-1584888666. OCLC 144216834. <a href="https://search.worldcat.org/oclc/144216834" target="_blank">https://search.worldcat.org/oclc/144216834</a> <a href="#fnref:79" class="footnote-back-ref">↩</a></li>
</ol>

Dual system open-in-new

Dual system