By Diego Rojas

Prokhorov's Theorem in probability theory states that a family *\Gamma* of probability measures on a Polish space is tight if and only if every sequence in *\Gamma* has a weakly convergent subsequence. Due to the highly non-constructive nature of (relative) sequential compactness, however, the effective content of this theorem has... Show more

October 30, 2024

Loading full text...

Similar articles

Loading recommendations...

x1

Effective weak convergence and tightness of measures in computable Polish spaces

Click on play to start listening