Compact space

From Conservapedia
Jump to: navigation, search

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.