View source for Compactness, countable

<!--
c0235701.png
$#A+1 = 30 n = 0
$#C+1 = 30 : ~/encyclopedia/old_files/data/C023/C.0203570 Compactness, countable
Automatically converted into TeX, above some diagnostics.
Please remove this comment and the {{TEX|auto}} line below,
if TeX found to be correct.
-->

{{TEX|auto}}
{{TEX|done}}

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|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  $  \aleph _ {0} $-compact.

In connection with this arise the concepts of initial and final compactness, or more generally compactness in an interval of cardinals  $  [ a , b ] $, 
or  $  [ a , b ] $-compactness, expressible in three equivalent forms: 1) each set  $  M \subset  X $
of cardinality  $  m \in [ a , b ] $
has a [[Complete accumulation point|complete accumulation point]], that is, a point  $  \xi $
such that for every neighbourhood  $  O _  \xi  $
of it, the set  $  O _  \xi  \cap M $
has the same cardinality as  $  M $; 
2) every totally ordered system of order type  $  \omega \in [ \omega _ {a} , \omega _ {b} ] $
of closed sets has a non-empty intersection; and 3) every open covering of cardinality  $  m \in [ a , b ] $
contains a subcovering of cardinality  $  < m $.

If  $  a $
equals  $  \aleph _ {0} $, 
then  $  X $
is called initially compact up to cardinality  $  b $. 
Countable compactness means initial compactness up to  $  \aleph _ {0} $. 
If  $  b \geq  a $
is arbitrary, then  $  X $
is called finally compact, starting from cardinality  $  a $; 
thus, every space with a countable basis is finally compact from  $  a = \aleph _ {1} $. 
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  $  W ( \omega _ {1} ) $
of all ordinal numbers  $  < \omega _ {1} $
is countably compact, but not compact. The (countable) compactness of a space  $  X $
need not imply that it is sequentially compact. E.g., in the (non-metrizable) space  $  I ^ { \mathfrak c } $
there exists an infinite closed (and hence Hausdorff compact) set containing no non-stationary convergent subsequence. (Cf. [[Compact set, countably|Compact set, countably]].)

====Comments====
In particular, the property that each infinite set has an [[Accumulation point|accumulation point]] (or [[Limit point of a set|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|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|complete accumulation point]] (cf. [[#References|[a1]]]). Finally compact (from  $  \aleph _ {1} $) 
spaces are called Lindelöf spaces in Western terminology.

In the article above  $  \omega _ {a} $
is the first ordinal number of cardinality  $  a $, 
in standard Western usage, however,  $  \omega _ {a} $
is the  $  a $-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.

====References====
<table><TR><TD valign="top">[a1]</TD> <TD valign="top">  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)</TD></TR></table>

{{SourceattributionEOM|Compactness, countable}}
[[Category:Mathematics]]