Uniqueness in ergodic decomposition of invariant probabilities

Abstract

We show that for any set of transition probabilities on a common measurable space and any invariant probability, there is at most one representing measure on the set of extremal, invariant probabilities with the $\sigma$-algebra generated by the evaluations. The proof uses nonstandard analysis.