Una variedad diferenciable de dimensión infinita, separada y no regular.
A partir de un espacio de Hilbert, E, de dimensión infinita separable y de un elemento λ de L(E,R) - {0} se construye un homeomorfismo h0 de(Eλ+ - Ker λ) U {0}sobre E con las topologías usuales tal que h0(0) = 0 y h0|Eλ+ - Ker λ es un difeomorfismo de clase ∞ de Eλ+ - Ker λ sobre E - {0}, con las estructuras diferenciables de clase ∞ usuales. Mediante h0 se construye una variedad diferenciable de dimensión infinita, separada y no regular.