The Mackey–Arens theorem is an important theorem 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, norm, topology, etc.) and the linear functions defi ...
that characterizes those
locally convex
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 v ...
vector topologies that have some given space of
linear functional
In mathematics, a linear form (also known as a linear functional, a one-form, or a covector) is a linear map from a vector space to its field of scalars (often, the real numbers or the complex numbers).
If is a vector space over a field , the ...
s as their
continuous dual space
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 ...
.
According to Narici (2011), this profound result is central to
duality theory; a theory that is "the central part of the modern theory of topological vector spaces."
Prerequisites
Let be a vector space and let be a vector subspace of the algebraic dual of that
separates points on .
If is any other locally convex Hausdorff topological vector space topology on , then we say that is compatible with duality between and if when is equipped with , then it has as its continuous dual space.
If we give the weak topology then is a Hausdorff locally convex
topological vector space
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 that is als ...
(TVS) and is compatible with duality between and (i.e.
).
We can now ask the question: what are ''all'' of the locally convex Hausdorff TVS topologies that we can place on that are compatible with duality between and ?
The answer to this question is called the Mackey–Arens theorem.
Mackey–Arens theorem
See also
*
Dual system
*
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 ma ...
*
Polar topology
In functional analysis and related areas of mathematics a polar topology, topology of \mathcal-convergence or topology of uniform convergence on the sets of \mathcal is a method to define locally convex topologies on the vector spaces of a pairin ...
References
Sources
*
*
*
*
{{DEFAULTSORT:Mackey-Arens theorem
Theorems in functional analysis
Lemmas
Topological vector spaces
Linear functionals