In
mathematics
Mathematics is an area of knowledge that includes the topics of numbers, formulas and related structures, shapes and the spaces in which they are contained, and quantities and their changes. These topics are represented in modern mathematics ...
, particularly in
functional analysis
Functional analysis is a branch of mathematical analysis, the core of which is formed by the study of vector spaces endowed with some kind of limit-related structure (e.g. Inner product space#Definition, inner product, Norm (mathematics)#Defini ...
, a Mackey space is a
locally convex topological vector space
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 vec ...
''X'' such that the
topology
In mathematics, topology (from the Greek language, Greek words , and ) is concerned with the properties of a mathematical object, geometric object that are preserved under Continuous function, continuous Deformation theory, deformations, such ...
of ''X'' coincides with the
Mackey topology In functional analysis and related areas of mathematics, the Mackey topology, named after George Mackey, is the finest topology for a topological vector space which still preserves the continuous dual. In other words the Mackey topology does not mak ...
τ(''X'',''X′''), the
finest topology
In topology and related areas of mathematics, the set of all possible topologies on a given set forms a partially ordered set. This order relation can be used for comparison of the topologies.
Definition
A topology on a set may be defined as th ...
which still preserves the
continuous dual
In mathematics, any vector space ''V'' has a corresponding dual vector space (or just dual space for short) consisting of all linear forms on ''V'', together with the vector space structure of pointwise addition and scalar multiplication by const ...
. They are named after
George Mackey
George Whitelaw Mackey (February 1, 1916 – March 15, 2006) was an American mathematician known for his contributions to quantum logic, representation theory, and noncommutative geometry.
Career
Mackey earned his bachelor of arts at Rice Univer ...
.
Examples
Examples of locally convex spaces that are Mackey spaces include:
* All
barrelled space
In functional analysis and related areas of mathematics, a barrelled space (also written barreled space) is a topological vector space (TVS) for which every barrelled set in the space is a neighbourhood for the zero vector.
A barrelled set or a b ...
s and more generally all
infrabarreled space
In functional analysis, a discipline within mathematics, a locally convex topological vector space (TVS) is said to be infrabarrelled (also spelled infra barreled) if every bounded absorbing barrel is a neighborhood of the origin.
Characteri ...
s
** Hence in particular all
bornological space
In mathematics, particularly in functional analysis, a bornological space is a type of space which, in some sense, possesses the minimum amount of structure needed to address questions of boundedness of sets and linear maps, in the same way that a ...
s and
reflexive space In the area of mathematics known as functional analysis, a reflexive space is a locally convex topological vector space (TVS) for which the canonical evaluation map from X into its bidual (which is the strong dual of the strong dual of X) is an iso ...
s
* All
metrizable space
In topology and related areas of mathematics, a metrizable space is a topological space that is homeomorphic to a metric space. That is, a topological space (X, \mathcal) is said to be metrizable if there is a metric
Metric or metrical may refer t ...
s.
** In particular, all
Fréchet spaces, including all
Banach space
In mathematics, more specifically in functional analysis, a Banach space (pronounced ) is a complete normed vector space. Thus, a Banach space is a vector space with a metric that allows the computation of vector length and distance between vector ...
s and specifically
Hilbert spaces
In mathematics, Hilbert spaces (named after David Hilbert) allow generalizing the methods of linear algebra and calculus from (finite-dimensional) Euclidean vector spaces to spaces that may be infinite-dimensional. Hilbert spaces arise naturally ...
, are Mackey spaces.
* The product, locally convex direct sum, and the inductive limit of a family of Mackey spaces is a Mackey space.
[Schaefer (1999) p. 138]
Properties
* A locally convex space
with continuous dual
is a Mackey space if and only if each convex and
-relatively compact subset of
is equicontinuous.
* The
completion of a Mackey space is again a Mackey space.
[Schaefer (1999) p. 133]
* A separated quotient of a Mackey space is again a Mackey space.
* A Mackey space need not be
separable,
complete
Complete may refer to:
Logic
* Completeness (logic)
* Completeness of a theory, the property of a theory that every formula in the theory's language or its negation is provable
Mathematics
* The completeness of the real numbers, which implies t ...
,
quasi-barrelled, nor
-quasi-barrelled.
See also
*
*
References
*
*
*
*
*
{{mathanalysis-stub
Topological vector spaces