レヴィ–プロホロフ計量
数学の分野におけるレヴィ–プロホロフ計量（レヴィ–プロホロフけいりょう、）とは、与えられた距離空間上の確率測度の系の上の計量のことを言う（すなわち、間隔の定義である）。フランスの数学者ポール・レヴィと、ソヴィエトの数学者の名にちなむ。レヴィ計量の一般化として、1956年にプロホロフによって導入された。