Banach–Mazur game

E421063

The Banach–Mazur game is an infinite two-player topological game used to characterize properties such as Baire category and completeness in metric and topological spaces.

All labels observed (1)

Label Occurrences
Banach–Mazur game canonical 3

How this entity was disambiguated

Statements (46)

Predicate Object
instanceOf infinite game
mathematical game
perfect-information game
topological game
two-player game
assumes fixed target subset of the space
nonempty topological space
category games in analysis
infinite games in topology
definedOn metric space
topological space
field descriptive set theory
functional analysis
set theory
topology
hasMoveType choice of nonempty open set
hasOutcome intersection of chosen open sets
hasPlayer Player I
Player II
hasProperty determinacy depends on regularity properties of sets
involves countably many moves
length ω (omega) play
perfect information
hasStructure players alternately choose nested nonempty open sets
namedAfter Stanisław Mazur NERFINISHED
Stefan Banach NERFINISHED
relatedTo Baire category theorem
Banach–Mazur theorem
Choquet game
Gale–Stewart game
toolFor analyzing generic points in topological spaces
proving that a space is Baire
studying completeness via game-theoretic methods
typicalResult a space is Baire iff Player II has a winning strategy in the Banach–Mazur game on every nonempty open set
in a complete metric space, certain Banach–Mazur games are determined
usedFor characterizing Baire category properties
characterizing completeness in metric and topological spaces
characterizing completeness of metric spaces
characterizing the Baire property
characterizing topological properties of spaces
studying Baire spaces
studying comeagre sets
studying meagre sets
winCondition intersection is empty
intersection is nonempty
intersection point lies in a fixed target set

How these facts were elicited

Referenced by (3)

Full triples — surface form annotated when it differs from this entity's canonical label.

Stefan Banach notableWork Banach–Mazur game
Stefan Banach eponymOf Banach–Mazur game
Stanisław Mazur notableWork Banach–Mazur game