In mathematics, a topological vector space (also called a linear topological space and commonly abbreviated TVS or t.v.s.) is one of the basic structures investigated in functional analysis.
A topological vector space is a vector space (an algebraic structure) which is also a topological space, the latter thereby admitting a notion of continuity. More specifically, its topological space has a uniform topological structure, allowing a notion of uniform convergence.
The elements of topological vector spaces are typically functions or linear operators acting on topological vector spaces, and the topology is often defined so as to capture a particular notion of convergence of sequences of functions.
Hilbert spaces and Banach spaces are wellknown examples.
Unless stated otherwise, the underlying field of a topological vector space is assumed to be either the complex numbers ℂ or the real numbers ℝ.
Motivation
 Normed spaces
Every normed vector space has a natural topological structure: the norm induces a metric and the metric induces a topology. This is a topological vector space because:
 The vector addition + : X × X → X is jointly continuous with respect to this topology. This follows directly from the triangle inequality obeyed by the norm.
 The scalar multiplication · : 𝕂 × X → X, where 𝕂 is the underlying scalar field of X, is jointly continuous. This follows from the triangle inequality and homogeneity of the norm.
Thus all Banach spaces and Hilbert spaces are examples of topological vector spaces.
 Nonnormed spaces
There are topological vector spaces whose topology is not induced by a norm, but are still of interest in analysis. Examples of such spaces are spaces of holomorphic functions on an open domain, spaces of infinitely differentiable functions, the Schwartz spaces, and spaces of test functions and the spaces of distributions on them. These are all examples of Montel spaces. An infinitedimensional Montel space is never normable. The existence of a norm for a given topological vector space is characterized by Kolmogorov's normability criterion.
A topological field is a topological vector space over each of its subfields.
Definition
 Definition: A topological vector space (TVS) X is a vector space over a topological field 𝕂 (most often the real or complex numbers with their standard topologies) that is endowed with a topology such that vector addition + : X × X → X and scalar multiplication · : 𝕂 × X → X are continuous functions (where the domains of these functions are endowed with product topologies). Such a topology is called a vector topology or a TVS topology on X.
Every topological vector space is also a commutative topological group under addition.
 Hausdorff assumption
Some authors (e.g., Walter Rudin) require the topology on X to be T_{1}; it then follows that the space is Hausdorff, and even Tychonoff. A topological vector space is said to be separated if it is Hausdorff (note that "separated" does not mean separable). The topological and linear algebraic structures can be tied together even more closely with additional assumptions, the most common of which are listed below.
 Category and morphisms
The category of topological vector spaces over a given topological field 𝕂 is commonly denoted TVS_{𝕂} or TVect_{𝕂}. The objects are the topological vector spaces over 𝕂 and the morphisms are the continuous 𝕂linear maps from one object to another.
 Definition:^{[1]}^{[2]} A TVS homomorphism or topological homomorphism is a continuous linear map u : X → Y between topological vector spaces (TVSs) such that the induced map u : X → Im u is an open mapping when Im u, which is the range or image of u, is given the subspace topology induced by Y.
 Definition:^{[1]} A TVS embedding or a topological monomorphism is an injective topological homomorphism. Equivalently, a TVSembedding is a linear map that is also a topological embedding.
 Definition:^{[1]} A TVS isomorphism or an isomorphism in the category of TVSs is a bijective linear homeomorphism. Equivalently, it is a surjective TVS embedding.
Many properties of TVSs that are studied, such as local convexity, metrizability, completeness, and normability, are invariant under TVS isomorphisms.
 A necessary condition for a vector topology
Definition:^{[3]} A collection 𝒩 of subsets of a vector space is called additive if for every N ∈ 𝒩, there exists some U ∈ 𝒩 such that U + U ⊆ N.
Characterization of continuity of addition at 0^{[3]} — If (X, +) is a group (as all vector spaces are), τ is a topology on X, and X × X is endowed with the product topology, then the addition map X × X → X (i.e. the map (x, y) ↦ x + y) is continuous at the origin of X × X if and only if the set of neighborhoods of the origin in (X, τ) is additive. This statement remains true if the word "neighborhood" is replaced by "open neighborhood."
All of the above conditions are consequently a necessity for a topology to form a vector topology.
Defining topologies using neighborhoods of the origin
Since every vector topology is translation invariant (i.e. for all x_{0} ∈ X, the map X → X defined by x ↦ x_{0} + x is a homeomorphism), to define a vector topology it suffices to define a neighborhood basis (or subbasis) for it at the origin.
Theorem^{[4]} (Neighborhood filter of the origin) — Suppose that X is a real or complex vector space. If ℬ be a nonempty additive collection of balanced and absorbing subsets of X then ℬ is a neighborhood base at 0 for a vector topology on X. That is, the assumptions are that ℬ is a filter base that satisfies the following conditions:
 Every B ∈ ℬ is balanced and absorbing,
 ℬ is additive: For every B ∈ ℬ there exists a U ∈ ℬ such that U + U ⊆ B,
If ℬ satisfies the above two conditions but is not a filter base then it will form a neighborhood subbasis at 0 (rather than a neighborhood basis) for a vector topology on X.
Note that in general, the set of all balanced and absorbing subsets of a vector space does not satisfy the conditions of this theorem and does not form a neighborhood basis at the origin for any vector topology.^{[3]}
Defining topologies using strings
Definitions:^{[5]}^{[6]}^{[7]} Let X be a vector space and let U_{•} = (U_{i})^{∞}
_{i=1} be a sequence of subsets of X. Each set in the sequence U_{•} is called a knot of U_{•} and for every index i, U_{i} is called the i^{th} knot of U_{•}. We call U_{1} the beginning of U_{•}.We say that the sequence U_{•} is/is a:
 Summative if U_{i+1} + U_{i+1} ⊆ U_{i} for every index i.
 Balanced (resp. absorbing, closed,^{[note 1]} convex, open, symmetric, barrelled, absolutely convex/disked, etc.) if this is true of every U_{i}.
 String if U_{•} is summative, absorbing, and balanced.
 Topological string or a neighborhood string in a TVS X if U_{•} is a string and each of its knows is a neighborhood of the origin in X.
If U is an absorbing disk in a vector space X then the sequence defined by U_{i} := 2^{1  i} U forms a string beginning with U_{1} = U. This is called the natural string of U^{[5]} Moreover, if a vector space X has countable dimension then every string contains an absolutely convex string.
Summative sequences of sets have the particularly nice property that they define nonnegative continuous realvalued subadditive functions. These functions can then be used to prove many of the basic properties of topological vector spaces.
Theorem (ℝvalued function induced by a string) — Let U_{•} = (U_{i})^{∞}
_{i=0} be a collection of subsets of a vector space such that 0 ∈ U_{i} and U_{i+1} + U_{i+1} ⊆ U_{i} for all i ≥ 0.
For all u ∈ U_{0}, let
 𝕊(u) := { n_{•} = (n_{1}, ⋅⋅⋅, n_{k}) : k ≥ 1, n_{i} ≥ 0 for all i, and u ∈ U_{n1} + ⋅⋅⋅ + U_{nk} }.
