σ-compact Space
   HOME

TheInfoList



OR:

In
mathematics Mathematics is a field of study that discovers and organizes methods, Mathematical theory, theories and theorems that are developed and Mathematical proof, proved for the needs of empirical sciences and mathematics itself. There are many ar ...
, a
topological space In mathematics, a topological space is, roughly speaking, a Geometry, geometrical space in which Closeness (mathematics), closeness is defined but cannot necessarily be measured by a numeric Distance (mathematics), distance. More specifically, a to ...
is said to be ''σ''-compact if it is the union of countably many compact subspaces. A space is said to be ''σ''-locally compact if it is both ''σ''-compact and (weakly) locally compact. That terminology can be somewhat confusing as it does not fit the usual pattern of σ-(property) meaning a countable union of spaces satisfying (property); that's why such spaces are more commonly referred to explicitly as ''σ-compact (weakly) locally compact'', which is also equivalent to being exhaustible by compact sets.


Properties and examples

* Every compact space is ''σ''-compact, and every ''σ''-compact space is Lindelöf (i.e. every open cover has a countable subcover). The reverse implications do not hold, for example, standard
Euclidean space Euclidean space is the fundamental space of geometry, intended to represent physical space. Originally, in Euclid's ''Elements'', it was the three-dimensional space of Euclidean geometry, but in modern mathematics there are ''Euclidean spaces ...
(R''n'') is ''σ''-compact but not compact, and the lower limit topology on the real line is Lindelöf but not ''σ''-compact. In fact, the countable complement topology on any uncountable set is Lindelöf but neither ''σ''-compact nor locally compact. However, it is true that any locally compact Lindelöf space is ''σ''-compact. *(The irrational numbers) \mathbb R\setminus\mathbb Q is not ''σ''-compact. *A Hausdorff, Baire space that is also ''σ''-compact, must be locally compact at at least one point. * If ''G'' is a topological group and ''G'' is locally compact at one point, then ''G'' is locally compact everywhere. Therefore, the previous property tells us that if ''G'' is a ''σ''-compact, Hausdorff topological group that is also a Baire space, then ''G'' is locally compact. This shows that for Hausdorff topological groups that are also Baire spaces, ''σ''-compactness implies local compactness. * The previous property implies for instance that R''ω'' is not ''σ''-compact: if it were ''σ''-compact, it would necessarily be locally compact since R''ω'' is a topological group that is also a Baire space. * Every hemicompact space is ''σ''-compact. The converse, however, is not true; for example, the space of rationals, with the usual topology, is ''σ''-compact but not hemicompact. * The product of a finite number of ''σ''-compact spaces is ''σ''-compact. However the product of an infinite number of ''σ''-compact spaces may fail to be ''σ''-compact. * A ''σ''-compact space ''X'' is second category (respectively Baire) if and only if the set of points at which is ''X'' is locally compact is nonempty (respectively dense) in ''X''.Willard, p. 188.


See also

* * *


Notes


References

* Steen, Lynn A. and Seebach, J. Arthur Jr.; '' Counterexamples in Topology'', Holt, Rinehart and Winston (1970). . * {{DEFAULTSORT:Compact Space Compactness (mathematics) General topology Properties of topological spaces