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.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.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?Mackey–Arens theorem[2] — Let X be a vector space and let 𝒯 be a locally convex Hausdorff topological vector space topology on X.
functional analysislocally convexvector topologieslinear functionalscontinuous dual spaceduality theoryPolar topologyMackey topologyseparates pointstopological vector spaceDual systemRudin, WalterMcGraw-Hill Science/Engineering/MathSchaefer, Helmut H.Trèves, FrançoisDualitylinearDual spaceDual topologyOperator topologiesPolar setTopologies on spaces of linear mapsTopologiesNorm topologyDual normUltraweak/Weak-*operatorin Hilbert spacesMackey Strong dualUltrastrongBanach–AlaogluTranspose of a linear mapSaturated familyTotal setBiorthogonal systemTopological vector spacesBanach spaceCompletenessContinuous linear operatorLinear functionalFréchet spaceLinear mapLocally convex spaceMetrizabilityVector spaceAnderson–KadecClosed graph theoremF. Riesz'sHahn–Banachhyperplane separationVector-valued Hahn–BanachOpen mapping (Banach–Schauder)Bounded inverseUniform boundedness (Banach–Steinhaus)Bilinear operatorAlmost openBoundedContinuousClosedCompactDensely definedDiscontinuousTopological homomorphismFunctionalBilinearSesquilinearSeminormSublinear functionTransposeAbsolutely convex/diskAbsorbing/RadialAffineBalanced/CircledBanach disksBounding pointsComplemented subspaceConvexConvex cone (subset)Linear cone (subset)Extreme pointPrevalent/ShyRadialRadially convex/Star-shapedSymmetricAffine hullAlgebraic interior (core)Convex hullLinear spanMinkowski additionAsplundB-complete/PtakBanachCountablyBarrelledBK-spaceUltra-BornologicalBraunerCompleteConvenient(DF)-spaceDistinguishedF-spaceFK-AK spaceFK-spaceFréchetGrothendieckHilbertInfrabarreledInterpolation spaceK-spaceLB-spaceLF-spaceMackey(Pseudo)MetrizableMontelQuasibarrelledQuasi-completeQuasinormedPolynomiallyReflexiveSchwartzSemi-completeStereotypeStrictlyUniformlyQuasi-UltrabarrelledUniformly smoothWebbedWith the approximation propertytopicsglossaryHölderNuclearOrliczSobolevTopological vectorSeparableRiesz representationClosed graphUniform boundedness principleKrein–MilmanMin–maxGelfand–NaimarkAdjointHilbert–SchmidtNormalTrace classUnboundedUnitaryBanach algebraC*-algebraSpectrum of a C*-algebraOperator algebraGroup algebra of a locally compact groupVon Neumann algebraInvariant subspace problemMahler's conjectureHardy spaceSpectral theory of ordinary differential equationsHeat kernelIndex theoremCalculus of variationsFunctional calculusIntegral linear operatorJones polynomialTopological quantum field theoryNoncommutative geometryRiemann hypothesisDistributionGeneralized functionsApproximation propertyBalanced setChoquet theoryWeak topologyBanach–Mazur distanceTomita–Takesaki theory