Define f : X → [0, 1] by f (x) = 1 if x ∉ U_{0} and otherwise let
 f (x) := inf { 2^{ n1} + ⋅⋅⋅ + 2^{ nk} : n_{•} = (n_{1}, ⋅⋅⋅, n_{k}) ∈ 𝕊(x) }.
Then f is subadditive (i.e. f (x + y) ≤ f (x) + f (y) for all x, y ∈ X) and f = 0 on U_{i}, so in particular f (0) = 0. If all U_{i} are symmetric sets then f ( x) = f (x) and if all U_{i} are balanced then f (s x) ≤ f (x) for all scalars s such that s ≤ 1 and all x ∈ X. If X is a topological vector space and if all U_{i} are neighborhoods of the origin then f is continuous, where if in addition X is Hausdorff and U_{•} forms a basis of balanced neighborhoods of the origin in X then d(x, y) := f (x  y) is a metric defining the vector topology on X.
Proof


We also assume that n_{•} = (n_{1}, ⋅⋅⋅, n_{k}) always denotes a finite sequence of nonnegative integers and we will use the notation:
Observe that for any integers n ≥ 0 and d > 2,
From this it follows that if n_{•} = (n_{1}, ⋅⋅⋅, n_{k}) consists of distinct positive integers then ∑ U_{n•} ⊆ U_{1 + min (n•)}. We show by induction on k that if n_{•} = (n_{1}, ⋅⋅⋅, n_{k}) consists of nonnegative integers such that ∑ 2^{ n•} ≤ 2^{ M} for some integer M ≥ 0 then ∑ U_{n•} ⊆ U_{M}. This is clearly true for k = 1 and k = 2 so assume that k > 2, which implies that all n_{i} are positive. If all n_{i} are distinct then we're done, otherwise pick distinct indices i < j such that n_{i} = n_{j} and construct m_{•} = (m_{1}, ⋅⋅⋅, m_{k1}) from n_{•} by replacing n_{i} with n_{i}  1 and deleting the j^{th} element of n_{•} (all other elements of n_{•} are transferred to m_{•} unchanged). Observe that ∑ 2^{ n•} = ∑ 2^{ m•} and ∑ U_{n•} ⊆ ∑ U_{m•} (since U_{ni} + U_{nj} ⊆ U_{ni  1}) so by appealing to the inductive hypothesis we conclude that ∑ U_{n•} ⊆ ∑ U_{m•} ⊆ U_{M}, as desired. It is clear that f (0) = 0 and that 0 ≤ f ≤ 1 so to prove that f is subadditive, it suffices to prove that f (x + y) ≤ f (x) + f (y) when x, y ∈ X are such that f (x) + f (y) < 1, which implies that x, y ∈ U_{0}. This is an exercise. If all U_{i} are symmetric then x ∈ ∑ U_{n•} if and only if  x ∈ ∑ U_{n•} from which it follows that f (x) ≤ f (x) and f (x) ≥ f (x). If all U_{i} are balanced then the inequality f (s x) ≤ f (x) for all unit scalars s is proved similarly. Since f is a nonnegative subadditive function satisfying f (0) = 0, f is uniformly continuous on X if and only if f is continuous at 0. If all U_{i} are neighborhoods of the origin then for any real r > 0, pick an integer M > 1 such that 2^{ M} < r so that x ∈ U_{M} implies f (x) ≤ 2^{ M} < r. If all U_{i} form basis of balanced neighborhoods of the origin then one may show that for any n > 0, there exists some 0 < r ≤ 2^{ n} such that f (x) < r implies x ∈ U_{n}. ∎ 
Definitions:^{[5]} If U_{•} = (U_{i})_{i ∈ ℕ} and V_{•} = (V_{i})_{i ∈ ℕ} are two collections of subsets of a vector space X and if s is a scalar, then define:
 V_{•} contains U_{•}: U_{•} ⊆ V_{•} if and only if U_{i} ⊆ V_{i} for every index i.
 Set of knots: Knots (U_{•}) := { U_{i} : i ∈ ℕ }.
 Kernel: ker U_{•} := U_{i}.
 Scalar multiple: s U_{•} := (s U_{i})_{i ∈ ℕ}.
 Sum: U_{•} + V_{•} := (U_{i} + V_{i})_{i ∈ ℕ}.
 Intersection: U_{•} ∩ V_{•} := (U_{i} ∩ V_{i})_{i ∈ ℕ}.
Definition (Directed): If 𝕊 is a collection sequences of subsets of X, then we say that 𝕊 directed (downwards) under inclusion or simply directed if 𝕊 is not empty and for all U_{•}, V_{•} ∈ 𝕊 there exists some W_{•} ∈ 𝕊 such that W_{•} ⊆ U_{•} and W_{•} ⊆ V_{•} (said differently, if and only if 𝕊 is a prefilter with respect to the containment ⊆ defined above).
Notation: Let Knots (𝕊) := Knots (U_{•}) be the set of all knots of all strings in 𝕊.
Defining vector topologies using collections of strings is particularly useful for defining classes of TVSs that are not necessarily locally convex.
Theorem^{[5]} (Topology induced by strings) — If (X, 𝜏) is a topological vector space then there exists a set 𝕊^{[proof 1]} of neighborhood strings in X that is directed downward and such that the set of all knots of all strings in 𝕊 is a neighborhood basis at the origin for (X, 𝜏). We say that such a collection of strings is 𝜏 fundamental.
Conversely, if X is a vector space and if 𝕊 is a collection of strings in X that is directed downward, then the set Knots (𝕊) of all knots of all strings in 𝕊 forms a neighborhood basis at the origin for a vector topology on X. In this case, we will denote this topology 𝜏_{𝕊} and say it is the topology generated by 𝕊.
If 𝕊 is the set of all topological strings in a TVS (X, 𝜏) then 𝜏_{𝕊} = 𝜏.^{[5]}
A Hausdorff TVS is metrizable if and only if its topology can be induced by a single topological string.^{[8]}
Topological structure
A vector space is an abelian group with respect to the operation of addition, and in a topological vector space the inverse operation is always continuous (since it is the same as multiplication by −1). Hence, every topological vector space is an abelian topological group. Every TVS is completely regular but a TVS need not be normal.^{[9]}
Let X be a topological vector space. Given a subspace M ⊂ X, the quotient space X/M with the usual quotient topology is a Hausdorff topological vector space if and only if M is closed.^{[note 2]} This permits the following construction: given a topological vector space X (that is probably not Hausdorff), form the quotient space X / M where M is the closure of {0}. X / M is then a Hausdorff topological vector space that can be studied instead of X.
Invariance of vector topologies
One of the most used properties of vector topologies is that every vector topology is translation invariant:
 for all x_{0} ∈ X, the map X → X defined by x ↦ x_{0} + x is a homeomorphism, but if x_{0} ≠ 0 then it is not linear and so not a TVSisomorphism.
