Preprints of the Max Planck Institute for Research on Collective Goods 2016/17
Kolmogorov's extension theorem provides a natural mapping from the space of coherent hierarchies of an agent's first-order, second- order, etc. beliefs to the space of probability measures over the exogenous parameters and the other agents' belief hierarchies. Mertens and Zamir (1985) showed that, if the spaces of belief hierarchies are endowed with the product topology, then this mapping is a homeomorphism. This paper shows that this mapping is also a homeomorphism if the spaces of belief hierarchies are endowed with the uniform weak topology of Chen et al. (2010) or the universal strategic topology of Dekel et al. (2006), both of which ensure that strategic behaviour exhibits desirable continuity properties.
incomplete information universal type space uniform weak topology uniform strategic topology homeomorphism theorem