|
gptkbp:instanceOf
|
gptkb:topology
|
|
gptkbp:compatibleWith
|
union of countably many nowhere dense sets
|
|
gptkbp:defines
|
A topological space in which the intersection of countably many open dense sets is dense
|
|
gptkbp:example
|
gptkb:Polish_space
gptkb:Cantor_space
gptkb:locally_compact_Hausdorff_space
complete metric space
completely metrizable space
irrational numbers with subspace topology
nonmeager space
real numbers with usual topology
|
|
gptkbp:hasProperty
|
every countable intersection of open dense sets is dense
|
|
gptkbp:importantFor
|
analysis of generic properties
|
|
gptkbp:namedAfter
|
gptkb:René-Louis_Baire
|
|
gptkbp:relatedTo
|
gptkb:Baire_category_theorem
meager set
nowhere dense set
|
|
gptkbp:usedIn
|
gptkb:general_topology
gptkb:descriptive_set_theory
functional analysis
|
|
gptkbp:bfsParent
|
gptkb:Baire_category_theorem
gptkb:Polish_spaces
gptkb:Polish_space
gptkb:Choquet_game
gptkb:Banach–Mazur_game
gptkb:topological_Ramsey_theory
|
|
gptkbp:bfsLayer
|
7
|
|
https://www.w3.org/2000/01/rdf-schema#label
|
Baire space
|