Scalar multiplication by a nonzero scalar is a TVSisomorphism. This means that if s ≠ 0 then the linear map X → X defined by x ↦ s x is a homeomorphism. Using s = 1 produces the negation map X → X defined by x ↦ x, which is consequently a linear homeomorphism and thus a TVSisomorphism.
If x ∈ X and any subset S ⊆ X, then cl(x + S) = x + cl(S)^{[4]} and moreover, if 0 ∈ S then x + S is a neighborhood (resp. open neighborhood, closed neighborhood) of x in X if and only if the same is true of S at the origin.
Local notions
A subset E of a vector space X is said to be
 absorbing (in X): if for every x ∈ X, there exists a real r > 0 such that c x ∈ E for any scalar c satisfying c ≤ r.
 balanced or circled: if tE ⊆ E for every scalar t ≤ 1.
 convex: if tE + (1t)E ⊆ E for every real 0 ≤ t ≤ 1.
 a disk or absolutely convex: if E is convex and balanced.
 symmetric: if E ⊆ E, or equivalently, if E = E.
Every neighborhood of 0 is an absorbing set and contains an open balanced neighborhood of 0^{[4]} so every topological vector space has a local base of absorbing and balanced sets. The origin even has a neighborhood basis consisting of closed balanced neighborhoods of 0; if the space is locally convex then it also has a neighborhood basis consisting of closed convex balanced neighborhoods of 0.
 Bounded subsets
Definition:^{[10]} A subset E of a topological vector space X is bounded if for every neighborhood V of 0, then E ⊆ tV when t is sufficiently large.
The definition of boundedness can be weakened a bit; E is bounded if and only if every countable subset of it is bounded. A set is bounded if and only if each of its subsequences is a bounded set.^{[11]} Also, E is bounded if and only if for every balanced neighborhood V of 0, there exists t such that E ⊆ tV. Moreover, when X is locally convex, the boundedness can be characterized by seminorms: the subset E is bounded iff every continuous seminorm p is bounded on E.
Every totally bounded set is bounded.^{[11]} If M is a vector subspace of a TVS X, then a subset of M is bounded in M if and only if it is bounded in X.^{[11]}
Metrizability
Birkhoff–Kakutani theorem — If (X, τ) is a topological vector space then the following three conditions are equivalent:^{[12]}^{[note 3]}
 The origin { 0 } is closed in X, and there is a countable basis of neighborhoods for 0 in X.
 (X, τ) is metrizable (as a topological space).
 There is a translationinvariant metric on X that induces on X the topology τ, which is the given topology on X.
 (X, τ) is a metrizable topological vector space.^{[note 4]}
By the Birkhoff–Kakutani theorem, it follows that there is an equivalent metric that is translationinvariant.
A TVS is pseudometrizable if and only if it has a countable neighborhood basis at the origin, or equivalent, if and only if its topology is generated by an Fseminorm. A TVS is metrizable if and only if it is Hausdorff and pseudometrizable.
More strongly: a topological vector space is said to be normable if its topology can be induced by a norm. A topological vector space is normable if and only if it is Hausdorff and has a convex bounded neighborhood of 0.^{[13]}
Let 𝕂 be a nondiscrete locally compact topological field, for example the real or complex numbers. A Hausdorff topological vector space over 𝕂 is locally compact if and only if it is finitedimensional, that is, isomorphic to 𝕂^{n} for some natural number n.
Completeness and uniform structure
Definition:^{[14]} The canonical uniformity on a TVS (X, τ) is the unique translationinvariant uniformity that induces the topology τ on X.
Every TVS is assumed to be endowed with this canonical uniformity, which makes all TVSs into uniform spaces. This allows one to^{[clarification needed]} about related notions such as completeness, uniform convergence, Cauchy nets, and uniform continuity. etc., which are always assumed to be with respect to this uniformity (unless indicated other). This implies that every Hausdorff topological vector space is Tychonoff.^{[15]} A subset of a TVS is compact if and only if it is complete and totally bounded (for TVSs, a set being totally bounded is equivalent to it being precompact). But if the TVS is not Hausdorff then there exist compact subsets that are not closed. However, the closure of a compact subset of a nonHausdorff TVS is again compact (so compact subsets are relatively compact).
With respect to this uniformity, a net (or sequence) x_{•} = (x_{i})_{i ∈ I} is Cauchy if and only if for every neighborhood V of 0, there exists some index i such that x_{m} − x_{n} ∈ V whenever j ≥ i and k ≥ i.
Every Cauchy sequence is bounded, although Cauchy nets and Cauchy filters may not be bounded. A topological vector space where every Cauchy sequence converges is called sequentially complete; in general, it may not be complete (in the sense that all Cauchy filters converge).
The vector space operation of addition is uniformly continuous and an open map. Scalar multiplication is Cauchy continuous but in general, it is almost never uniformly continuous. Because of this, every topological vector space can be completed and is thus a dense linear subspace of a complete topological vector space.
 Every TVS has a completion and every Hausdorff TVS has a Hausdorff completion.^{[4]} Every TVS (even those that are Hausdorff and/or complete) have infinitely many nonisomorphic nonHausdorff completions.
 A compact subset of a TVS (not necessarily Hausdorff) is complete.^{[16]} A complete subset of a Hausdorff TVS is closed.^{[16]}
 If C is a complete subset of a TVS then any subset of C that is closed in C is complete.^{[16]}
 A Cauchy sequence in a Hausdorff TVS X is not necessarily relatively compact (i.e. its closure in X is not necessarily compact).
 If a Cauchy filter in a TVS has an accumulation point x then it converges to x.
 If a series ∑^{∞}
_{i=1} x_{i} converges^{[note 5]} in a TVS X then x_{i} → 0 in X.^{[17]}
Examples
Finest and coarsest vector topology
Let X be a real or complex vector space.
 Trivial topology
