Fractal dimension
In mathematics, more specifically in fractal geometry, a fractal dimension is a ratio providing a statistical index of complexity comparing how detail in a pattern (strictly speaking, a fractal pattern) changes with the scale at which it is measured. It has also been characterized as a measure of the spacefilling capacity of a pattern that tells how a fractal scales differently from the space it is embedded in; a fractal dimension does not have to be an integer.^{[1]}^{[2]}^{[3]}
The essential idea of "fractured" dimensions has a long history in mathematics, but the term itself was brought to the fore by Benoit Mandelbrot based on his 1967 paper on selfsimilarity in which he discussed fractional dimensions.^{[4]} In that paper, Mandelbrot cited previous work by Lewis Fry Richardson describing the counterintuitive notion that a coastline's measured length changes with the length of the measuring stick used (see Fig. 1). In terms of that notion, the fractal dimension of a coastline quantifies how the number of scaled measuring sticks required to measure the coastline changes with the scale applied to the stick.^{[5]} There are several formal mathematical definitions of fractal dimension that build on this basic concept of change in detail with change in scale.
One nontrivial example is the fractal dimension of a Koch snowflake. It has a topological dimension of 1, but it is by no means a rectifiable curve: the length of the curve between any two points on the Koch Snowflake is infinite. No small piece of it is linelike, but rather is composed of an infinite number of segments joined at different angles. The fractal dimension of a curve can be explained intuitively thinking of a fractal line as an object too detailed to be onedimensional, but too simple to be twodimensional.^{[6]} Therefore its dimension might best be described not by its usual topological dimension of 1 but by its fractal dimension, which in this case is a number between one and two.
Contents
Introduction
A fractal dimension is an index for characterizing fractal patterns or sets by quantifying their complexity as a ratio of the change in detail to the change in scale.^{[5]}^{:1} Several types of fractal dimension can be measured theoretically and empirically (see Fig. 2).^{[3]}^{[8]} Fractal dimensions are used to characterize a broad spectrum of objects ranging from the abstract^{[1]}^{[3]} to practical phenomena, including turbulence,^{[5]}^{:97–104} river networks,^{:246–247} urban growth,^{[9]}^{[10]} human physiology,^{[11]}^{[12]} medicine,^{[8]} and market trends.^{[13]} The essential idea of fractional or fractal dimensions has a long history in mathematics that can be traced back to the 1600s,^{[5]}^{:19}^{[14]} but the terms fractal and fractal dimension were coined by mathematician Benoit Mandelbrot in 1975.^{[1]}^{[2]}^{[5]}^{[8]}^{[13]}^{[15]}
Fractal dimensions were first applied as an index characterizing complicated geometric forms for which the details seemed more important than the gross picture.^{[15]} For sets describing ordinary geometric shapes, the theoretical fractal dimension equals the set's familiar Euclidean or topological dimension. Thus, it is 0 for sets describing points (0dimensional sets); 1 for sets describing lines (1dimensional sets having length only); 2 for sets describing surfaces (2dimensional sets having length and width); and 3 for sets describing volumes (3dimensional sets having length, width, and height). But this changes for fractal sets. If the theoretical fractal dimension of a set exceeds its topological dimension, the set is considered to have fractal geometry.^{[16]}
Unlike topological dimensions, the fractal index can take noninteger values,^{[17]} indicating that a set fills its space qualitatively and quantitatively differently from how an ordinary geometrical set does.^{[1]}^{[2]}^{[3]} For instance, a curve with fractal dimension very near to 1, say 1.10, behaves quite like an ordinary line, but a curve with fractal dimension 1.9 winds convolutedly through space very nearly like a surface. Similarly, a surface with fractal dimension of 2.1 fills space very much like an ordinary surface, but one with a fractal dimension of 2.9 folds and flows to fill space rather nearly like a volume.^{[16]}^{:48}^{[notes 1]} This general relationship can be seen in the two images of fractal curves in Fig.2 and Fig. 3 – the 32segment contour in Fig. 2, convoluted and space filling, has a fractal dimension of 1.67, compared to the perceptibly less complex Koch curve in Fig. 3, which has a fractal dimension of 1.26.
The relationship of an increasing fractal dimension with spacefilling might be taken to mean fractal dimensions measure density, but that is not so; the two are not strictly correlated.^{[7]} Instead, a fractal dimension measures complexity, a concept related to certain key features of fractals: selfsimilarity and detail or irregularity.^{[notes 2]} These features are evident in the two examples of fractal curves. Both are curves with topological dimension of 1, so one might hope to be able to measure their length or slope, as with ordinary lines. But we cannot do either of these things, because fractal curves have complexity in the form of selfsimilarity and detail that ordinary lines lack.^{[5]} The selfsimilarity lies in the infinite scaling, and the detail in the defining elements of each set. The length between any two points on these curves is undefined because the curves are theoretical constructs that never stop repeating themselves.^{[18]} Every smaller piece is composed of an infinite number of scaled segments that look exactly like the first iteration. These are not rectifiable curves, meaning they cannot be measured by being broken down into many segments approximating their respective lengths. They cannot be characterized by finding their lengths or slopes. However, their fractal dimensions can be determined, which shows that both fill space more than ordinary lines but less than surfaces, and allows them to be compared in this regard.
Note that the two fractal curves described above show a type of selfsimilarity that is exact with a repeating unit of detail that is readily visualized. This sort of structure can be extended to other spaces (e.g., a fractal that extends the Koch curve into 3d space has a theoretical D=2.5849). However, such neatly countable complexity is only one example of the selfsimilarity and detail that are present in fractals.^{[3]}^{[13]} The example of the coast line of Britain, for instance, exhibits selfsimilarity of an approximate pattern with approximate scaling.^{[5]}^{:26} Overall, fractals show several types and degrees of selfsimilarity and detail that may not be easily visualized. These include, as examples, strange attractors for which the detail has been described as in essence, smooth portions piling up,^{[16]}^{:49} the Julia set, which can be seen to be complex swirls upon swirls, and heart rates, which are patterns of rough spikes repeated and scaled in time.^{[19]} Fractal complexity may not always be resolvable into easily grasped units of detail and scale without complex analytic methods but it is still quantifiable through fractal dimensions.^{[5]}^{:197; 262}
History
The terms fractal dimension and fractal were coined by Mandelbrot in 1975,^{[15]} about a decade after he published his paper on selfsimilarity in the coastline of Britain. Various historical authorities credit him with also synthesizing centuries of complicated theoretical mathematics and engineering work and applying them in a new way to study complex geometries that defied description in usual linear terms.^{[14]}^{[20]}^{[21]} The earliest roots of what Mandelbrot synthesized as the fractal dimension have been traced clearly back to writings about undifferentiable, infinitely selfsimilar functions, which are important in the mathematical definition of fractals, around the time that calculus was discovered in the mid1600s.^{[5]}^{:405} There was a lull in the published work on such functions for a time after that, then a renewal starting in the late 1800s with the publishing of mathematical functions and sets that are today called canonical fractals (such as the eponymous works of von Koch,^{[18]} Sierpiński, and Julia), but at the time of their formulation were often considered antithetical mathematical "monsters".^{[14]}^{[21]} These works were accompanied by perhaps the most pivotal point in the development of the concept of a fractal dimension through the work of Hausdorff in the early 1900s who defined a "fractional" dimension that has come to be named after him and is frequently invoked in defining modern fractals.^{[4]}^{[5]}^{:44}^{[16]}^{[20]}
See Fractal history for more information
Role of scaling
The concept of a fractal dimension rests in unconventional views of scaling and dimension.^{[22]} As Fig. 4 illustrates, traditional notions of geometry dictate that shapes scale predictably according to intuitive and familiar ideas about the space they are contained within, such that, for instance, measuring a line using first one measuring stick then another 1/3 its size, will give for the second stick a total length 3 times as many sticks long as with the first. This holds in 2 dimensions, as well. If one measures the area of a square then measures again with a box of side length 1/3 the size of the original, one will find 9 times as many squares as with the first measure. Such familiar scaling relationships can be defined mathematically by the general scaling rule in Equation 1, where the variable stands for the number of sticks, for the scaling factor, and for the fractal dimension:

