Topologies on spaces of linear maps

In mathematics, particularly functional analysis, spaces of linear maps between two vector spaces can be endowed with a variety of topologies. Studying space of linear maps and these topologies can give insight into the spaces themselves.

The article operator topologies discusses topologies on spaces of linear maps between normed spaces, whereas this article discusses topologies on such spaces in the more general setting of topological vector spaces (TVSs).

Topologies of uniform convergence on arbitrary spaces of maps

Throughout, the following is assumed:

1. ${\displaystyle T}$  is any non-empty set and ${\displaystyle {\mathcal {G}}}$  is a non-empty collection of subsets of ${\displaystyle T}$  directed by subset inclusion (i.e. for any ${\displaystyle G,H\in {\mathcal {G}}}$  there exists some ${\displaystyle K\in {\mathcal {G}}}$  such that ${\displaystyle G\cup H\subseteq K}$ ).
2. ${\displaystyle Y}$  is a topological vector space (not necessarily Hausdorff or locally convex).
3. ${\displaystyle {\mathcal {N}}}$  is a basis of neighborhoods of 0 in ${\displaystyle Y.}$ 
4. ${\displaystyle F}$  is a vector subspace of ${\displaystyle Y^{T}=\prod _{t\in T}Y,}$ ^{[note 1]} which denotes the set of all ${\displaystyle Y}$ -valued functions ${\displaystyle f:T\to Y}$  with domain ${\displaystyle T.}$ 

𝒢-topology

The following sets will constitute the basic open subsets of topologies on spaces of linear maps. For any subsets ${\displaystyle G\subseteq T}$  and ${\displaystyle N\subseteq Y,}$  let

$${\displaystyle {\mathcal {U}}(G,N):=\{f\in F:f(G)\subseteq N\}.}$$

 

The family

$${\displaystyle \{{\mathcal {U}}(G,N):G\in {\mathcal {G}},N\in {\mathcal {N}}\}}$$

 

forms a neighborhood basis^[1] at the origin for a unique translation-invariant topology on ${\displaystyle F,}$  where this topology is not necessarily a vector topology (that is, it might not make ${\displaystyle F}$  into a TVS). This topology does not depend on the neighborhood basis ${\displaystyle {\mathcal {N}}}$  that was chosen and it is known as the topology of uniform convergence on the sets in ${\displaystyle {\mathcal {G}}}$  or as the ${\displaystyle {\mathcal {G}}}$ -topology.^[2] However, this name is frequently changed according to the types of sets that make up ${\displaystyle {\mathcal {G}}}$  (e.g. the "topology of uniform convergence on compact sets" or the "topology of compact convergence", see the footnote for more details^[3]).

A subset ${\displaystyle {\mathcal {G}}_{1}}$  of ${\displaystyle {\mathcal {G}}}$  is said to be fundamental with respect to ${\displaystyle {\mathcal {G}}}$  if each ${\displaystyle G\in {\mathcal {G}}}$  is a subset of some element in ${\displaystyle {\mathcal {G}}_{1}.}$  In this case, the collection ${\displaystyle {\mathcal {G}}}$  can be replaced by ${\displaystyle {\mathcal {G}}_{1}}$  without changing the topology on ${\displaystyle F.}$ ^[2] One may also replace ${\displaystyle {\mathcal {G}}}$  with the collection of all subsets of all finite unions of elements of ${\displaystyle {\mathcal {G}}}$  without changing the resulting ${\displaystyle {\mathcal {G}}}$ -topology on ${\displaystyle F.}$ ^[4]

Call a subset ${\displaystyle B}$  of ${\displaystyle T}$  ${\displaystyle F}$ -bounded if ${\displaystyle f(B)}$  is a bounded subset of ${\displaystyle Y}$  for every ${\displaystyle f\in F.}$ ^[5]

Theorem^[2][5] — The ${\displaystyle {\mathcal {G}}}$ -topology on ${\displaystyle F}$  is compatible with the vector space structure of ${\displaystyle F}$  if and only if every ${\displaystyle G\in {\mathcal {G}}}$  is ${\displaystyle F}$ -bounded; that is, if and only if for every ${\displaystyle G\in {\mathcal {G}}}$  and every ${\displaystyle f\in F,}$  ${\displaystyle f(G)}$  is bounded in ${\displaystyle Y.}$ 

