Lemma di Riesz
# Lemma di Riesz

In matematica, in particolare in analisi funzionale, il lemma di Riesz specifica le condizioni che garantiscono che un sottospazio vettoriale di uno spazio vettoriale normato sia denso. Il lemma è dovuto a Frigyes Riesz.

## Il teorema

Sia $X$ uno spazio vettoriale normato con norma $\|\cdot \|$, sia $Y$ un sottospazio chiuso proprio di $X$. Sia $r\in (0,1)$, allora esiste $x$ in $X$ di norma unitaria tale che $d(x,Y)>r\$dove la distanza tra un elemento $x$ e $Y$ è definita nel seguente modo:

    $d(x,Y)=\inf _{y\in Y}|x-y|\$.

Il lemma di Riesz consente pertanto di mostrare se uno spazio vettoriale normato ha dimensione infinita o finita. In particolare, se la sfera unitaria chiusa è compatta allora lo spazio ha dimensione finita.

