18.091 Introduction to Metric Spaces