Mackey–Arens theorem

The Mackey–Arens theorem is an important theorem in functional analysis that characterizes those locally convex vector topologies that have some given space of linear functionals as their continuous dual space. 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."^[1]

Prerequisites

Let $X$ be a vector space and let $Y$ be a vector subspace of the algebraic dual of $X$ that separates points on $X$ . If $𝜏$ is any other locally convex Hausdorff topological vector space topology on $X$ , then we say that $𝜏$ is compatible with duality between $X$ and $Y$ if when $X$ is equipped with $𝜏$ , then it has $Y$ as its continuous dual space. If we give $X$ the weak topology $𝜎(X, Y)$ then $X 𝜎(X, Y)$ is a Hausdorff locally convex topological vector space (TVS) and $𝜎(X, Y)$ is compatible with duality between $X$ and $Y$ (i.e. $X_{\sigma (X,Y)}^{\prime }=\left(X_{\sigma (X,Y)}\right)^{\prime }=Y$ ). We can now ask the question: what are all of the locally convex Hausdorff TVS topologies that we can place on $X$ that are compatible with duality between $X$ and $Y$ ? The answer to this question is called the Mackey–Arens theorem.

Mackey–Arens theorem

Mackey–Arens theorem^[2] — Let X be a vector space and let 𝒯 be a locally convex Hausdorff topological vector space topology on X. Let $X'$ denote the continuous dual space of X and let $X_{\mathcal {T}}$ denote X with the topology 𝒯. Then the following are equivalent:

𝒯 is identical to a ${\mathcal {G}}^{\prime }$ ${\mathcal {G}}^{\prime }$ -topology on X, where ${\mathcal {G}}^{\prime }$ ${\mathcal {G}}^{\prime }$ is a covering of <X' consisting of convex, balanced, σ(X', X)-compact sets with the properties that
1. If $G_{1}^{\prime },G_{2}^{\prime }\in {\mathcal {G}}^{\prime }$ then there exists a $G^{\prime }\in {\mathcal {G}}^{\prime }$ such that $G_{1}^{\prime }\cup G_{2}^{\prime }\subseteq G^{\prime }$ , and
2. If $G_{1}^{\prime }\in {\mathcal {G}}^{\prime }$ and $\lambda$ is a scalar then there exists a $G^{\prime }\in {\mathcal {G}}^{\prime }$ such that $\lambda G_{1}^{\prime }\subseteq G^{\prime }$ .
The continuous dual of $X_{\mathcal {T}}$ is identical to $X'$ .

And furthermore,

the topology 𝒯 is identical to the $ε(X, X')$ topology, that is, to the topology of uniform on convergence on the equicontinuous subsets of $X'$ .
the Mackey topology $τ(X, X')$ is the finest locally convex Hausdorff TVS topology on X that is compatible with duality between X and $X_{\mathcal {T}}^{\prime }$ , and
the weak topology $σ(X, X')$ is the coarsest locally convex Hausdorff TVS topology on X that is compatible with duality between X and $X_{\mathcal {T}}^{\prime }$ .

See also

References

^ Schaefer & Wolff 1999, p. 122.
^ Trèves 2006, pp. 196, 368–370.

Sources

Rudin, Walter (1991). Functional Analysis. International Series in Pure and Applied Mathematics. Vol. 8 (Second ed.). New York, NY: McGraw-Hill Science/Engineering/Math. ISBN 978-0-07-054236-5. OCLC 21163277.
Narici, Lawrence; Beckenstein, Edward (2011). Topological Vector Spaces. Pure and applied mathematics (Second ed.). Boca Raton, FL: CRC Press. ISBN 978-1584888666. OCLC 144216834.
Schaefer, Helmut H.; Wolff, Manfred P. (1999). Topological Vector Spaces. GTM. Vol. 8 (Second ed.). New York, NY: Springer New York Imprint Springer. ISBN 978-1-4612-7155-0. OCLC 840278135.
Trèves, François (2006) [1967]. Topological Vector Spaces, Distributions and Kernels. Mineola, N.Y.: Dover Publications. ISBN 978-0-486-45352-1. OCLC 853623322.

v t e Duality and spaces of linear maps
Basic concepts	Dual space Dual system Dual topology Duality Operator topologies Polar set Polar topology Topologies on spaces of linear maps
Topologies	Norm topology Dual norm Ultraweak/Weak-* Weak polar operator in Hilbert spaces Mackey Strong dual polar topology operator Ultrastrong
Main results	Banach–Alaoglu Mackey–Arens
Maps	Transpose of a linear map
Subsets	Saturated family Total set
Other concepts	Biorthogonal system

v t e Topological vector spaces (TVSs)
Basic concepts	Banach space Completeness Continuous linear operator Linear functional Fréchet space Linear map Locally convex space Metrizability Operator topologies Topological vector space Vector space
Main results	Anderson–Kadec Banach–Alaoglu Closed graph theorem F. Riesz's Hahn–Banach (hyperplane separation Vector-valued Hahn–Banach) Open mapping (Banach–Schauder) Bounded inverse Uniform boundedness (Banach–Steinhaus)
Maps	Bilinear operator form Linear map Almost open Bounded Continuous Closed Compact Densely defined Discontinuous Topological homomorphism Functional Linear Bilinear Sesquilinear Norm Seminorm Sublinear function Transpose
Types of sets	Absolutely convex/disk Absorbing/Radial Affine Balanced/Circled Banach disks Bounding points Bounded Complemented subspace Convex Convex cone (subset) Linear cone (subset) Extreme point Pre-compact/Totally bounded Prevalent/Shy Radial Radially convex/Star-shaped Symmetric
Set operations	Affine hull (Relative) Algebraic interior (core) Convex hull Linear span Minkowski addition Polar (Quasi) Relative interior
Types of TVSs	Asplund B-complete/Ptak Banach (Countably) Barrelled BK-space (Ultra-) Bornological Brauner Complete Convenient (DF)-space Distinguished F-space FK-AK space FK-space Fréchet tame Fréchet Grothendieck Hilbert Infrabarreled Interpolation space K-space LB-space LF-space Locally convex space Mackey (Pseudo)Metrizable Montel Quasibarrelled Quasi-complete Quasinormed (Polynomially Semi-) Reflexive Riesz Schwartz Semi-complete Smith Stereotype (B Strictly Uniformly) convex (Quasi-) Ultrabarrelled Uniformly smooth Webbed With the approximation property
Category

Functional analysis (topics – glossary)

Spaces

Banach Besov Fréchet Hilbert Hölder Nuclear Orlicz Schwartz Sobolev Topological vector
Properties	Barrelled Complete Dual (Algebraic/Topological) Locally convex Reflexive Separable

Operators

Algebras

Open problems

Applications

Advanced topics

Category

Retrieved from "https://en.wikipedia.org/w/index.php?title=Mackey–Arens_theorem&oldid=1150929855"