Properties

Properties of the basic open sets will now be described, so assume that ${\displaystyle G\in {\mathcal {G}}}$  and ${\displaystyle N\in {\mathcal {N}}.}$  Then ${\displaystyle {\mathcal {U}}(G,N)}$  is an absorbing subset of ${\displaystyle F}$  if and only if for all ${\displaystyle f\in F,}$  ${\displaystyle N}$  absorbs ${\displaystyle f(G)}$ .^[6] If ${\displaystyle N}$  is balanced^[6] (respectively, convex) then so is ${\displaystyle {\mathcal {U}}(G,N).}$ 

The equality ${\displaystyle {\mathcal {U}}(\varnothing ,N)=F}$  always holds. If ${\displaystyle s}$  is a scalar then ${\displaystyle s{\mathcal {U}}(G,N)={\mathcal {U}}(G,sN),}$  so that in particular, ${\displaystyle -{\mathcal {U}}(G,N)={\mathcal {U}}(G,-N).}$ ^[6] Moreover,^[4]

$${\displaystyle {\mathcal {U}}(G,N)-{\mathcal {U}}(G,N)\subseteq {\mathcal {U}}(G,N-N)}$$

 

and similarly^[5]

$${\displaystyle {\mathcal {U}}(G,M)+{\mathcal {U}}(G,N)\subseteq {\mathcal {U}}(G,M+N).}$$

 

For any subsets ${\displaystyle G,H\subseteq X}$  and any non-empty subsets ${\displaystyle M,N\subseteq Y,}$ ^[5]

$${\displaystyle {\mathcal {U}}(G\cup H,M\cap N)\subseteq {\mathcal {U}}(G,M)\cap {\mathcal {U}}(H,N)}$$

 

which implies:

• if ${\displaystyle M\subseteq N}$  then ${\displaystyle {\mathcal {U}}(G,M)\subseteq {\mathcal {U}}(G,N).}$ ^[6]
• if ${\displaystyle G\subseteq H}$  then ${\displaystyle {\mathcal {U}}(H,N)\subseteq {\mathcal {U}}(G,N).}$ 
• For any ${\displaystyle M,N\in {\mathcal {N}}}$  and subsets ${\displaystyle G,H,K}$  of ${\displaystyle T,}$  if ${\displaystyle G\cup H\subseteq K}$  then ${\displaystyle {\mathcal {U}}(K,M\cap N)\subseteq {\mathcal {U}}(G,M)\cap {\mathcal {U}}(H,N).}$ 

For any family ${\displaystyle {\mathcal {S}}}$  of subsets of ${\displaystyle T}$  and any family ${\displaystyle {\mathcal {M}}}$  of neighborhoods of the origin in ${\displaystyle Y,}$ ^[4]

$${\displaystyle {\mathcal {U}}\left(\bigcup _{S\in {\mathcal {S}}}S,N\right)=\bigcap _{S\in {\mathcal {S}}}{\mathcal {U}}(S,N)\qquad {\text{ and }}\qquad {\mathcal {U}}\left(G,\bigcap _{M\in {\mathcal {M}}}M\right)=\bigcap _{M\in {\mathcal {M}}}{\mathcal {U}}(G,M).}$$

 

Uniform structure

See also: Uniform space

For any ${\displaystyle G\subseteq T}$  and ${\displaystyle U\subseteq Y\times Y}$  be any entourage of ${\displaystyle Y}$  (where ${\displaystyle Y}$  is endowed with its canonical uniformity), let

$${\displaystyle {\mathcal {W}}(G,U)~:=~\left\{(u,v)\in Y^{T}\times Y^{T}~:~(u(g),v(g))\in U\;{\text{ for every }}g\in G\right\}.}$$

 

Given ${\displaystyle G\subseteq T,}$  the family of all sets ${\displaystyle {\mathcal {W}}(G,U)}$  as ${\displaystyle U}$  ranges over any fundamental system of entourages of ${\displaystyle Y}$  forms a fundamental system of entourages for a uniform structure on ${\displaystyle Y^{T}}$  called the uniformity of uniform converges on ${\displaystyle G}$  or simply the ${\displaystyle G}$ -convergence uniform structure.^[7] The ${\displaystyle {\mathcal {G}}}$ -convergence uniform structure is the least upper bound of all ${\displaystyle G}$ -convergence uniform structures as ${\displaystyle G\in {\mathcal {G}}}$  ranges over ${\displaystyle {\mathcal {G}}.}$ ^[7]

Nets and uniform convergence

Let ${\displaystyle f\in F}$  and let ${\displaystyle f_{\bullet }=\left(f_{i}\right)_{i\in I}}$  be a net in ${\displaystyle F.}$  Then for any subset ${\displaystyle G}$  of ${\displaystyle T,}$  say that ${\displaystyle f_{\bullet }}$  converges uniformly to ${\displaystyle f}$  on ${\displaystyle G}$  if for every ${\displaystyle N\in {\mathcal {N}}}$  there exists some ${\displaystyle i_{0}\in I}$  such that for every ${\displaystyle i\in I}$  satisfying ${\displaystyle i\geq i_{0},I}$  ${\displaystyle f_{i}-f\in {\mathcal {U}}(G,N)}$  (or equivalently, ${\displaystyle f_{i}(g)-f(g)\in N}$  for every ${\displaystyle g\in G}$ ).^[5]

Theorem^[5] — If ${\displaystyle f\in F}$  and if ${\displaystyle f_{\bullet }=\left(f_{i}\right)_{i\in I}}$  is a net in ${\displaystyle F,}$  then ${\displaystyle f_{\bullet }\to f}$  in the ${\displaystyle {\mathcal {G}}}$ -topology on ${\displaystyle F}$  if and only if for every ${\displaystyle G\in {\mathcal {G}},}$  ${\displaystyle f_{\bullet }}$  converges uniformly to ${\displaystyle f}$  on ${\displaystyle G.}$ 

Inherited properties

Local convexity

If ${\displaystyle Y}$  is locally convex then so is the ${\displaystyle {\mathcal {G}}}$ -topology on ${\displaystyle F}$  and if ${\displaystyle \left(p_{i}\right)_{i\in I}}$  is a family of continuous seminorms generating this topology on ${\displaystyle Y}$  then the ${\displaystyle {\mathcal {G}}}$ -topology is induced by the following family of seminorms:

$${\displaystyle p_{G,i}(f):=\sup _{x\in G}p_{i}(f(x)),}$$

 

as ${\displaystyle G}$  varies over ${\displaystyle {\mathcal {G}}}$  and ${\displaystyle i}$  varies over ${\displaystyle I}$ .^[8]

Hausdorffness

If ${\displaystyle Y}$  is Hausdorff and ${\displaystyle T=\bigcup _{G\in {\mathcal {G}}}G}$  then the ${\displaystyle {\mathcal {G}}}$ -topology on ${\displaystyle F}$  is Hausdorff.^[5]

Suppose that ${\displaystyle T}$  is a topological space. If ${\displaystyle Y}$  is Hausdorff and ${\displaystyle F}$  is the vector subspace of ${\displaystyle Y^{T}}$  consisting of all continuous maps that are bounded on every ${\displaystyle G\in {\mathcal {G}}}$  and if ${\displaystyle \bigcup _{G\in {\mathcal {G}}}G}$  is dense in ${\displaystyle T}$  then the ${\displaystyle {\mathcal {G}}}$ -topology on ${\displaystyle F}$  is Hausdorff.

Boundedness

A subset ${\displaystyle H}$  of ${\displaystyle F}$  is bounded in the ${\displaystyle {\mathcal {G}}}$ -topology if and only if for every ${\displaystyle G\in {\mathcal {G}},}$  ${\displaystyle H(G)=\bigcup _{h\in H}h(G)}$  is bounded in ${\displaystyle Y.}$ ^[8]

Examples of 𝒢-topologies

Pointwise convergence

