Lineability of the set of holomorphic mappings with dense range (Q2907268)

Let \(E\) be a separable complex Banach space with open unit ball \(B_E,\) and let \(\mathcal H(D,E)\) denote the space of holomorphic mappings from the complex unit disc \(D\) to \(E\) endowed with the compact-open topology. The author shows that the set \(\{f \in \mathcal H(D,E) \mid f(D)\text{ is dense in }E \}\) is a lineable set (i.e., it, together with the \(0\) function, contains an infinite dimensional vector space) which is also a dense \(G_\delta\) in \(\mathcal H(D,E).\) Further, the set \(\{f \in \mathcal H(D,B_E) \mid f(D)\text{ is dense in }B_E\}\) is a dense \(G_\delta\) in \(\mathcal H(D,B_E)\) which, moreover, satisfies the condition that there is a linearly independent sequence in \(\mathcal H(D,B_E)\) all elements in the convex hull of which belong to \(\{f \in \mathcal H(D,B_E) \mid f(D)\text{ is dense in }B_E\}.\) The clever proofs make use of work of \textit{J. Globevnik} [Ark. Mat. 14, 113--118 (1976; Zbl 0331.46026)] and \textit{W. Rudin} [Lecture Notes Math. 599, 104--108 (1977; Zbl 0386.30028)].