Levi-Prokhorov metrikken ( Prokhorov metrikken ) er en metrik på rummet af endelige sandsynlighedsmål ; introduceret i 1956 af Yuri Prokhorov som en generalisering af Levy-metrikken (defineret af Paul Levy i 1937).
Det er defineret på rummet af alle endelige sandsynlighedsmål på et målbart rum , hvor er et metrisk rum og er en Borel sigma-algebra på det. For et undersæt er epsilon-kvarteret defineret som:
,hvor er en åben bold med radius centreret ved . Metrikken defineres ved at indstille afstanden mellem to sandsynlighedsmål og som:
.Naturligvis for sandsynlighedsmålinger .
Hvis rummet kan adskilles , så svarer konvergensen af mål i Levi-Prokhorov-metrikken til den svage konvergens af mål . Således er en metrisering af topologien for svag konvergens af sandsynlighed på .
Et metrisk rum kan adskilles , hvis og kun hvis det kan adskilles.
Hvis et rum er komplet , så er et komplet rum også. Hvis alle mål i har en adskillelig støtte for målingen , så er den omvendte påstand også sand: hvis er komplet, så er den fuldstændig. Dette er især tilfældet, når den kan adskilles.
Hvis det kan adskilles og fuldstændigt, er en delmængde et relativt kompakt rum, hvis og kun hvis -lukningen er -kompakt.
Hvis det kan adskilles, hvor er Qi Fan's metriske [1] [2] .