If we let ${\displaystyle {\mathcal {G}}}$  be the set of all finite subsets of ${\displaystyle T}$  then the ${\displaystyle {\mathcal {G}}}$ -topology on ${\displaystyle F}$  is called the topology of pointwise convergence. The topology of pointwise convergence on ${\displaystyle F}$  is identical to the subspace topology that ${\displaystyle F}$  inherits from ${\displaystyle Y^{T}}$  when ${\displaystyle Y^{T}}$  is endowed with the usual product topology.

If ${\displaystyle X}$  is a non-trivial completely regular Hausdorff topological space and ${\displaystyle C(X)}$  is the space of all real (or complex) valued continuous functions on ${\displaystyle X,}$  the topology of pointwise convergence on ${\displaystyle C(X)}$  is metrizable if and only if ${\displaystyle X}$  is countable.^[5]

𝒢-topologies on spaces of continuous linear maps

Throughout this section we will assume that ${\displaystyle X}$  and ${\displaystyle Y}$  are topological vector spaces. ${\displaystyle {\mathcal {G}}}$  will be a non-empty collection of subsets of ${\displaystyle X}$  directed by inclusion. ${\displaystyle L(X;Y)}$  will denote the vector space of all continuous linear maps from ${\displaystyle X}$  into ${\displaystyle Y.}$  If ${\displaystyle L(X;Y)}$  is given the ${\displaystyle {\mathcal {G}}}$ -topology inherited from ${\displaystyle Y^{X}}$  then this space with this topology is denoted by ${\displaystyle L_{\mathcal {G}}(X;Y)}$ . The continuous dual space of a topological vector space ${\displaystyle X}$  over the field ${\displaystyle \mathbb {F} }$  (which we will assume to be real or complex numbers) is the vector space ${\displaystyle L(X;\mathbb {F} )}$  and is denoted by ${\displaystyle X^{\prime }}$ .

The ${\displaystyle {\mathcal {G}}}$ -topology on ${\displaystyle L(X;Y)}$  is compatible with the vector space structure of ${\displaystyle L(X;Y)}$  if and only if for all ${\displaystyle G\in {\mathcal {G}}}$  and all ${\displaystyle f\in L(X;Y)}$  the set ${\displaystyle f(G)}$  is bounded in ${\displaystyle Y,}$  which we will assume to be the case for the rest of the article. Note in particular that this is the case if ${\displaystyle {\mathcal {G}}}$  consists of (von-Neumann) bounded subsets of ${\displaystyle X.}$ 

Assumptions on 𝒢

Assumptions that guarantee a vector topology

• (${\displaystyle {\mathcal {G}}}$  is directed): ${\displaystyle {\mathcal {G}}}$  will be a non-empty collection of subsets of ${\displaystyle X}$  directed by (subset) inclusion. That is, for any ${\displaystyle G,H\in {\mathcal {G}},}$  there exists ${\displaystyle K\in {\mathcal {G}}}$  such that ${\displaystyle G\cup H\subseteq K}$ .

The above assumption guarantees that the collection of sets ${\displaystyle {\mathcal {U}}(G,N)}$  forms a filter base. The next assumption will guarantee that the sets ${\displaystyle {\mathcal {U}}(G,N)}$  are balanced. Every TVS has a neighborhood basis at 0 consisting of balanced sets so this assumption isn't burdensome.

• (${\displaystyle N\in {\mathcal {N}}}$  are balanced): ${\displaystyle {\mathcal {N}}}$  is a neighborhoods basis of the origin in ${\displaystyle Y}$  that consists entirely of balanced sets.

The following assumption is very commonly made because it will guarantee that each set ${\displaystyle {\mathcal {U}}(G,N)}$  is absorbing in ${\displaystyle L(X;Y).}$ 

• (${\displaystyle G\in {\mathcal {G}}}$  are bounded): ${\displaystyle {\mathcal {G}}}$  is assumed to consist entirely of bounded subsets of ${\displaystyle X.}$ 

The next theorem gives ways in which ${\displaystyle {\mathcal {G}}}$  can be modified without changing the resulting ${\displaystyle {\mathcal {G}}}$ -topology on ${\displaystyle Y.}$ 

