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 \(\sigma (E,E^{\prime })\) of a dual pair \((E,E^{\prime })\) 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_\mu (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 U-basis.