Lemma di Mazur
# Lemma di Mazur

In matematica, il lemma di Mazur, conosciuto anche come teorema di Mazur o lemma di Banach-Mazur, è un risultato nella teoria degli spazi vettoriali normati. Esso afferma che per ogni successione convergente debolmente in uno spazio normato esiste una successione di combinazioni convesse dei suoi membri che converge fortemente allo stesso limite. Prende il nome dal matematico polacco Stanisław Mazur.

## Enunciato

Sia dato uno spazio normato $X$ e una sua successione $u_{n}$ convergente debolmente a $u$, ovvero tale che per ogni funzionale $f$ nel duale di $X$ valga che:

    $f(u_{n})\to f(u)\quad {\text{per }}n\to +\infty$

Allora, esiste una funzione $N:\mathbb {N} \to \mathbb {N}$ e una successione:

    $\{\alpha _{k,n}|k\in [n,N(n)]\}$

tale che $\alpha _{k,n}\geq 0$ e:

    $\sum _{k=n}^{N(n)}\alpha _{k,n}=1$

tale che la sequenza $v_{n}$ definita come:

    $v_{n}=\sum _{k=n}^{N(n)}\alpha _{k,n}u_{k}$

converge fortemente a $u\in X$, ovvero:

    $\|v_{n}-u\|\to 0\quad {\text{per }}n\to \infty$
