Totally bounded
From Maths
Revision as of 10:58, 1 December 2015 by Alec (Talk | contribs) (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...")
Definition
A metric space (X,d) is totally bounded if[1]:
- ∀ϵ>0∃n∈N∃{Bi}ni=1 of open balls of radius ϵ[X⊆∪ni=1Bi], that is:
- ∀ϵ>0 there exists a finite collection of open balls, each of radius ϵ, such that the family of balls cover X