Theorem^[6] — Let ${\displaystyle {\mathcal {G}}}$  be a non-empty collection of bounded subsets of ${\displaystyle X.}$  Then the ${\displaystyle {\mathcal {G}}}$ -topology on ${\displaystyle L(X;Y)}$  is not altered if ${\displaystyle {\mathcal {G}}}$  is replaced by any of the following collections of (also bounded) subsets of ${\displaystyle X}$ :

1. all subsets of all finite unions of sets in ${\displaystyle {\mathcal {G}}}$ ;
2. all scalar multiples of all sets in ${\displaystyle {\mathcal {G}}}$ ;
3. all finite Minkowski sums of sets in ${\displaystyle {\mathcal {G}}}$ ;
4. the balanced hull of every set in ${\displaystyle {\mathcal {G}}}$ ;
5. the closure of every set in ${\displaystyle {\mathcal {G}}}$ ;

and if ${\displaystyle X}$  and ${\displaystyle Y}$  are locally convex, then we may add to this list:

6. the closed convex balanced hull of every set in ${\displaystyle {\mathcal {G}}.}$ 

Common assumptions

Some authors (e.g. Narici) require that ${\displaystyle {\mathcal {G}}}$  satisfy the following condition, which implies, in particular, that ${\displaystyle {\mathcal {G}}}$  is directed by subset inclusion:

${\displaystyle {\mathcal {G}}}$  is assumed to be closed with respect to the formation of subsets of finite unions of sets in ${\displaystyle {\mathcal {G}}}$  (i.e. every subset of every finite union of sets in ${\displaystyle {\mathcal {G}}}$  belongs to ${\displaystyle {\mathcal {G}}}$ ).

Some authors (e.g. Trèves ^[9]) require that ${\displaystyle {\mathcal {G}}}$  be directed under subset inclusion and that it satisfy the following condition:

If ${\displaystyle G\in {\mathcal {G}}}$  and ${\displaystyle s}$  is a scalar then there exists a ${\displaystyle H\in {\mathcal {G}}}$  such that ${\displaystyle sG\subseteq H.}$ 

If ${\displaystyle {\mathcal {G}}}$  is a bornology on ${\displaystyle X,}$  which is often the case, then these axioms are satisfied. If ${\displaystyle {\mathcal {G}}}$  is a saturated family of bounded subsets of ${\displaystyle X}$  then these axioms are also satisfied.

Properties

Hausdorffness

A subset of a TVS ${\displaystyle X}$  whose linear span is a dense subset of ${\displaystyle X}$  is said to be a total subset of ${\displaystyle X.}$  If ${\displaystyle {\mathcal {G}}}$  is a family of subsets of a TVS ${\displaystyle T}$  then ${\displaystyle {\mathcal {G}}}$  is said to be total in ${\displaystyle T}$  if the linear span of ${\displaystyle \bigcup _{G\in {\mathcal {G}}}G}$  is dense in ${\displaystyle T.}$ ^[10]

If ${\displaystyle F}$  is the vector subspace of ${\displaystyle Y^{T}}$  consisting of all continuous linear maps that are bounded on every ${\displaystyle G\in {\mathcal {G}},}$  then the ${\displaystyle {\mathcal {G}}}$ -topology on ${\displaystyle F}$  is Hausdorff if ${\displaystyle Y}$  is Hausdorff and ${\displaystyle {\mathcal {G}}}$  is total in ${\displaystyle T.}$ ^[6]

Completeness

For the following theorems, suppose that ${\displaystyle X}$  is a topological vector space and ${\displaystyle Y}$  is a locally convex Hausdorff spaces and ${\displaystyle {\mathcal {G}}}$  is a collection of bounded subsets of ${\displaystyle X}$  that covers ${\displaystyle X,}$  is directed by subset inclusion, and satisfies the following condition: if ${\displaystyle G\in {\mathcal {G}}}$  and ${\displaystyle s}$  is a scalar then there exists a ${\displaystyle H\in {\mathcal {G}}}$  such that ${\displaystyle sG\subseteq H.}$ 

• ${\displaystyle L_{\mathcal {G}}(X;Y)}$  is complete if
  1. ${\displaystyle X}$  is locally convex and Hausdorff,
  2. ${\displaystyle Y}$  is complete, and
  3. whenever ${\displaystyle u:X\to Y}$  is a linear map then ${\displaystyle u}$  restricted to every set ${\displaystyle G\in {\mathcal {G}}}$  is continuous implies that ${\displaystyle u}$  is continuous,