(1)
The symbol above denotes proportionality. This scaling rule typifies conventional rules about geometry and dimension – for lines, it quantifies that, because =3 when =1/3 as in the example above, =1, and for squares, because =9 when =1/3, =2.
The same rule applies to fractal geometry but less intuitively. To elaborate, a fractal line measured at first to be one length, when remeasured using a new stick scaled by 1/3 of the old may not be the expected 3 but instead 4 times as many scaled sticks long. In this case, =4 when =1/3, and the value of can be found by rearranging Equation 1:

(2)
That is, for a fractal described by =4 when =1/3, =1.2619, a noninteger dimension that suggests the fractal has a dimension not equal to the space it resides in.^{[3]} The scaling used in this example is the same scaling of the Koch curve and snowflake. Of note, these images themselves are not true fractals because the scaling described by the value of cannot continue infinitely for the simple reason that the images only exist to the point of their smallest component, a pixel. The theoretical pattern that the digital images represent, however, has no discrete pixellike pieces, but rather is composed of an infinite number of infinitely scaled segments joined at different angles and does indeed have a fractal dimension of 1.2619.^{[5]}^{[22]}
D is not a unique descriptor
As is the case with dimensions determined for lines, squares, and cubes, fractal dimensions are general descriptors that do not uniquely define patterns.^{[22]}^{[23]} The value of D for the Koch fractal discussed above, for instance, quantifies the pattern's inherent scaling, but does not uniquely describe nor provide enough information to reconstruct it. Many fractal structures or patterns could be constructed that have the same scaling relationship but are dramatically different from the Koch curve, as is illustrated in Figure 6.
For examples of how fractal patterns can be constructed, see Fractal, Sierpinski triangle, Mandelbrot set, Diffusion limited aggregation, LSystem.
Examples
The concept of fractal dimension described in this article is a basic view of a complicated construct. The examples discussed here were chosen for clarity, and the scaling unit and ratios were known ahead of time. In practice, however, fractal dimensions can be determined using techniques that approximate scaling and detail from limits estimated from regression lines over log vs log plots of size vs scale. Several formal mathematical definitions of different types of fractal dimension are listed below. Although for some classic fractals all these dimensions coincide, in general they are not equivalent:
 Box counting dimension: D is estimated as the exponent of a power law.
 Information dimension: D considers how the average information needed to identify an occupied box scales with box size; is a probability.
 Correlation dimension D is based on as the number of points used to generate a representation of a fractal and g_{ε}, the number of pairs of points closer than ε to each other.
 Generalized or Rényi dimensions
 The boxcounting, information, and correlation dimensions can be seen as special cases of a continuous spectrum of generalized dimensions of order α, defined by:
 Higuchi dimension^{[24]}
 Multifractal dimensions: a special case of Rényi dimensions where scaling behaviour varies in different parts of the pattern.
 Uncertainty exponent
 Hausdorff dimension
 Packing dimension
 Assouad dimension
 Local connected dimension^{[25]}
