The exact law of large numbers for independent random matching

This paper provides a mathematical foundation for independent random matching of a large population, as widely used in the economics literature. We consider both static and dynamic systems with random mutation, partial matching arising from search, and type changes induced by matching. Under independence assumptions at each randomization step, we show that there is an almost-sure constant cross-sectional distribution of types in a large population, and moreover that the multi-period cross-sectional distribution of types is deterministic and evolves according to the transition matrices of the type process of a given agent. We also show the existence of a joint agent-probability space, and randomized mutation, partial matching and match-induced type-changing functions that satisfy appropriate independence conditions, where the agent space is an extension of the classical Lebesgue unit interval.