C-Weierstrass for compact sets in Hilbert space

The C¹-Weierstrass approximation theorem is proved for any compact subset X of a Hilbert space . The same theorem is also proved for Whitney 1-jets on X when X satisfies the following further condition: There exist finite dimensional linear subspaces such that ?_n?1H_n is dense in and π_n(X)=X∩H_n for each n?1. Here, is the orthogonal projection. It is also shown that when X is compact convex with and satisfies the above condition, then C¹(X) is complete if and only if the C¹-Whitney extension theorem holds for X. Finally, for compact subsets of , an extension of the C¹-Weierstrass approximation theorem is proved for C¹ maps with compact derivatives.