The trivial topology (or the indiscrete topology) { X, ∅ } is always a TVS topology on any vector space X, so it is obviously the coarsest TVS topology possible. This simple observation allows us to conclude that the intersection of any collection of TVS topologies on X always contains a TVS topology. Any vector space (including those that are infinite dimensional) endowed with the trivial topology is a compact (and thus locally compact) complete pseudometrizable seminormable locally convex topological vector space. It is Hausdorff if and only if dim X = 0.
 Finest vector topology
There exists a TVS topology τ_{f} on X that is finer than every other TVStopology on X (that is, any TVStopology on X is necessarily a subset of 𝜏_{f}).^{[18]} Every linear map from (X, τ_{f}) into another TVS is necessarily continuous.^{[18]} If X has an uncountable Hamel basis then 𝜏_{f} is not locally convex and not metrizable.^{[18]}
Product vector spaces
A Cartesian product of a family of topological vector spaces, when endowed with the product topology, is a topological vector space. For instance, the set X of all functions f : ℝ → ℝ: this set X can be identified with the product space ℝ^{ℝ} and carries a natural product topology. With this topology, X becomes a topological vector space, endowed with a topology called the topology of pointwise convergence. The reason for this name is the following: if (f_{n}) is a sequence of elements in X, then f_{n} has limit f ∈ X if and only if f_{n}(x) has limit f(x) for every real number x. This space is complete, but not normable: indeed, every neighborhood of 0 in the product topology contains lines, i.e., sets 𝕂 f for f ≠ 0.
Finitedimensional spaces
Let 𝔽 denote ℝ or ℂ and endow 𝔽 with its usual Hausdorff normed Euclidean topology. Let X be a vector space over 𝔽 of finite dimension n := dim X and note that X is vector space isomorphic to 𝔽^{n}. X has a unique Hausdorff vector topology that is TVSisomorphic to 𝔽^{n}, which has the usual Euclidean (or product) topology, but it has a unique vector topology if and only if dim X = 0. This Hausdorff vector topology is also the finest vector topology on X.

If dim X = 0 then X = { 0 } has one vector topology: the trivial topology.
 The trivial topology on a vector space is Hausdorff if and only if the vector space has dimension 0.

If dim X = 1 then X has two vector topologies: the usual Euclidean topology and the trivial topology.
 Since the field 𝔽 is itself a 1dimensional topological vector space over 𝔽 and since it plays an important role in the definition of topological vector spaces, this dichotomy plays an important role in the definition of an absorbing set and has consequences that reverberate throughout functional analysis.
Proof outlineThe proof of this dichotomy is straightforward an we give only an outline with the important observations. As usual, 𝔽 is assumed have the (normed) Euclidean topology. Let X be a 1dimensional vector space over 𝔽. Observe that if B ⊆ 𝔽 is a ball centered at 0 and if S ⊆ X is a subset containing an "unbounded sequence" then B ⋅ S = X, where an "unbounded sequence" means a sequence of the form (s_{i} x)^{∞}
_{i=1} where 0 ≠ x ∈ X and (s_{i})^{∞}
_{i=1} ⊆ 𝔽 is unbounded in normed space 𝔽. Any vector topology on X will be translation invariant and invariant under nonzero scalar multiplication, and for every 0 ≠ x ∈ X, the map M_{x} : 𝔽 → X given by M_{x} (s) := s x is a continuous linear bijection. In particular, for any such x, X = 𝔽 x so every subset of X can be written as F x = M_{x}(F) for some unique subset F ⊆ 𝔽. And if this vector topology on X has a neighborhood of 0 that is properly contained in X, then the continuity of scalar multiplication 𝔽 × X → X at the origin forces the existence of an open neighborhood of the origin in X that doesn't contain any "unbounded sequence". From this, one deduces that if X doesn't carry the trivial topology and if 0 ≠ x ∈ X, then for any ball B ⊆ 𝔽 center at 0 in 𝔽, M_{x} (B) = B x contains an open neighborhood of the origin in X so that M_{x} is thus a linear homeomorphism. ∎ 
If dim X = n ≥ 2 then X has infinitely many distinct vector topologies:
 We now describe some of these topologies: Every linear functional f on X, which is vector space isomorphic to 𝔽^{n}, induces a seminorm f : X → ℝ defined by f(x) := f (x) where ker f = ker f. Every seminorm induces a (pseudometrizable locally convex) vector topology on X and seminorms with distinct kernels induce distinct topologies so that in particular, seminorms on X that are induced by linear functionals with distinct kernel will induces distinct vector topologies on X.
 However, while there are infinitely many vector topologies on X when dim X ≥ 2, there are, up to TVSisomorphism only 1 + dim X vector topologies on X. For instance, if n := dim X = 2 then the vector topologies on X consist of the trivial topology, the Hausdorff Euclidean topology, and then the infinitely many remaining nontrivial nonEuclidean vector topologies on X are all TVSisomorphic to one another.
Nonvector topologies
 Discrete and cofinite topologies
If X is a nontrivial vector space (i.e. of non0 dimension) then the discrete topology on X (which is always metrizable) is not a TVS topology because despite making addition and negation continuous (which makes it into a topological group under addition), it fails to make scalar multiplication continuous.
The cofinite topology on X (where a subset is open if and only if its complement is finite) is also not a TVS topology on X.
Linear maps
A linear operator between two topological vector spaces which is continuous at one point is continuous on the whole domain. Moreover, a linear operator f is continuous if f(X) is bounded (as defined below) for some neighborhood X of 0.
A hyperplane on a topological vector space X is either dense or closed. A linear functional f on a topological vector space X has either dense or closed kernel. Moreover, f is continuous if and only if its kernel is closed.
Types
Depending on the application additional constraints are usually enforced on the topological structure of the space. In fact, several principal results in functional analysis fail to hold in general for topological vector spaces: the closed graph theorem, the open mapping theorem, and the fact that the dual space of the space separates points in the space.
Below are some common topological vector spaces, roughly ordered by their niceness.
 Fspaces are complete topological vector spaces with a translationinvariant metric. These include L^{p} spaces for all p > 0.
 Locally convex topological vector spaces: here each point has a local base consisting of convex sets. By a technique known as Minkowski functionals it can be shown that a space is locally convex if and only if its topology can be defined by a family of seminorms. Local convexity is the minimum requirement for "geometrical" arguments like the Hahn–Banach theorem. The L^{p} spaces are locally convex (in fact, Banach spaces) for all p ≥ 1, but not for 0 < p < 1.
 Barrelled spaces: locally convex spaces where the Banach–Steinhaus theorem holds.
 Bornological space: a locally convex space where the continuous linear operators to any locally convex space are exactly the bounded linear operators.
 Stereotype space: a locally convex space satisfying a variant of reflexivity condition, where the dual space is endowed with the topology of uniform convergence on totally bounded sets.
 Montel space: a barrelled space where every closed and bounded set is compact
 Fréchet spaces: these are complete locally convex spaces where the topology comes from a translationinvariant metric, or equivalently: from a countable family of seminorms. Many interesting spaces of functions fall into this class. A locally convex Fspace is a Fréchet space.
 LFspaces are limits of Fréchet spaces. ILH spaces are inverse limits of Hilbert spaces.
 Nuclear spaces: these are locally convex spaces with the property that every bounded map from the nuclear space to an arbitrary Banach space is a nuclear operator.
 Normed spaces and seminormed spaces: locally convex spaces where the topology can be described by a single norm or seminorm. In normed spaces a linear operator is continuous if and only if it is bounded.
 Banach spaces: Complete normed vector spaces. Most of functional analysis is formulated for Banach spaces.
 Reflexive Banach spaces: Banach spaces naturally isomorphic to their double dual (see below), which ensures that some geometrical arguments can be carried out. An important example which is not reflexive is L^{1}, whose dual is L^{∞} but is strictly contained in the dual of L^{∞}.
 Hilbert spaces: these have an inner product; even though these spaces may be infinitedimensional, most geometrical reasoning familiar from finite dimensions can be carried out in them. These include L^{2} spaces.
 Euclidean spaces: ℝ^{n} or ℂ^{n} with the topology induced by the standard inner product. As pointed out in the preceding section, for a given finite n, there is only one ndimensional topological vector space, up to isomorphism. It follows from this that any finitedimensional subspace of a TVS is closed. A characterization of finite dimensionality is that a Hausdorff TVS is locally compact if and only if it is finitedimensional (therefore isomorphic to some Euclidean space).
