totally bounded uniform space
A uniform space with uniformity is called totally bounded if for every entourage , there is a finite cover of , such that for every . is called a totally bounded uniformity.
Remark. A uniform space is compact (under the uniform topology) iff it is complete
and totally bounded.
References
- 1 S. Willard, General Topology,Addison-Wesley, Publishing Company, 1970.