Mixing on function spaces

Summary We prove that a probability measure over a space of functions induces a measure over the product space of the image and range of these functions. As an application, we show that the equilibrium of large anonymous games with uncertainty completely describes the behavior of players. In the second part of the paper we prove that mixed strategies over function spaces are equivalent to behavioral and distributional strategies.