totally bounded
Let be a subset of a topological vector space .
is called totally bounded if , for each neighborhood
of 0,there exists a finite subset of with contained in the sumset .
The definition can be restated in the following form when is a metric space:
A set is said to be totally bounded if for every , there exists a finite subset of such that , where denotes the open ball around with radius .
References
- 1 G. Bachman, L. Narici, Functional analysis
, Academic Press, 1966.
- 2 A. Wilansky, Functional Analysis, Blaisdell Publishing Co., 1964
- 3 W. Rudin, Functional Analysis, 2nd ed. McGraw-Hill , 1973