No label defined (Q4544845)

Let us denote by \(P(^{\leq n}X,Y)\) the space of continuous polynomial operators of order not higher than \(n\) from a Banach space \(X\) to a Banach space \(Y\). If \(Y\) is a field of scalars, then we use notation \(P(^{\leq n}X)\). A set \(M\) is called \(n\)-algebraic set if \(M\) is a kernel of some polynomial mapping on \(X\). Let \(A_{n}(X)\) be the set of all \(n\)-algebraic subsets of the space \(X\). The author proves the following result. Let \(X\) be a complex Banach space and let \(X_0\) be a closed subspace of \(X\). Any polynomial \(P\in P(^{\leq n}X_0)\) is extendable to some polynomial \(\widetilde P\in P(^{\leq n}X)\) if and only if \(M\in A_{n}(X_0)\) implies \(M\in A_{n}(X)\). The closed graph theorem for polynomial operators on a Banach space is proved.