Typical expansive measures for infinite-dimensional maps

Abstract

A classical theorem by Mañé states that compact metric spaces admitting expansive homeomorphisms must be finite-dimensional. It is a natural question, raised by Morales and Sirvent, whether this dimensional constraint extends to the measure-theoretic notion of expansiveness. In this paper, we answer this question in the negative. We prove that the shift map on the Hilbert cube is expansive with respect to the product Lebesgue measure. Furthermore, we establish a general sufficient condition: any homeomorphism admitting a full-support expansive measure is densely measure-expansive. As a consequence, we show that the set of expansive and topologically stable measures for the shift map contains a dense $G_δ$ subset, revealing a rich measure-theoretic structure despite the infinite dimensionality of the phase space.