Duality and perfect probability spaces

Given probability spaces $(X_i,\mathcal {A}_i,P_i), i=1,2,$ let $\mathcal {M}(P_1,P_2)$ denote the set of all probabilities on the product space with marginals $P_1$ and $P_2$ and let $h$ be a measurable function on $(X_1 \times X_2,\mathcal {A}_1 \otimes \mathcal {A}_2).$ Continuous versions of linear programming stemming from the works of Monge (1781) and Kantorovich-Rubin\v{s}tein (1958) for the case of compact metric spaces are concerned with the validity of the duality

(where $\mathcal {M}(P_1,P_2)$ is the collection of all probability measures on $(X_1 \times X_2,\mathcal {A}_1 \otimes \mathcal {A}_2)$ with $P_1$ and $P_2$ as the marginals). A recently established general duality theorem asserts the validity of the above duality whenever at least one of the marginals is a perfect probability space. We pursue the converse direction to examine the interplay between the notions of duality and perfectness and obtain a new characterization of perfect probability spaces.