Smoothing of bump functions

Let X be a separable Banach space with a Schauder basis, admitting a continuous bump which depends locally on finitely many coordinates. Then X admits also a C∞-smooth bump which depends locally on finitely many coordinates. © 2007 Elsevier Inc. All rights reserved.