Reaalianalyysissä Frostmanin lemma on Hausdorffin dimensioon liittyvä perustulos. Lemma kuuluu seuraavasti: Olkoon kompakti ja . Tällöin jos ja vain jos on olemassa :n Radon-mitta , jolle , ja kaikilla ja .
Lähteet Mattila, Pertti (1995): Geometry of sets and measures in Euclidean spaces, Cambridge University Press, Holopainen, Ilkka (2003): Moderni reaalianalyysi, syksy 2005, Helsingin yliopisto
Luokka:Reaalianalyysi Luokka:Matemaattiset teoreemat