Difference between revisions of "Totally bounded"

From Maths
Jump to: navigation, search
(Created page with "==Definition== A metric space {{M|(X,d)}} is ''totally bounded'' if{{rITTGG}}: * {{M|1=\forall\epsilon>0\exists n\in\mathbb{N}\exists\{B_i\}_{i=1}^n\text{ of} }} open ba...")
(No difference)

Revision as of 10:58, 1 December 2015

Definition

A metric space (X,d) is totally bounded if[1]:

  • ϵ>0nN{Bi}ni=1 of open balls of radius ϵ[Xni=1Bi], that is:
  • ϵ>0 there exists a finite collection of open balls, each of radius ϵ, such that the family of balls cover X

References

  1. Jump up Introduction to Topology - Theodore W. Gamelin & Robert Everist Greene