Difference between revisions of "Compact set"
m (→Definition) |
(→Definition) |
||
| Line 8: | Line 8: | ||
A set of [[open set]]s <math>G_{\alpha}\subset X</math> is said to be an '''open cover''' of <math>S</math> iff <math>S\subset\bigcup_{\alpha}G_{\alpha}</math> | A set of [[open set]]s <math>G_{\alpha}\subset X</math> is said to be an '''open cover''' of <math>S</math> iff <math>S\subset\bigcup_{\alpha}G_{\alpha}</math> | ||
| − | The set <math>S</math> is said to be '''Compact''' if and only if for every <math>\{G_{\alpha}\}</math> that is an open cover of <math>S</math>, there exists a finite set <math>\{\alpha_1,\alpha_2,\ldots,\alpha_n\}</math> such that <math>\{G_{\alpha_k}\}_{k=1}^{n}</math> is also an open cover of <math>S</math> | + | The [[set]] <math>S</math> is said to be '''Compact''' if and only if for every <math>\{G_{\alpha}\}</math> that is an open cover of <math>S</math>, there exists a [[finite]] set <math>\{\alpha_1,\alpha_2,\ldots,\alpha_n\}</math> such that <math>\{G_{\alpha_k}\}_{k=1}^{n}</math> is also an open cover of <math>S</math> |
[[Category:Topology]] | [[Category:Topology]] | ||
{{stub}} | {{stub}} | ||
Revision as of 11:10, 26 February 2008
The notion of Compact sets is very important in the field of topology
Definition
Let 
be a metric space
Let 
A set of open sets 
is said to be an open cover of 
iff 
The set is said to be Compact if and only if for every 
that is an open cover of , there exists a finite set 
such that 
is also an open cover of
This article is a stub. Help us out by expanding it.
