Namespaces
Variants
Actions

Difference between revisions of "Locally convex topology"

From Encyclopedia of Mathematics
Jump to: navigation, search
(Importing text file)
 
m (fixing spaces)
 
(One intermediate revision by one other user not shown)
Line 1: Line 1:
A (not necessarily Hausdorff) topology <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l060/l060370/l0603701.png" /> on a real or complex [[Topological vector space|topological vector space]] <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l060/l060370/l0603702.png" /> that has a basis consisting of convex sets and is such that the linear operations in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l060/l060370/l0603703.png" /> are continuous with respect to <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l060/l060370/l0603704.png" />. A locally convex topology <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l060/l060370/l0603705.png" /> on a vector space <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l060/l060370/l0603706.png" /> is defined analytically by a family of semi-norms (cf. [[Semi-norm|Semi-norm]]) <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l060/l060370/l0603707.png" /> as the topology with basis of neighbourhoods of zero consisting of the sets of the form <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l060/l060370/l0603708.png" />, where <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l060/l060370/l0603709.png" /> runs through the natural numbers and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l060/l060370/l06037010.png" /> is the family of all finite intersections of the sets of the form <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l060/l060370/l06037011.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l060/l060370/l06037012.png" />; such a family of semi-norms is said to be a generator for <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l060/l060370/l06037013.png" /> or to generate <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l060/l060370/l06037014.png" />. The topology induced by a given locally convex topology on a vector subspace, the quotient topology on a quotient space and the topology of a product of locally convex topologies, are also locally convex topologies. A topology <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l060/l060370/l06037015.png" /> on a topological vector space <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l060/l060370/l06037016.png" /> is a locally convex topology if and only if <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l060/l060370/l06037017.png" /> is the topology of [[Uniform convergence|uniform convergence]] on equicontinuous subsets of the [[Adjoint space|adjoint space]] <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l060/l060370/l06037018.png" />.
+
<!--
 +
l0603701.png
 +
$#A+1 = 45 n = 0
 +
$#C+1 = 45 : ~/encyclopedia/old_files/data/L060/L.0600370 Locally convex topology
 +
Automatically converted into TeX, above some diagnostics.
 +
Please remove this comment and the {{TEX|auto}} line below,
 +
if TeX found to be correct.
 +
-->
  
