フロストマンの補題
A ⊂ R に対しそのハウスドルフ次元 dimH(A) は dim H  ( A ) = sup { s ≥ 0 : C s ( A ) > 0 } {\displaystyle \dim _{H}(A)=\sup\{s\geq 0:C_{s}(A)>0\}} として求められる。