proof of Riesz’ Lemma
Let’s consider and let . Recall that is the distance between and : . Now, because is closed. Next, we consider such that
This vector exists: as then
But then the definition of infimum implies there is such that
Now, define
Trivially,
Notice that , because if then , and so , an absurd.Plus, for every we have
because
But
QED.