# Difference between revisions of "Banach-Mazur game"

Ulf Rehmann (talk | contribs) m (MR/ZBL numbers added) |
m (→References: expand bibliodata) |
||

Line 29: | Line 29: | ||

====References==== | ====References==== | ||

− | <table><TR><TD valign="top">[a1]</TD> <TD valign="top"> G. Choquet, "Une classe régulières d'espaces de Baire" ''C.R. Acad. Sci. Paris Sér. I'' , '''246''' (1958) pp. 218–220</TD></TR><TR><TD valign="top">[a2]</TD> <TD valign="top"> G. Debs, "Strategies gagnantes dans certain jeux topologique" ''Fundam. Math.'' , '''126''' (1985) pp. 93–105</TD></TR><TR><TD valign="top">[a3]</TD> <TD valign="top"> G. Debs, J. Saint-Raymond, "Topological games and optimization problems" ''Mathematika'' , '''41''' (1994) pp. 117–132</TD></TR><TR><TD valign="top">[a4]</TD> <TD valign="top"> M.R. Krom, "Infinite games and special Baire space extensions" ''Pacific J. Math.'' , '''55''' : 2 (1974) pp. 483–487</TD></TR><TR><TD valign="top">[a5]</TD> <TD valign="top"> P.S. Kenderov, J.P. Revalski, "The Banach–Mazur game and generic existence of solutions to optimization problems" ''Proc. Amer. Math. Soc.'' , '''118''' (1993) pp. 911–917</TD></TR><TR><TD valign="top">[a6]</TD> <TD valign="top"> "The Scottish Book: Mathematics from the Scottish Café" R.D. Mauldin (ed.) , Birkhäuser (1981)</TD></TR><TR><TD valign="top">[a7]</TD> <TD valign="top"> R.A. McCoy, "A Baire space extension" ''Proc. Amer. Math. Soc.'' , '''33''' (1972) pp. 199–202</TD></TR><TR><TD valign="top">[a8]</TD> <TD valign="top"> J. Oxtoby, "The Banach–Mazur game and the Banach category theorem" , ''Contributions to the Theory of Games III'' , ''Ann. of Math. Stud.'' , '''39''' , Princeton Univ. Press (1957) pp. 159–163</TD></TR><TR><TD valign="top">[a9]</TD> <TD valign="top"> J. Saint-Raymond, "Jeux topologiques et espaces de Namioka" ''Proc. Amer. Math. Soc.'' , '''87''' (1983) pp. 499–504 {{MR|}} {{ZBL|0511.54007}} </TD></TR><TR><TD valign="top">[a10]</TD> <TD valign="top"> R. Telgárski, "Topological games: On the | + | <table> |

+ | <TR><TD valign="top">[a1]</TD> <TD valign="top"> G. Choquet, "Une classe régulières d'espaces de Baire" ''C.R. Acad. Sci. Paris Sér. I'' , '''246''' (1958) pp. 218–220</TD></TR> | ||

+ | <TR><TD valign="top">[a2]</TD> <TD valign="top"> G. Debs, "Strategies gagnantes dans certain jeux topologique" ''Fundam. Math.'' , '''126''' (1985) pp. 93–105</TD></TR> | ||

+ | <TR><TD valign="top">[a3]</TD> <TD valign="top"> G. Debs, J. Saint-Raymond, "Topological games and optimization problems" ''Mathematika'' , '''41''' (1994) pp. 117–132</TD></TR> | ||

+ | <TR><TD valign="top">[a4]</TD> <TD valign="top"> M.R. Krom, "Infinite games and special Baire space extensions" ''Pacific J. Math.'' , '''55''' : 2 (1974) pp. 483–487</TD></TR> | ||

+ | <TR><TD valign="top">[a5]</TD> <TD valign="top"> P.S. Kenderov, J.P. Revalski, "The Banach–Mazur game and generic existence of solutions to optimization problems" ''Proc. Amer. Math. Soc.'' , '''118''' (1993) pp. 911–917</TD> | ||

