A Borel Measurable Version of Konig's Lemma for Random Paths
Maitra, A. ; Purves, R. ; Sudderth, W.
Ann. Probab., Tome 19 (1991) no. 4, p. 423-451 / Harvested from Project Euclid
Starting at $x$ in a Polish space $X$, a player selects the distribution $\sigma_0$ of the next state $x_1$ from the collection $\Gamma (x)$ of those distributions available and then selects the distribution $\sigma_1(x_1)$ for $x_2$ from $\Gamma(x_1)$ and so on. Suppose the player wins if every $x_i$ in the stochastic process $x_1, x_2,\ldots$ lies in a given Borel subset $A$ of $X$, that is, if the process stays in $A$ forever. If $\{(x, \gamma): \gamma \in \Gamma (x)\}$ is a Borel subset of $X \times \mathbb{P}(X)$, where $\mathbb{P}(X)$ is the natural Polish space of probability measures on $X$, and if $0 \leq p \leq 1$, then a player can stay in $A$ forever with probability at least $p$ if and only if the player can stay in $A$ up to time $t$ with probability at least $p$ for every Borel stop rule $t$. A similar result holds when the object of the game is to visit $A$ infinitely often.
Publié le : 1991-01-14
Classification:  Measurable gambling,  optimization,  stop rules,  Konig's lemma,  analytic sets,  60G40,  93E20,  04A15
@article{1176990554,
     author = {Maitra, A. and Purves, R. and Sudderth, W.},
     title = {A Borel Measurable Version of Konig's Lemma for Random Paths},
     journal = {Ann. Probab.},
     volume = {19},
     number = {4},
     year = {1991},
     pages = { 423-451},
     language = {en},
     url = {http://dml.mathdoc.fr/item/1176990554}
}
Maitra, A.; Purves, R.; Sudderth, W. A Borel Measurable Version of Konig's Lemma for Random Paths. Ann. Probab., Tome 19 (1991) no. 4, pp.  423-451. http://gdmltest.u-ga.fr/item/1176990554/