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

Abstract

It is a classical result that every (Formula presented.) -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 (Formula presented.). Motivated by this example we try to answer the following question. Let E be a locally convex Hausdorff space over a field (Formula presented.), let (Formula presented.) be a locally convex Hausdorff space of (Formula presented.) -valued functions on a set Ω and let (Formula presented.) be an E-valued counterpart of (Formula presented.) (where the term E-valued counterpart needs clarification itself). For which spaces is it possible to lift series representations of elements of (Formula presented.) to elements of (Formula presented.) ? We derive sufficient conditions for the answer to be affirmative using Schauder decompositions which are applicable for many classical spaces of functions (Formula presented.) having an equicontinuous Schauder basis.