On a Polish space, a family of probability measures is relatively compact for weak convergence exactly when it is tight. For finite measures, one additionally requires uniformly bounded total masses.
New to topics? Read the docs here!
New to topics? Read the docs here!