Weyl, lemma di
Weyl, lemma di in analisi, stabilisce che se una funzione è ortogonale a tutti gli operatori → laplaciani, allora è una → funzione armonica. Il teorema fu in realtà dimostrato da R. Caccioppoli nel 1934, mentre H. Weyl lo pubblicò soltanto nel 1940 (→ funzioni ortogonali).