# Poincaré lemma in infinite dimensions

Hi everyone,

Is the Poincaré lemma true in infinite dimensions?

Here's a precise statement:

Let $X$ be a Banach (or maybe Hilbert) vector space, $U$ a simply connected open set in $X$. Is it true that every closed (smooth) $1$-form on $U$ is exact?

Thanks!

-