Series representations in spaces of vector-valued functions via Schauder decompositions

Abstract

It is a classical result that every $\mathbb{C}$-valued holomorphic function has a local power series representation. This even remains true for holomorphic functions with values in a locally complete locally convex Hausdorff space $E$ over $\mathbb{C}$. Motivated by this example we try to answer the following question. Let $E$ be a locally convex Hausdorff space over a field $\mathbb{K}$, $\mathcal{F}(Ω)$ be a locally convex Hausdorff space of $\mathbb{K}$-valued functions on a set $Ω$ and $\mathcal{F}(Ω,E)$ be an $E$-valued counterpart of $\mathcal{F}(Ω)$ (where the term $E$-valued counterpart needs clarification itself). For which spaces is it possible to lift series representations of elements of $\mathcal{F}(Ω)$ to elements of $\mathcal{F}(Ω,E)$? We derive sufficient conditions for the answer to be affirmative using Schauder decompositions which are applicable for many classical spaces of functions $\mathcal{F}(Ω)$ having an equicontinuous Schauder basis.