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]

## Contents

* 1 Prerequisites
* 2 Mackey–Arens theorem
* 3 See also
* 4 References
* 5 Sources

## Prerequisites

Main articles: Polar topology and Mackey topology

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σ(X,Y)′=(Xσ(X,Y))′=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𝒯 denote X with the topology 𝒯. Then the following are equivalent:

1. 𝒯 is identical to a 𝒢′-topology on X, where 𝒢′ is a covering of <X' consisting of convex, balanced, σ(X', X)-compact sets with the properties that

1. If G1′,G2′∈𝒢′ then there exists a G′∈𝒢′ such that G1′∪G2′⊆G′, and
2. If G1′∈𝒢′ and λ is a scalar then there exists a G′∈𝒢′ such that λG1′⊆G′.

2. The continuous dual of X𝒯 is identical to X'.

And furthermore,

1. the topology 𝒯 is identical to the ε(X, X') topology, that is, to the topology of uniform on convergence on the equicontinuous subsets of X'.
2. the Mackey topology τ(X, X') is the finest locally convex Hausdorff TVS topology on X that is compatible with duality between X and X𝒯′, and
3. the weak topology σ(X, X') is the coarsest locally convex Hausdorff TVS topology on X that is compatible with duality between X and X𝒯′.

## See also

* Dual system
* Mackey topology
* Polar topology

## References

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

## Sources

* Rudin, Walter (January 1, 1991). Functional Analysis. International Series in Pure and Applied Mathematics. 8 (Second ed.). New York, NY: McGraw-Hill Science/Engineering/Math. ISBN 978-0-07-054236-5. OCLC 21163277. https://archive.org/details/functionalanalys00rudi.
* 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. 8 (Second ed.). New York, NY: Springer New York Imprint Springer. ISBN 978-1-4612-7155-0. OCLC 840278135.
* Trèves, François (August 6, 2006). Topological Vector Spaces, Distributions and Kernels. Mineola, N.Y.: Dover Publications. ISBN 978-0-486-45352-1. OCLC 853623322.

Template:Duality and spaces of linear maps Template:Topological vector spaces

* v
* t
* e

Functional analysis (topics)

Topological vector spaces|

* Asplund
* Banach (list)
* Banach lattice
* Barrelled
* Bornological
* Brauner
* F-space
* Fréchet (tame)
* Hilbert (Inner product space
* Polarization identity)
* LF-space
* Locally convex (Seminorms/Minkowski functionals)
* Mackey
* Montel
* Nuclear
* Normed (norm)
* Quasinormed
* Reflexive
* Riesz
* Smith
* Stereotype
* Strictly convex
* Webbed
* Topological tensor product (of Hilbert spaces)

Topologies of function spaces|

* Dual
* Dual space (Dual norm)
* Operator
* Ultraweak
* Weak (polar
* operator)
* Mackey
* Strong (polar
* operator)
* Ultrastrong
* Uniform convergence

Linear operators|

* Adjoint
* Bilinear (form
* operator
* sesquilinear)
* (Un)Bounded
* Closed
* Compact (on Hilbert spaces)
* (Dis)Continuous
* Densely defined
* Fredholm
* Hilbert–Schmidt
* Functionals (positive)
* Normal
* Nuclear
* Self-adjoint
* Strictly singular
* Trace class
* Transpose
* Unitary

Operator theory|

* Banach algebras
* C*-algebras
* Spectrum (C*-algebra
* radius)
* Spectral theory (of ODEs
* Spectral theorem)
* Polar decomposition
* Singular value decomposition

Theorems|

* Banach–Alaoglu
* Banach–Mazur
* Banach–Saks
* Banach–Schauder (open mapping)
* Banach–Steinhaus (Uniform boundedness)
* Bessel's inequality
* Cauchy–Schwarz inequality
* Closed graph
* Closed range
* Eberlein–Šmulian
* Freudenthal spectral
* Gelfand–Mazur
* Gelfand–Naimark
* Goldstine
* Hahn–Banach (hyperplane separation)
* Kakutani fixed-point
* Krein–Milman
* Lomonosov's invariant subspace
* Mackey–Arens
* Mazur's lemma
* M. Riesz extension
* Riesz representation
* Parseval's identity
* Schauder fixed-point

Analysis|

* Abstract Wiener space
* Bochner space
* Differentiation in Fréchet spaces
* Derivatives (Fréchet
* Gateaux
* functional
* holomorphic)
* Integrals (Bochner
* Dunford
* Gelfand–Pettis
* regulated
* Paley–Wiener
* weak)
* Functional calculus (Borel
* continuous
* holomorphic)
* Inverse function theorem (Nash–Moser theorem)
* Measures (Lebesgue
* Projection-valued
* Vector)
* Weakly measurable function

Types of sets|

* Absolutely convex
* Absorbing
* Balanced
* Bounded
* Convex
* Convex cone (subset)
* Linear cone (subset)
* Radial
* Star-shaped
* Symmetric
* Zonotope

Subsets / set operations|

* Algebraic interior (core)
* Bounding points
* Convex hull
* Extreme point
* Interior
* Minkowski addition
* Polar

0.00

(0 votes)

Original source: https://en.wikipedia.org/wiki/Mackey–Arens theorem. Read more

|

Retrieved from "https://handwiki.org/wiki/index.php?title=Mackey–Arens_theorem&oldid=4151018"
*[v]: View this template
*[t]: Discuss this template
*[e]: Edit this template