nLab Smith space (functional analysis)


For the generalized smooth space of the same name see at Smith space (generalized smooth space).




In the context of functional analysis, a Smith space is a complete locally convex topological \mathbb{R}-vector space VV that admits a compact absolutely convex subset KVK \subset V such that V= c>0cKV = \bigcup_{c \gt 0} c K with the induced compactly generated topology on VV.


  • For a compact absolutely convex set, SS, the space of measures, M(S)M(S), with the compactly generated topology is a Smith space.


The category of Smith spaces is equivalent to the opposite of the category of Banach spaces. More precisely, if VV is a Banach space, then Hom(V,)Hom(V,\mathbb{R}) is a Smith space; and if WW is a Smith space, then Hom(W,)Hom(W,\mathbb{R}) is a Banach space, where in both cases we endow the dual space with the compact-open topology. The corresponding biduality maps are isomorphisms.

Smith spaces are more natural than Banach spaces from the perspective of condensed mathematics because they are controlled by a nice compact subset instead of a nice open subset (the unit ball) as in the Banach setting. Also, Banach spaces are filtered colimits of Smith spaces while Smith spaces are filtered limits of Banach spaces. Filtered colimits have better algebraic and homological properties.

Smith spaces embed fully faithfully in condensed R-vector spaces, but Smith spaces do not form an abelian category. There is an induced functor from Waelbrock’s enlarged (abelian) category of quotients of Smith spaces, but that functor is not fully faithful.

Smith spaces are the same as Waelbrock dual spaces.

A Banach space is a Smith space if and only if it is finite-dimensional.


The original treatment is in

In the context of condensed mathematics, see

Last revised on June 16, 2020 at 18:43:38. See the history of this page for a list of all contributions to it.