Sard properties for polynomial maps in infinite dimension

Antonio Lerario, Luca Rizzi, Daniele Tiberio

Sard's theorem asserts that the set of critical values of a smooth map from one Euclidean space to another one has measure zero. A version of this result for infinite-dimensional B…