We shall confine our attention to normed spaces, but want to mention that certain discussions could be extended to general metric spaces. For instance, show that if $(X, d)$ is a metric space and $Y$ a compact subset, then every $x \in X$ has a best approximation $y$ out of $Y$.