可计算波兰空间中测度的有效弱收敛与紧性

概率论中的 Prokhorov 定理指出，波兰空间上的概率测度族 $\Gamma$ 是紧的，当且仅当 $\Gamma$ 中的每个序列都有一个弱收敛子序列。然而，由于（相对）序列紧性的高度非构造性，该定理的有效内容尚未得到研究。为此，我们将 McNicholl 和 Rojas 提出的实直线上的测度弱收敛的有效概念推广到可计算波兰空间。然后，我们引入了可计算波兰空间上测度族的有效紧性概念。最后，我们证明了概率测度的可计算序列的 Prokhorov 定理的有效版本。