Weakly Analytic Spaces

This chapter studies analytic spaces. We show that a regular space X is analytic if and only if it has a compact resolution and admits a weaker metric topology. This fact, essentially due to Talagrand, extends Choquet’s theorem (every metric K-analytic space is analytic). Several applications will be provided. We show Christensen’s theorem stating that a separable metric topological space X is a Polish space if and only if it admits a compact resolution swallowing compact sets. We also study the following general problem: When can analyticity or K-analyticity of the weak topology σ(E,E′) of a dual pair (E,E′) be lifted to stronger topologies on E compatible with the dual pair? We prove that, if X is an uncountable analytic space, the Mackey duals L μ (X) of C p (X) is weakly analytic and not analytic. The density condition, due to Heinrich, motivates us to study the analyticity of the Mackey and strong duals of (LF)-spaces. We study trans-separable spaces and show that a tvs with a resolution of precompact sets is trans-separable. This is applied to prove that precompact sets are metrizable in any uniform space whose uniformity admits a Open image in new window -basis.