Dual space
Every topological vector space has a continuous dual space—the set X* of all continuous linear functionals, i.e. continuous linear maps from the space into the base field 𝕂. A topology on the dual can be defined to be the coarsest topology such that the dual pairing each point evaluation X* → 𝕂 is continuous. This turns the dual into a locally convex topological vector space. This topology is called the weak* topology. This may not be the only natural topology on the dual space; for instance, the dual of a normed space has a natural norm defined on it. However, it is very important in applications because of its compactness properties (see Banach–Alaoglu theorem). Caution: Whenever X is a notnormable locally convex space, then the pairing map X* × X → 𝕂 is never continuous, no matter which vector space topology one chooses on V*.
Properties
Let X be a TVS (not necessarily Hausdorff or locally convex).
 Definition: For any S ⊆ X, the convex (resp. balanced, disked, closed convex, closed balanced, closed disked) hull of S is the smallest subset of X that has this property and contains S.
We denote the closure (resp. interior, convex hull, balanced hull, disked hull) of a set S by cl S (resp. Int S, co S, bal S, cobal S).
Neighborhoods and open sets
 Properties of neighborhoods and open sets
 The open convex subsets of a TVS X (not necessarily Hausdorff or locally convex) are exactly those that are of the form z + { x ∈ X : p(x) < 1 } = { x ∈ X : p(x  z) < 1 } for some z ∈ X and some positive continuous sublinear functional p on X.^{[19]}
 If S ⊆ X and U is an open subset of X then S + U is an open set in X.^{[4]}
 If S ⊆ X has nonempty interior then S  S is a neighborhood of 0.^{[4]}
 If K is an absorbing disk in a TVS X and if p := p_{K} is the Minkowski functional of K then^{[20]}
 Int K ⊆ { x ∈ X : p(x) < 1 } ⊆ K ⊆ { x ∈ X : p(x) ≤ 1 } ⊆ cl K
 Note that we did not assume that K had any topological properties nor that p was continuous (which happens if and only if K is a neighborhood of 0).
 Every TVS is connected^{[4]} and locally connected.^{[21]} Any connected open subset of a TVS is arcwise connected.
 Let 𝜏 and 𝜐 be two vector topologies on X. Then 𝜏 ⊆ 𝜐 if and only if whenever a net x_{•} = (x_{i})_{i ∈ I} in X converges 0 in (X, 𝜐) then x_{•} → 0 in (X, 𝜏).^{[22]}
 Let 𝒩 be a neighborhood basis of the origin in X, let S ⊆ X, and let x ∈ X. Then x ∈ cl S if and only if there exists a net s_{•} = (s_{N})_{N ∈ 𝒩} in S (indexed by 𝒩) such that s_{•} → x in X.^{[23]}^{[note 6]}
 Interior
 If S has nonempty interior then Int S = Int(cl S) and cl S = cl(Int S).
 If R, S ⊆ X and S has nonempty interior then Int(R) + Int(S) ⊆ R + Int(S) ⊆ Int(R+S).
 If S is a disk in X that has nonempty interior then 0 belongs to the interior of S.^{[24]}
 However, a closed balanced subset of X with nonempty interior may fail to contain 0 in its interior.^{[24]}
 If S is a balanced subset of X with nonempty interior then { 0 } ∪ Int S is balanced; in particular, if the interior of a balanced set contains the origin then Int S is balanced.^{[4]}^{[note 7]}
 If x belongs to the interior of a convex set S ⊆ X and y ∈ cl_{X} S, then the halfopen line segment [x, y) := {tx + (1  t)y : 0 < t ≤ 1} ⊆ Int S.^{[25]} If N is a balanced neighborhood of 0 in X then by considering intersections of the form N ∩ ℝ x (which are convex symmetric neighborhoods of 0 in the real TVS ℝ x) it follows that:
 Int N = [0, 1) Int N = [0, 1) N = (1, 1) N = B_{1} N, where B_{1} := { a ∈ 𝕂 : a < 1 }.
 if x ∈ Int N and r := sup { r > 0 : [0, r) x ⊆ Int N} then r > 1, [0, r) x ⊆ Int N, and if r ≠ ∞ then r x ∈ cl N ∖ Int N.
 If C is convex and 0 < t ≤ 1, then t Int C + (1  t) cl C ⊆ Int C.^{[26]}
