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