位相空間論、集合論 や ゲーム理論において、バナッハ・マズール・ゲーム とは、二人で行うtopological gameの一種で、空間からピンとなる元を得られるかどうかを問題にするものである。バナッハ・マズール・ゲームのコンセプトはベール空間のコンセプトとも関連がある。完全情報な無限陣取りゲームで最初期に研究されたものである。この概念はマズールによって導入され、バナッハが答えた問題に始まる。
定義と性質
一般的なバナッハ・マズール・ゲームの定義は次のようにする: 位相空間 , 固定された部分集合 , の部分集合族 が次の性質を満たしているとする。
の各元は空でない内部を持つ。 の空でない開集合は の元を部分集合として含む。
ここで、ゲーム を次のように定める。二人のプレイヤー と は交互に の元 , , を、 が成り立つように取っていく。 が勝つのは であるときかつ、そのときのみである。
このとき、以下のことが成り立つ。
であるのは が において 第一類 (集合が第一類とか meager であるとは、それが nowhere-dense な集合の可算和として得られること。)であるとき、かつそのときのみである。 が完備距離空間であるとすると、 であるのは、 の空でないある開部分集合の中に がresidual(なんらかのmeager setの補集合であること)であるとき、かつそのときのみである。 が でBaire propertyを持つとき、 はdeterminedである。 のいかなるwinning strategy(必勝戦略)も、stationaryなwinning strategyとして実現できる。
winning strategy に関する事実
どんな集合 が を必勝にしうるかという問題はごく自然なものである。もちろん、 が空だったら は明らかに必勝である。なので、 が winning strategy を持つことを保証するために はどれだけ"小さ"ければよいか、補集合がどれだけ"大き"ければよいかといった非公式的な概念を考えているものと捉えることができる。
winning strategiesに関する証明の例を挙げておく。
事実: が可算で、 がT1で、 が孤立点を持たないなら、 がwinning strategyを持つ。
証明: の要素を と番号付けしておく。 が に選ばれたとする。 を の空でない内部とする。このとき、 は の空でない開集合である。なので、 は の元 を、これに部分集合として含まれるように取ることができる。 は を の内側に取ることができる。 は先ほどと同様の理由で、 で を持たないようにとれる。この方法により、各点 はそれぞれ には属さない、よって全ての の共通部分は のどの点も避けてしまう。Q.E.D
事実: を位相空間とし、 を の部分集合の族で最初に挙げてある、ゲームをするために必要な二つの性質を満たすものとし、 は の部分集合とする。 がwinning strategyを持つのは がmeagreであるとき、かつそのときのみである。
ただし、 がmeagreでないからといって、 がwinning strategyを持つと言えるわけではないことに注意。プレイヤーのいずれもwinning strategyを持っていないことだってありうる。: が であって、 が閉区間 から成り立っているとする。このとき、target set がBaire Propertyを持つなら、ゲームがdeterminedである。選択公理の下では、 の部分集合でバナッハ・マズール・ゲームをdeterminedにしないものがある。
参考文献
Oxtoby, J.C. The Banach–Mazur game and Banach category theorem, Contribution to the Theory of Games, Volume III, Annals of Mathematical Studies 39 (1957), Princeton, 159–163
Telgársky, R. J. Topological Games: On the 50th Anniversary of the Banach–Mazur Game, Rocky Mountain J. Math. 17 (1987), pp. 227–276. (3.19 MB)
Julian P. Revalski The Banach-Mazur game: History and recent developments, Seminar notes, Pointe-a-Pitre, Guadeloupe, France, 2003-2004