Definition:Compact Space/Real Analysis
Jump to navigation Jump to search
Let $H \subseteq \R$.
$H$ is compact in $\R$ if and only if:
- when $H$ is the union of a set of neighborhoods which are open in $H$,
- then $H$ is also the union of a finite number of these neighborhoods.
- Heine-Borel Theorem, where it is proved that this definition is equivalent to the topological definition when $\R$ is considered with the Euclidean topology.
- Results about compact spaces can be found here.