math.DS
Prevalent uniqueness in ergodic optimisation. One of the fundamental results of ergodic optimisation asserts that for any dynamical system on a compact metric space X and for any Banach space of continuous real valued functions on X which embeds densely in C(X) there exists a residual set of functions in that Banach space for which the maximising measure is unique. We extend this result by showing that this residual set is additionally prevalent, answering a question of J. Bochi and Y. Zhang.