Spaces of holomorphic functions in regular domains (Q2518759): Difference between revisions

A domain \(\Omega\subset\mathbb{C}\) is regular if it coincides with the interior of its closure. For a regular domain \(\Omega\), we denote by \({\mathcal O}_f(\Omega)\) the linear space of functions \(f\) holomorphic in \(\Omega\) such that, for every \(n\in\mathbb{N}\), the derivative \(f^{(n)}\) extends continuously to the closure \(\overline\Omega\), equipped with the natural Fréchet topology. The main rsult is the following Theorem 3. There exists a dense, nearly-Baire subspace \(F\) in \({\mathcal O}_f(\Omega)\) such that if \(f\) is a non-zero element of \(F\), then \(f\) does not extend holomorphically outside \(\Omega\). In this theorem \(\Omega\) is supposed to be regular. A function \(f\) holomorphic in \(\Omega\) does not extend outside \(\Omega\) if there is no \(\Omega_1\nsupseteqq\Omega\) such that \(f\) holomorphically extends to \(\Omega_1\). A topological vector space \(E\) is nearly-Baire if given a sequence \(\{A_j\}\) of sum-absorbing balanced closed subsets which cover \(E\), then there exists \(j\) such that \(A_j\) has a non-empty interior. A subset \(A\subset E\) is sum-absorbing if there exists \(\lambda> 0\) such that \(\lambda(A+ A)\subset A\).