The space of real-analytic functions has no basis (Q2703085)

Let \(\Omega\) be an open connected subset of the Euclidean space \(\mathbb{R}^d\). Let \(A(\Omega)\) be the space of real-analytic functions on \(\Omega\) with its usual topology. A quite interesting result is proved in this paper asserting that all metrizable complemented subspaces of \(A(\Omega)\) are finite-dimensional. A PLN-space is the projective limit of a sequence of LN-space, i.e., LB-spaces with nuclear linking maps. The space \(A(\Omega)\) is a PLN-space.NEWLINENEWLINENEWLINEIn this paper, Schauder bases for PLN-spaces are studied and, among other results, the following one is obtained:NEWLINENEWLINENEWLINEa) Every ultrabornological PLN-space with basis is either an LN-space or it contains an infinite-dimensional Fréchet subspace. Analogously, it is either a Fréchet space or contains an infinite-dimensional complemented LN-space.NEWLINENEWLINENEWLINEA Fréchet space \(E\) with a fundamental sequence \((\|.\|_n)\) of seminorms defining the topology is said to have property \((\overline{\overline \Omega})\) if NEWLINE\[NEWLINE\forall k\exists m\forall n,\;0\in ]0,1[ \exists\subset\forall u\in E':\|u\|^*_m\leq C\|u\|^{*0}_\ell\|u\|^{*(1-0)}_n.NEWLINE\]NEWLINE Here \(\|.\|^*\) denotes the dual norm for \(\|.\|\). \(E\) is said to have property (DN) if NEWLINE\[NEWLINE\exists n\forall k\exists\ell,\;C> 0,\;\tau\in ]0,1[:\|x\|_k\leq C\|x\|^\tau_m\|x\|^{1-\tau}_\ellNEWLINE\]NEWLINE for every \(x\) of \(E\).NEWLINENEWLINENEWLINEThe authors give the following results:NEWLINENEWLINENEWLINEb) Every Fréchet space \(E\) which is a quotient of \(A(\Omega)\) has property \((\overline{\overline\Omega})\).NEWLINENEWLINENEWLINEc) If \(\Omega\) is connected then every Fréchet subspace \(E\) of \(A(\Omega)\) has property (DN).NEWLINENEWLINENEWLINEFrom b) and c) follows:NEWLINENEWLINENEWLINEd) If \(\Omega\) is connected then every complemented Fréchet subspace of \(A(\Omega)\) is finite-dimensional. As a consequence of d).NEWLINENEWLINENEWLINEThe following main result is achieved: Let \(\Omega\) be connected. If \(E\) is a complemented subspace with basis of \(A(\Omega)\), then \(E\) is an LB-space. In particular, \(A(\Omega)\) has no basis. In an added-in-proof note, the authors prove the following: For an arbitrary open set \(\Omega\), every complemented subspace of \(A(\Omega)\) with basis is a product of LB-spaces, in particular, \(A(\Omega)\) has no basis.