Estimating from realworld data
Many realworld phenomena exhibit limited or statistical fractal properties and fractal dimensions that have been estimated from sampled data using computer based fractal analysis techniques. Practically, measurements of fractal dimension are affected by various methodological issues, and are sensitive to numerical or experimental noise and limitations in the amount of data. Nonetheless, the field is rapidly growing as estimated fractal dimensions for statistically selfsimilar phenomena may have many practical applications in various fields including diagnostic imaging,^{[26]}^{[27]} physiology,^{[11]} neuroscience,^{[12]} medicine,^{[28]}^{[29]}^{[30]} physics,^{[31]}^{[32]} image analysis,^{[33]}^{[34]}^{[35]}^{[36]} acoustics,^{[37]} Riemann zeta zeros,^{[38]} and electrochemical processes.^{[39]}
An alternative to a direct measurement, is considering a mathematical model that resembles formation of a realworld fractal object. In this case, a validation can also be done by comparing other than fractal properties implied by the model, with measured data. In colloidal physics, systems composed of particles with various fractal dimensions arise. To describe these systems, it is convenient to speak about a distribution of fractal dimensions, and eventually, a time evolution of the latter: a process that is driven by a complex interplay between aggregation and coalescence.^{[40]}
See also
Notes
References
 ↑ ^{1.0} ^{1.1} ^{1.2} ^{1.3} Falconer, Kenneth (2003). Fractal Geometry. New York: Wiley. p. 308. ISBN 9780470848623.<templatestyles src="Module:Citation/CS1/styles.css"></templatestyles>
 ↑ ^{2.0} ^{2.1} ^{2.2} Sagan, Hans (1994). SpaceFilling Curves. Berlin: SpringerVerlag. p. 156. ISBN 0387942653.<templatestyles src="Module:Citation/CS1/styles.css"></templatestyles>
 ↑ ^{3.0} ^{3.1} ^{3.2} ^{3.3} ^{3.4} ^{3.5} Vicsek, Tamás (1992). Fractal growth phenomena. Singapore New Jersey: World Scientific. p. 10. ISBN 9789810206680.<templatestyles src="Module:Citation/CS1/styles.css"></templatestyles>
 ↑ ^{4.0} ^{4.1} Lua error in Module:Citation/CS1/Identifiers at line 47: attempt to index field 'wikibase' (a nil value).
 ↑ ^{5.00} ^{5.01} ^{5.02} ^{5.03} ^{5.04} ^{5.05} ^{5.06} ^{5.07} ^{5.08} ^{5.09} ^{5.10} Benoit B. Mandelbrot (1983). The fractal geometry of nature. Macmillan. ISBN 9780716711865. Retrieved 1 February 2012.<templatestyles src="Module:Citation/CS1/styles.css"></templatestyles>
 ↑ Harte, David (2001). Multifractals. London: Chapman & Hall. pp. 3–4. ISBN 9781584881544.<templatestyles src="Module:Citation/CS1/styles.css"></templatestyles>
 ↑ ^{7.0} ^{7.1} ^{7.2} BalayKarperien, Audrey (2004). Defining Microglial Morphology: Form, Function, and Fractal Dimension. Charles Sturt University. p. 86. Retrieved 9 July 2013.<templatestyles src="Module:Citation/CS1/styles.css"></templatestyles>
 ↑ ^{8.0} ^{8.1} ^{8.2} Losa, Gabriele A.; Nonnenmacher, Theo F., eds. (2005). Fractals in biology and medicine. Springer. ISBN 9783764371722. Retrieved 1 February 2012.<templatestyles src="Module:Citation/CS1/styles.css"></templatestyles>
 ↑ Lua error in Module:Citation/CS1/Identifiers at line 47: attempt to index field 'wikibase' (a nil value).
 ↑ "Applications". Retrieved 20071021.<templatestyles src="Module:Citation/CS1/styles.css"></templatestyles>
 ↑ ^{11.0} ^{11.1} Lua error in Module:Citation/CS1/Identifiers at line 47: attempt to index field 'wikibase' (a nil value).
 ↑ ^{12.0} ^{12.1} Lua error in Module:Citation/CS1/Identifiers at line 47: attempt to index field 'wikibase' (a nil value).
 ↑ ^{13.0} ^{13.1} ^{13.2} Peters, Edgar (1996). Chaos and order in the capital markets : a new view of cycles, prices, and market volatility. New York: Wiley. ISBN 0471139386.<templatestyles src="Module:Citation/CS1/styles.css"></templatestyles>
 ↑ ^{14.0} ^{14.1} ^{14.2} Edgar, Gerald (2004). Classics on Fractals. Boulder: Westview Press. ISBN 9780813341538.<templatestyles src="Module:Citation/CS1/styles.css"></templatestyles>
 ↑ ^{15.0} ^{15.1} ^{15.2} Albers; Alexanderson (2008). "Benoit Mandelbrot: In his own words". Mathematical people : profiles and interviews. Wellesley, Mass: AK Peters. p. 214. ISBN 9781568813400.<templatestyles src="Module:Citation/CS1/styles.css"></templatestyles>
 ↑ ^{16.0} ^{16.1} ^{16.2} ^{16.3} Mandelbrot, Benoit (2004). Fractals and Chaos. Berlin: Springer. p. 38. ISBN 9780387201580.
