In functional analysis and related areas of mathematics, locally convex topological vector spaces (LCTVS) or locally convex spaces are examples of topological vector spaces (TVS) that generalize normed spaces.
They can be defined as topological vector spaces whose topology is generated by translations of balanced, absorbent, convex sets.
Alternatively they can be defined as a vector space with a family of seminorms, and a topology can be defined in terms of that family.
Although in general such spaces are not necessarily normable, the existence of a convex local base for the zero vector is strong enough for the Hahn–Banach theorem to hold, yielding a sufficiently rich theory of continuous linear functionals.
Fréchet spaces are locally convex spaces that are completely metrizable (with a choice of complete metric).
They are generalizations of Banach spaces, which are complete vector spaces with respect to a metric generated by a norm.
History
Metrizable topologies on vector spaces have been studied since their introduction in Maurice Fréchet's 1902 PhD thesis Sur quelques points du calcul fonctionnel (wherein the notion of a metric was first introduced).
After the notion of a general topological space was defined by Felix Hausdorff in 1914,Hausdorff, F. Grundzüge der Mengenlehre (1914) although locally convex topologies were implicitly used by some mathematicians, up to 1934 only John von Neumann would seem to have explicitly defined the weak topology on Hilbert spaces and strong operator topology on operators on Hilbert spaces.von Neumann, J. Collected works.
Vol II.
pp.
94–104Dieudonne, J.
History of Functional Analysis Chapter VIII.
Section 1.
Finally, in 1935 von Neumann introduced the general definition of a locally convex space (called a convex space by him).von Neumann, J. Collected works.
Vol II.
pp.
508–527Dieudonne, J.
History of Functional Analysis Chapter VIII.
Section 2.
A notable example of a result which had to wait for the development and dissemination of general locally convex spaces (amongst other notions and results, like nets, the product topology and Tychonoff's theorem) to be proven in its full generality, is the Banach–Alaoglu theorem which Stefan Banach first established in 1932 by an elementary diagonal argument for the case of separable normed spacesBanach, S. Theory of linear operations p.
75. Ch.
VIII.
Sec.
3. Theorem 4., translated from Theorie des operations lineaires (1932) (in which case the unit ball of the dual is metrizable).
Definition
Suppose X is a vector space over \mathbb{K}, a subfield of the complex numbers (normally \Complex itself or \R).
A locally convex space is defined either in terms of convex sets, or equivalently in terms of seminorms.
Definition via convex sets
A subset C in X is called
Convex if for all x, y \in C, and 0 \leq t \leq 1, tx + (1-t)y \in C.
In other words, C contains all line segments between points in C.
Circled if for all x \in C and scalars s, if |s| = 1 then s x \in C.  If \mathbb{K} = \R, this means that C is equal to its reflection through the origin.
For \mathbb{K} = \Complex, it means for any x \in C, C contains the circle through x, centred on the origin, in the one-dimensional complex subspace generated by x.
Balanced if for all x \in C and scalars s, if |s| \leq 1 then s x \in C.  If \mathbb{K} = \R, this means that if x \in C, then C contains the line segment between x and -x.
For \mathbb{K} = \Complex, it means for any in x \in C, C contains the disk with x on its boundary, centred on the origin, in the one-dimensional complex subspace generated by x.
Equivalently, a balanced set is a circled cone.
A cone (when the underlying field is ordered) if for all x \in C and 0 \leq t \leq, t x \in C.
Absorbent or absorbing if for every x \in X, there exists r > 0 such that x \in t C for all t \in \mathbb{K} satisfying |t| > r.
The set C can be scaled out by any "large" value to absorb every point in the space.
In any TVS, every neighborhood of the origin is absorbent.
Absolutely convex or a disk if it is both balanced and convex.
This is equivalent to it being closed under linear combinations whose coefficients absolutely sum to \leq 1; such a set is absorbent if it spans all of X.
A topological vector space (TVS) is called locally convex if the origin has a neighborhood basis (that is, a local base) consisting of convex sets.
In fact, every locally convex TVS has a neighborhood basis of the origin consisting of  sets (that is, disks), where this neighborhood basis can further be chosen to also consist entirely of open sets or entirely of closed sets.
Every TVS has a neighborhood basis at the origin consisting of balanced sets but only a locally convex TVS has a neighborhood basis at the origin consisting of sets that are both balanced  convex.
It is possible for a TVS to have  neighborhoods of the origin that are convex and yet  be locally convex.
Because translation is (by definition of "topological vector space") continuous, all translations are homeomorphisms, so every base for the neighborhoods of the origin can be translated to a base for the neighborhoods of any given vector.
Definition via seminorms
A seminorm on X is a map p : X \to \R such that
p is positive or positive semidefinite: p(x) \geq 0;
p is positive homogeneous or positive scalable: p(s x) = |s| p(x) for every scalar s.
So, in particular, p(0) = 0;
p is subadditive.
It satisfies the triangle inequality: p(x + y) \leq p(x) + p(y).
If p satisfies positive definiteness, which states that if p(x) = 0 then x = 0, then p is a norm.
While in general seminorms need not be norms, there is an analogue of this criterion for families of seminorms, separatedness, defined below.
If X is a vector space and \mathcal{P} is a family of seminorms on X then a subset \mathcal{Q} of \mathcal{P} is called a base of seminorms for \mathcal{P} if for all p \in \mathcal{P} there exists a q \in \mathcal{Q} and a real r > 0 such that p \leq r q.
Definition (second version): A locally convex space is defined to be a vector space X along with a family \mathcal{P} of seminorms on X. Seminorm topology
Suppose that X is a vector space over \mathbb{K}, where \mathbb{K} is either the real or complex numbers, and let B_r (resp. B_{\leq r}) denote the open (resp. closed) ball of radius r > 0 in \mathbb{K}.
A family of seminorms \mathcal{P} on the vector space X induces a canonical vector space topology on X, called the initial topology induced by the seminorms, making it into a topological vector space (TVS).
By definition, it is the coarsest topology on X for which all maps in \mathcal{P} are continuous.
That the vector space operations are continuous in this topology follows from properties 2 and 3 above.
It can easily be seen that the resulting topological vector space is "locally convex" in the sense of the  definition given above because each U_{B,r}(0) is absolutely convex and absorbent (and because the latter properties are preserved by translations).
It is possible for a locally convex topology on a space X to be induced by a family of norms but for X to  be normable (that is, to have its topology be induced by a single norm).
Basis and subbasis
Suppose that \mathcal{P} is a family of seminorms on X that induces a locally convex topology \tau on X.
A subbasis at the origin is given by all sets of the form p^{-1}\left(B_{<r}\right) = \{x \in X : p(x) < r\} as p ranges over \mathcal{P} and r ranges over the positive real numbers.
A base at the origin is given by the collection of all possible finite intersections of such subbasis sets.
Recall that the topology of a TVS is translation invariant, meaning that if S is any subset of X containing the origin then for any x \in X, S is a neighborhood of the origin if and only if x + S is a neighborhood of x;  thus it suffices to define the topology at the origin.
A base of neighborhoods of y for this topology is obtained in the following way: for every finite subset F of \mathcal{P} and every r > 0, let U_{F, r}(y) := \{x \in X : p(x-y) < r \ \text{ for all } p \in F\}.
Bases of seminorms and saturated families
If X is a locally convex space and if \mathcal{P} is a collection of continuous seminorms on X, then \mathcal{P} is called a base of continuous seminorms if it is a base of seminorms for the collection of  continuous seminorms on X. Explicitly, this means that for all continuous seminorms p on X, there exists a q \in \mathcal{P} and a real r > 0 such that p \leq r q.
If \mathcal{P} is a base of continuous seminorms for a locally convex TVS X then the family of all sets of the form \{x \in X : q(x) < r\} as q varies over \mathcal{P} and r varies over the positive real numbers, is a  of neighborhoods of the origin in X (not just a subbasis, so there is no need to take finite intersections of such sets).
A family \mathcal{P} of seminorms on a vector space X is called saturated if for any p and q in \mathcal{P}, the seminorm defined by x \mapsto \max \{ p(x), q(x) \} belongs to \mathcal{P}.
If \mathcal{P} is a saturated family of continuous seminorms that induces the topology on X then the collection of all sets of the form \{x \in X : p(x) < r\} as p ranges over \mathcal{P} and r ranges over all positive real numbers, forms a neighborhood basis at the origin consisting of convex open sets;
This forms a basis at the origin rather than merely a subbasis so that in particular, there is  need to take finite intersections of such sets.
Basis of norms
The following theorem implies that if X is a locally convex space then the topology of X can be a defined by a family of continuous    on X (a norm is a seminorm s where s(x)=0 implies x=0) if and only if there exists  continuous    on X. This is because the sum of a norm and a seminorm is a norm so if a locally convex space is defined by some family \mathcal{P} of seminorms (each is which is necessarily continuous) then the family \mathcal{P} + n := \{p + n : p \in \mathcal{P}\} of (also continuous) norms obtained by adding some given continuous norm n to each element, will necessarily be a family of norms that defines this same locally convex topology.
If there exists a continuous norm on a topological vector space X then X is necessarily Hausdorff but the converse is not in general true (not even for locally convex spaces or Fréchet spaces).
Nets
Suppose that the topology of a locally convex space X is induced by a family \mathcal{P} of continuous seminorms on X.
If x \in X and if x_{\bull} = \left(x_i\right)_{i \in I} is a net in X, then x_{\bull} \to x in X if and only if for all p \in \mathcal{P}, p\left(x_{\bull} - x\right) = \left(p\left(x_i\right) - x\right)_{i \in I}.
Moreover, if x_{\bull} is Cauchy in X, then so is p\left(x_{\bull}\right) = \left(p\left(x_i\right)\right)_{i \in I} for every p \in \mathcal{P}.
Equivalence of definitions
Although the definition in terms of a neighborhood base gives a better geometric picture, the definition in terms of seminorms is easier to work with in practice.
The equivalence of the two definitions follows from a construction known as the Minkowski functional or Minkowski gauge.
The key feature of seminorms which ensures the convexity of their \varepsilon-balls is the triangle inequality.
For an absorbing set C such that if x \in C, then t x \in C whenever 0 \leq t \leq 1, define the Minkowski functional of C to be \mu_C(x) = \inf \{r > 0: x \in r C\}.
From this definition it follows that \mu_C is a seminorm if C is balanced and convex (it is also absorbent by assumption).
Conversely, given a family of seminorms, the sets \left\{x : p_{\alpha_1}(x) < \varepsilon_1, \ldots, p_{\alpha_n}(x) < \varepsilon_n\right\} form a base of convex absorbent balanced sets.
Ways of defining a locally convex topology
Further definitions
A family of seminorms \left(p_{\alpha}\right)_{\alpha} is called total or separated or is said to separate points if whenever p_{\alpha}(x) = 0 holds for every \alpha then x is necessarily 0.
A locally convex space is Hausdorff if and only if it has a separated family of seminorms.
Many authors take the Hausdorff criterion in the definition.
A pseudometric is a generalization of a metric which does not satisfy the condition that d(x, y) = 0 only when x = y.
A locally convex space is pseudometrizable, meaning that its topology arises from a pseudometric, if and only if it has a countable family of seminorms.
Indeed, a pseudometric inducing the same topology is then given by d(x,y)=\sum^\infty_n \frac{1}{2^n} \frac{p_n(x-y)}{1+p_n(x-y)} (where the 1/2^n can be replaced by any positive summable sequence a_n).
This pseudometric is translation-invariant, but not homogeneous, meaning d(k x, k y) \neq |k| d(x, y), and therefore does not define a (pseudo)norm.
The pseudometric is an honest metric if and only if the family of seminorms is separated, since this is the case if and only if the space is Hausdorff.
If furthermore the space is complete, the space is called a Fréchet space.
As with any topological vector space, a locally convex space is also a uniform space.
Thus one may speak of uniform continuity, uniform convergence, and Cauchy sequences.
A Cauchy net  in a locally convex space is a net \left(x_a\right)_{a \in A} such that for every r > 0 and every seminorm p_\alpha, there exists some index c \in A such that for all indices a, b \geq c, p_\alpha\left(x_a - x_b\right) < r.
In other words, the net must be Cauchy in all the seminorms simultaneously.
The definition of completeness is given here in terms of nets instead of the more familiar sequences because unlike Fréchet spaces which are metrizable, general spaces may be defined by an uncountable family of pseudometrics.
Sequences, which are countable by definition, cannot suffice to characterize convergence in such spaces.
A locally convex space is complete if and only if every Cauchy net converges.
A family of seminorms becomes a preordered set under the relation p_\alpha \leq p_\beta if and only if there exists an M > 0 such that for all x, p_\alpha(x) \leq M p_\beta(x).
One says it is a directed family of seminorms if the family is a directed set with addition as the join, in other words if for every \alpha and \beta, there is a \gamma such that p_\alpha + p_\beta \leq p_\gamma.
Every family of seminorms has an equivalent directed family, meaning one which defines the same topology.
Indeed, given a family \left(p_\alpha(x)\right)_{\alpha \in I}, let \Phi be the set of finite subsets of I and then for every F \in \Phi define q_F = \sum_{\alpha \in F} p_{\alpha}.
One may check that \left(q_F\right)_{F \in \Phi} is an equivalent directed family.
If the topology of the space is induced from a single seminorm, then the space is seminormable.
Any locally convex space with a finite family of seminorms is seminormable.
Moreover, if the space is Hausdorff (the family is separated), then the space is normable, with norm given by the sum of the seminorms.
In terms of the open sets, a locally convex topological vector space is seminormable if and only if the origin has a bounded neighborhood.
Sufficient conditions
Hahn–Banach extension property
Let X be a TVS.
Say that a vector subspace M of X has the extension property if any continuous linear functional on M can be extended to a continuous linear functional on X.  Say that X has the Hahn-Banach extension property (HBEP) if every vector subspace of X has the extension property.
The Hahn-Banach theorem guarantees that every Hausdorff locally convex space has the HBEP.
For complete metrizable TVSs there is a converse:
If a vector space X has uncountable dimension and if we endow it with the finest vector topology then this is a TVS with the HBEP that is neither locally convex or metrizable.
Properties
Throughout, \mathcal{P} is a family of continuous seminorms that generate the topology of X. Topological properties
Suppose that Y is a TVS (not necessarily locally convex or Hausdorff) over the real or complex numbers.
Then the open convex subsets of Y are exactly those that are of the form z + \{y \in Y : p(y) < 1\} = \{y \in Y : p(y - z) < 1\} for some z \in Y and some positive continuous sublinear functional p on Y.
If S \subseteq X and x \in X, then x \in \operatorname{cl} S if and only if for every r > 0 and every finite collection p_1, \ldots, p_n \in \mathcal{P} there exists some s \in S such that \sum_{i=1}^n p_i(x - s) < r.
The closure of \{0\} in X is equal to \bigcap_{p \in \mathcal{P}} p^{-1}(0).
Every Hausdorff locally convex TVS is homeomorphic to a subspace of a product of Banach spaces.
Topological properties of convex subsets
The interior and closure of a convex subset of a TVS is again convex.
The Minkowski sum of two convex sets is convex; furthermore, the scalar multiple of a convex set is again convex.
If C is a convex set with non-empty interior, then the closure of C is equal to the closure of the interior of C; furthermore, the interior of C is equal to the interior of the closure of C.
So if a convex set C has non-empty interior then C is a closed (resp. open) set if and only if it is a regular closed (resp. regular open) set.
If C is a convex subset of a TVS X (not necessarily Hausdorff), x belongs to the interior of S, and y belongs to the closure of S, then the open line segment joint x and y (that is, \{t x + (1 - t) y : 0 < t < 1\}) belongs to the interior of S.
If X is a locally convex space (not necessarily Hausdorff), M is a closed vector subspace of X, V is a convex neighborhood of the origin in M, and if z \in X is a vector  in V, then there exists a convex neighborhood U of 0 in X such that V = U \cap M and z \not\in U.
The closure of a convex subset of a Hausdorff locally convex TVS X is the same for all locally convex Hausdorff TVS topologies on X that are compatible with duality between X and its continuous dual space.
In a locally convex space, the convex hull and the disked hull of a totally bounded set is totally bounded.
In a complete locally convex space, the convex hull and the disked hull of a compact set are both compact.
More generally, if K is a compact subset of a locally convex space, then the convex hull \operatorname{co} K  (resp. the disked hull \operatorname{cobal} K) is compact if and only if it is complete.
In a locally convex space, convex hulls of bounded sets are bounded.
This is not true for TVSs in general.
In a Fréchet space, the closed convex hull of a compact set is compact.
In a locally convex space, any linear combination of totally bounded sets is totally bounded.
Properties of convex hulls
For any subset S of a TVS X, the convex hull (resp. closed convex hull, balanced hull, resp. convex balanced hull) of S, denoted by \operatorname{co} S (resp. \overline{\operatorname{co}} S, \operatorname{bal} S, \operatorname{cobal} S), is the smallest convex (resp. closed convex, balanced, convex balanced) subset of X containing S.
In a quasi-complete locally convex TVS, the closure of the convex hull of a compact subset is again compact.
In a Hausdorff locally convex TVS, the convex hull of a precompact set is again precompact.
Consequently, in a complete locally convex Hausdorff TVS, the closed convex hull of a compact subset is again compact.
In any TVS, the convex hull of a finite union of compact convex sets is compact (and convex).
This implies that in any Hausdorff TVS, the convex hull of a finite union of compact convex sets is  (in addition to being compact and convex); in particular, the convex hull of such a union is equal to the  convex hull of that union.
In general, the closed convex hull of a compact set is not necessarily compact.
In any non-Hausdorff TVS, there exist subsets that are compact (and thus complete) but  closed.
The bipolar theorem states that the bipolar (that is, the polar of the polar) of a subset of a locally convex Hausdorff TVS is equal to the closed convex balanced hull of that set.
The balanced hull of a convex set is  necessarily convex.
If C and D are convex subsets of a topological vector space X and if  \operatorname{co} (C \cup D), then there exist c \in C, d \in D, and a real number r satisfying 0 \leq r \leq 1 such that x = r c + (1 - r) d.
If M is a vector subspace of a TVS X, C a convex subset of M, and D a convex subset of X such that D \cap M \subseteq C, then C = M \cap \operatorname{co} (C \cup D).
Recall that the smallest balanced subset of X containing a set S is called the balanced hull of S and is denoted by \operatorname{bal} S.
For any subset S of X, the convex balanced hull of S, denoted by \operatorname{cobal} S, is the smallest subset of X containing S that is convex and balanced.
The convex balanced hull of S is equal to the convex hull of the balanced hull of S (i.e. \operatorname{cobal} S = \operatorname{co} (\operatorname{bal} S)), but the convex balanced hull of S is  necessarily equal to the balanced hull of the convex hull of S (that is, \operatorname{cobal} S is not necessarily equal to \operatorname{bal} (\operatorname{co} S)).
If A, B \subseteq X are subsets of a TVS X and if r is a scalar then \operatorname{co} (A \cup B) = \operatorname{co} (A) \cup \operatorname{co} (B), \operatorname{co} (r A) = r \operatorname{co} A, and \overline{\operatorname{co}}(r A) = r \overline{\operatorname{co}}(A).
Moreover, if \overline{\operatorname{co}}(A) is compact then \overline{\operatorname{co}}(A + B) = \overline{\operatorname{co}}(A) + \overline{\operatorname{co}}(B)
If A, B \subseteq X are subsets of a TVS X whose closed convex hulls are compact, then \overline{\operatorname{co}}(A \cup B) = \overline{\operatorname{co}}\left(\overline{\operatorname{co}}(A) \cup \overline{\operatorname{co}}(B)\right).
If S is a convex set in a complex vector space X and there exists some z \in X such that z, iz, -z, -iz \in S, then r z + s i z \in S for all real r, s such that |r| + |s| \leq 1.
In particular, a z \in S for all scalars a such that |a|^2 \leq \frac{1}{2}.
Examples and nonexamples
Finest and coarsest locally convex topology
Coarsest vector topology
Any vector space X endowed with the trivial topology (also called the indiscrete topology) is a locally convex TVS (and of course, it is the coarsest such topology).
This topology is Hausdorff if and only X = \{0\}.
The indiscrete topology makes any vector space into a complete pseudometrizable locally convex TVS.
In contrast, the discrete topology forms a vector topology on X if and only X = \{0\}.
This follows from the fact that every topological vector space is a connected space.
Finest locally convex topology
If X is a real or complex vector space and if \mathcal{P} is the set of all seminorms on X then the locally convex TVS topology, denoted by \tau_{\operatorname{lc}}, that \mathcal{P} induces on X is called the  on X.
This topology may also be described as the TVS-topology on X having as a neighborhood base at the origin the set of all absorbing disks in X.
Any locally convex TVS-topology on X is necessarily a subset of \tau_{\operatorname{lc}}.
\left(X, \tau_{\operatorname{lc}}\right) is Hausdorff.
Every linear map from \left(X, \tau_{\operatorname{lc}}\right) into another locally convex TVS is necessarily continuous.
In particular, every linear functional on \left(X, \tau_{\operatorname{lc}}\right) is continuous and every vector subspace of X is closed in \left(X, \tau_{\operatorname{lc}}\right);  therefore, if X is infinite dimensional then \left(X, \tau_{\operatorname{lc}}\right) is not pseudometrizable (and thus not metrizable).
Moreover, \tau_{\operatorname{lc}} is the  Hausdorff locally convex topology on X with the property that any linear map from it into any Hausdorff locally convex space is continuous.
The space \left(X, \tau_{\operatorname{lc}}\right) is a bornological space.
Examples of locally convex spaces
Every normed space is a Hausdorff locally convex space, and much of the theory of locally convex spaces generalizes parts of the theory of normed spaces.
The family of seminorms can be taken to be the single norm.
Every Banach space is a complete Hausdorff locally convex space, in particular, the L^p spaces with p \geq 1 are locally convex.
More generally, every Fréchet space is locally convex.
A Fréchet space can be defined as a complete locally convex space with a separated countable family of seminorms.
The space \R^{\omega} of real valued sequences with the family of seminorms given by p_i \left(\left\{x_n\right\}_n\right) = \left|x_i\right|, \qquad i \in \N is locally convex.
The countable family of seminorms is complete and separable, so this is a Fréchet space, which is not normable.
This is also the limit topology of the spaces \R^n, embedded in \R^{\omega} in the natural way, by completing finite sequences with infinitely many 0.
Given any vector space X and a collection F of linear functionals on it, X can be made into a locally convex topological vector space by giving it the weakest topology making all linear functionals in F continuous.
This is known as the weak topology or the initial topology determined by F.
The collection F may be the algebraic dual of X or any other collection.
The family of seminorms in this case is given by p_f(x) = |f(x)| for all f in F.
Spaces of differentiable functions give other non-normable examples.
Consider the space of smooth functions f : \R^n \to \Complex such that \sup_x \left|x^a D_b f\right| < \infty, where a and B are multiindices.
The family of seminorms defined by p_{a,b}(f) = \sup_x \left|x^a D_b f(x)\right| is separated, and countable, and the space is complete, so this metrizable space is a Fréchet space.
It is known as the Schwartz space, or the space of functions of rapid decrease, and its dual space is the space of tempered distributions.
An important function space in functional analysis is the space D(U) of smooth functions with compact support in U \subseteq \R^n.
A more detailed construction is needed for the topology of this space because the space C_0^{\infty}(U) is not complete in the uniform norm.
The topology on D(U) is defined as follows: for any fixed compact set K \subseteq U, the space C_0^{\infty}(K) of functions f \in C_0^{\infty} with \operatorname{supp}(f) \subseteq K is a Fréchet space with countable family of seminorms \|f\|_m = \sup_{k \leq m} \sup_x \left|D^k f(x)\right| (these are actually norms, and the completion of the space C_0^{\infty}(K) with the \| \cdot \|_m norm is a Banach space D^m(K)).
Given any collection \left(K_a\right)_{a\in A} of compact sets, directed by inclusion and such that their union equal U, the C_0^{\infty}\left(K_a\right) form a direct system, and D(U) is defined to be the limit of this system.
Such a limit of Fréchet spaces is known as an LF space.
More concretely, D(U) is the union of all the C_0^{\infty}\left(K_a\right) with the strongest  topology which makes each inclusion map C_0^{\infty}\left(K_a\right) \hookrightarrow D(U) continuous.
This space is locally convex and complete.
However, it is not metrizable, and so it is not a Fréchet space.
The dual space of D\left(\R^n\right) is the space of distributions on \R^n.
More abstractly, given a topological space X, the space C(X) of continuous (not necessarily bounded) functions on X can be given the topology of uniform convergence on compact sets.
This topology is defined by semi-norms \varphi_K(f) = \max \{|f(x)| : x \in K\} (as K varies over the directed set of all compact subsets of X).
When X is locally compact (for example, an open set in \R^n) the Stone–Weierstrass theorem applies—in the case of real-valued functions, any subalgebra of C(X) that separates points and contains the constant functions (for example, the subalgebra of polynomials) is dense.
Examples of spaces lacking local convexity
Many topological vector spaces are locally convex.
Examples of spaces that lack local convexity include the following:
The spaces L^p([0, 1]) for 0 < p < 1 are equipped with the F-norm \|f\|^p_p = \int_0^1 |f(x)|^p \, dx.
They are not locally convex, since the only convex neighborhood of zero is the whole space.
More generally the spaces L^p(\mu) with an atomless, finite measure \mu and 0 < p < 1 are not locally convex.
The space of measurable functions on the unit interval [0, 1] (where we identify two functions that are equal almost everywhere) has a vector-space topology defined by the translation-invariant metric (which induces the convergence in measure of measurable functions; for random variables, convergence in measure is convergence in probability): d(f, g) = \int_0^1 \frac{|f(x) - g(x)|}{1+|f(x) - g(x)|} \, dx.
This space is often denoted L_0.
Both examples have the property that any continuous linear map to the real numbers is 0.
In particular, their dual space is trivial, that is, it contains only the zero functional.
The sequence space \ell^p(\N), 0 < p < 1, is not locally convex.
Continuous mappings
Because locally convex spaces are topological spaces as well as vector spaces, the natural functions to consider between two locally convex spaces are continuous linear maps.
Using the seminorms, a necessary and sufficient criterion for the continuity of a linear map can be given that closely resembles the more familiar boundedness condition found for Banach spaces.
Given locally convex spaces X and Y with families of seminorms \left(p_\alpha\right)_{\alpha} and \left(q_\beta\right)_{\beta} respectively, a linear map T : X \to Y is continuous if and only if for every \beta, there exist \alpha_1, \ldots, \alpha_n and M > 0 such that for all v \in X, q_\beta(Tv) \leq M \left(p_{\alpha_1}(v) +\dotsb+p_{\alpha_n}(v)\right).
In other words, each seminorm of the range of T is bounded above by some finite sum of seminorms in the domain.
If the family \left(p_\alpha\right)_{\alpha} is a directed family, and it can always be chosen to be directed as explained above, then the formula becomes even simpler and more familiar: q_\beta(Tv) \leq Mp_\alpha(v).
The class of all locally convex topological vector spaces forms a category with continuous linear maps as morphisms.
Linear functionals
If X is a real or complex vector space, f is a linear functional on X, and p is a seminorm on X, then |f| \leq p if and only if f \leq p.
If f is a non-0 linear functional on a real vector space X and if p is a seminorm on X, then f \leq p if and only if f^{-1}(1) \cap \{x \in X : p(x) < 1\} = \varnothing.
Multilinear maps
Let n \geq 1 be an integer, X_1, \ldots, X_n be TVSs (not necessarily locally convex), let Y be a locally convex TVS whose topology is determined by a family \mathcal{Q} of continuous seminorms, and let M : \prod_{i=1}^n X_i \to Y be a multilinear operator that is linear in each of its n coordinates.
The following are equivalent:
M is continuous.
For every q \in \mathcal{Q}, there exist continuous seminorms p_1, \ldots, p_n on X_1, \ldots, X_n, respectively, such that q(M(x)) \leq p_1\left(x_1\right) \cdots p_n\left(x_n\right) for all x = \left(x_1, \ldots, x_n\right) \in \prod_{i=1}^n X_i.
For every q \in \mathcal{Q}, there exists some neighborhood of the origin in \prod_{i=1}^{n} X_{i} on which q \circ M is bounded.
See also
Notes
References
