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 4

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 ⓘ
Stefan Banach ⓘ
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 (4)

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 ⓘ
Baire category theorem → relatedTo → Banach–Mazur game ⓘ