+ | </TR><TR><TD valign="top">[a6]</TD> <TD valign="top"> "The Scottish Book: Mathematics from the Scottish Café" R.D. Mauldin (ed.) , Birkhäuser (1981)</TD></TR> | ||

+ | <TR><TD valign="top">[a7]</TD> <TD valign="top"> R.A. McCoy, "A Baire space extension" ''Proc. Amer. Math. Soc.'' , '''33''' (1972) pp. 199–202</TD></TR> | ||

+ | <TR><TD valign="top">[a8]</TD> <TD valign="top"> J. Oxtoby, "The Banach–Mazur game and the Banach category theorem" , ''Contributions to the Theory of Games III'' , ''Ann. of Math. Stud.'' , '''39''' , Princeton Univ. Press (1957) pp. 159–163</TD></TR> | ||

+ | <TR><TD valign="top">[a9]</TD> <TD valign="top"> J. Saint-Raymond, "Jeux topologiques et espaces de Namioka" ''Proc. Amer. Math. Soc.'' , '''87''' (1983) pp. 499–504 {{MR|}} {{ZBL|0511.54007}} </TD></TR> | ||

+ | <TR><TD valign="top">[a10]</TD> <TD valign="top"> R. Telgárski, "Topological games: On the fiftieth anniversary of the Banach–Mazur game" ''Rocky Mount. J. Math.'' , '''17''' (1987) pp. 227–276 [[ZBL|0619.90110}}</TD></TR> | ||

+ | <TR><TD valign="top">[a11]</TD> <TD valign="top"> S.M. Ulam, "The Scottish Book" , ''A LASL monograph'' , Los Alamos Sci. Lab. (1977) (Edition: Second)</TD></TR> | ||

+ | </table> |

## Revision as of 16:58, 16 April 2018

A game that appeared in the famous Scottish Book [a11], [a6], where its initial version was formulated as Problem 43 by the Polish mathematician S. Mazur: Given the space of real numbers and a non-empty subset of it, two players and play a game in the following way: starts by choosing a non-empty interval of and then responds by choosing a non-empty subinterval of . Then player in turn selects a non-empty interval and continues by taking a non-empty subinterval of . This procedure is iterated infinitely many times. The resulting infinite sequence of nested intervals is called a play. By definition, the player wins this play if the intersection has a common point with . Otherwise wins. Mazur had observed two facts:

a) if the complement of in some interval of is of the first Baire category in this interval (equivalently, if is residual in some interval of , cf. also Category of a set; Baire classes), then player has a winning strategy (see below for the definition); and

b) if itself is of the first Baire category in , then has a winning strategy. The question originally posed by Mazur in Problem 43 of the Scottish Book (with as prize a bottle of wine!) was whether the inverse implications in the above two assertions hold. On August 4, 1935, S. Banach wrote in the same book that "Mazur's conjecture is true" . The proof of this statement of Banach however has never been published. The game subsequently became known as the Banach–Mazur game.

More than 20 years later, in 1957, J. Oxtoby [a8] published a proof for the validity of Mazur's conjecture. Oxtoby considered a much more general setting. The game was played in a general topological space with and the two players and were choosing alternatively sets from an a priori prescribed family of sets which has the property that every element of contains a non-empty open subset of and every non-empty open subset of contains an element of . As above, wins if , otherwise wins. Oxtoby's theorem says that has a winning strategy if and only if is of the first Baire category in ; also, if is a complete metric space, then has a winning strategy exactly when is residual in some non-empty open subset of .

Later, the game was subjected to different generalizations and modifications.

## Generalizations.

Only the most popular modification of this game will be considered. It has turned out to be useful not only in set-theoretic topology, but also in the geometry of Banach spaces, non-linear analysis, number theory, descriptive set theory, well-posedness in optimization, etc. This modification is the following: Given a topological space , two players (usually called and ) alternatively choose non-empty open sets (in this sequence the are the choices of and the are the choices of ; thus, it is player who starts this game). Player wins the play if , otherwise wins. To be completely consistent with the general scheme described above, one may think that and starts by always choosing the whole space . This game is often denoted by .