NonHausdorff spaces and the closure of the origin
 X is Hausdorff if and only if { 0 } is closed in X.
 cl_{X} { 0 } = N so every neighborhood of the origin contains the closure of { 0 }.
 cl_{X} { 0 } is a vector subspace of X and its subspace topology is the trivial topology (which makes cl_{X} { 0 } compact).
 Every subset of cl_{X} { 0 } is compact and thus complete (see footnote for proof).^{[proof 2]} In particular, if X is not Hausdorff then there exist compact complete subsets that are not closed.^{[27]}
 S + cl_{X} { 0 } ⊆ cl_{X} S for every subset S ⊆ X.^{[proof 3]}
 So if S ⊆ X is open or closed in X then S + cl_{X} { 0 } = S (so S is a "tube" with vertical side cl_{X} { 0 }).
 The quotient map q : X → X / cl_{X} { 0 } is a closed map onto a Hausdorff TVS.^{[28]}
 A subset S of a TVS X is totally bounded if and only if S + cl { 0 } is totally bounded,^{[29]} if and only if cl_{X} S is totally bounded,^{[30]}^{[31]} if and only if its image under the canonical quotient map X → X / cl_{X} ({ 0 }) is totally bounded.^{[29]}
 If S ⊆ X is compact, then cl_{X} S = S + cl_{X} { 0 } and this set is compact. Thus the closure of a compact set is compact^{[note 8]} (i.e. all compact sets are relatively compact).^{[32]}
 A vector subspace of a TVS is bounded if and only if it is contained in the closure of { 0 }.^{[11]}
 If M is a vector subspace of a TVS X then X / M is Hausdorff if and only if M is closed in X.
 Every vector subspace of X that is an algebraic complement of cl { 0 } is a topological complement of cl { 0 }. Thus if H is an algebraic complement of cl_{X} { 0 } in X then the addition map H × cl_{X} { 0 } → X, defined by (h, n) ↦ h + n is a TVSisomorphsim, where H is Hausdorff and cl { 0 } has the indiscrete topology.^{[33]} Moreover, if C is a Hausdorff completion of H then C × cl_{X} { 0 } is a completion of X ≅ H × cl_{X} { 0 }.^{[29]}
Closed and compact sets
 Compact and totally bounded sets
 A subset of a TVS is compact if and only if it is complete and totally bounded.^{[27]}
 Thus, in a complete TVS, a closed and totally bounded subset is compact.^{[27]}
 A subset S of a TVS X is totally bounded if and only if cl_{X} S is totally bounded,^{[30]}^{[31]} if and only if its image under the canonical quotient map X → X / cl_{X} ({ 0 }) is totally bounded.^{[29]}
 Every relatively compact set is totally bounded.^{[27]} The closure of a totally bounded set is totally bounded.^{[27]}
 The image of a totally bounded set under a uniformly continuous map (e.g. a continuous linear map) is totally bounded.^{[27]}
 If K is a compact subset of a TVS X and U is an open subset of X containing K, then there exists a neighborhood N of 0 such that K + N ⊆ U.^{[34]}
 If S is a subset of a TVS X such that every sequence in S has a cluster point in S then S is totally bounded.^{[29]}
 Closure and closed set
 If S ⊆ X and a is a scalar then acl(S) ⊆ cl(aS); if X is Hausdorff, a ≠ 0, or S = ∅ then equality holds: cl(aS) = acl(S).
 In particular, every nonzero scalar multiple of a closed set is closed.
 If S ⊆ X and S + S ⊆ 2 cl S then cl S is convex.^{[35]}
 If R, S ⊆ X then cl(R) + cl(S) ⊆ cl(R+S) and cl[cl(R) + cl(S)] = cl(R+S).^{[4]} Thus if R + S is closed then so is cl(R) + cl(S).^{[35]}
 If S ⊆ X and if R is a set of scalars such that neither cl S nor cl R contain zero then (cl R) (cl S) = cl(RS).^{[35]}
 The closure of a vector subspace of a TVS is a vector subspace.
 If S ⊆ X then cl S = (S + N) where 𝒩 is any neighborhood basis at the origin for X.^{[36]}
 But we only have cl S ⊇ ∩ { U : S ⊆ U, U open in X } and this containment can be proper^{[37]} (e.g. X = ℝ and S is the rational numbers).
 It follows that cl U ⊆ U + U for every neighborhood U of the origin in X.^{[38]}
 If X is a real TVS and S ⊆ X, then rS ⊆ cl S (observe that the left hand side is independent of the topology on X); if S is a convex neighborhood of the origin then equality holds.
 The sum of a compact set and a closed set is closed. However, the sum of two closed subsets may fail to be closed^{[4]} (see this footnote^{[note 9]} for examples).
 If M is a vector subspace of X and N is a closed neighborhood of 0 in X such that U ∩ N is closed in X then M is closed in X.^{[34]}
 Every finite dimensional vector subspace of a Hausdorff TVS is closed. The sum of a closed vector subspace and a finitedimensional vector subspace is closed.^{[4]}
 Closed hulls
 In a locally convex space, convex hulls of bounded sets are bounded. This is not true for TVSs in general.^{[11]}
 The closed convex hull of a set is equal to the closure of the convex hull of that set (i.e. to cl(co(S))).^{[4]}
 The closed balanced hull of a set is equal to the closure of the balanced hull of that set (i.e. to cl(bal(S))).^{[4]}
 The closed disked hull of a set is equal to the closure of the disked hull of that set (i.e. to cl(cobal(S))).^{[4]}
 If R, S ⊆ X and the closed convex hull of one of the sets S or R is compact then cl(co(R)) + cl(co(S)) = cl(co(R+S)).^{[4]}
 If R, S ⊆ X each have a closed convex hull that is compact (i.e. cl(co(R)) and cl(co(S)) are compact) then cl(co(R ∪ S)) = co[cl(co(R)) ∪ cl(co(S))].
 Hulls and compactness
 In a general TVS, the closed convex hull of a compact set may fail to be compact.
 The balanced hull of a compact (resp. totally bounded) set has that same property.^{[4]}
 The convex hull of a finite union of compact convex sets is again compact and convex.^{[4]}
Other properties
 Meager, nowhere dense, and Baire
 A disk in a TVS is not nowhere dense if and only if its closure is a neighborhood of the origin.^{[7]}
 A vector subspace of a TVS that is closed but not open is nowhere dense.^{[7]}
 Suppose X is a TVS that does not carry the indiscrete topology. Then X is a Baire space if and only if X has no balanced absorbing nowhere dense subset.^{[7]}
 A TVS X is a Baire space if and only if X is nonmeager, which happens if and only if there does not exist a nowhere dense set D such that X = nD.^{[7]}
 Note that every nonmeager locally convex TVS is a barrelled space.^{[7]}
 Important algebraic facts and common misconceptions
 If S ⊆ X then 2S ⊆ S + S; if S is convex then equality holds.
 For an example where equality does not hold, let x be nonzero and set S = { x, x }; S = { x, 2x } also works.
 A subset C is convex if and only if (s + t)C = sC + tC for all positive real s and t.^{[39]}
 The disked hull of a set S ⊆ X is equal to the convex hull of the balanced hull of S (i.e. to co(bal(S))).
 However, in general co(bal(S)) ≠ bal(co(S)).
 If R, S ⊆ X and a is a scalar then co(R + S) = co R + co S and co(aS) = aco S.^{[4]}
 If R, S ⊆ X are convex nonempty disjoint sets and x ∉ R ∪ S, then S ∩ co(R ∪ { x }) = ∅ or R ∩ co(S ∪ { x }) = ∅.
 In any nontrivial vector space X, there exist two disjoint nonempty convex subsets whose union is X.
 Other properties
 Every TVS topology can be generated by a family of Fseminorms.^{[40]}
