Lecture X: Wasserstein Geodesics, Nonbranching and Curvature
摘要
Let us now come to the proof of the lower semicontinuity of the action, defined as in ( 9.8 ). The proof could be achieved with more elementary tools, but we prefer to use a general lemma that will play a role also in the sequel.