Baire category theorem

GPTKB entity

Statements (22)
Predicate Object
gptkbp:instanceOf gptkb:mathematical_concept
gptkbp:appliesTo locally compact Hausdorff spaces
complete metric spaces
gptkbp:field gptkb:topology
functional analysis
https://www.w3.org/2000/01/rdf-schema#label Baire category theorem
gptkbp:implies every locally compact Hausdorff space is a Baire space
every complete metric space is a Baire space
gptkbp:namedAfter gptkb:René-Louis_Baire
gptkbp:publicationYear 1899
gptkbp:relatedTo gptkb:Baire_space
category (mathematics)
meager set
nowhere dense set
gptkbp:statedIn gptkb:Baire's_1899_dissertation
gptkbp:usedIn functional analysis
Banach space theory
proof of closed graph theorem
proof of open mapping theorem
proof of uniform boundedness principle
gptkbp:bfsParent gptkb:Topology
gptkbp:bfsLayer 5