Heine-Borel theorem

GPTKB entity

Statements (19)
Predicate Object
gptkbp:instanceOf gptkb:mathematical_concept
gptkbp:appliesTo gptkb:Euclidean_space
R^n
gptkbp:category gptkb:topology
theorems in analysis
gptkbp:field gptkb:mathematics
real analysis
gptkbp:firstPublished 1895
https://www.w3.org/2000/01/rdf-schema#label Heine-Borel theorem
gptkbp:namedAfter gptkb:Émile_Borel
gptkb:Eduard_Heine
gptkbp:relatedConcept closed set
compactness
bounded set
open cover
finite subcover
gptkbp:sentence A subset of Euclidean space R^n is compact if and only if it is closed and bounded.
gptkbp:bfsParent gptkb:Real_Analysis
gptkbp:bfsLayer 7