Statements (24)
| Predicate | Object |
|---|---|
| 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
|
| https://www.w3.org/2000/01/rdf-schema#label |
Baire space
|
| 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_space |
| gptkbp:bfsLayer |
6
|