Topological Vector Space

Get Topological Vector Space essential facts below. View Videos or join the Topological Vector Space discussion. Add Topological Vector Space to your PopFlock.com topic list for future reference or share this resource on social media.
## Definition

### Definition via filter base

## Examples

### Finest vector topology

### Product vector spaces

## Topological structure

## Local notions

## Types

## Dual space

## Properties

## Notes

## References

## External links

This article uses material from the Wikipedia page available here. It is released under the Creative Commons Attribution-Share-Alike License 3.0.

Topological Vector Space

In mathematics, a **topological vector space** (also called a **linear topological space**) 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 well-known examples.

Unless stated otherwise, the underlying field of a topological vector space is assumed to be either the complex numbers **C** or the real numbers **R**.

A **topological vector space** *X* is a vector space over a topological field **K** (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 **K** × *X* -> *X* are continuous functions (where the domains of these functions are endowed with product topologies).

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.
The topological and linear algebraic structures can be tied together even more closely with additional assumptions, the most common of which are listed below.

The category of topological vector spaces over a given topological field **K** is commonly denoted **TVS**_{K} or **TVect**_{K}.
The objects are the topological vector spaces over **K** and the morphisms are the continuous **K**-linear maps from one object to another.

Suppose that *X* is a real or complex vector space and let B be a filter base of subsets of *X* such that:

Then B is a neighborhood base at 0 for a TVS topology on *X*.

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 + :
*V*×*V*->*V*is jointly continuous with respect to this topology. This follows directly from the triangle inequality obeyed by the norm. - The scalar multiplication · :
**K**×*V*->*V*, where**K**is the underlying scalar field of*V*, is jointly continuous. This follows from the triangle inequality and homogeneity of the norm.

Therefore, all Banach spaces and Hilbert spaces are examples of topological vector 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 infinite-dimensional 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.

If *X* is a vector space then the trivial topology { *X*, ∅ } is a TVS topology on *X*.
If *X* is a non-trivial vector space (i.e. of non-0 dimension) then the discrete topology on *X* is *not* a TVS topology; furthermore, 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*.

Let *X* be a real or complex vector space.
There exists a TVS-topololgy ?_{f} on *X* that is finer than every other TVS-topology on *X* (that is, any TVS-topology on *X* is necessarily a subset of ?_{f}).^{[1]}
Every linear map from (*X*, ?_{f}) into another TVS is necessarily continuous.^{[1]}
If *X* has an uncountable Hamel basis then ?_{f} is *not* locally convex.^{[1]}

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* : **R** -> **R**: this set *X* can be identified with the product space **R**^{R} 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* in *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 **K** *f* for *f* ? 0.

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.

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.^{[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*.

In particular, topological vector spaces are uniform spaces and one can thus talk about completeness, uniform convergence and uniform continuity. (This implies that every Hausdorff topological vector space is Tychonoff.^{[3]}) The vector space operation of addition is uniformly continuous and the scalar multiplication is Cauchy continuous (it is almost never uniformly continuous, however). Because of this, every topological vector space can be completed and is thus a dense linear subspace of a complete topological vector space.

The **Birkhoff-Kakutani theorem** gives that the following three conditions on a topological vector space *V* are equivalent:^{[4]}

- The origin 0 is closed in
*V*, and there is a countable basis of neighborhoods for 0 in*V*. *V*is metrizable (as a topological space).- There is a translation-invariant metric on
*V*that induces the given topology on*V*.

A **metric linear space** means a (real or complex) vector space together with a metric for which addition and scalar multiplication are continuous. By the Birkhoff-Kakutani theorem, it follows that there is an equivalent metric that is translation-invariant.

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.^{[5]}

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(V)* is bounded (as defined below) for some neighborhood *V* 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.

Let **K** be a non-discrete locally compact topological field, for example the real or complex numbers. A topological vector space over **K** is locally compact if and only if it is finite-dimensional, that is, isomorphic to **K**^{n} for some natural number *n*.

A subset *E* of a topological vector space *X* is said to be

*balanced*if*tE*?*E*for every scalar*bounded*if for every neighborhood*V*of*0*, then*E*?*tV*when*t*is sufficiently large.^{[6]}

The definition of boundedness can be weakened a bit; *E* is bounded if and only if every countable subset of it is bounded. 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 semi-norm *p* is bounded on *E*.

Every topological vector space has a local base of absorbing and balanced sets.

A sequence {*x _{n}*} is said to be Cauchy if for every neighborhood

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*.

- F-spaces are complete topological vector spaces with a translation-invariant 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 semi-norms. 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 translation-invariant metric, or equivalently: from a countable family of semi-norms. Many interesting spaces of functions fall into this class. A locally convex F-space is a Fréchet space.
- LF-spaces 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 semi-normed spaces: locally convex spaces where the topology can be described by a single norm or semi-norm. 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 infinite-dimensional, most geometrical reasoning familiar from finite dimensions can be carried out in them. These include L
^{2}spaces. - Euclidean spaces:
**R**^{n}or**C**^{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 n-dimensional topological vector space, up to isomorphism. It follows from this that any finite-dimensional 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 finite-dimensional (therefore isomorphic to some Euclidean space).

Every topological vector space has a continuous dual space—the set *V** of all continuous linear functionals, i.e. continuous linear maps from the space into the base field **K**. A topology on the dual can be defined to be the coarsest topology such that the dual pairing each point evaluation *V** -> **K** 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 *V* is a not-normable locally convex space, then the pairing map *V** × *V* -> **K** is never continuous, no matter which vector space topology one chooses on *V**.

Let *X* be a TVS (not necessarily Hausdorff or locally convex).

- For any subset
*S*of*X*, any*x*∈*X*, and any scalar*a*, cl(*x*+*S*) =*x*+cl(*S*) and cl(*aS*) =*a*cl(*S*). - If
*S*is any subset of*X*and if*U*is an open subset of*X*, then*S*+*U*is an open set in*X*. - Every TVS is connected.
- Every neighborhood of 0 is an absorbing set.
- If
*U*is a neighborhood of 0 then every non-0 scalar multiple of*U*is also a neighborhood of 0. - Every neighborhood of 0 contains a balanced neighborhood of 0.
- The origin 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.
- The sum of a compact set and a closed set is closed. However, the sum of two closed subsets may fail to be closed.
- If
*R*and*S*are subsets of*X*then cl(*R*) + cl(*S*) ⊆ cl(*R*+*S*); if in addition*S*has non-empty interior then int(*R*) + int(*S*) ⊆*R*+ int(*S*) ⊆ int(*R*+*S*). - The convex hull of an open set is open.
- The closure and interior of a convex set is again convex.
- The convex hull of a finite union of compact convex sets is again compact and convex.
- If
*S*is a disk in*X*that has non-empty interior then 0 belongs to the interior of*S*.^{[7]}- However, a closed balanced subset of
*X*with non-empty interior may fail to contain 0 in its interior.^{[7]}

- However, a closed balanced subset of

- ^
^{a}^{b}^{c}Narici 2011, p. 111. **^**In particular,*X*is Hausdorff if and only if the set {0} is closed (i.e.,*X*is a T_{1}space).**^**Schaefer (1999), 16.**^**K?the (1983), section 15.11.**^**http://eom.springer.de/T/t093180.htm**^**Rudin (1991), p. 8.- ^
^{a}^{b}Narici 2011, p. 108.

- Narici, Lawrence; Beckenstein, Edward (2011).
*Topological Vector Spaces*. Pure and applied mathematics (Second ed.). Boca Raton, FL: CRC Press. ISBN 978-1584888666. OCLC 144216834. - Grothendieck, Alexander (1973).
*Topological vector spaces*. New York: Gordon and Breach Science Publishers. ISBN 0-677-30020-4. - Köthe, Gottfried (1983) [1969].
*Topological vector spaces I*. Grundlehren der mathematischen Wissenschaften.**159**. New York: Springer-Verlag. ISBN 978-3-642-64990-5. - Köthe, Gottfried (1979).
*Topological vector spaces II*. Grundlehren der mathematischen Wissenschaften.**237**. New York: Springer-Verlag. ISBN 978-1-4684-9411-2. - Schaefer, Helmut H.; Wolff, M. P. (1999) [1966].
*Topological vector spaces*. GTM.**3**(2nd ed.). New York: Springer-Verlag. ISBN 978-0-387-98726-2. - Lang, Serge (1972).
*Differential manifolds*. Reading, Mass.–London–Don Mills, Ont.: Addison-Wesley Publishing Co., Inc. ISBN 0-201-04166-9. - Robertson, A.P.; Robertson, W.J. (1964).
*Topological vector spaces*. Cambridge Tracts in Mathematics.**53**. Cambridge University Press. - Rudin, Walter (1991).
*Functional Analysis*. International Series in Pure and Applied Mathematics.**8**(Second ed.). New York, NY: McGraw-Hill Science/Engineering/Math. ISBN 978-0070542365. OCLC 21163277.CS1 maint: ref=harv (link) - Schaefer, Helmut H.; Wolff, Manfred P. (1999).
*Topological Vector Spaces*. GTM.**8**(Second ed.). New York, NY: Springer New York Imprint Springer. ISBN 978-1-4612-7155-0. OCLC 840278135.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 978-0486453521. OCLC 853623322.CS1 maint: ref=harv (link) CS1 maint: date and year (link)

- Media related to Topological vector spaces at Wikimedia Commons

This article uses material from the Wikipedia page available here. It is released under the Creative Commons Attribution-Share-Alike License 3.0.

Popular Products

Music Scenes

Popular Artists