A topological vector space is locally convex if it has a base of its topology consisting of convex open subsets. Equivalently, it is a vector space equipped with a gauge consisting of seminorms. As with other topological vector spaces, a locally convex space (LCS or LCTVS) is often assumed to be Hausdorff.
Locally convex (topological vector) spaces are the standard setup for much of contemporary functional analysis.
A natural notion of smooth map between lctvs is given by Michal-Bastiani smooth maps.
The category is a symmetric monoidal category with the inductive tensor product and even a symmetric closed monoidal category, where the internal homs are given by the space of continuous linear maps with the topology of pointwise convergence.
One reason why locally convex topological vector spaces are important is that lots of continuous linear functionals exist on them, at least if one assumes an appropriate choice principle, e.g., axiom of choice or ultrafilter theorem (or just dependent choice for a separable space). This fact is encapsulated in the Hahn-Banach theorem; a nice exposition is given in Tao 09. By way of contrast, a topological vector space which is not locally convex, such as the Lebesgue space where , need not have any (nonzero) continuous linear functionals at all.
(directed system of seminorms)
A family of seminorms on some real vector space is called directed if
(e.g. Infusino 17 def. 4.2.15)
(maximum envelope of seminorms)
Let be a real vector space equipped with a set of seminorms.
Then the maxima of non-empty finite subsets of these seminorms
are themselves seminorms, and the set of them
generate the same topology on as the original do. Moreover, the system of maximum seminorms evidently form a filtered system according to def. .
(e.g. Infusino 17 prop. 4.2.13, 4.2.14)
(characterization of continuity for linear functionals by norm-bounds)
Let be a real vector space and a topology on that makes it a locally convex topological vector space, induced from a set of seminorms . Consider a linear function
(directed system of seminorms) If the system of seminorms is directed (def. ) then is a continuous function with respect to , hence is a continuous linear functional, precisely if it is -continuous for some :
(general system of seminorms) Together with prop. this means that for any set of seminorms (not necessarily directed), then is continuous precisely if there exists a inhabited finite subset of seminorms such that is bounded with respect to the maximum over this set:
(e.g. Infusino 17, prop. 4.6.1, corollary 4.6.2), or remark 3-4 4. here: pdf
The collections of continuous linear functionals on a LCTVS is used in a way analogous to the collection of coordinate projections out of a Cartesian space. For example, curves in a LCTVS over the reals can be composed with functionals to arrive at a collection of functions which are analogous to the ‘components’ of the curve.
In one respect, a locally convex TVS is a nice topological space in that there are enough co-probes by maps to the base field.
J. L. Taylor, Notes on locally convex topological vector spaces (1995) (pdf)
Maria Infusino, Topological vector spaces 2017
Generalizing the Tietze extension theorem to codomains which are locally convex topological vector spaces:
Last revised on June 30, 2022 at 20:36:21. See the history of this page for a list of all contributions to it.