Difference between revisions of "Compact space"
Jump to navigation
Jump to search
m |
(Undo revision 462272 by Special:Contributions/JustinB (User talk:JustinB)) |
||
| Line 1: | Line 1: | ||
| − | + | 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]] | ||
Revision as of 21:13, May 28, 2008
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.