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.
Sia dato uno spazio normato e una sua successione convergente debolmente a , ovvero tale che per ogni funzionale nel duale di valga che:
Allora, esiste una funzione e una successione:
tale che e:
tale che la sequenza definita come:
converge fortemente a , ovvero:[1]
- (EN) N. Dunford, J. T. Schwartz, Linears Operators I: General Theory, Wiley, 1963.
- (EN) Michael Renardy e Robert C. Rogers, An introduction to partial differential equations, Texts in Applied Mathematics 13, 2ª ed., New York, Springer-Verlag, 2004, pp. 350, ISBN 0-387-00444-0.