Namespaces
Variants
Actions

Difference between revisions of "Cardinal characteristic"

From Encyclopedia of Mathematics
Jump to: navigation, search
m (link)
m (link)
Line 15: Line 15:
 
The incomparability of cardinality and weight is unexpected at first sight: There are countable normal <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c020/c020360/c02036032.png" />-spaces of uncountable weight. But always <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c020/c020360/c02036033.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c020/c020360/c02036034.png" />. For every <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c020/c020360/c02036035.png" />-space <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c020/c020360/c02036036.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c020/c020360/c02036037.png" /> (one writes <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c020/c020360/c02036038.png" /> instead of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c020/c020360/c02036039.png" />). For every Hausdorff space <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c020/c020360/c02036040.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c020/c020360/c02036041.png" />. Always <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c020/c020360/c02036042.png" />.
 
The incomparability of cardinality and weight is unexpected at first sight: There are countable normal <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c020/c020360/c02036032.png" />-spaces of uncountable weight. But always <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c020/c020360/c02036033.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c020/c020360/c02036034.png" />. For every <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c020/c020360/c02036035.png" />-space <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c020/c020360/c02036036.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c020/c020360/c02036037.png" /> (one writes <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c020/c020360/c02036038.png" /> instead of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c020/c020360/c02036039.png" />). For every Hausdorff space <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c020/c020360/c02036040.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c020/c020360/c02036041.png" />. Always <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c020/c020360/c02036042.png" />.
  
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 <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c020/c020360/c02036043.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c020/c020360/c02036044.png" />, where <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c020/c020360/c02036045.png" /> is the least infinite cardinal number <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c020/c020360/c02036046.png" /> such that at each point of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c020/c020360/c02036047.png" /> there is a local base of cardinality <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c020/c020360/c02036048.png" /> (see [[#References|[1]]], [[#References|[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 <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c020/c020360/c02036049.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c020/c020360/c02036050.png" /> (Arkhangel'skii's theorem, see [[#References|[2]]], [[#References|[4]]]).
+
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 <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c020/c020360/c02036043.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c020/c020360/c02036044.png" />, where <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c020/c020360/c02036045.png" /> is the least infinite cardinal number <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c020/c020360/c02036046.png" /> such that at each point of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c020/c020360/c02036047.png" /> there is a [[local base]] of cardinality <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c020/c020360/c02036048.png" /> (see [[#References|[1]]], [[#References|[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 <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c020/c020360/c02036049.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c020/c020360/c02036050.png" /> (Arkhangel'skii's theorem, see [[#References|[2]]], [[#References|[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.
 
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.

Revision as of 18:21, 25 September 2017

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)
How to Cite This Entry:
Cardinal characteristic. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Cardinal_characteristic&oldid=35901
This article was adapted from an original article by A.V. Arkhangel'skii (originator), which appeared in Encyclopedia of Mathematics - ISBN 1402006098. See original article