Difference between revisions of "Cardinal characteristic"
(Importing text file) |
(MSC 54A25) |
||
Line 1: | Line 1: | ||
− | + | {{MSC|54A25}} | |
− | A function associating an infinite [[ | + | ''of a [[topological space]]'' |
+ | |||
+ | A function associating an infinite [[cardinal number]] to each space and taking the same value on [[Homeomorphism|homeomorphic]] spaces. Cardinal characteristics are also called cardinal invariants. The domain of definition of a cardinal invariant is the class of all topological spaces or some subclass of it. The following cardinal invariants arose at the first stage of development of general topology. Let <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c020/c020360/c0203601.png" /> be an arbitrary topological space. A trivial invariant is its [[cardinality]] <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c020/c020360/c0203602.png" />, i.e. the cardinality of the set of all its points. Its [[Weight of a topological space|weight]] <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c020/c020360/c0203603.png" /> is the smallest cardinality of a [[base]] of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c020/c020360/c0203604.png" />. The [[Density (of a topological space)|density]] <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c020/c020360/c0203605.png" /> is the smallest cardinality of a dense subset of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c020/c020360/c0203606.png" />. The [[Suslin number]] <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c020/c020360/c0203607.png" /> is the least infinite cardinal number <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c020/c020360/c0203608.png" /> such that the cardinality of every family of pairwise-disjoint non-empty open sets does not exceed <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c020/c020360/c0203609.png" />. The [[Lindelöf number]] <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c020/c020360/c02036010.png" /> is the least infinite cardinal number <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c020/c020360/c02036011.png" /> such that every open covering of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c020/c020360/c02036012.png" /> has a subcovering of cardinality <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c020/c020360/c02036013.png" />. These simple notions immediately showed their importance by entering in a decisive way in fundamental theorems and problems. Examples: a regular space of countable weight is metrizable (the Urysohn–Tikhonov theorem, 1925); a compact Hausdorff space is metrizable if and only if its weight is countable; the Suslin number of the space <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c020/c020360/c02036014.png" /> of a compact group is countable; for every space <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c020/c020360/c02036015.png" /> of countable weight its Lindelöf number <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c020/c020360/c02036016.png" /> is countable. The Suslin problem — is it true that every ordered connected compact Hausdorff space <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c020/c020360/c02036017.png" /> for which <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c020/c020360/c02036018.png" /> is homeomorphic to the interval <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c020/c020360/c02036019.png" /> — leads to the question of the relationship between two cardinal invariants: the density and the Suslin number. For a positive solution of Suslin's problem it is sufficient to show, under the above assumptions, that <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c020/c020360/c02036020.png" />. The question of comparison of cardinal invariants — the solution of which, as is clear from the above example, may be of key significance for a definitive conclusion on the structure of a space — is central in the theory of cardinal invariants. The reason for this lies in the very nature of the concept of a cardinal invariant: the values of a cardinal invariant are cardinal numbers, the class of which is well-ordered by magnitude. Consequently, one can try to compare the values of any two cardinal invariants <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c020/c020360/c02036021.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c020/c020360/c02036022.png" />. A series of mutually related questions arises. Is it true that for all <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c020/c020360/c02036023.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c020/c020360/c02036024.png" />; for which <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c020/c020360/c02036025.png" /> does <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c020/c020360/c02036026.png" /> hold; when is <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c020/c020360/c02036027.png" />, etc. | ||
It is possible to do arithmetic with cardinals: to multiply and to add them, and to raise them to a power. Correspondingly, it is possible to do arithmetic with cardinal invariants — to multiply and to add them as functions, etc. This opens up new possibilities for comparing cardinal invariants, using arithmetic. There always holds | It is possible to do arithmetic with cardinals: to multiply and to add them, and to raise them to a power. Correspondingly, it is possible to do arithmetic with cardinal invariants — to multiply and to add them as functions, etc. This opens up new possibilities for comparing cardinal invariants, using arithmetic. There always holds |
Revision as of 22:16, 4 December 2014
2020 Mathematics Subject Classification: Primary: 54A25 [MSN][ZBL]
of a topological space
A function associating an infinite cardinal number to each space and taking the same value on homeomorphic spaces. Cardinal characteristics are also called cardinal invariants. The domain of definition of a cardinal invariant is the class of all topological spaces or some subclass of it. The following cardinal invariants arose at the first stage of development of general topology. Let be an arbitrary topological space. A trivial invariant is its cardinality
, i.e. the cardinality of the set of all its points. Its weight
is the smallest cardinality of a base of
. The density
is the smallest cardinality of a dense subset of
. The Suslin number
is the least infinite cardinal number
such that the cardinality of every family of pairwise-disjoint non-empty open sets does not exceed
. The Lindelöf number
is the least infinite cardinal number
such that every open covering of
has a subcovering of cardinality
. These simple notions immediately showed their importance by entering in a decisive way in fundamental theorems and problems. Examples: a regular space of countable weight is metrizable (the Urysohn–Tikhonov theorem, 1925); a compact Hausdorff space is metrizable if and only if its weight is countable; the Suslin number of the space
of a compact group is countable; for every space
of countable weight its Lindelöf number
is countable. The Suslin problem — is it true that every ordered connected compact Hausdorff space
for which
is homeomorphic to the interval
— leads to the question of the relationship between two cardinal invariants: the density and the Suslin number. For a positive solution of Suslin's problem it is sufficient to show, under the above assumptions, that
. The question of comparison of cardinal invariants — the solution of which, as is clear from the above example, may be of key significance for a definitive conclusion on the structure of a space — is central in the theory of cardinal invariants. The reason for this lies in the very nature of the concept of a cardinal invariant: the values of a cardinal invariant are cardinal numbers, the class of which is well-ordered by magnitude. Consequently, one can try to compare the values of any two cardinal invariants
and
. A series of mutually related questions arises. Is it true that for all
,
; for which
does
hold; when is
, etc.
It is possible to do arithmetic with cardinals: to multiply and to add them, and to raise them to a power. Correspondingly, it is possible to do arithmetic with cardinal invariants — to multiply and to add them as functions, etc. This opens up new possibilities for comparing cardinal invariants, using arithmetic. There always holds
![]() |
that is, the Suslin number does not exceed the density, the density does not exceed the weight, and the Lindelöf number does not exceed the weight. But the density and the Lindelöf number are not comparable in this sense: There are spaces and
for which
![]() |
The incomparability of cardinality and weight is unexpected at first sight: There are countable normal -spaces of uncountable weight. But always
and
. For every
-space
,
(one writes
instead of
). For every Hausdorff space
,
. Always
.
In a comparison problem it may happen that not just two, but more cardinal characteristics are involved. In that direction, particularly subtle, beautiful and often unexpected results have been obtained, striking in their generality: For each Hausdorff space ,
, where
is the least infinite cardinal number
such that at each point of
there is a local base of cardinality
(see [1], [2]). Much research in the theory of cardinal invariants was stimulated by the problem of estimating the cardinality of a compact Hausdorff space satisfying the first axiom of countability, a problem which remained unsolved from 1923 to 1969. It then turned out that for each Hausdorff space
,
(Arkhangel'skii's theorem, see [2], [4]).
The computation of cardinal invariants takes place in all parts of general topology because of the set-theoretic nature of the latter. Therefore, the theory of cardinal invariants finds application in practically all domains of general topology and in each approach to the investigation of spaces.
In particular, in the study of spaces by coverings, the Lindelöf number, the density and the Suslin number appeared from the very beginning. In the investigation and classification of spaces by continuous mappings (in particular, in the development of the theory of dyadic compacta and of the theory of absolutes) new cardinal invariants arose and played a key role: the spread and the -weight. The spread
of a space
is the least upper bound of the cardinalities of discrete subspaces of
, and the
-weight
of a space is the minimum of the cardinalities of families
(called
-bases) of non-empty open sets in
such that for each non-empty open set
in
there is a
such that
. In the investigation of spaces by inverse spectra a major role is played by the Suslin number, the character and the weight.
Thus, there is an approach to general topology for which cardinal invariants appear both as the principal means of investigation of the structure of spaces, as a basic language in which the properties of spaces from various classes can be expressed and, finally, as a means of classification and selection of new classes of topological spaces. Basic here is, again, the problem of the comparison of cardinal characteristics. The fundamental question can be posed as follows. Given a class of topological spaces to which the domains of definition of cardinal invariants are restricted. What are the basic relations between the cardinal invariants under these restrictions? By developing the theory of cardinal invariants for a class
one obtains the "cardinal portrait" of
. A comparison of the cardinal portraits of two classes
and
allows one to judge the relationships between these classes and also to give effective means of proving that a concrete space belongs to one class or other.
This approach can be demonstrated by the class of metrizable spaces. The characteristic feature here is that for this class a number of fundamental cardinal invariants coincide: the Suslin number is equal to the density, to the weight and to the Lindelöf number. This fact is often applied; for example, to prove that some space is non-metrizable, it is enough to prove that at least two of the invariants mentioned above differ.
In the class of metrizable spaces the theory of cardinal invariants distinguishes itself from the general theory mainly by its simplifications, whereas in the class of compact Hausdorff spaces it changes its appearance completely and in a non-trivial way. Responsible for the particular appearance of this theory is the fact that for compact Hausdorff spaces the character and pseudo-character coincide, as well as the weight and the network weight. The pseudo-character of
at
is the smallest number of open sets whose intersection is the point, and the character
of
at
is the least cardinality of a local base at
. The network weight
is the least cardinality of a family
of sets in
satisfying the condition: If
and
, where
is open in
, then there is a
for which
(such families are called networks in
). For every compact Hausdorff space
the following hold: 1)
for all
; and 2)
. Therefore, the weight cannot increase under a continuous mapping onto a compact Hausdorff space, and if a compact Hausdorff space
is the union of two subspaces
and
, then the weight of
does not exceed the maximum of the weights of
and
(the addition theorem for weights). For the same reason, the weight of a compact Hausdorff space never exceeds its cardinality; in particular, every countable compact Hausdorff space is metrizable. None of these theorems of the theory of cardinal invariants for the class of compact Hausdorff spaces can be extended to the class of completely-regular spaces. An important specific result is the following: If
is a compact Hausdorff space,
is a cardinal number,
and if
for all
, then
(the Čech–Pospišil theorem). Almost-all metrizability criteria for compact Hausdorff spaces are also theorems about cardinal invariants. Thus, metrizability of a compact Hausdorff space
is equivalent to any of the following conditions: a)
; b)
; c) the diagonal in
is a
-set; or d)
has a point-countable base.
In the investigation of the structure of compact Hausdorff spaces the tightness
plays a major role. The tightness
(see [2], [4]) of
is the least cardinal number
such that if
,
and
, then there is a
for which
and
. The tightness does not increase when a compact Hausdorff space
is raised to a finite power (in the class of completely-regular spaces this is not true).
If the tightness of a compact Hausdorff space does not exceed
, then for each
there is a family
of non-empty open sets in
such that
and each neighbourhood
of
contains an element of
. Therefore the
-weight of each separable compact Hausdorff space of countable tightness is equal to
. The spread of a compact Hausdorff space majorizes its tightness.
The fundamental properties of dyadic compacta are also, to a large extent, governed by theorems on cardinal characteristics. Thus, for each dyadic compactum the weight coincides with the spread and the tightness. The class of dyadic compacta contains the class of compact Hausdorff topological groups, thus, in particular, every compact Hausdorff group of countable tightness is metrizable.
In the theory of dyadic compacta (cf. Dyadic compactum) and in other parts of the theory of cardinal invariants, the question of the behaviour of these invariants under multiplication is of major importance. The following two theorems play an essential role here; the first of these implies the second. If is a family of spaces such that
for each
and if
, then the density of the product of the spaces from
does not exceed
(see [1]–[4]). If
is the product of any set of spaces of densities not exceeding
, then
. In the latter result there is no limit on the number of factors. In particular, the Suslin number of any Tikhonov cube (the product of an arbitrary set of segments) is countable. Thus, the condition
places no restriction on the cardinality of a space.
Many simply formulated questions on the behaviour of cardinal invariants under multiplication have turned out to be very delicate. For example, the question: Is it true that always ? turns out to be related to the Suslin conjecture and the continuum hypothesis.
On the other hand, the behaviour of cardinal invariants when passing from a space to its image
under a continuous mapping
, is, on the whole, governed by simple general rules.
For example, ,
,
,
. If
is a quotient mapping onto, then
. The fact that the foundation of the theory of cardinal invariants consists of a system of simple universal rules of this kind also can be considered as one of the reasons ensuring the broad applicability of the theory.
Significant information on the structure of spaces is obtained by consideration of the question: How do cardinal invariants behave on passing to a subspace? A cardinal invariant for which
always implies
is called monotone. These include: weight, network weight, tightness, character, and spread. Non-monotone are the Suslin number, the density and the Lindelöf number. The following questions arise: Which are the spaces
for which
for all
; which are the spaces
for which
for all
; what effect on the topology of
has the requirement:
for all
? The answer to the first question is simple: the condition means that the spread of
does not exceed
. But the two subsequent conditions single out new classes of spaces. The investigation of these classes turns out to depend on special hypotheses of set theory, in particular on Martin's axiom.
The theory of cardinal invariants has a peculiar character on the spaces of topological groups. E.g., the criterion for metrizability reduces here simply to the first axiom of countability. The major properties of linear topological spaces, in particular, of the spaces of continuous real-valued functions on a space
, can be formulated in the language of cardinal invariants. This refers to the theorems on Eberlein compacta (each Eberlein compactum is a Fréchet–Urysohn space, the weight of an Eberlein compactum is equal to its Suslin number); and the following theorem: If
is a compact Hausdorff space, then the tightness of
in the topology of pointwise convergence is countable.
Between a number of cardinal invariants of the spaces and
there is a duality-type correspondence.
References
[1] | I. Juhász, "Cardinal functions in topology" , North-Holland (1971) |
[2] | A.V. Arkhangel'skii, V.I. Ponomarev, "Fundamentals of general topology: problems and exercises" , Reidel (1984) (Translated from Russian) |
[3] | R. Engelking, "Outline of general topology" , North-Holland (1968) (Translated from Polish) |
[4] | A.V. Arkhangel'skii, "Structure and classification of topological spaces, and cardinal invariants" Russian Math. Surveys , 33 : 6 (1978) pp. 33–96 Uspekhi Mat. Nauk , 33 : 6 (1978) pp. 29–84 |
Comments
The usual terminology in the literature (cf. [1]–[4]) is cardinal function, or cardinal invariant.
The Suslin number of a space is also called its cellularity, and its Lindelöf number also its Lindelöf degree (the latter is often denoted by
).
The Urysohn–Tikhonov theorem, mentioned above, is also called Urysohn's metrization theorem.
The fact that the class of dyadic compacta contains the class of compact Hausdorff topological groups is called Kuzminov's theorem (on compact groups).
For the notion of a Fréchet–Urysohn space see Sequential space.
The problem of whether for every space
was solved by S. Todorčević [a2], who found, without using extra set-theoretic hypotheses, spaces
satisfying
.
The problems whether every hereditarily separable space is Lindelöf and whether every hereditarily Lindelöf space is separable generated a lot of research. Many examples were constructed using various extra set-theoretical assumptions, in particular the continuum hypothesis. Todorcevi [a1] showed that the statement "every hereditarily separable space is Lindelöf" is consistent with the usual axioms of set theory. For much more information and other recent developments see various articles in [a3], in particular Chapts. 1; 2, and [a4].
References
[a1] | S. Todorcevic, "Forcing positive partition relations" Trans. Amer. Math. Soc. , 280 (1983) pp. 703–720 |
[a2] | S. Todorcevic, "Remarks on cellularity in products" Compos. Math. , 57 (1986) pp. 357–372 |
[a3] | K. Kunen (ed.) J.E. Vaughan (ed.) , Handbook of set-theoretic topology , North-Holland (1984) pp. Chapts. 1–2 |
[a4] | I. Juhász, "Cardinal functions. Ten years later" , MC Tracts , 123 , North-Holland (1980) |
Cardinal characteristic. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Cardinal_characteristic&oldid=35346