In topology and related branches of mathematics, total-boundedness is a generalization of compactness for circumstances in which a set is not necessarily closed. A totally bounded set can be covered by finitely many subsets of every fixed "size" (where the meaning of "size" depends on the structure of the ambient space.)
The term precompact (or pre-compact) is sometimes used with the same meaning, but precompact is also used to mean relatively compact. These definitions coincide for subsets of a complete metric space, but not in general.
In metric spaces
A metric space (M,d) is totally bounded if and only if for every real number \( \varepsilon >0 \) , there exists a finite collection of open balls in M of radius \( \varepsilon \) whose union contains M. Equivalently, the metric space M is totally bounded if and only if for every \( \varepsilon >0 \) , there exists a finite cover such that the radius of each element of the cover is at most \( \varepsilon \) . This is equivalent to the existence of a finite ε-net.[1] A metric space is said to be Cauchy-precompact if every sequence admits a Cauchy subsequence; in metric spaces, a set is Cauchy-precompact if and only if it is totally bounded.[2]
Each totally bounded space is bounded (as the union of finitely many bounded sets is bounded). The reverse is true for subsets of Euclidean space (with the subspace topology), but not in general. For example, an infinite set equipped with the discrete metric is bounded but not totally bounded.[3]
Uniform (topological) spaces
A metric appears in the definition of total boundedness only to ensure that each element of the finite cover is of comparable size, and can be weakened to that of a uniform structure. A subset S of a uniform space X is totally bounded if and only if, for any entourage E, there exists a finite cover of S by subsets of X each of whose Cartesian squares is a subset of E. (In other words, E replaces the "size" ε, and a subset is of size E if its Cartesian square is a subset of E.)[2]
The definition can be extended still further, to any category of spaces with a notion of compactness and Cauchy completion: a space is totally bounded if and only if its (Cauchy) completion is compact.
Examples and elementary properties
Every compact set is totally bounded, whenever the concept is defined.
Every totally bounded set is bounded.
A subset of the real line, or more generally of (finite-dimensional) Euclidean space, is totally bounded if and only if it is bounded.[4][3]
The unit ball in a Hilbert space, or more generally in a Banach space, is totally bounded (in the norm topology) if and only if the space has finite dimension.
Equicontinuous bounded functions on a compact set are precompact in the uniform topology; this is the Arzela–Ascoli theorem.
A metric space is separable if and only if it is homeomorphic to a totally bounded metric space.[3]
The closure of a totally bounded subset is again totally bounded.[5]
Comparison with compact sets
(In metric spaces) a set is compact if and only if it is complete and totally bounded;[4] without the axiom of choice only the forward direction holds. Precompact sets share a number of properties with compact sets.
Like compact sets, a finite union of totally bounded sets is totally bounded.
Unlike compact sets, every subset of a totally bounded set is again totally bounded.
The continuous image of a compact set is compact. The uniformly continuous image of a precompact set is precompact.
In topological groups
Although the notion of total boundedness is closely tied to metric spaces, the greater algebraic structure of topological groups allows one to trade away some separation properties. For example, in metric spaces, a set is compact if and only if complete and totally bounded. Under the definition below, the same holds for any topological vector space (not necessarily Hausdorff nor complete!).[5][6][7]
The general logical form of the definition is: a subset S of a space X is totally bounded if and only if, given any size E, there exists a finite cover of S such that each element of S has size at most E. X is then totally bounded if and only if it is totally bounded when considered as a subset of itself.
We adopt the convention that, for any neighborhood U⊆X of the identity, a subset S ⊆ X is called (left) U-small iff S-1S ⊆ U.[5] A subset S of a topological group X is (left) totally bounded if it satisfies any of the following equivalent conditions:
For any neighborhood U of the identity:
there x1, ..., xn ∈ X such that \( {\textstyle S\subseteq \bigcup _{j}{x_{j}U}} \) or
there exists a finite subset F ⊆ X such that S ⊆ F·U or
there exist finitely many subsets B1, ..., Bn of X such that S ⊆ B1 ∪ ⋅⋅⋅ ∪ Bn and each Bj is U-small.[5]
For any filter subbase ℬ for the filter ýý of all neighborhoods of 0 in X, for every B ∈ ℬ, there exists a cover of S by finitely many B-small subsets of X.[5]
S is Cauchy bounded: for every neighborhood U of the identity and every countably infinite subset I of S, there exist distinct x, y ∈ I such that xy-1 ∈ U.[5] (If S is finite then this condition is satisfied vacuously).
Any of the following sets is (left) totally bounded:
the closure S[5] or
the image of S under the canonical quotient X→X/{e} or
S{e},[8]
where e is the identity.
The term pre-compact usually used appears in the context of Hausdorff topological vector spaces.[9][10] In that case, the following conditions are also equivalent:
In the completion of X, S is compact.[9][11]
Every ultrafilter on S is Cauchy.
The definition of right totally bounded is analogous: simply swap the order of the products.
Note that condition 4 implies any subset of {e} is totally bounded (in fact, compact; see § Comparison with compact sets above). If X is not Hausdorff then (for example), {e} is a compact complete set that is not closed.[5]
Topological vector spaces
Any topological vector space is an abelian topological group under addition, so the above conditions apply (although note that the above are written multiplicatively). Historically, definition 1(b) was the first reformulation of total boundedness for topological vector spaces; it dates to a 1935 paper of John von Neumann.[12]
This definition has the appealing property that, in a locally convex space endowed with the weak topology, the precompact sets are exactly the bounded sets.
For seperable Banach spaces, there is a nice characterization of the precompact sets (in the norm topology) in terms of weakly convergent sequences of functionals: if X is a separable Banach space, then S⊆X is precompact if and only if every weakly convergent sequence of functionals converges uniformly on S.[13]
Interaction with convexity
The balanced hull of a totally bounded subset of a topological vector space is again totally bounded.[5][14]
The Minkowski sum of two compact (totally bounded) sets is compact (resp. totally bounded).
In a locally convex (Hausdorff) space, the convex hull and the disked hull of a totally bounded set K is totally bounded iff K is complete.[15]
See also
Measure of non-compactness
Locally compact space
References
Sutherland 1975, p. 139.
Willard, Stephen (1970). Loomis, Lynn H. (ed.). General topology. Reading, Mass.: Addison-Wesley. p. 262. C.f. definition 39.7 and lemma 39.8.
Willard 2004, p. 182.
Kolmogorov, A. N.; Fomin, S. V. (1957) [1954]. Elements of the theory of functions and functional analysis,. 1. Translated by Boron, Leo F. Rochester, N.Y.: Graylock Press. pp. 51–3.
Narici & Beckenstein 2011, pp. 47-66.
Narici & Beckenstein 2011, pp. 55-56.
Narici & Beckenstein 2011, pp. 55-66.
Schaefer & Wolff 1999, pp. 12-35.
Schaefer & Wolff 1999, p. 25.
Trèves 2006, p. 53.
Jarchow 1981, pp. 56-73.
von Neumann, John (1935). "On Complete Topological Spaces". Transactions of the American Mathematical Society. 37 (1): 1–20. doi:10.2307/1989693. ISSN 0002-9947.
Phillips, R. S. (1940). "On Linear Transformations". Annals of Mathematics: 525.
Narici & Beckenstein 2011, pp. 156-175.
Narici & Beckenstein 2011, pp. 67-113.
Bibliography
Jarchow, Hans (1981). Locally convex spaces. Stuttgart: B.G. Teubner. ISBN 978-3-519-02224-4. OCLC 8210342.
Narici, Lawrence; Beckenstein, Edward (2011). Topological Vector Spaces. Pure and applied mathematics (Second ed.). Boca Raton, FL: CRC Press. ISBN 978-1584888666. OCLC 144216834.
Schaefer, Helmut H.; Wolff, Manfred P. (1999). Topological Vector Spaces. GTM. 8 (Second ed.). New York, NY: Springer New York Imprint Springer. ISBN 978-1-4612-7155-0. OCLC 840278135.
Sutherland, W. A. (1975). Introduction to metric and topological spaces. Oxford University Press. ISBN 0-19-853161-3. Zbl 0304.54002.
Trèves, François (2006) [1967]. Topological Vector Spaces, Distributions and Kernels. Mineola, N.Y.: Dover Publications. ISBN 978-0-486-45352-1. OCLC 853623322.
Willard, Stephen (2004). General Topology. Dover Publications. ISBN 0-486-43479-6.
Undergraduate Texts in Mathematics
Graduate Studies in Mathematics
Hellenica World - Scientific Library
Retrieved from "http://en.wikipedia.org/"
All text is available under the terms of the GNU Free Documentation License
