フロストマンの補題

数学の特にフラクタル次元にかかわる分野におけるフロストマンの補題 (）は集合のハウスドルフ次元を評価する使いやすい道具を提供する。
は、1935年にルンド大学における博士論文の一部として、この補題を が閉集合である場合を仮定して証明した。これをボレル集合に対するものに一般化することはより複雑な問題で、の理論を必要とする。
フロストマンの補題の有用な系として、ボレル集合 の -次元容積（内測度、）formula_2（ここで および と約束する。また上と同様 は非負値ボレル測度とする）を用いた以下のようなものがある: