Normal families of holomorphic mappings (Q5905650)

Let \(E\) and \(F\) be locally convex spaces, \(U\) be a non-empty open subset of \(E\) and \(H(U;F)\) denote the space of all holomorphic mappings from \(U\) into \(F\). From the classical Montel's Theorem we know that when \(E= F= \mathbb{C}\), a set \({\mathbf F}\) in \(H(U;F)\) is normal iff \({\mathbf F}\) is locally bounded. A natural question to ask is: for a set \({\mathbf F}\) in \(H(U;F)\), do there exist equivalent conditions for \({\mathbf F}\) to be normal? Recently the first author [One necessary and sufficient condition of normal set of vector-valued holomorphic function, Acta Sci. Natur. Univ. Nankaiensis 1981, No. 2 (1981) per bibl.] gave a necessary and sufficient condition for \(E\) to be \(\mathbb{C}\) and \(F\) to be a Banach space; \textit{Xue- Jian Lai} [Some properties of vector valued holomorphic functions of several complex variables, Acta. Sci. Natur. Univ. Nankaiensis 1985, No. 2 (1985) per bibl.] gave some necessary and sufficient conditions for \(E= \mathbb{C}^ n\) and \(F\) to be a Banach space. In this paper, the above question has been solved completely for \(E\) and \(F\) to be metrizable locally convex spaces; for a set \({\mathbf F}\) in \(H(U;F)\) we have not only proved \({\mathbf F}\) is normal iff \({\mathbf F}\) is locally bounded and \(\overline{\{f(x); f\in {\mathbf F}\}}\) is complete for each \(x\in U\); but also given some necessary and sufficient conditions for \({\mathbf F}\) to be normal. The main tools we use in this paper are Taylor's expansion of a holomorphic mapping and the Cauchy's inequality.