• If ${\displaystyle X}$  is a Mackey space then ${\displaystyle L_{\mathcal {G}}(X;Y)}$ is complete if and only if both ${\displaystyle X_{\mathcal {G}}^{\prime }}$  and ${\displaystyle Y}$  are complete.
• If ${\displaystyle X}$  is barrelled then ${\displaystyle L_{\mathcal {G}}(X;Y)}$  is Hausdorff and quasi-complete.
• Let ${\displaystyle X}$  and ${\displaystyle Y}$  be TVSs with ${\displaystyle Y}$  quasi-complete and assume that (1) ${\displaystyle X}$  is barreled, or else (2) ${\displaystyle X}$  is a Baire space and ${\displaystyle X}$  and ${\displaystyle Y}$  are locally convex. If ${\displaystyle {\mathcal {G}}}$  covers ${\displaystyle X}$  then every closed equicontinuous subset of ${\displaystyle L(X;Y)}$  is complete in ${\displaystyle L_{\mathcal {G}}(X;Y)}$  and ${\displaystyle L_{\mathcal {G}}(X;Y)}$  is quasi-complete.^[11]
• Let ${\displaystyle X}$  be a bornological space, ${\displaystyle Y}$  a locally convex space, and ${\displaystyle {\mathcal {G}}}$  a family of bounded subsets of ${\displaystyle X}$  such that the range of every null sequence in ${\displaystyle X}$  is contained in some ${\displaystyle G\in {\mathcal {G}}.}$  If ${\displaystyle Y}$  is quasi-complete (respectively, complete) then so is ${\displaystyle L_{\mathcal {G}}(X;Y)}$ .^[12]

Boundedness

Let ${\displaystyle X}$  and ${\displaystyle Y}$  be topological vector spaces and ${\displaystyle H}$  be a subset of ${\displaystyle L(X;Y).}$  Then the following are equivalent:^[8]

1. ${\displaystyle H}$  is bounded in ${\displaystyle L_{\mathcal {G}}(X;Y)}$ ;
2. For every ${\displaystyle G\in {\mathcal {G}},}$  ${\displaystyle H(G):=\bigcup _{h\in H}h(G)}$  is bounded in ${\displaystyle Y}$ ;^[8]
3. For every neighborhood ${\displaystyle V}$  of the origin in ${\displaystyle Y}$  the set ${\displaystyle \bigcap _{h\in H}h^{-1}(V)}$  absorbs every ${\displaystyle G\in {\mathcal {G}}.}$ 

If ${\displaystyle {\mathcal {G}}}$  is a collection of bounded subsets of ${\displaystyle X}$  whose union is total in ${\displaystyle X}$  then every equicontinuous subset of ${\displaystyle L(X;Y)}$  is bounded in the ${\displaystyle {\mathcal {G}}}$ -topology.^[11] Furthermore, if ${\displaystyle X}$  and ${\displaystyle Y}$  are locally convex Hausdorff spaces then

• if ${\displaystyle H}$  is bounded in ${\displaystyle L_{\sigma }(X;Y)}$  (that is, pointwise bounded or simply bounded) then it is bounded in the topology of uniform convergence on the convex, balanced, bounded, complete subsets of ${\displaystyle X.}$ ^[13]
• if ${\displaystyle X}$  is quasi-complete (meaning that closed and bounded subsets are complete), then the bounded subsets of ${\displaystyle L(X;Y)}$  are identical for all ${\displaystyle {\mathcal {G}}}$ -topologies where ${\displaystyle {\mathcal {G}}}$  is any family of bounded subsets of ${\displaystyle X}$  covering ${\displaystyle X.}$ ^[13]

Examples

