Fixed Point Theory in Metric Spaces