Def 14.2
A metric space is complete if every Cauchy sequence in is convergent to some points in the set .
Thm 15.1
For a Metric Space
TFAE
Thm 17.6 Existence of completion
For is a Metric Space, then there exists a complete Metric Space and
- is dense in
Def 18.3
completion is unique(too complex to prove)