Relatively compact subspace: Difference between revisions
No edit summary |
No edit summary |
||
Line 1: | Line 1: | ||
In [[mathematics]], a '''relatively compact subspace''' (or '''relatively compact subset''') ''Y'' of a [[topological space]] ''X'' is a subset whose [[topological closure|closure]] is [[compact space|compact]]. |
In [[mathematics]], a '''relatively compact subspace''' (or '''relatively compact subset''') ''Y'' of a [[topological space]] ''X'' is a subset whose [[topological closure|closure]] is [[compact space|compact]]. |
||
Since closed subsets of compact spaces are compact, every |
Since closed subsets of compact spaces are compact, every subset of a compact space is relatively compact. In the case of a [[metric topology]], or more generally when [[sequence]]s may be used to test for compactness, the criterion for relative compactness becomes that any sequence in ''Y'' has a subsequence convergent in ''X''. Such a subset may also called '''relatively bounded''', or '''pre-compact''', although the latter term is also used for a [[totally bounded]] subset. (These are equivalent in a [[complete space]].) |
||
Some major theorems characterise relatively compact subsets, in particular in [[function space]]s. An example is the [[Arzela-Ascoli theorem]]. Other cases of interest relate to [[uniform integrability]], and the concept of [[normal family]] in [[complex analysis]]. [[Mahler's compactness theorem]] in the [[geometry of numbers]] characterises relatively compact subsets in certain non-compact [[homogeneous space]]s (specifically spaces of [[lattice (group)|lattice]]s). |
Some major theorems characterise relatively compact subsets, in particular in [[function space]]s. An example is the [[Arzela-Ascoli theorem]]. Other cases of interest relate to [[uniform integrability]], and the concept of [[normal family]] in [[complex analysis]]. [[Mahler's compactness theorem]] in the [[geometry of numbers]] characterises relatively compact subsets in certain non-compact [[homogeneous space]]s (specifically spaces of [[lattice (group)|lattice]]s). |
Revision as of 16:45, 19 February 2009
In mathematics, a relatively compact subspace (or relatively compact subset) Y of a topological space X is a subset whose closure is compact.
Since closed subsets of compact spaces are compact, every subset of a compact space is relatively compact. In the case of a metric topology, or more generally when sequences may be used to test for compactness, the criterion for relative compactness becomes that any sequence in Y has a subsequence convergent in X. Such a subset may also called relatively bounded, or pre-compact, although the latter term is also used for a totally bounded subset. (These are equivalent in a complete space.)
Some major theorems characterise relatively compact subsets, in particular in function spaces. An example is the Arzela-Ascoli theorem. Other cases of interest relate to uniform integrability, and the concept of normal family in complex analysis. Mahler's compactness theorem in the geometry of numbers characterises relatively compact subsets in certain non-compact homogeneous spaces (specifically spaces of lattices).
The definition of an almost periodic function F at a conceptual level has to do with the translates of F being a relatively compact set. This needs to be made precise in terms of the topology used, in a particular theory.