Effective Weak Convergence and Tightness of Measures in Computable Polish Spaces
Abstract
Abstract 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 not been studied. To this end, we generalize the effective notions of weak convergence of measures on the real line due to McNicholl and Rojas to computable Polish spaces. Then, we introduce an effective notion of tightness for families of measures on computable Polish spaces. Finally, we prove an effective version of Prokhorov’s Theorem for computable sequences of probability measures.
Fields of Study & Subjects
Advanced Topology and Set Theory
Computability
Logic
AI Algorithms
Approximation Theory and Sequence Spaces
Publication details
- Journal / source
- Theory of Computing Systems
- Publisher
- Springer Science and Business Media LLC
- Volume
- 70
- Issue
- 2
- Publication date
- 28 May 2026
- Language
- EN