 Therefore, the singleton formula_30 is not tight.If formula_3 is a compact Polish space, then every probability measure on formula_3 is tight.Furthermore, by Prokhorov's theorem, a collection of probability measures on formula_3 is tight if and only if
it is precompact in the topology of weak convergence.