Solution

ID: past-exam-of-the-metric-spaces-and-complex-analysis-course-of-the-university-of-oxford/2023/1/a/i/solution

A metric space is a bounded set if there is a finite constant such that
For nonempty , this is equivalent to containment in an open ball of finite radius: the triangle inequality converts a radius bound into a diameter bound, and conversely a diameter bound gives a ball of any slightly larger radius about a chosen point.
It is a complete metric space if every Cauchy sequence in has a limit of a sequence belonging to . Explicitly, the hypothesis on is
and completeness requires an with . Thus
Boundedness controls distances; completeness ensures that these limiting points remain in the space.

New to topics? Read the docs here!