Perturbed smooth Lipschitz extensions of uniformly continuous functions on Banach spaces

Abstract

We show that if Y is a separable subspace of a Banach space X such that both X and the quotient X/Y have C-p-smooth Lipschitz bump functions, and U is a bounded open subset of X, then, for every uniformly continuous function f : Y boolean AND U --> R and every epsilon > 0, there exists a C-p-smooth Lipschitz function F : X --> R such that |F(y)- f( y)| less than or equal to epsilon for every y is an element of Y boolean AND U.