User:IntegralPython/sandbox/Fractal measure: Difference between revisions

Revision as of 22:22, 29 September 2020

Revision as of 22:39, 29 September 2020

Line 1:

'''Fractal measure''' is aany generalization[[measure of(mathematics)|measure]] which generalizes the conceptsnotions of length, area, and [[volume]] to non-[[integer]] dimensions, especially in application towards [[fractal]]s. There is no unique fractal measure, in part although not entirely due to the lack of a unique definition of [[fractal dimension]]; the most common fractal measures include the [[hausdorff measure]] and the packing measure, based off of the [[hausdorff dimension]] and [[packing dimension]] respectively.<ref>http://www.diva-portal.org/smash/get/diva2:22333/FULLTEXT01</ref> Fractal measures are measures in the sense of [[measure theory]], and are usually defined to agree with the ''n''-dimensional [[Lebesgue measure]] when ''n'' is an integer.<ref>https://link.springer.com/chapter/10.1007/978-1-4757-2958-0_1</ref> Fractal measures find application in the study of fractal geometry, as well as in [[physics]] and [[biology]] through the study of [[fractal derivative]]s.<ref>{{cite journal |first=W. |last=Chen |title=Time–space fabric underlying anomalous diffusion |journal=Chaos, Solitons and Fractals |volume=28 |issue= 4|pages=923–929 |year=2006 |doi= 10.1016/j.chaos.2005.08.199|url=|arxiv=math-ph/0505023 |bibcode=2006CSF....28..923C |s2cid=18369880 }}</ref> Fractal measure can be used to define the fractal dimension or vice versa.

Although related, differing fractal measures are not the same, and may provide different measurements for the same shape.

==Hausdorff measure==

{{main|Hausdorff measure}}

The Hasudorff measure is the most-used fractal measure and provides a definition for [[Hausdorff dimension]], which is in turn one of the most frequently used definitions of fractal dimension.

Let <math>(X,\rho)</math> be a [[metric space]]. For any subset <math>U\subset X</math>, let <math>\mathrm{diam}\;U</math> denote its diameter, that is

:<math>\operatorname{diam} U :=\sup\{\rho(x,y):x,y\in U\}, \quad \operatorname{diam} \emptyset:=0</math>

Let <math>S</math> be any subset of <math>X,</math> and <math>\delta>0</math> a real number. The outer-Hausdorff measure of <math>S</math> is

:<math>H^d_\delta(S)=\inf\left \{\sum_{i=1}^\infty (\operatorname{diam} U_i)^d: \bigcup_{i=1}^\infty U_i\supseteq S, \operatorname{diam} U_i<\delta\right \},</math>

where the infimum is over all countable covers of <math>S</math> by sets <math>U_i\subset X</math> satisfying <math> \operatorname{diam} U_i<\delta</math>, and the Hausdorff measure <math>H^d(S)</math> is the limit of <math>H^d_\delta(S)</math> as <math>\delta</math> approaches zero.

When the ''d''-dimensional Hausdorff measure is an integer, <math>H^d(S)</math> is proportional to the [[Lebesgue measure]] for that dimension. Due to this, some definitions of Hausdorff measure include a scaling by the volume of the unit [[N-sphere|''d''-ball]], expressed using [[gamma function|Euler's gamma function]] as

:<math>\frac{\pi^{d/2}}{\Gamma(\frac{d}{2}+1)}.</math><ref>https://encyclopediaofmath.org/wiki/Hausdorff_measure</ref>

==Packing measure==