The property of a topological space that every infinite subset of it has an accumulation point. For a metric space the notion of countable compactness is the same as that of compactness. The property of countable compactness can be expressed in the following form: Every countable subset has an accumulation point, so that countably compact spaces are naturally called -compact.
In connection with this arise the concepts of initial and final compactness, or more generally compactness in an interval of cardinals , or -compactness, expressible in three equivalent forms: 1) each set of cardinality has a complete accumulation point, that is, a point such that for every neighbourhood of it, the set has the same cardinality as ; 2) every totally ordered system of order type of closed sets has a non-empty intersection; and 3) every open covering of cardinality contains a subcovering of cardinality .
If equals , then is called initially compact up to cardinality . Countable compactness means initial compactness up to . If is arbitrary, then is called finally compact, starting from cardinality ; thus, every space with a countable basis is finally compact from . Compact spaces are initially compact from any (infinite) cardinality and are at the same time finally compact starting from any cardinality. Thus, every compact space is countably compact, but not conversely: The space of all ordinal numbers is countably compact, but not compact. The (countable) compactness of a space need not imply that it is sequentially compact. E.g., in the (non-metrizable) space there exists an infinite closed (and hence Hausdorff compact) set containing no non-stationary convergent subsequence. (Cf. Compact set, countably.)
In particular, the property that each infinite set has an accumulation point (or limit point of a set, which is the same thing) is equivalent to the property of being countably compact as defined in the article Compact space, i.e. in the sense of the property that each countable covering has a finite subcovering. A space is a compact if each infinite subset has a complete accumulation point (cf. [a1]). Finally compact (from ) spaces are called Lindelöf spaces in Western terminology.
In the article above is the first ordinal number of cardinality , in standard Western usage, however, is the -th infinite cardinal number.
The Russian terminology on compactness differs from the Western terminology. Compact in Russian literature is countably compact in Western literature, and bicompact equates with compact Hausdorff in the West.
The article above also explains the origin of the Russian term "bicompact topological spacebicompactnessbicompact" . A space is "bicompact" if it is both initially and finally compact.
|[a1]||A.V. Arkhangel'skii, V.I. Ponomarev, "Fundamentals of general topology: problems and exercises" , Reidel (1984) pp. Chapt. 3. Problem 48 and pp. 165, 166 (Translated from Russian)|
Compactness, countable. M.I. Voitsekhovskii (originator), Encyclopedia of Mathematics. URL: http://www.encyclopediaofmath.org/index.php?title=Compactness,_countable&oldid=18657