Baire spaces

GPTKB entity

Statements (19)
Predicate Object
gptkbp:instanceOf gptkb:mathematical_concept
topological concept
gptkbp:application gptkb:general_topology
functional analysis
gptkbp:defines A topological space in which the intersection of countably many dense open sets is dense.
gptkbp:field gptkb:topology
https://www.w3.org/2000/01/rdf-schema#label Baire spaces
gptkbp:namedAfter gptkb:René-Louis_Baire
gptkbp:property The real numbers with the usual topology form a Baire space.
Every complete metric space is a Baire space.
The Baire category theorem characterizes Baire spaces.
Every locally compact Hausdorff space is a Baire space.
gptkbp:relatedTo gptkb:Baire_category_theorem
complete metric space
locally compact space
meager set
nowhere dense set
gptkbp:bfsParent gptkb:strong_Choquet_game
gptkbp:bfsLayer 8