ワッサースタイン計量
任意の p ≥ 1 に対し、計量空間 (Pp(M), Wp) が可分および完備であるための十分条件は、(M, d) が可分および完備であることである。