位相空間論 、集合論 や ゲーム理論 において、バナッハ ・マズール・ゲーム とは、二人で行う(topological game )の一種で、空間からピンとなる元を得られるかどうかを問題にするものである。バナッハ・マズール・ゲームのコンセプトはベール空間 のコンセプトとも関連がある。完全情報 な無限陣取りゲーム で最初期に研究されたものである。
定義と性質 一般的なバナッハ・マズール・ゲームの定義は次のようにする: 位相空間 Y {\displaystyle Y} , 固定された部分集合 X ⊂ Y {\displaystyle X\subset Y} , Y {\displaystyle Y} の部分集合族 W {\displaystyle W} が次の性質を満たしているとする。
W {\displaystyle W} の各元は空でない内部を持つ。 Y {\displaystyle Y} の空でない開集合は W {\displaystyle W} の元を部分集合として含む。ここで、ゲーム M B ( X , Y , W ) {\displaystyle MB(X,Y,W)} を次のように定める。二人のプレイヤー P 1 {\displaystyle P_{1}} と P 2 {\displaystyle P_{2}} は交互に W {\displaystyle W} の元 W 0 {\displaystyle W_{0}} , W 1 {\displaystyle W_{1}} , ⋯ {\displaystyle \cdots } を、 W 0 ⊃ W 1 ⊃ ⋯ {\displaystyle W_{0}\supset W_{1}\supset \cdots } が成り立つように取っていく。 P 1 {\displaystyle P_{1}} が勝つのは X ∩ ( ∩ n < ω W n ) ≠ ∅ {\displaystyle X\cap (\cap _{n<\omega }W_{n})\neq \emptyset } であるときかつ、そのときのみである。
このとき、以下のことが成り立つ。
P 2 ↑ M B ( X , Y , W ) {\displaystyle P_{2}\uparrow MB(X,Y,W)} であるのは X {\displaystyle X} が Y {\displaystyle Y} において 第一類 (集合が第一類 とか meager であるとは、それが nowhere-dense な集合の可算和として得られること。)であるとき、かつそのときのみである。 Y {\displaystyle Y} が完備距離空間であるとすると、 P 1 ↑ M S ( X , Y , W ) {\displaystyle P_{1}\uparrow MS(X,Y,W)} であるのは、 Y {\displaystyle Y} の空でないある開部分集合の中に X {\displaystyle X} がresidual(なんらかのmeager setの補集合であること)であるとき、かつそのときのみである。 X {\displaystyle X} が Y {\displaystyle Y} でBaire property を持つとき、 M B ( X , Y , W ) {\displaystyle MB(X,Y,W)} はdeterminedである。 P 2 {\displaystyle P_{2}} のいかなるwinning strategy(必勝戦略)も、stationaryなwinning strategyとして実現できる。
winning strategy に関する事実 どんな集合 X {\displaystyle X} が P 2 {\displaystyle P_{2}} を必勝にしうるかという問題はごく自然なものである。もちろん、 X {\displaystyle X} が空だったら P 2 {\displaystyle P_{2}} は明らかに必勝である。なので、 P 2 {\displaystyle P_{2}} が winning strategy を持つことを保証するために X {\displaystyle X} はどれだけ"小さ"ければよいか、補集合がどれだけ"大き"ければよいかといった非公式的な概念を考えているものと捉えることができる。
winning strategiesに関する証明の例を挙げておく。
事実 : X {\displaystyle X} が可算で、 Y {\displaystyle Y} が(T1 )で、 Y {\displaystyle Y} が孤立点 を持たないなら、 P 2 {\displaystyle P_{2}} がwinning strategyを持つ。
証明 : X {\displaystyle X} の要素を x 1 , x 2 , ⋯ {\displaystyle x_{1},x_{2},\cdots } と番号付けしておく。 W 1 {\displaystyle W_{1}} が P 1 {\displaystyle P_{1}} に選ばれたとする。 U 1 {\displaystyle U_{1}} を W 1 {\displaystyle W_{1}} の空でない内部とする。このとき、 U 1 ∖ { x 1 } {\displaystyle U_{1}\setminus \{x_{1}\}} は Y {\displaystyle Y} の空でない開集合である。なので、 P 2 {\displaystyle P_{2}} は W {\displaystyle W} の元 W 2 {\displaystyle W_{2}} を、これに部分集合として含まれるように取ることができる。 P 1 {\displaystyle P_{1}} は W 3 {\displaystyle W_{3}} を W 2 {\displaystyle W_{2}} の内側に取ることができる。 P 2 {\displaystyle P_{2}} は先ほどと同様の理由で、 W 4 ⊂ W 3 {\displaystyle W_{4}\subset W_{3}} で x 2 {\displaystyle x_{2}} を持たないようにとれる。この方法により、各点 x n {\displaystyle x_{n}} はそれぞれ W 2 n {\displaystyle W_{2n}} には属さない、よって全ての W n {\displaystyle W_{n}} の共通部分は X {\displaystyle X} のどの点も避けてしまう。Q.E.D
事実 : Y {\displaystyle Y} を位相空間とし、 W {\displaystyle W} を Y {\displaystyle Y} の部分集合の族で最初に挙げてある、ゲームをするために必要な二つの性質を満たすものとし、 X {\displaystyle X} は Y {\displaystyle Y} の部分集合とする。 P 2 {\displaystyle P_{2}} がwinning strategyを持つのは X {\displaystyle X} がmeagre であるとき、かつそのときのみである。
ただし、 X {\displaystyle X} がmeagreでないからといって、 P 1 {\displaystyle P_{1}} がwinning strategyを持つと言えるわけではないことに注意。プレイヤーのいずれもwinning strategyを持っていないことだってありうる。: Y {\displaystyle Y} が [ 0 , 1 ] {\displaystyle [0,1]} であって、 W {\displaystyle W} が閉区間 [ a , b ] {\displaystyle [a,b]} から成り立っているとする。このとき、target set X {\displaystyle X} がBaire Property を持つなら、ゲームがdeterminedである。選択公理 の下では、 [ 0 , 1 ] {\displaystyle [0,1]} の部分集合でバナッハ・マズール・ゲームをdeterminedにしないものがある。
参考文献 [1957] 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
[1987] Telgársky, R. J. Topological Games: On the 50th Anniversary of the Banach–Mazur Game , Rocky Mountain J. Math. 17 (1987), pp. 227–276.[1] (3.19 MB)
[2003] Julian P. Revalski The Banach-Mazur game: History and recent developments , Seminar notes, Pointe-a-Pitre, Guadeloupe, France, 2003-2004 [2]