Let <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l060/l060370/l06037019.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l060/l060370/l06037020.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l060/l060370/l06037021.png" />, be vector spaces over <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l060/l060370/l06037022.png" /> or <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l060/l060370/l06037023.png" />, let <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l060/l060370/l06037024.png" /> (respectively <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l060/l060370/l06037025.png" />) be a linear mapping of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l060/l060370/l06037026.png" /> into <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l060/l060370/l06037027.png" /> (respectively, of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l060/l060370/l06037028.png" /> into <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l060/l060370/l06037029.png" />) and let <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l060/l060370/l06037030.png" /> be a locally convex topology on <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l060/l060370/l06037031.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l060/l060370/l06037032.png" />. The weakest topology on <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l060/l060370/l06037033.png" /> for which all <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l060/l060370/l06037034.png" /> are continuous mappings of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l060/l060370/l06037035.png" /> into <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l060/l060370/l06037036.png" /> is called the projective topology on <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l060/l060370/l06037037.png" /> with respect to the family <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l060/l060370/l06037038.png" />. The projective topology is a locally convex topology. In particular, the least upper bound of a family of locally convex topologies on a given vector space, the induced topology on a subspace and the topology of a product of locally convex topologies are projective topologies (and therefore locally convex topologies). The strongest locally convex topology on <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l060/l060370/l06037039.png" /> with respect to which all <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l060/l060370/l06037040.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l060/l060370/l06037041.png" />, are continuous mappings of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l060/l060370/l06037042.png" /> into <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l060/l060370/l06037043.png" /> is called the inductive topology on <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l060/l060370/l06037044.png" /> with respect to the family <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l060/l060370/l06037045.png" />. In particular, the quotient topology of a given locally convex topology and the topology of a direct sum of locally convex topologies are inductive topologies (and therefore locally convex topologies). The concepts of projective and inductive locally convex topologies make it possible to define the operations of projective and inductive limits in the category of locally convex spaces and their linear mappings.
+
{{TEX|auto}}
 +
{{TEX|done}}
 +
 
 +
A (not necessarily Hausdorff) topology  $  \tau $
 +
on a real or complex [[Topological vector space|topological vector space]]  $  E $
 +
that has a basis consisting of convex sets and is such that the linear operations in  $  E $
 +
are continuous with respect to  $  \tau $.  
 +
A locally convex topology  $  \tau $
 +
on a vector space  $  E $
 +
is defined analytically by a family of semi-norms (cf. [[Semi-norm|Semi-norm]])  $  \{ {p _  \alpha  } : {\alpha \in A } \} $
 +
as the topology with basis of neighbourhoods of zero consisting of the sets of the form  $  \{ n  ^ {- 1} U \} $,
 +
where  $  n $
 +
runs through the natural numbers and $  U $
 +
is the family of all finite intersections of the sets of the form  $  \{ {x \in E } : {p _  \alpha  ( x) \leq  1 } \} $,
 +
$  \alpha \in A $;
 +
such a family of semi-norms is said to be a generator for  $  \tau $
 +
or to generate  $  \tau $.  
 +
The topology induced by a given locally convex topology on a vector subspace, the quotient topology on a quotient space and the topology of a product of locally convex topologies, are also locally convex topologies. A topology  $  \tau $
 +
on a topological vector space  $  E $
 +
is a locally convex topology if and only if  $  \tau $
 +
is the topology of [[Uniform convergence|uniform convergence]] on equicontinuous subsets of the [[Adjoint space|adjoint space]]  $  E  ^ {*} $.
 +
 
 +
Let  $  E $
 +
and  $  E _  \alpha  $,  
 +
$  \alpha \in A $,  
 +
be vector spaces over $  \mathbf R $
 +
or $  \mathbf C $,  
 +
let $  f _  \alpha  $ (respectively $  g _  \alpha  $)  
 +
be a linear mapping of $  E $
 +
into $  E _  \alpha  $ (respectively, of $  E _  \alpha  $
 +
into $  E $)  
 +
and let $  \tau _  \alpha  $
 +
be a locally convex topology on $  E _  \alpha  $,  
 +
$  \alpha \in A $.  
 +
The weakest topology on $  E $
 +
for which all $  f _  \alpha  $
 +
are continuous mappings of $  E $
 +
into $  ( E _  \alpha  , \tau _  \alpha  ) $
 +
is called the projective topology on $  E $
 +
with respect to the family $  \{ {( E _  \alpha  , \tau _  \alpha  , f _  \alpha  ) } : {\alpha \in A } \} $.  
 +
The projective topology is a locally convex topology. In particular, the least upper bound of a family of locally convex topologies on a given vector space, the induced topology on a subspace and the topology of a product of locally convex topologies are projective topologies (and therefore locally convex topologies). The strongest locally convex topology on $  E $
 +
with respect to which all $  g _  \alpha  $,  
 +
$  \alpha \in A $,  
 +
are continuous mappings of $  ( E _  \alpha  , \tau _  \alpha  ) $
 +
into $  E $
 +
is called the inductive topology on $  E $
 +
with respect to the family $  \{ {( E _  \alpha  , \tau _  \alpha  , g _  \alpha  ) } : {\alpha \in A } \} $.  
 +
In particular, the quotient topology of a given locally convex topology and the topology of a direct sum of locally convex topologies are inductive topologies (and therefore locally convex topologies). The concepts of projective and inductive locally convex topologies make it possible to define the operations of projective and inductive limits in the category of locally convex spaces and their linear mappings.
  
 
====References====
 
====References====
 
<table><TR><TD valign="top">[1]</TD> <TD valign="top">  N. Bourbaki,  "Elements of mathematics. Topological vector spaces" , Addison-Wesley  (1977)  (Translated from French)</TD></TR><TR><TD valign="top">[2]</TD> <TD valign="top">  H.H. Schaefer,  "Topological vector spaces" , Macmillan  (1966)</TD></TR><TR><TD valign="top">[3]</TD> <TD valign="top">  L.V. Kantorovich,  G.P. Akilov,  "Functional analysis" , Pergamon  (1982)  (Translated from Russian)</TD></TR></table>
 
<table><TR><TD valign="top">[1]</TD> <TD valign="top">  N. Bourbaki,  "Elements of mathematics. Topological vector spaces" , Addison-Wesley  (1977)  (Translated from French)</TD></TR><TR><TD valign="top">[2]</TD> <TD valign="top">  H.H. Schaefer,  "Topological vector spaces" , Macmillan  (1966)</TD></TR><TR><TD valign="top">[3]</TD> <TD valign="top">  L.V. Kantorovich,  G.P. Akilov,  "Functional analysis" , Pergamon  (1982)  (Translated from Russian)</TD></TR></table>
 
 
  
 
====Comments====
 
====Comments====
 
  
 
====References====
 
====References====
 
<table><TR><TD valign="top">[a1]</TD> <TD valign="top">  G. Köthe,  "Topological vector spaces" , '''1''' , Springer  (1969)</TD></TR><TR><TD valign="top">[a2]</TD> <TD valign="top">  H. Jarchow,  "Locally convex spaces" , Teubner  (1981)  (Translated from German)</TD></TR></table>
 
<table><TR><TD valign="top">[a1]</TD> <TD valign="top">  G. Köthe,  "Topological vector spaces" , '''1''' , Springer  (1969)</TD></TR><TR><TD valign="top">[a2]</TD> <TD valign="top">  H. Jarchow,  "Locally convex spaces" , Teubner  (1981)  (Translated from German)</TD></TR></table>

Latest revision as of 18:19, 20 January 2022


A (not necessarily Hausdorff) topology $ \tau $ on a real or complex topological vector space $ E $ that has a basis consisting of convex sets and is such that the linear operations in $ E $ are continuous with respect to $ \tau $. A locally convex topology $ \tau $ on a vector space $ E $ is defined analytically by a family of semi-norms (cf. Semi-norm) $ \{ {p _ \alpha } : {\alpha \in A } \} $ as the topology with basis of neighbourhoods of zero consisting of the sets of the form $ \{ n ^ {- 1} U \} $, where $ n $ runs through the natural numbers and $ U $ is the family of all finite intersections of the sets of the form $ \{ {x \in E } : {p _ \alpha ( x) \leq 1 } \} $, $ \alpha \in A $; such a family of semi-norms is said to be a generator for $ \tau $ or to generate $ \tau $. The topology induced by a given locally convex topology on a vector subspace, the quotient topology on a quotient space and the topology of a product of locally convex topologies, are also locally convex topologies. A topology $ \tau $ on a topological vector space $ E $ is a locally convex topology if and only if $ \tau $ is the topology of uniform convergence on equicontinuous subsets of the adjoint space $ E ^ {*} $.

Let $ E $ and $ E _ \alpha $, $ \alpha \in A $, be vector spaces over $ \mathbf R $ or $ \mathbf C $, let $ f _ \alpha $ (respectively $ g _ \alpha $) be a linear mapping of $ E $ into $ E _ \alpha $ (respectively, of $ E _ \alpha $ into $ E $) and let $ \tau _ \alpha $ be a locally convex topology on $ E _ \alpha $, $ \alpha \in A $. The weakest topology on $ E $ for which all $ f _ \alpha $ are continuous mappings of $ E $ into $ ( E _ \alpha , \tau _ \alpha ) $ is called the projective topology on $ E $ with respect to the family $ \{ {( E _ \alpha , \tau _ \alpha , f _ \alpha ) } : {\alpha \in A } \} $. The projective topology is a locally convex topology. In particular, the least upper bound of a family of locally convex topologies on a given vector space, the induced topology on a subspace and the topology of a product of locally convex topologies are projective topologies (and therefore locally convex topologies). The strongest locally convex topology on $ E $ with respect to which all $ g _ \alpha $, $ \alpha \in A $, are continuous mappings of $ ( E _ \alpha , \tau _ \alpha ) $ into $ E $ is called the inductive topology on $ E $ with respect to the family $ \{ {( E _ \alpha , \tau _ \alpha , g _ \alpha ) } : {\alpha \in A } \} $. In particular, the quotient topology of a given locally convex topology and the topology of a direct sum of locally convex topologies are inductive topologies (and therefore locally convex topologies). The concepts of projective and inductive locally convex topologies make it possible to define the operations of projective and inductive limits in the category of locally convex spaces and their linear mappings.

References

[1] N. Bourbaki, "Elements of mathematics. Topological vector spaces" , Addison-Wesley (1977) (Translated from French)
[2] H.H. Schaefer, "Topological vector spaces" , Macmillan (1966)
[3] L.V. Kantorovich, G.P. Akilov, "Functional analysis" , Pergamon (1982) (Translated from Russian)

Comments

References

[a1] G. Köthe, "Topological vector spaces" , 1 , Springer (1969)
[a2] H. Jarchow, "Locally convex spaces" , Teubner (1981) (Translated from German)
How to Cite This Entry:
Locally convex topology. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Locally_convex_topology&oldid=18389
This article was adapted from an original article by A.I. Shtern (originator), which appeared in Encyclopedia of Mathematics - ISBN 1402006098. See original article