Locally convex topology

A (not necessarily Hausdorff) topology on a real or complex topological vector space that has a basis consisting of convex sets and is such that the linear operations in are continuous with respect to . A locally convex topology on a vector space is defined analytically by a family of semi-norms (cf. Semi-norm) as the topology with basis of neighbourhoods of zero consisting of the sets of the form , where runs through the natural numbers and is the family of all finite intersections of the sets of the form , ; such a family of semi-norms is said to be a generator for or to generate . 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 on a topological vector space is a locally convex topology if and only if is the topology of uniform convergence on equicontinuous subsets of the adjoint space .

Let and , , be vector spaces over or , let (respectively ) be a linear mapping of into (respectively, of into ) and let be a locally convex topology on , . The weakest topology on for which all are continuous mappings of into is called the projective topology on with respect to the family . 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 with respect to which all , , are continuous mappings of into is called the inductive topology on with respect to the family . 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)

References

[a1]	G. Köthe, "Topological vector spaces" , 1 , Springer (1969)
[a2]	H. Jarchow, "Locally convex spaces" , Teubner (1981) (Translated from German)