🌱
Let be a Metric Space and let be the Borel σ-algebra of . Let be a family of probability measures on . Then, 1. If is tight then it is relatively sequentially compact. 2. Suppose that is Separable and complete (i.e. Polish). If is relatively sequentially compact, then is tight.
Note that if some family of probability measures is weakly continuous then that implies immediately that it is relatively sequentially compact.