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
This entity first appeared as the object of triple T4219667 — resolving that mention is where its identity was fixed. The disambiguator weighed these candidate entities and picked the highlighted one (or “None”, minting a new entity). This is how homonymy is resolved: the same surface form can point to different entities.
Target entity: Banach–Mazur game Context triple: [Stefan Banach, notableWork, Banach–Mazur game]
-
A.
Banach–Tarski paradox
The Banach–Tarski paradox is a theorem in set-theoretic geometry stating that a solid ball in 3‑dimensional space can be decomposed into finitely many non-measurable pieces and reassembled into two identical copies of the original ball, highlighting counterintuitive consequences of the axiom of choice.
-
B.
Steinhaus theorem
The Steinhaus theorem is a fundamental result in measure theory stating that the difference set of any subset of the real numbers with positive Lebesgue measure contains an open interval around zero.
-
C.
Hausdorff
Hausdorff is a topological separation property requiring that any two distinct points in a space can be enclosed in disjoint open sets.
-
D.
Steinhaus chessboard theorem
The Steinhaus chessboard theorem is a combinatorial result in geometry and topology that gives conditions under which certain colored paths must exist on a checkerboard-like grid.
-
E.
Sprague–Grundy theorem
The Sprague–Grundy theorem is a fundamental result in combinatorial game theory that assigns each impartial game position a nonnegative integer (its Grundy value), allowing such games to be analyzed and combined via nim-like addition.
- F. None of above. chosen
- G. Unsure - the case is ambiguous/there is not enough information to decide.
Target entity: Banach–Mazur game Target entity description: 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.
-
A.
Banach–Tarski paradox
The Banach–Tarski paradox is a theorem in set-theoretic geometry stating that a solid ball in 3‑dimensional space can be decomposed into finitely many non-measurable pieces and reassembled into two identical copies of the original ball, highlighting counterintuitive consequences of the axiom of choice.
-
B.
Steinhaus theorem
The Steinhaus theorem is a fundamental result in measure theory stating that the difference set of any subset of the real numbers with positive Lebesgue measure contains an open interval around zero.
-
C.
Hausdorff
Hausdorff is a topological separation property requiring that any two distinct points in a space can be enclosed in disjoint open sets.
-
D.
Steinhaus chessboard theorem
The Steinhaus chessboard theorem is a combinatorial result in geometry and topology that gives conditions under which certain colored paths must exist on a checkerboard-like grid.
-
E.
Sprague–Grundy theorem
The Sprague–Grundy theorem is a fundamental result in combinatorial game theory that assigns each impartial game position a nonnegative integer (its Grundy value), allowing such games to be analyzed and combined via nim-like addition.
- F. None of above. chosen
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
The pipeline generated the facts above by prompting gpt-5.1 with this entity's name + description and the instruction below.
You are a knowledge base construction expert. Given a subject entity and a description of it, return factual statements that you know for the subject as a JSON list of dictionaries(triples), where keys must be "subject", "predicate" and "object". The number of facts may be very high, between 25 to 50 or more, for very popular subjects. For less popular subjects, the number of facts can be very low, like 5 or 10. # Requirements - If you don't know the subject at all, return an empty list. - If the subject is not a named entity, return an empty list. - Include at least one triple where predicate is "instanceOf". - Do not get too wordy. - Separate several objects into multiple triples with one object.
Subject: Banach–Mazur game Description of subject: 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.
Referenced by (3)
Full triples — surface form annotated when it differs from this entity's canonical label.