Sequentially-compact space

From Encyclopedia of Mathematics
Jump to: navigation, search

A topological space in which any infinite sequence of points contains a convergent subsequence (the Bolzano–Weierstrass condition). In the class of $T_1$-spaces, a sequentially-compact space is countably compact (see Compactness, countable). If, in addition, the space satisfies the first axiom of countability (cf. also Base), then its countable compactness implies that it is sequentially compact. A sequentially-compact space need not be compact; for example, the set of all ordinal numbers less than the first uncountable number, equipped with the topology whose base is the set of all open intervals.


Some authors take the Bolzano–Weierstrass condition to mean that every infinite set has an accumulation point, which in the class of $T_1$-spaces is equivalent to countable compactness.

The product of a countable number of sequentially-compact spaces is sequentially compact.


[a1] J. Dugundji, "Topology" , Allyn & Bacon (1966) (Theorem 8.4)
[a2] J.L. Kelley, "General topology" , v. Nostrand (1955) pp. 145
How to Cite This Entry:
Sequentially-compact space. Encyclopedia of Mathematics. URL:
This article was adapted from an original article by M.I. Voitsekhovskii (originator), which appeared in Encyclopedia of Mathematics - ISBN 1402006098. See original article