On Ergodic Decompositions Related to the Kantorovich Problem

Resumo

Let X be a Polish space, \( \mathcal{P} \)(X) be the set of Borel probability measures on X, and T : X → X be a homeomorphism. We prove that for the simplex Dom ⊆ \( \mathcal{P} \)(X) of all T -invariant measures, the Kantorovich metric on Dom can be reconstructed from its values on the set of extreme points. This fact is closely related to the following result: the invariant optimal transportation plan is a mixture of invariant optimal transportation plans between extreme points of the simplex. The latter result can be generalized to the case of the Kantorovich problem with additional linear constraints an the class of ergodic decomposable simplices.