Juego de Banach-Mazur

En topología general, la teoría de conjuntos y la teoría de juegos, un juego de Banach–Mazur es un juego topológico jugado por dos jugadores, tratando de precisar los elementos de un conjunto (espacio). El concepto de un juego Banach–Mazur está estrechamente relacionado con el concepto de espacio de Baire. Este juego fue el primer juego posicional infinito de información perfecta que se estudió. Fue introducido por Stanisław Mazur como el problema 43 del libro escocés, y Banach respondió a las preguntas de Mazur al respecto.

Definición

Sea ser un espacio topológico no vacío, un subconjunto fijo de y una familia de subconjuntos de que tienen las siguientes propiedades:

  • Cada miembro de tiene interior no vacío.
  • Cada subconjunto abierto no vacío de contiene un miembro de .

Los jugadores, y elegir alternativamente elementos de para formar una secuencia

gana si y solo si

De otra manera, gana. A esto se le llama un juego general de Banach-Mazur y se denota por

Propiedades

  • tiene una estrategia ganadora si y solo si es de la primera categoría en (un conjunto es de la primera categoría o escaso si es la unión contable de conjuntos densos en ninguna parte).
  • Si es un espacio métrico completo, tiene una estrategia ganadora si y solo si es comeager en algún subconjunto abierto no vacío de
  • Si tiene la propiedad de Baire en , entonces está determinado.
  • Los espacios tamizables y fuertemente tamizables introducidos por Choquet se pueden definir en términos de estrategias estacionarias en modificaciones adecuadas del juego. Dejar denota una modificación de donde es la familia de todos los conjuntos abiertos no vacíos en y gana un juego si y solo si
Entonces es tamizable si y solo si tiene una estrategia ganadora estacionaria en
  • Una estrategia ganadora de Markov para en puede reducirse a una estrategia ganadora estacionaria. Además, si tiene una estrategia ganadora en , entonces tiene una estrategia ganadora que depende solo de dos movimientos anteriores. Todavía es una cuestión sin resolver si una estrategia ganadora para puede reducirse a una estrategia ganadora que depende sólo de los dos últimos movimientos de .
  • se llama débilmente -favorable si tiene una estrategia ganadora en . Entonces, es un espacio de Baire si y solo si no tiene una estrategia ganadora en . De ello se deduce que cada débil -favorable es un espacio de Baire.

El caso especial más común surge cuando y constan de todos los intervalos cerrados en el intervalo unitario. Entonces gana si y solo si y gana si y solo si. Este juego se denota por

Referencias

Enlaces externos

Este artículo ha sido escrito por Wikipedia. El texto está disponible bajo la licencia Creative Commons - Atribución - CompartirIgual. Pueden aplicarse cláusulas adicionales a los archivos multimedia.