A fractal set is one for which the fractal (HausdorffBesicovitch) dimension strictly exceeds the topological dimension
<templatestyles src="Module:Citation/CS1/styles.css"></templatestyles>  ↑ Lua error in Module:Citation/CS1/Identifiers at line 47: attempt to index field 'wikibase' (a nil value).
 ↑ ^{18.0} ^{18.1} Helge von Koch, "On a continuous curve without tangents constructible from elementary geometry" In Gerald Edgar, ed. (2004). Classics on Fractals. Boulder: Westview Press. pp. 25–46. ISBN 9780813341538.<templatestyles src="Module:Citation/CS1/styles.css"></templatestyles>
 ↑ Lua error in Module:Citation/CS1/Identifiers at line 47: attempt to index field 'wikibase' (a nil value).
 ↑ ^{20.0} ^{20.1} Gordon, Nigel (2000). Introducing fractal geometry. Duxford: Icon. p. 71. ISBN 9781840461237.<templatestyles src="Module:Citation/CS1/styles.css"></templatestyles>
 ↑ ^{21.0} ^{21.1} Trochet, Holly (2009). "A History of Fractal Geometry". MacTutor History of Mathematics. Archived from the original on 4 February 2012.<templatestyles src="Module:Citation/CS1/styles.css"></templatestyles>
 ↑ ^{22.0} ^{22.1} ^{22.2} Iannaccone, Khokha (1996). Fractal Geometry in Biological Systems. ISBN 9780849376368.<templatestyles src="Module:Citation/CS1/styles.css"></templatestyles>
 ↑ Vicsek, Tamás (2001). Fluctuations and scaling in biology. Oxford [Oxfordshire]: Oxford University Press. ISBN 0198507909.<templatestyles src="Module:Citation/CS1/styles.css"></templatestyles>
 ↑ http://tswww.ism.ac.jp/higuchi/index_e/papers/PhysicaD1988.pdf
 ↑ Lua error in Module:Citation/CS1/Identifiers at line 47: attempt to index field 'wikibase' (a nil value).
 ↑ Landini, G.; Murray, P. I.; Misson, G. P. (1995). "Local connected fractal dimensions and lacunarity analyses of 60 degrees fluorescein angiograms". Investigative Ophthalmology & Visual Science. 36 (13): 2749–2755. PMID 7499097.<templatestyles src="Module:Citation/CS1/styles.css"></templatestyles>
 ↑ Lua error in Module:Citation/CS1/Identifiers at line 47: attempt to index field 'wikibase' (a nil value).
 ↑ Lua error in Module:Citation/CS1/Identifiers at line 47: attempt to index field 'wikibase' (a nil value).
 ↑ Lua error in Module:Citation/CS1/Identifiers at line 47: attempt to index field 'wikibase' (a nil value).
 ↑ Lua error in Module:Citation/CS1/Identifiers at line 47: attempt to index field 'wikibase' (a nil value).
 ↑ Lua error in Module:Citation/CS1/Identifiers at line 47: attempt to index field 'wikibase' (a nil value).
 ↑ Lua error in Module:Citation/CS1/Identifiers at line 47: attempt to index field 'wikibase' (a nil value).
 ↑ Lua error in Module:Citation/CS1/Identifiers at line 47: attempt to index field 'wikibase' (a nil value).
 ↑ Lua error in Module:Citation/CS1/Identifiers at line 47: attempt to index field 'wikibase' (a nil value).
 ↑ Lua error in Module:Citation/CS1/Identifiers at line 47: attempt to index field 'wikibase' (a nil value).
 ↑ Lua error in Module:Citation/CS1/Identifiers at line 47: attempt to index field 'wikibase' (a nil value).
 ↑ Lua error in Module:Citation/CS1/Identifiers at line 47: attempt to index field 'wikibase' (a nil value).
 ↑ Lua error in Module:Citation/CS1/Identifiers at line 47: attempt to index field 'wikibase' (a nil value).
 ↑ Lua error in Module:Citation/CS1/Identifiers at line 47: attempt to index field 'wikibase' (a nil value).
 ↑ Lua error in Module:Citation/CS1/Identifiers at line 47: attempt to index field 'wikibase' (a nil value).
Further reading
 Mandelbrot, Benoit B., The (Mis)Behavior of Markets, A Fractal View of Risk, Ruin and Reward (Basic Books, 2004)
External links
 TruSoft's Benoit, fractal analysis software product calculates fractal dimensions and hurst exponents.
 A Java Applet to Compute Fractal Dimensions
 Introduction to Fractal Analysis
 Bowley, Roger (2009). "Fractal Dimension". Sixty Symbols. Brady Haran for the University of Nottingham.<templatestyles src="Module:Citation/CS1/styles.css"></templatestyles>