Weakly K-analytic spaces and the three-space property for analyticity (Q1039454)

A continuous image of \(\mathbb{N}^\mathbb{N}\) is called an analytic space. A topological space \(X\) is said to be K-analytic if there is an upper semicontinuous map from \(\mathbb{N}^\mathbb{N}\) with compact values in \(X\) whose union is \(X\). For other terms and results used in this review, see [\textit{M.\,Valdivia}, ``Topics in locally convex spaces'' (North-Holland Publishing Company) (1982; Zbl 0489.46001)]. Let \((E,E')\) be a dual pair of vector spaces. The authors study general conditions which allow to lift analyticity (or K-analyticity) from the weak topology \(\sigma(E,E')\) to stronger ones in the framework of \((E,E')\). First, they show that the Mackey dual of a space \(C_p(X)\) is analytic iff the space \(X\) is countable. This yields that, for an uncountable analytic space \(X\), the Mackey dual of \(C_p(X)\) is weakly analytic but not analytic. However, every weakly analytic metrizable locally convex space \(E\) is analytic. The authors show that a locally convex Baire space which is quasi-Souslin is already a Fréchet space. This extends a result of De~Wilde and Sunyach. The authors provide, however, a large class of weakly analytic not analytic metrizable and separable Baire topological vector spaces (clearly not locally convex!). Spaces of this type are used to prove that analyticity is not a three-space property; but a metrizable topological vector space \(E\) is analytic if \(E\) contains a complete locally convex analytic subspace \(F\) such that the quotient \(E/F\) is analytic. Several questions, remarks and examples are included.