Namespaces
Variants
Actions

Difference between revisions of "Compactness, countable"

From Encyclopedia of Mathematics
Jump to: navigation, search
m (tex encoded by computer)
m (fixing spaces)
 
Line 11: Line 11:
 
{{TEX|done}}
 
{{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} $-
+
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.
compact.
 
  
 
In connection with this arise the concepts of initial and final compactness, or more generally compactness in an interval of cardinals  $  [ a , b ] $,  
 
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 ] $-
+
or  $  [ a , b ] $-compactness, expressible in three equivalent forms: 1) each set  $  M \subset  X $
compactness, expressible in three equivalent forms: 1) each set  $  M \subset  X $
 
 
of cardinality  $  m \in [ a , b ] $
 
of cardinality  $  m \in [ a , b ] $
 
has a [[Complete accumulation point|complete accumulation point]], that is, a point  $  \xi $
 
has a [[Complete accumulation point|complete accumulation point]], that is, a point  $  \xi $
Line 48: Line 46:
 
is the first ordinal number of cardinality  $  a $,  
 
is the first ordinal number of cardinality  $  a $,  
 
in standard Western usage, however,  $  \omega _ {a} $
 
in standard Western usage, however,  $  \omega _ {a} $
is the  $  a $-
+
is the  $  a $-th infinite cardinal number.
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 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.

Latest revision as of 08:32, 16 June 2022


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 $ \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, 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.)

Comments

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 $ \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

[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)
How to Cite This Entry:
Compactness, countable. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Compactness,_countable&oldid=46409
This article was adapted from an original article by M.I. Voitsekhovskii (originator), which appeared in Encyclopedia of Mathematics - ISBN 1402006098. See original article