Difference between revisions of "Compact space"
Jump to navigation
Jump to search
| Line 1: | Line 1: | ||
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]]. | ||
[[Category:Topology]] | [[Category:Topology]] | ||
Revision as of 22:32, April 10, 2007
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.