Lecture 16 (Topology) Metric Spaces