Complete metric spaces

This is short lecture about complete metric spaces. Generally, there's nothing in the definition of a metric space to ensure that a Cauchy sequence converges (in the space). We call the metric spaces that have this property (that Cauchy sequences converge in the space) complete.