3
$\begingroup$

I have a (separable) Banach space $E$ and two closed disjoint sets $F$, $G$ in $E$. Now I wish to prove the existence of a $C^2$-function (Fréchet differentiable) $f:E \to \mathbf R$ that is $1$ on $F$ and $0$ on $G$.

Does someone have a reference for this (if it is possible)? If it is not possible, are there additional conditions on the Banach space to make this possible?

  • 0
    Theo, thanks. It seems to fail. See MathSciNet: http://goo.gl/WrlRm2011-05-11

1 Answers 1

6

Have a look at

  • Kriegl, Michor: "The Convenient Setting of Global Analysis",

Chapter III Partitions of Unity.

General Banach spaces don't have bump functions of the sort you seek, for example

14.11 (1): No Fréchet-differentiable bump function exists on C[0,1] and on $l^1$

and

14.12 (2) If a Banach space and its dual admit $C^2-$ bump functions, then it is isomorphic to a Hilbert space.

  • 0
    You're welcome! There are also positive results, like theorem 16.11: A separable Banach space has $C^1$-bump functions if E' is separable...2011-05-11