Lévy–Prokhorov metric
E683051
The Lévy–Prokhorov metric is a probability metric on the space of probability measures that metrizes weak convergence and is widely used in probability theory and measure theory.
All labels observed (2)
| Label | Occurrences |
|---|---|
| Lévy metric on the real line | 1 |
| Lévy–Prokhorov metric canonical | 1 |
How this entity was disambiguated
This entity first appeared as the object of triple T7705125 — resolving that mention is where its identity was fixed. The disambiguator weighed these candidate entities and picked the highlighted one (or “None”, minting a new entity). This is how homonymy is resolved: the same surface form can point to different entities.
NED1
Entity disambiguation (via context triple)
gpt-5-mini-2025-08-07
Target entity: Lévy–Prokhorov metric Context triple: [Kolmogorov distance, comparedWith, Lévy–Prokhorov metric]
-
A.
Kolmogorov distance
Kolmogorov distance is a statistical metric that measures the maximum difference between two cumulative distribution functions, commonly used to quantify convergence in distribution and in goodness-of-fit tests.
-
B.
Hausdorff metric
The Hausdorff metric is a distance function that measures how far two subsets of a metric space are from each other, widely used in topology, geometry, and shape analysis.
-
C.
Banach–Mazur distance
The Banach–Mazur distance is a numerical measure in functional analysis that quantifies how "far apart" two finite-dimensional normed vector spaces are up to linear isomorphism.
-
D.
Carathéodory measurability criterion
The Carathéodory measurability criterion is a fundamental condition in measure theory that characterizes measurable sets via an outer measure by requiring additivity over intersections and complements.
-
E.
Cameron–Martin theorem
The Cameron–Martin theorem is a fundamental result in probability theory and functional analysis that characterizes how Gaussian measures on infinite-dimensional spaces change under shifts by elements of a special Hilbert subspace (the Cameron–Martin space).
- F. None of above. chosen
- G. Unsure - the case is ambiguous/there is not enough information to decide.
NED2
Entity disambiguation (via description)
gpt-5-mini-2025-08-07
Target entity: Lévy–Prokhorov metric Target entity description: The Lévy–Prokhorov metric is a probability metric on the space of probability measures that metrizes weak convergence and is widely used in probability theory and measure theory.
-
A.
Kolmogorov distance
Kolmogorov distance is a statistical metric that measures the maximum difference between two cumulative distribution functions, commonly used to quantify convergence in distribution and in goodness-of-fit tests.
-
B.
Hausdorff metric
The Hausdorff metric is a distance function that measures how far two subsets of a metric space are from each other, widely used in topology, geometry, and shape analysis.
-
C.
Banach–Mazur distance
The Banach–Mazur distance is a numerical measure in functional analysis that quantifies how "far apart" two finite-dimensional normed vector spaces are up to linear isomorphism.
-
D.
Carathéodory measurability criterion
The Carathéodory measurability criterion is a fundamental condition in measure theory that characterizes measurable sets via an outer measure by requiring additivity over intersections and complements.
-
E.
Cameron–Martin theorem
The Cameron–Martin theorem is a fundamental result in probability theory and functional analysis that characterizes how Gaussian measures on infinite-dimensional spaces change under shifts by elements of a special Hilbert subspace (the Cameron–Martin space).
- F. None of above. chosen
Statements (37)
| Predicate | Object |
|---|---|
| instanceOf |
mathematical concept
ⓘ
probability metric ⓘ |
| alternativeName | Lévy–Prokhorov distance NERFINISHED ⓘ |
| appliesTo |
Polish spaces
ⓘ
metric spaces ⓘ |
| category | metric on spaces of measures ⓘ |
| characterizes | tightness of probability measures ⓘ |
| comparedWith |
Fortet–Mourier metric
NERFINISHED
ⓘ
bounded Lipschitz metric ⓘ |
| definedOn |
Borel probability measures
ⓘ
space of probability measures ⓘ |
| ensures | equivalence between metric convergence and weak convergence on Polish spaces ⓘ |
| field |
measure theory
ⓘ
probability theory ⓘ |
| involves |
Borel sigma-algebra
NERFINISHED
ⓘ
probability measure coupling arguments ⓘ |
| metrizes |
convergence in distribution
ⓘ
weak convergence of probability measures ⓘ |
| namedAfter |
Paul Lévy
NERFINISHED
ⓘ
Yuri Prokhorov NERFINISHED ⓘ |
| property |
complete on suitable spaces of probability measures
ⓘ
separable on suitable spaces of probability measures ⓘ |
| relatedTo |
Prokhorov’s theorem
NERFINISHED
ⓘ
Skorokhod representation theorem NERFINISHED ⓘ Wasserstein metric NERFINISHED ⓘ total variation distance ⓘ |
| topologyInduced | weak topology on probability measures ⓘ |
| usedFor |
characterizing weak convergence
ⓘ
convergence of random variables in distribution ⓘ defining topologies on spaces of probability measures ⓘ stability analysis of stochastic processes ⓘ studying convergence of probability measures ⓘ |
| usedIn |
central limit theorem formulations
ⓘ
functional limit theorems ⓘ invariance principles ⓘ limit theorems for random measures ⓘ theory of stochastic processes ⓘ |
How these facts were elicited
The pipeline generated the facts above by prompting gpt-5.1 with this entity's name + description and the instruction below.
Instruction
You are a knowledge base construction expert. Given a subject entity and a description of it, return factual statements that you know for the subject as a JSON list of dictionaries(triples), where keys must be "subject", "predicate" and "object". The number of facts may be very high, between 25 to 50 or more, for very popular subjects. For less popular subjects, the number of facts can be very low, like 5 or 10. # Requirements - If you don't know the subject at all, return an empty list. - If the subject is not a named entity, return an empty list. - Include at least one triple where predicate is "instanceOf". - Do not get too wordy. - Separate several objects into multiple triples with one object.
Input
Subject: Lévy–Prokhorov metric Description of subject: The Lévy–Prokhorov metric is a probability metric on the space of probability measures that metrizes weak convergence and is widely used in probability theory and measure theory.
Referenced by (2)
Full triples — surface form annotated when it differs from this entity's canonical label.
this entity surface form:
Lévy metric on the real line