${\displaystyle {\mathcal {G}}\subseteq \wp (X)}$  ("topology of uniform convergence on ...")	Notation	Name ("topology of...")	Alternative name
finite subsets of ${\displaystyle X}$	${\displaystyle L_{\sigma }(X;Y)}$	pointwise/simple convergence	topology of simple convergence
precompact subsets of ${\displaystyle X}$		precompact convergence
compact convex subsets of ${\displaystyle X}$	${\displaystyle L_{\gamma }(X;Y)}$	compact convex convergence
compact subsets of ${\displaystyle X}$	${\displaystyle L_{c}(X;Y)}$	compact convergence
bounded subsets of ${\displaystyle X}$	${\displaystyle L_{b}(X;Y)}$	bounded convergence	strong topology

The topology of pointwise convergence

By letting ${\displaystyle {\mathcal {G}}}$  be the set of all finite subsets of ${\displaystyle X,}$  ${\displaystyle L(X;Y)}$  will have the weak topology on ${\displaystyle L(X;Y)}$  or the topology of pointwise convergence or the topology of simple convergence and ${\displaystyle L(X;Y)}$  with this topology is denoted by ${\displaystyle L_{\sigma }(X;Y)}$ . Unfortunately, this topology is also sometimes called the strong operator topology, which may lead to ambiguity;^[6] for this reason, this article will avoid referring to this topology by this name.

A subset of ${\displaystyle L(X;Y)}$  is called simply bounded or weakly bounded if it is bounded in ${\displaystyle L_{\sigma }(X;Y)}$ .

The weak-topology on ${\displaystyle L(X;Y)}$  has the following properties:

• If ${\displaystyle X}$  is separable (that is, it has a countable dense subset) and if ${\displaystyle Y}$  is a metrizable topological vector space then every equicontinuous subset ${\displaystyle H}$  of ${\displaystyle L_{\sigma }(X;Y)}$  is metrizable; if in addition ${\displaystyle Y}$  is separable then so is ${\displaystyle H.}$ ^[14]
  • So in particular, on every equicontinuous subset of ${\displaystyle L(X;Y),}$  the topology of pointwise convergence is metrizable.
• Let ${\displaystyle Y^{X}}$  denote the space of all functions from ${\displaystyle X}$  into ${\displaystyle Y.}$  If ${\displaystyle L(X;Y)}$  is given the topology of pointwise convergence then space of all linear maps (continuous or not) ${\displaystyle X}$  into ${\displaystyle Y}$  is closed in ${\displaystyle Y^{X}}$ .
  • In addition, ${\displaystyle L(X;Y)}$  is dense in the space of all linear maps (continuous or not) ${\displaystyle X}$  into ${\displaystyle Y.}$ 
• Suppose ${\displaystyle X}$  and ${\displaystyle Y}$  are locally convex. Any simply bounded subset of ${\displaystyle L(X;Y)}$  is bounded when ${\displaystyle L(X;Y)}$  has the topology of uniform convergence on convex, balanced, bounded, complete subsets of ${\displaystyle X.}$  If in addition ${\displaystyle X}$  is quasi-complete then the families of bounded subsets of ${\displaystyle L(X;Y)}$  are identical for all ${\displaystyle {\mathcal {G}}}$ -topologies on ${\displaystyle L(X;Y)}$  such that ${\displaystyle {\mathcal {G}}}$  is a family of bounded sets covering ${\displaystyle X.}$ ^[13]

Equicontinuous subsets

• The weak-closure of an equicontinuous subset of ${\displaystyle L(X;Y)}$  is equicontinuous.
• If ${\displaystyle Y}$  is locally convex, then the convex balanced hull of an equicontinuous subset of ${\displaystyle L(X;Y)}$  is equicontinuous.
• Let ${\displaystyle X}$  and ${\displaystyle Y}$  be TVSs and assume that (1) ${\displaystyle X}$  is barreled, or else (2) ${\displaystyle X}$  is a Baire space and ${\displaystyle X}$  and ${\displaystyle Y}$  are locally convex. Then every simply bounded subset of ${\displaystyle L(X;Y)}$  is equicontinuous.^[11]
• On an equicontinuous subset ${\displaystyle H}$  of ${\displaystyle L(X;Y),}$  the following topologies are identical: (1) topology of pointwise convergence on a total subset of ${\displaystyle X}$ ; (2) the topology of pointwise convergence; (3) the topology of precompact convergence.^[11]

Compact convergence

