Some applications idempotent probability measures space

For idempotent probability measures, max-plus variant of Fubini theorem is established. Further, it is proven metrizability of a given compact if the space of idempotent probability measures defined on the compact, is hereditary normal.