A non-trivial Fréchet quotient of the space of real analytic functions (Q1423778): Difference between revisions

In their earlier article [\textit{P. Domański} and \textit{D. Vogt}, Stud. Math. 142, 187--200 (2000; Zbl 0990.46015)], the authors proved the spectacular result that the space \({\mathcal A}(\Omega)\) of all complex-valued real-analytic functions on an open set \(\Omega \subset \mathbb{R}^d\), endowed with its natural locally convex topology, does not have a (Schauder) basis. This started renewed interest in the structure theory of \({\mathcal A}(\Omega)\). The Fréchet subspaces of this space were characterized by \textit{P. Domański} and \textit{M. Langenbruch} [Math. Nachr. 254--255, 68--86 (2003; Zbl 1031.46029)]. For some time, however, the only infinite-dimensional Fréchet quotients of \({\mathcal A}(\Omega)\) which were known were all isomorphic to the space \(\omega\) of all sequences. In the present article, the authors show that there are plenty of pairwise non-isomorphic infinite-dimensional Fréchet quotients, among them the Köthe sequence spaces \(\lambda_1 (A)\) with continuous norms. The proof works by a reduction to the case \(\Omega = \mathbb{R}\) and uses spaces of quasianalytic functions and nuclear stable power series spaces. In the recent article [\textit{P. Domański}, \textit{L. Frerick} and \textit{D. Vogt}, Stud. Math. 159, 229--245 (2003; Zbl 1062.46023)], the Fréchet quotients of \({\mathcal A}(\Omega)\) were finally characterized as those Fréchet spaces which have the restrictive topological invariant \(\overline{\overline{\Omega}}\) and are \(n^{1/d}\)-nuclear or, equivalently, which have \(\overline{\overline{\Omega}}\) and are isomorphic to a quotient of the space \(H(\mathbb{D}^d)\) of all holomorphic functions on the \(d\)-dimensional polydisc.