$$\omega ^\omega $$-Base and infinite-dimensional compact sets in locally convex spaces
AbstractA locally convex space (lcs) E is said to have an $$\omega ^{\omega }$$ ω ω -base if E has a neighborhood base $$\{U_{\alpha }:\alpha \in \omega ^\omega \}$$ { U α : α ∈ ω ω } at zero such that $$U_{\beta }\subseteq U_{\alpha }$$ U β ⊆ U α for all $$\alpha \le \beta $$ α ≤ β . The class of lcs with an $$\omega ^{\omega }$$ ω ω -base is large, among others contains all (LM)-spaces (hence (LF)-spaces), strong duals of distinguished Fréchet lcs (hence spaces of distributions $$D^{\prime }(\Omega )$$ D ′ ( Ω ) ). A remarkable result of Cascales-Orihuela states that every compact set in an lcs with an $$\omega ^{\omega }$$ ω ω -base is metrizable. Our main result shows that every uncountable-dimensional lcs with an $$\omega ^{\omega }$$ ω ω -base contains an infinite-dimensional metrizable compact subset. On the other hand, the countable-dimensional vector space $$\varphi $$ φ endowed with the finest locally convex topology has an $$\omega ^\omega $$ ω ω -base but contains no infinite-dimensional compact subsets. It turns out that $$\varphi $$ φ is a unique infinite-dimensional locally convex space which is a $$k_{\mathbb {R}}$$ k R -space containing no infinite-dimensional compact subsets. Applications to spaces $$C_{p}(X)$$ C p ( X ) are provided.