Weighted holomorphic mappings attaining their norms (Q6047526)

Given an open set \(U \subseteq \mathbb{C}^n\), a complex Banach space \(F\), and a weight \(v: U \rightarrow \mathbb{R}_{\geq 0}\), the author investigates the space of weighted holomorphic mappings \(\mathcal{H}_v(U, F)\). He focuses on studying weighted holomorphic mappings that attain their weighted supremum norms, that is, those \(f \in \mathcal{H}_v(U, F)\) for which there exists \(z \in U\) satisfying \[ \|f(z)\|=\|f\|_v:= \sup \{ v(u) \|f(u)\| :u\in U\}. \] Let \(\mathcal{H}_{v_0}(U, F) \subset \mathcal{H}_v(U, F)\) denote the set of functions \(g\) such that \(vg\) vanishes at infinity. In this work, the author shows that, if the closed unit ball of \(\mathcal{H}_{v_0}(U, F)\) is compact-open dense on the unit ball of \(\mathcal{H}{v}(U, F)\), then the set of norm-dense weighted holomorphic mappings that achieve their weighted supremum norms is dense.