# Distance between a normed vectorspace and a finite dimensional subspace

I need to prove the following statement:

"$X$ is a normed vectorspace and $Y$ is a finite dimensional subspace. For all $x \in X$ the distance is defined as $d(x,Y)=\inf\{ \|x-y\|:\ y \in Y\}$"

So I need to prove that there is an specific y in Y such that $d(x,Y) = \|x-y\|$.

I used the Corollary that every finite dimensional subspace of a normed vectorspace is also closed, and then I tried to apply the Riesz Lemma. But I am not sure.

Can anyone give me a hint for this exercise?

• In a finite-dimensional normed vector space (or subspace) every closed bounded subset is compact. Any $n$-dimensional real normed vector space has a linear homeomorphism to $\mathbb R^n.$ – DanielWainfleet Oct 9 '16 at 16:51

Use the definition of infimum to find a sequence $\left(y_n\right)_{n\geqslant 1}$ of elements of $Y$ such that $\lVert x-y_n\rVert\leqslant d(x,Y)+1/n$ for each $n\geqslant 1$. The sequence $\left(y_n\right)_{n\geqslant 1}$ is bounded (why?) and lies in a normed vector space of finite dimension: you can extract a converging subsequence.
• The wanted $y$ will be the limit of the converging subsequence. – Davide Giraudo Oct 9 '16 at 9:41
• No, juse use $||y_n||\leqslant ||y_n-x|| +d(x,Y) \leqslant 1/n+||x|| \leqslant 1+||x ||$. – Davide Giraudo Oct 9 '16 at 9:56