A strategy for the player is a mapping which assigns to every finite sequence of legal moves in a non-empty open subset of included in the last move of (i.e. ). A stationary strategy (called also a tactics) for is a strategy for this player which depends only on the last move of the opponent. A winning strategy (a stationary winning strategy) for is a strategy such that wins every play in which his/her moves are obtained by . Similarly one defines the (winning) strategies for .

A topological space is called weakly -favourable if has a winning strategy in , while it is termed -favourable if there is a stationary winning strategy for in . It can be derived from the work of Oxtoby [a8] (see also [a4], [a7] and [a9]) that the space is a Baire space exactly when player does not have a winning strategy in . Hence, every weakly -favourable space is a Baire space. In the class of metric spaces , a metric space is weakly -favourable if and only if it contains a dense and completely metrizable subspace. One can use these two results to see that the Banach–Mazur game is "not determined" . I.e. it could happen for some space that neither nor has a winning strategy. For instance, the Bernstein set in the real line (cf. also Non-measurable set) is a Baire space which does not contain a dense completely metrizable subspace (consequently does not admit a winning strategy for either or ).

The above characterization of weak -favourability for metric spaces has been extended for some non-metrizable spaces in [a10].

A characterization of -favourability of a given completely-regular space can be obtained by means of the space of all continuous and bounded real-valued functions on equipped with the usual sup-norm . The following statement holds [a5]: The space is weakly -favourable if and only if the set

is residual in . In other words, is weakly -favourable if and only if almost-all (from the Baire category point of view) of the functions in attain their maximum in . The rich interplay between , and is excellently presented in [a3].

The class of -favourable spaces (spaces which admit -winning tactics) is strictly narrower than the class of weakly -favourable spaces. G. Debs [a2] has exhibited a completely-regular topological space which admits a winning strategy for in , but does not admit any -winning tactics in . Under the name "espaces tamisables" , the -favourable spaces were introduced and studied also by G. Choquet [a1].

[a10] is an excellent survey paper about topological games (including ).

#### References

[a1] | G. Choquet, "Une classe régulières d'espaces de Baire" C.R. Acad. Sci. Paris Sér. I , 246 (1958) pp. 218–220 |

[a2] | G. Debs, "Strategies gagnantes dans certain jeux topologique" Fundam. Math. , 126 (1985) pp. 93–105 |

[a3] | G. Debs, J. Saint-Raymond, "Topological games and optimization problems" Mathematika , 41 (1994) pp. 117–132 |

[a4] | M.R. Krom, "Infinite games and special Baire space extensions" Pacific J. Math. , 55 : 2 (1974) pp. 483–487 |

[a5] | P.S. Kenderov, J.P. Revalski, "The Banach–Mazur game and generic existence of solutions to optimization problems" Proc. Amer. Math. Soc. , 118 (1993) pp. 911–917 |

[a6] | "The Scottish Book: Mathematics from the Scottish Café" R.D. Mauldin (ed.) , Birkhäuser (1981) |

[a7] | R.A. McCoy, "A Baire space extension" Proc. Amer. Math. Soc. , 33 (1972) pp. 199–202 |

[a8] | J. Oxtoby, "The Banach–Mazur game and the Banach category theorem" , Contributions to the Theory of Games III , Ann. of Math. Stud. , 39 , Princeton Univ. Press (1957) pp. 159–163 |

[a9] | J. Saint-Raymond, "Jeux topologiques et espaces de Namioka" Proc. Amer. Math. Soc. , 87 (1983) pp. 499–504 Zbl 0511.54007 |

[a10] | R. Telgárski, "Topological games: On the fiftieth anniversary of the Banach–Mazur game" Rocky Mount. J. Math. , 17 (1987) pp. 227–276 [[ZBL|0619.90110}} |

[a11] | S.M. Ulam, "The Scottish Book" , A LASL monograph , Los Alamos Sci. Lab. (1977) (Edition: Second) |

**How to Cite This Entry:**

Banach-Mazur game.

*Encyclopedia of Mathematics.*URL: http://encyclopediaofmath.org/index.php?title=Banach-Mazur_game&oldid=43174