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.