title: Lemma di Riesz
text: # 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.
  
  