In
mathematics
Mathematics is an area of knowledge that includes the topics of numbers, formulas and related structures, shapes and the spaces in which they are contained, and quantities and their changes. These topics are represented in modern mathematics ...
, in the field of
topology, a
topological space is called supercompact if there is a
subbasis such that every
open cover of the topological space from elements of the subbasis has a subcover with at most two subbasis elements. Supercompactness and the related notion of
superextension was introduced by
J. de Groot in 1967.
Examples
By the
Alexander subbase theorem
In topology, a subbase (or subbasis, prebase, prebasis) for a topological space X with topology T is a subcollection B of T that generates T, in the sense that T is the smallest topology containing B. A slightly different definition is used by so ...
, every supercompact space is
compact
Compact as used in politics may refer broadly to a pact or treaty; in more specific cases it may refer to:
* Interstate compact
* Blood compact, an ancient ritual of the Philippines
* Compact government, a type of colonial rule utilized in British ...
. Conversely, many (but not all) compact spaces are supercompact. The following are examples of supercompact spaces:
* Compact
linearly ordered spaces with the
order topology and all continuous images of such spaces (Bula et al. 1992)
* Compact
metrizable spaces (due originally to M. Strok and A. Szymański 1975, see also Mills 1979)
* A product of supercompact spaces is supercompact (like a similar statement about compactness,
Tychonoff's theorem, it is equivalent to the
axiom of choice, Banaschewski 1993)
Properties
Some compact
Hausdorff spaces are not supercompact; such an example is given by the
Stone–Čech compactification of the natural numbers (with the discrete topology) (Bell 1978).
A continuous image of a supercompact space need not be supercompact (Verbeek 1972, Mills—van Mill 1979).
In a supercompact space (or any continuous image of one), the cluster point of any countable subset is the limit of a nontrivial convergent sequence. (Yang 1994)
References
* B. Banaschewski, "Supercompactness, products and the axiom of choice." Kyungpook Math. J. 33 (1993), no. 1, 111—114.
* Bula, W.; Nikiel, J.; Tuncali, H. M.; Tymchatyn, E. D. "Continuous images of ordered compacta are regular supercompact." Proceedings of the Tsukuba Topology Symposium (Tsukuba, 1990). Topology Appl. 45 (1992), no. 3, 203—221.
* Murray G. Bell. "Not all compact Hausdorff spaces are supercompact." General Topology and Appl. 8 (1978), no. 2, 151—155.
* J. de Groot, "Supercompactness and superextensions." Contributions to extension theory of topological structures. Proceedings of the Symposium held in Berlin, August 14—19, 1967. Edited by J. Flachsmeyer, H. Poppe and F. Terpe.
VEB Deutscher Verlag der Wissenschaften
(DVW) (English: ''German Publisher of Sciences'') was a scientific publishing house in the former German Democratic Republic (GDR/).
Situated in Berlin, DVW was founded as (VEB) on 1 January 1954 as the successor of the main department of "un ...
, Berlin 1969 279 pp.
* .
*
*
*Mills, Charles F.; van Mill, Jan, "A nonsupercompact continuous image of a supercompact space." Houston J. Math. 5 (1979), no. 2, 241—247.
* .
* J. van Mill, ''Supercompactness and Wallman spaces.'' Mathematical Centre Tracts, No. 85. Mathematisch Centrum, Amsterdam, 1977. iv+238 pp.
*M. Strok and A. Szymanski,
Compact metric spaces have binary bases " Fund. Math. 89 (1975), no. 1, 81—91.
* A. Verbeek, ''Superextensions of topological spaces.'' Mathematical Centre Tracts, No. 41. Mathematisch Centrum, Amsterdam, 1972. iv+155 pp.
* {{cite journal, first=Zhong Qiang, last=Yang, year=1994, title=All cluster points of countable sets in supercompact spaces are the limits of nontrivial sequences, journal=
Proceedings of the American Mathematical Society
''Proceedings of the American Mathematical Society'' is a monthly peer-reviewed scientific journal of mathematics published by the American Mathematical Society. As a requirement, all articles must be at most 15 printed pages.
According to the ' ...
, volume=122, issue= 2, pages=591–595, doi=10.2307/2161053, publisher=American Mathematical Society, Vol. 122, No. 2, jstor=2161053, doi-access=free
Compactness (mathematics)
Properties of topological spaces