By letting ${\displaystyle {\mathcal {G}}}$  be the set of all compact subsets of ${\displaystyle X,}$  ${\displaystyle L(X;Y)}$  will have the topology of compact convergence or the topology of uniform convergence on compact sets and ${\displaystyle L(X;Y)}$  with this topology is denoted by ${\displaystyle L_{c}(X;Y)}$ .

The topology of compact convergence on ${\displaystyle L(X;Y)}$  has the following properties:

• If ${\displaystyle X}$  is a Fréchet space or a LF-space and if ${\displaystyle Y}$  is a complete locally convex Hausdorff space then ${\displaystyle L_{c}(X;Y)}$  is complete.
• On equicontinuous subsets of ${\displaystyle L(X;Y),}$  the following topologies coincide:
  • The topology of pointwise convergence on a dense subset of ${\displaystyle X,}$ 
  • The topology of pointwise convergence on ${\displaystyle X,}$ 
  • The topology of compact convergence.
  • The topology of precompact convergence.
• If ${\displaystyle X}$  is a Montel space and ${\displaystyle Y}$  is a topological vector space, then ${\displaystyle L_{c}(X;Y)}$  and ${\displaystyle L_{b}(X;Y)}$  have identical topologies.

Topology of bounded convergence

By letting ${\displaystyle {\mathcal {G}}}$  be the set of all bounded subsets of ${\displaystyle X,}$  ${\displaystyle L(X;Y)}$  will have the topology of bounded convergence on ${\displaystyle X}$  or the topology of uniform convergence on bounded sets and ${\displaystyle L(X;Y)}$  with this topology is denoted by ${\displaystyle L_{b}(X;Y)}$ .^[6]

The topology of bounded convergence on ${\displaystyle L(X;Y)}$  has the following properties:

• If ${\displaystyle X}$  is a bornological space and if ${\displaystyle Y}$  is a complete locally convex Hausdorff space then ${\displaystyle L_{b}(X;Y)}$  is complete.
• If ${\displaystyle X}$  and ${\displaystyle Y}$  are both normed spaces then the topology on ${\displaystyle L(X;Y)}$  induced by the usual operator norm is identical to the topology on ${\displaystyle L_{b}(X;Y)}$ .^[6]
  • In particular, if ${\displaystyle X}$  is a normed space then the usual norm topology on the continuous dual space ${\displaystyle X^{\prime }}$  is identical to the topology of bounded convergence on ${\displaystyle X^{\prime }}$ .
• Every equicontinuous subset of ${\displaystyle L(X;Y)}$  is bounded in ${\displaystyle L_{b}(X;Y)}$ .

Polar topologies

Main article: Polar topology

Throughout, we assume that ${\displaystyle X}$  is a TVS.

𝒢-topologies versus polar topologies

If ${\displaystyle X}$  is a TVS whose bounded subsets are exactly the same as its weakly bounded subsets (e.g. if ${\displaystyle X}$  is a Hausdorff locally convex space), then a ${\displaystyle {\mathcal {G}}}$ -topology on ${\displaystyle X^{\prime }}$  (as defined in this article) is a polar topology and conversely, every polar topology if a ${\displaystyle {\mathcal {G}}}$ -topology. Consequently, in this case the results mentioned in this article can be applied to polar topologies.

However, if ${\displaystyle X}$  is a TVS whose bounded subsets are not exactly the same as its weakly bounded subsets, then the notion of "bounded in ${\displaystyle X}$ " is stronger than the notion of "${\displaystyle \sigma \left(X,X^{\prime }\right)}$ -bounded in ${\displaystyle X}$ " (i.e. bounded in ${\displaystyle X}$  implies ${\displaystyle \sigma \left(X,X^{\prime }\right)}$ -bounded in ${\displaystyle X}$ ) so that a ${\displaystyle {\mathcal {G}}}$ -topology on ${\displaystyle X^{\prime }}$  (as defined in this article) is not necessarily a polar topology. One important difference is that polar topologies are always locally convex while ${\displaystyle {\mathcal {G}}}$ -topologies need not be.

Polar topologies have stronger results than the more general topologies of uniform convergence described

February 27, 2024