Modeling infinitely many agents

This paper offers a resolution to an extensively studied question in theoretical economics: which measure spaces are suitable for modeling many economic agents? We propose the condition of 'nowhere equivalence' to characterize those measure spaces that can be effectively used to model the space of many agents. In particular, this condition is shown to be more general than various approaches that have been proposed to handle the shortcoming of the Lebesgue unit interval as an agent space. We illustrate the minimality of the nowhere equivalence condition by showing its necessity in deriving the determinateness property, the existence of equilibria, and the closed graph property for equilibrium correspondences in general equilibrium theory and game theory.