In mathematics, a topological space is sequence- compact if every sequence has a convergent subsequence. Metric spaces are sequentially compact if and only if they are totally bounded and complete , i.e. compact . Hence subsets of the are sequentially compact (and compact) if and only if they are closed and bounded. There are topological spaces that are sequentially compact and not compact, and spaces that are not sequentially compact but compact.
Convergent sequences in topological spaces
If is a metric space, then a sequence converges with against if
This means that the sequence converges if and only if there is a natural number for every positive real number , so that all terms of the sequence starting from the -th term have a distance of that is smaller than .
In any topological space, the surroundings take the place of the balls . Is a topological space, converges a series with against when it comes to any environment from one is so true for all .
A topological space is called sequence-compact if every sequence with contains a convergent subsequence . Correspondingly, a subspace is called sequence-compact if every sequence with has a convergent subsequence with limit in .
If a metric space is totally restricted, then every sequence contains a Cauchy sequence as a partial sequence. If it is also complete, this sequence converges. A compact metric space is consequently compact. More generally, any first-countable compact space is sequentially compact.
Conversely, if a metric space is sequence- compact, it must be totally restricted, since otherwise one and a sequence of points could be found, each with a distance of , and therefore would not have a convergent partial sequence. The space must also be complete, since a convergent subsequence of a Cauchy sequence must have the same limit as the original sequence.
Characteristics of compact spaces follow
A topological space is called countable-compact if every sequence has an accumulation point . Every sequentially compact space is countably compact. (The reverse does not apply.) In particular, every sequentially compact space is also weakly countably compact and pseudo-compact, since that is also every countably compact space. For metric spaces, compactness, sequence compactness and countable compactness always coincide.
A compact Hausdorff room that is not so compact
The set , provided with the discrete topology , is compact, therefore, according to Tychonoff's theorem , the set of all functions from the interval after , provided with the product topology , is also compact, and this space is Hausdorff-like .
The fact that the product topology is provided means that a sequence of functions converges when it converges point by point.
However, this space is not compact:
A sequence of functions that does not contain a convergent subsequence can be defined as follows:
The sequence is now defined as follows: is the -th decimal place of the number .
A number can now be defined for a partial sequence as follows . In the binary point representation, there is one in the -th position , if it is even and one in the other positions , if it is odd . This means that the sequence does not converge because the values jump back and forth at the point . So the sequence cannot have a convergent subsequence.
However, since the space is compact, the sequence has a convergent subnet .
A consequently compact space that is not compact
If now is a sequence of ordinal numbers, then the smallest ordinal number with the property that only finitely many sequence members are larger than it is an accumulation point of this sequence and the sequence can be thinned out to a convergent sequence. The space is therefore countably compact and consequently compact.
The family of open sets covers the set of all countable ordinals. A finite subfamily only contains countably many elements of . is therefore not compact.
The fact that the set is not compact is because it does not contain the Limesordinal number . However, this is not the limit of a countable sequence, but only the limit of an uncountable network (e.g. given by all countable ordinal numbers in their natural order).
- Boto von Querenburg : Set theoretical topology . 3. Edition. Springer Verlag, Berlin 2001, ISBN 3-540-67790-9 .
- Horst Schubert : Topology. An introduction (= mathematical guidelines ). 4th edition. BG Teubner Verlag, Stuttgart 1975, ISBN 3-519-12200-6 .
- Lynn Arthur Steen , J. Arthur Seebach, Jr .: Counterexamples in Topology . Springer-Verlag, New York 1978.