Extraction of critical points of smooth functions on Banach spaces

Miguel García-Bravo

Let $E$ be an infinite-dimensional separable Hilbert space. We show that for every $C^1$ function $f:E\to {\mathbb{R}}^d$, every open set $U$ with $C_f:=\{x\in E:\,Df(x)\; \text{is no…