Myujth

数学の特にフラクタル次元にかかわる分野におけるフロストマンの補題 (英: Frostman's lemma）は集合のハウスドルフ次元を評価する使いやすい道具を提供する。

命題 (フロストマンの補題)

A

が

R n

のボレル集合で

s > 0

とすれば、以下は同値:

（非負値）ボレル測度 $μ$ が存在して、 $μ (A) > 0$ かつ $displaystyle mu (B(x,r))leq r^squad (forall xin mathbb R ^n,,forall r>0)$ が成り立つ。

オットー・フロストマン（英語版）は、1935年にルンド大学における博士論文の一部として、この補題を $A$ が閉集合である場合を仮定して証明した。これをボレル集合に対するものに一般化することはより複雑な問題で、ススリン集合（英語版）の理論を必要とする。

フロストマンの補題の有用な系として、ボレル集合 $A \subset R n$ の $s$ -次元容積（内測度、英: $s$ -capacity）

displaystyle C_s(A):=sup Big Big (int _Atimes Afrac dmu (x),dmu (y)^sBig )^-1:mu (A)=1Bigr

（ここで

inf \emptyset = \infty

および

1 ⁄ \infty = 0

と約束する。また上と同様

μ

は非負値ボレル測度とする）を用いた以下のようなものがある:

系 (ハウスドルフ次元の特徴付け): $A \subset R n$ に対しそのハウスドルフ次元 $dim H (A)$ は $displaystyle dim _H(A)=supsgeq 0:C_s(A)>0$ として求められる。

参考文献

Mattila, Pertti (1995), Geometry of sets and measures in Euclidean spaces, Cambridge Studies in Advanced Mathematics, 44, Cambridge University Press, ISBN 978-0-521-65595-8, MR 1333890

この項目は、解析学に関連した書きかけの項目です。この項目を加筆・訂正などしてくださる協力者を求めています（プロジェクト:数学／Portal:数学）。