Properties preserved by set operators
 The balanced hull of a compact (resp. totally bounded, open) set has that same property.^{[4]}
 The (Minkowski) sum of two compact (resp. bounded, balanced, convex) sets has that same property.^{[4]} But the sum of two closed sets need not be closed.
 The convex hull of a balanced (resp. open) set is balanced (resp. open).
 The convex hull of a closed set need not be closed.^{[4]}
 The convex hull of a bounded set need not be bounded.
The following table, the color of each cell indicates whether or not a given property of subsets of X (indicated by the column name e.g. "convex") is preserved under the set operator (indicated by the row's name e.g. "closure"). If in every TVS, a property is preserved under the indicated set operator then that cell will be colored green; otherwise, it will be colored red.
So for instance, since the union of two absorbing sets is again absorbing, the cell in row "R∪S" and column "Absorbing" is colored green. But since the arbitrary intersection of absorbing sets need not be absorbing, the cell in row "Arbitrary intersections (of at least 1 set)" and column "Absorbing" is colored red. If a cell is not colored then that information has yet to be filled in.
Operation  Property of R, S, and any other subsets of X that is considered  

Absorbing  Balanced  Convex  Symmetric  Convex Balanced 
Vector subspace 
Open  Neighborhood of 0 
Closed  Closed Balanced 
Closed Convex 
Closed Convex Balanced 
Barrel  Closed Vector subspace 
Totally bounded 
Compact  Compact Convex 
Relatively compact  Complete  Sequentially Complete 
Banach disk 
Bounded  Bornivorous  Infrabornivorous  Nowhere dense (in X) 
Meager  Separable  Pseudometrizable  
R∪S  
∪ of increasing non∅ chain  
Arbitrary unions (of at least 1 set)  
R∩S  
∩ of decreasing non∅ chain  
Arbitrary intersections (of at least 1 set)  
R+S  
Scalar multiple  
Non0 scalar multiple  
Positive scalar multiple  
Closure  
Interior  
Balanced core  
Balanced hull  
Convex hull  
Convex balanced hull  
Closed balanced hull  
Closed convex hull  
Closed convex balanced hull  
Linear span  
Preimage under a continuous linear map  
Image under a continuous linear map  
Image under a continuous linear surjection  
Nonempty subset of R 
See also
 Banach space – Normed vector space that is complete
 Hilbert space – Inner product space that is metrically complete; a Banach space whose norm induces an inner product (The norm satisfies the parallelogram identity)
 Normed space
 Locally convex topological vector space – A vector space with a topology defined by convex open sets
 Topological group – Group that is a topological space with continuous group action
 Vector space – Basic algebraic structure of linear algebra
Notes
 ^ The topological properties of course also require that X be a TVS.
 ^ In particular, X is Hausdorff if and only if the set {0} is closed (i.e., X is a T_{1} space).
 ^ In fact, this is true for topological group, since the proof doesn't use the scalar multiplications.
 ^ Also called a metric linear space, which means that it's a real or complex vector space together with a translationinvariant metric for which addition and scalar multiplication are continuous.
 ^ A series ∑^{∞}
_{i=1} x_{i} is said to converge in a TVS X if the sequence of partial sums converges.  ^ This shows, in particular, that it will often suffice to consider nets indexed by a neighborhood basis of the origin rather than nets on arbitrary directed sets.
 ^ If the interior of a balanced set is nonempty but does not contain the origin (such sets exists even in ℝ^{2} and ℂ^{2}) then the interior of this set can not be a balanced set.
 ^ In general topology, the closure of a compact subset of a nonHausdorff space may fail to be compact (e.g. the particular point topology on an infinite set). This result shows that this does not happen in nonHausdorff TVSs. S + cl_{X} { 0 } is compact because it is the image of the compact set S × cl_{X} { 0 } under the continuous addition map ⋅ + ⋅ : X × X → X. Recall also that the sum of a compact set (i.e. S) and a closed set is closed so S + cl_{X} { 0 } is closed in X.
 ^ In the ℝ^{2}, the sum of the yaxis and the graph of y = 1/x, which is the complement of the yaxis, is open in ℝ^{2}. In ℝ, the sum of ℤ and √2ℤ is a countable dense subset of ℝ so not closed in ℝ.
 ^ This condition is satisfied if we let 𝕊 be the set of all topological strings in (X, 𝜏).
 ^ Since cl_{X} { 0 } has the trivial topology, so does each of its subsets, which makes them all compact. It is known that a subset of any uniform space is compact if and only if it is complete and totally bounded.
 ^ If s ∈ S then s + cl_{X} { 0 } = cl_{X} (s + { 0 }) = cl_{X} { s } ⊆ cl_{X} S. Since S ⊆ S + cl_{X} { 0 } ⊆ cl_{X} S, if S is closed then equality holds. Clearly, the complement of any set S satisfying the equality S + cl_{X} { 0 } = S must also satisfy this equality.
References
 ^ ^{a} ^{b} ^{c} Köthe 1969, p. 91.
 ^ Schaefer 1999, pp. 74–78.
 ^ ^{a} ^{b} ^{c} Wilansky 2013, pp. 4047.
 ^ ^{a} ^{b} ^{c} ^{d} ^{e} ^{f} ^{g} ^{h} ^{i} ^{j} ^{k} ^{l} ^{m} ^{n} ^{o} ^{p} ^{q} ^{r} ^{s} ^{t} ^{u} Narici & Beckenstein 2011, pp. 67113.
 ^ ^{a} ^{b} ^{c} ^{d} ^{e} Adasch 1978, pp. 59.
 ^ Schechter 1996, pp. 721751.
 ^ ^{a} ^{b} ^{c} ^{d} ^{e} ^{f} Narici & Beckenstein 2011, pp. 371423.
 ^ Adasch 1978, pp. 1015.
 ^ Wilansky 2013, p. 53.
 ^ Rudin (1991), p. 8.
 ^ ^{a} ^{b} ^{c} ^{d} ^{e} Narici & Beckenstein 2011, pp. 155176.
 ^ Kŏthe (1983), section 15.11.
 ^ http://eom.springer.de/T/t093180.htm
 ^ Schaefer & Wolff 1999, pp. 1219.
 ^ Schaefer (1999), 16.
 ^ ^{a} ^{b} ^{c} Narici & Beckenstein 2011, pp. 115154.
 ^ Swartz 1992, pp. 2729.
 ^ ^{a} ^{b} ^{c} Narici & Beckenstein 2011, p. 111.
 ^ Narici & Beckenstein 2011, pp. 177220.
 ^ Narici & Beckenstein 2011, p. 119120.
 ^ Schaefer & Wolff 1999, p. 35.
 ^ Wilansky 2013, p. 43.
 ^ Wilansky 2013, p. 42.
 ^ ^{a} ^{b} Narici & Beckenstein 2011, p. 108.
 ^ Schaefer 1999, p. 38.
 ^ Jarchow 1981, pp. 101104.
 ^ ^{a} ^{b} ^{c} ^{d} ^{e} ^{f} Narici & Beckenstein 2011, pp. 4766.
 ^ Narici & Beckenstein 2011, pp.��107112.
 ^ ^{a} ^{b} ^{c} ^{d} ^{e} Schaefer & Wolff 1999, pp. 1235.
 ^ ^{a} ^{b} Schaefer & Wolff 1999, p. 25.
 ^ ^{a} ^{b} Jarchow 1981, pp. 5673.
 ^ Narici & Beckenstein 2011, p. 156.
 ^ Wilansky 2013, p. 63.
 ^ ^{a} ^{b} Narici & Beckenstein 2011, pp. 1945.
 ^ ^{a} ^{b} ^{c} Wilansky 2013, pp. 4344.
 ^ Narici & Beckenstein 2011, pp. 80.
 ^ Narici & Beckenstein 2011, pp. 108109.
 ^ Jarchow 1981, pp. 3032.
 ^ Rudin 1991, p. 38.
 ^ Swartz 1992, p. 35.
 Adams, Robert; Fournier, John (June 26, 2003). Sobolev Spaces. Pure and Applied Mathematics Series. 140 (Second ed.). Amsterdam Boston: Academic Press. ISBN 9780120441433. OCLC 180703211.CS1 maint: date and year (link)
 Jarchow, Hans (1981). Locally convex spaces. Stuttgart: B.G. Teubner. ISBN 9783519022244. OCLC 8210342.CS1 maint: ref=harv (link)
 Bourbaki, Nicolas (1987) [1981]. Topological Vector Spaces: Chapters 1–5 [Sur certains espaces vectoriels topologiques]. Annales de l'Institut Fourier. Elements of mathematics. 2. Translated by Eggleston, H.G.; Madan, S. Berlin New York: SpringerVerlag. ISBN 9783540423386. OCLC 17499190.CS1 maint: ref=harv (link)
 Conway, John (1990). A course in functional analysis. Graduate Texts in Mathematics. 96 (2nd ed.). New York: SpringerVerlag. ISBN 9780387972459. OCLC 21195908.CS1 maint: ref=harv (link)
 Dunford, Nelson; Schwartz, Jacob T. (1988). Linear Operators. Pure and applied mathematics. 1. New York: WileyInterscience. ISBN 9780471608486. OCLC 18412261.
 Edwards, Robert E. (Jan 1, 1995). Functional Analysis: Theory and Applications. New York: Dover Publications. ISBN 9780486681436. OCLC 30593138.CS1 maint: ref=harv (link) CS1 maint: date and year (link)
 Grothendieck, Alexander (January 1, 1973). Topological Vector Spaces. Translated by Chaljub, Orlando. New York: Gordon and Breach Science Publishers. ISBN 9780677300207. OCLC 886098.CS1 maint: ref=harv (link) CS1 maint: date and year (link)
 Jarchow, Hans (1981). Locally convex spaces. Stuttgart: B.G. Teubner. ISBN 9783519022244. OCLC 8210342.CS1 maint: ref=harv (link)
 Köthe, Gottfried (1969). Topological Vector Spaces I. Grundlehren der mathematischen Wissenschaften. 159. Translated by Garling, D.J.H. New York: Springer Science & Business Media. ISBN 9783642649882. MR 0248498. OCLC 840293704.CS1 maint: ref=harv (link)
 Köthe, Gottfried (December 19, 1979). Topological Vector Spaces II. Grundlehren der mathematischen Wissenschaften. 237. New York: Springer Science & Business Media. ISBN 9780387904009. OCLC 180577972.CS1 maint: ref=harv (link) CS1 maint: date and year (link)
 Lang, Serge (1972). Differential manifolds. Reading, Mass.–London–Don Mills, Ont.: AddisonWesley Publishing Co., Inc. ISBN 0201041669.
 Narici, Lawrence; Beckenstein, Edward (2011). Topological Vector Spaces. Pure and applied mathematics (Second ed.). Boca Raton, FL: CRC Press. ISBN 9781584888666. OCLC 144216834.
 Robertson, A.P.; Robertson, W.J. (1964). Topological vector spaces. Cambridge Tracts in Mathematics. 53. Cambridge University Press.
 Robertson, Alex P.; Robertson, Wendy J. (January 1, 1980). Topological Vector Spaces. Cambridge Tracts in Mathematics. 53. Cambridge England: Cambridge University Press. ISBN 9780521298827. OCLC 589250.CS1 maint: ref=harv (link) CS1 maint: date and year (link)
 Rudin, Walter (January 1, 1991). Functional Analysis. International Series in Pure and Applied Mathematics. 8 (Second ed.). New York, NY: McGrawHill Science/Engineering/Math. ISBN 9780070542365. OCLC 21163277.CS1 maint: ref=harv (link) CS1 maint: date and year (link)
 Schaefer, Helmut H.; Wolff, Manfred P. (1999). Topological Vector Spaces. GTM. 8 (Second ed.). New York, NY: Springer New York Imprint Springer. ISBN 9781461271550. OCLC 840278135.CS1 maint: ref=harv (link)
 Schechter, Eric (October 30, 1996). Handbook of Analysis and Its Foundations. San Diego, CA: Academic Press. ISBN 9780126227604. OCLC 175294365.CS1 maint: date and year (link)
 Swartz, Charles (1992). An introduction to Functional Analysis. New York: M. Dekker. ISBN 9780824786434. OCLC 24909067.CS1 maint: ref=harv (link)
 Trèves, François (August 6, 2006) [1967]. Topological Vector Spaces, Distributions and Kernels. Mineola, N.Y.: Dover Publications. ISBN 9780486453521. OCLC 853623322.CS1 maint: ref=harv (link) CS1 maint: date and year (link)
 Wilansky, Albert (2013). Modern Methods in Topological Vector Spaces. Mineola, New York: Dover Publications, Inc. ISBN 9780486493534. OCLC 849801114.CS1 maint: ref=harv (link)
External links
 Media related to Topological vector spaces at Wikimedia Commons