A [[topological space]] '''X''' is said to be compact, if every [[open cover]] of '''X''' contains a finite subcover.
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(mathematics)|complete]] and [[totally bounded space|totally bounded]].
+
Important Theorem: A [[metric space]] is compact if and only if it's [[complete (mathematics)|complete]] and [[totally bounded space|totally bounded]].