Topological vector space
mathematics, a topological vector space is one of the basic structures investigated in functional analysis. As the name suggests the space blends a topological structure (a uniform structureto be precise) with the algebraic concept of a vector space.
The elements of topological vector spaces are typically functions, and the topology is often defined so as to capture a particular notion of convergence of sequences of functions.
Hilbert spacesand Banach spacesare well-known examples.
A topological vector space "X" is a
vector spaceover a topological fieldK (most often the real or complex numbers with their standard topologies) which is endowed with a topology such that vector addition "X" × "X" → "X" and scalar multiplication K × "X" → "X" are continuous functions.
Some authors require the topology on "X" to be Hausdorff, and some additionally require the topology on "X" to be
locally convex(e.g., Fréchet space). For a topological vector space to be Hausdorff it suffices that the space be T1.
The category of topological vector spaces over a given topological field K is commonly denoted TVSK or TVectK. The objects are the topological vector spaces over K and the
morphisms are the continuous K-linear maps from one object to another.
normed vector spaces, and therefore all Banach spaces and Hilbert spaces, are examples of topological vector spaces.
However, there are topological vector spaces whose topology does not arise from a norm, such as 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.
topological fieldis a topological vector space over each of its subfields.
Product vector spaces
cartesian productof a family of topological vector spaces, when endowed with the product topologyis a topological vector space. For instance, the set "X" of all functions "f" : R → R. "X" can be identified with the product space RR and carries a natural product topology. With this topology, "X" becomes a topological vector space, called the "space 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.
A vector space is an
abelian groupwith 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.
In particular, topological vector spaces are
uniform spaces and one can thus talk about completeness, uniform convergenceand uniform continuity. The vector space operations of addition and scalar multiplication are actually uniformly continuous. Because of this, every topological vector space can be completed and is thus a dense linear subspaceof a complete topological vector space.
Vector addition and scalar multiplication are not only continuous but even
homeomorphisms which means we can construct a base for the topology and thus reconstruct the whole topology of the space from any local basearound the origin.
Every topological vector space has a local base of absorbing and
If a topological vector space is
semi-metrisable, that is the topology can be given by a semi-metric, then the semi-metric must be translation invariant. Also, a topological vector space is metrizableif and only if it is Hausdorff and has a countable local base (i.e., a neighborhood base at the origin).
A linear function between two topological vector spaces which is continuous at one point is continuous on the whole domain.
If a vector space is finite dimensional, then there is a unique Hausdorff topology on it. Thus any finite dimensional topological vector space is isomorphic to K"n". A topological vector space is
finite-dimensionalif and only if it is locally compact. Here isomorphism means that there exists a linear homeomorphismbetween the two spaces.
Types of topological vector spaces
Depending on the application we usually enforce additional constraints on the topological structure of the space. Below are some common topological vector spaces, roughly ordered by their "niceness".
Locally convex topological vector spaces: here each point has a local baseconsisting 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.
Barrelled spaces: locally convex spaces where the Banach-Steinhaus theoremholds.
Montel space: a barrelled space where every closed and bounded set is compact
Bornological space: a locally convex space where the continuous linear operators to any locally convex space are exactly the bounded linear operators.
LF-spaces are limits of Fréchet spaces. ILH spaces are inverse limits of Hilbert spaces.
F-spaces are complete topological vector spaces with a translation-invariant metric. These include Lp spaces for all p > 0.
Fréchet spaces: these are complete locally convex spaces where the topology comes from a translation-invariant metric, or equivalently: from a countablefamily of semi-norms. Many interesting spaces of functions fall into this class. A locally convex F-space is a Fréchet space.
Nuclear spaces: a kind of Fréchet space where 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.
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 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 "V"* × "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 Banach space has a natural norm defined on it. However, it is very important in applications because of its compactness properties (see Banach-Alaoglu theorem).
* cite book
last = Schaefer
first = Helmuth H.
year = 1971
title = Topological vector spaces
publisher = Springer-Verlag
location = New York
id = ISBN 0-387-98726-6
* cite book
publisher=Addison-Wesley Publishing Co., Inc.
location=Reading, Mass.–London–Don Mills, Ont.
Wikimedia Foundation. 2010.
Look at other dictionaries:
Locally convex topological vector space — In functional analysis and related areas of mathematics, locally convex topological vector spaces or locally convex spaces are examples of topological vector spaces (TVS) which generalize normed spaces. They can be defined as topological vector… … Wikipedia
Bounded set (topological vector space) — In functional analysis and related areas of mathematics, a set in a topological vector space is called bounded or von Neumann bounded, if every neighborhood of the zero vector can be inflated to include the set. Conversely a set which is not… … Wikipedia
Vector space — This article is about linear (vector) spaces. For the structure in incidence geometry, see Linear space (geometry). Vector addition and scalar multiplication: a vector v (blue) is added to another vector w (red, upper illustration). Below, w is… … Wikipedia
Normed vector space — In mathematics, with 2 or 3 dimensional vectors with real valued entries, the idea of the length of a vector is intuitive and can easily be extended to any real vector space Rn. The following properties of vector length are crucial. 1. The zero… … Wikipedia
Ordered vector space — A point x in R2 and the set of all y such that x≤y (in red). The order here is x≤y if and only if x1 ≤ y1 and x2 ≤ y2. In mathematics an ordered vector space or partially ordered vector space is a vector space equi … Wikipedia
Dimension (vector space) — In mathematics, the dimension of a vector space V is the cardinality (i.e. the number of vectors) of a basis of V. It is sometimes called Hamel dimension or algebraic dimension to distinguish it from other types of dimension. This description… … Wikipedia
Orientation (vector space) — See also: orientation (geometry) The left handed orientation is shown on the left, and the right handed on the right. In mathematics, orientation is a notion that in two dimensions allows one to say when a cycle goes around clockwise or… … Wikipedia
Category of topological vector spaces — In mathematics, the category of topological vector spaces is the category whose objects are topological vector spaces and whose morphisms are continuous linear maps between them. This is a category because the composition of two continuous linear … Wikipedia
Topological space — Topological spaces are mathematical structures that allow the formal definition of concepts such as convergence, connectedness, and continuity. They appear in virtually every branch of modern mathematics and are a central unifying notion. The… … Wikipedia
Topological tensor product — In mathematics, there are usually many different ways to construct a topological tensor product of two topological vector spaces. For Hilbert spaces or nuclear spaces there is a simple well behaved theory of tensor products (see Tensor product of … Wikipedia