Compact space
This is an old revision of this page, as edited by Jaques (talk | contribs) at 22:33, April 10, 2007. It may differ significantly from current revision.
A topological space X is said to be compact, if every open cover of X contains a finite subcover.
Important Theorem: A metric space is compact if and only if it's complete and totally bounded.