バナッハ・マズール・ゲームとは? わかりやすく解説

Weblio 辞書 > 辞書・百科事典 > 百科事典 > バナッハ・マズール・ゲームの意味・解説 

バナッハ・マズール・ゲーム

出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2023/02/20 16:48 UTC 版)

位相空間論集合論ゲーム理論において、バナッハマズール・ゲーム とは、二人で行う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にしないものがある。

参考文献

[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]




英和和英テキスト翻訳>> Weblio翻訳
英語⇒日本語日本語⇒英語
  

辞書ショートカット

すべての辞書の索引

「バナッハ・マズール・ゲーム」の関連用語

バナッハ・マズール・ゲームのお隣キーワード
検索ランキング

   

英語⇒日本語
日本語⇒英語
   



バナッハ・マズール・ゲームのページの著作権
Weblio 辞書 情報提供元は 参加元一覧 にて確認できます。

   
ウィキペディアウィキペディア
All text is available under the terms of the GNU Free Documentation License.
この記事は、ウィキペディアのバナッハ・マズール・ゲーム (改訂履歴)の記事を複製、再配布したものにあたり、GNU Free Documentation Licenseというライセンスの下で提供されています。 Weblio辞書に掲載されているウィキペディアの記事も、全てGNU Free Documentation Licenseの元に提供されております。

©2025 GRAS Group, Inc.RSS