Extension of vector-valued functions (Q2469067)

This is a continuation of an article by \textit{J. Bonet, L. Frerick} and \textit{E. Jordá} [Stud. Math. 183, No. 3, 225--248 (2007; Zbl 1141.46017)]. One of the main theorems reads as follows: Let \(\Omega\) be an open and connected subset of \(\mathbb{R}^N\) and \({\mathcal H}\) a sheaf of smooth functions on \(\Omega\) which is closed in the sheaf \({\mathcal C}\) of continuous functions on \(\Omega\); i.e., \({\mathcal H}(\omega)\) is closed in \({\mathcal C}(\omega)\) for each open \(\omega \subset \Omega\). Let \(M\) be a set of uniqueness for \({\mathcal H}(\Omega)\) (which means that a function in \({\mathcal H}(\Omega)\) which vanishes on \(M\) must vanish on \(\Omega\)) and let \(E\) be a locally convex space. Let \(f:M\rightarrow E\) be a function such that \(u\circ f\) has an extension \(f_u \in {\mathcal H}(\Omega)\) for each \(u \in W \subset E'\). If (i) \(W\) determines boundedness, or if (ii) \(E\) is Fréchet, \(W= \bigcup_n B_n\), where \((B_n)_n\) fixes the topology of \(E\) (i.e., the polars \((B_n^{\circ})_n\) in \(E\) form a fundamental system of 0-neighbourhoods in \(E\)), and \((f_u)_{u\in B_n}\) is bounded in \({\mathcal H}(\Omega)\) for each \(n\), then \(f\) has an extension \(F\in {\mathcal H}(\Omega,E)\). The case (i) has already been proved in the paper by Bonet and the present authors which is quoted above.