Professional Documents
Culture Documents
Curso Basico Fractales - SSPFRACTALSPREZ
Curso Basico Fractales - SSPFRACTALSPREZ
Dibyendu Roy
MOTIVATION FOR DEFINING
FRACTAL DIMENSION
How do we define the “fractal-ness” of a shape?
>
MOTIVATION FOR DEFINING
FRACTAL DIMENSION
Familiar dimensions
0 Dimensional
MOTIVATION FOR DEFINING
FRACTAL DIMENSION
Familiar dimensions
1 Dimensional
MOTIVATION FOR DEFINING
FRACTAL DIMENSION
Familiar dimensions
2 Dimensional
MOTIVATION FOR DEFINING
FRACTAL DIMENSION
Familiar dimensions
3 Dimensional
MOTIVATION FOR DEFINING
FRACTAL DIMENSION
Familiar dimension?
1.26 Dimensional
?
OVERVIEW
• Compass dimension
• Hausdorff dimension
COMPASS DIMENSION
THE COASTLINE PARADOX
• First noted by Lewis Fry Richardson and
expanded on by Benoit B Mandelbrot
1000km
THE BIG CIRCLE
Number of Compass Length 1000km
Sides Length (km) (km)
6 500 3000
12 258.82 3106
24 130.53 3133
48 65.40 3139
96 32.72 3141
6 500 3000
12 258.82 3106
24 130.53 3133
48 65.40 3139
96 32.72 3141
6 500 3000
12 258.82 3106
24 130.53 3133
48 65.40 3139
96 32.72 3141
6 500 3000
12 258.82 3106
24 130.53 3133
48 65.40 3139
96 32.72 3141
6 500 3000
12 258.82 3106
24 130.53 3133
48 65.40 3139
96 32.72 3141
6 500 3000
12 258.82 3106
24 130.53 3133
48 65.40 3139
96 32.72 3141
1000km
Lets try the coastline of Britain and see what happens
THE RESULTS BRITAIN
Compass Setting
Length (km)
(km)
500 2600
100 3800
54 5770
17 8640
THE RESULTS BRITAIN
Compass Setting
Length (km)
(km)
500 2600
100 3800
54 5770
17 8640
THE RESULTS BRITAIN
Compass Setting
Length (km)
(km)
500 2600
100 3800
54 5770
17 8640
THE RESULTS BRITAIN
Compass Setting
Length (km)
(km)
500 2600
100 3800
54 5770
17 8640
THE RESULTS BRITAIN
Compass Setting
Length (km)
(km)
500 2600
100 3800
54 5770
17 8640
RESULTS DON’T SEEM TO
CONVERGE!
Compass Setting
Length (km)
(km)
500 2600
100 3800
54 5770
17 8640
GRAPHING THE RESULTS
Circle Britain
9000
6750
Length (km)
4500
2250
0
0 125 250 375 500
Compass Size (km)
LOG LOG PLOT
Circle Britain
d≈0 Gradients d ≈ 0.36
4
3.825
log10(Length)
3.65
3.475
3.3
-2.8 -2.275 -1.75 -1.225 -0.7
−log10(Compass Length)
WHAT CAN WE GET FROM
THIS?
• Some objects do not have an easily definable
perimeter
1 27 27
4 9 36 27
16 3 48
64 1 64
GRAPHING THE RESULTS
Koch Curve
log(4)
d= − 1 ≈ 0.26
log(3)
4
3.7
log10(Length)
3.4
3.1
2.8
-3 -2.25 -1.5 -0.75 0
−log10(Compass Length)
EVALUATING COMPASS
DIMENSION
Koch Curve
• Let us take the Koch snowflake as an d=
log(4)
− 1 ≈ 0.26
log(3)
example 4
1
Reduction
Object Pieces
factor
1
Line 2
2
1
Square 4
2
1
Cube 8
2
SCALING FACTORS FOR
SIMPLE SHAPES
Let us scale each of the following objects by a reduction factor
and observe how many pieces fit into the original
Reduction
Object Pieces
factor
1
Line 2
2 1
Square
1
4 2
2
1
Cube 8
2
SCALING FACTORS FOR
SIMPLE SHAPES
Let us scale each of the following objects by a reduction factor
and observe how many pieces fit into the original
Reduction
Object Pieces
factor
1
Line 2
2
1
Square 4
2
1
Cube 8
2
1
SCALING FACTORS FOR
SIMPLE SHAPES
Let us scale each of the following objects by a reduction factor
and observe how many pieces fit into the original
Reduction
Object Pieces
factor
1
Line 2
2
1
Square 4
2
1
Cube 8 1
2
2
SCALING FACTORS FOR
SIMPLE SHAPES
Let us scale each of the following objects by a reduction factor
and observe how many pieces fit into the original
Reduction
Object Pieces
factor
1
Line 2
2
1
Square 4
2
Cube
1
8 1
2
SCALING FACTORS FOR
SIMPLE SHAPES
Generalising to an arbitrary reduction factor makes the trend
clear
Reduction
Object Pieces
factor
1 n
Line
n
1
Square n2
n
1
Cube n3
n
DEFINING SELF SIMILARITY
DIMENSION
From the pattern we saw before we can create a definition
for dimension:
1 log a
a= D or Ds =
S s log 1/S
a = Pieces
S = Reduction factor
Ds = Dimension
DEFINING SELF SIMILARITY
DIMENSION
From the pattern we saw before we can create a definition
for dimension:
1 log 8
8= or 3=
13 log 2
2
1
2
DEFINING SELF SIMILARITY
DIMENSION
From the pattern we saw before we can create a definition
for dimension:
1 log 8
8= or 3=
13 log 2
2
1
LOOKING AT THE KOCH
CURVE (AGAIN)
• Now let us look at the corresponding
scaling factor for the Koch curve
log 4
Ds = ≈ 1.26
log 3
THE RELATION WITH
COMPASS DIMENSION
Ds(Koch) ≈ 1.26
d(Koch) ≈ 0.26
THE RELATION WITH
COMPASS DIMENSION
• There exists a surprising relation between
compass dimension and self similarity dimension
⋃
• We define B(x, r) to be the set of
S⊂ Ui
points in a open ball of radius r at i=1
point x in space
{n }
1
inf inf{1,2,3,4}
: n ∈ ℕ = 1= 0
• The biggest number that is
smaller than or equal to all the
other numbers in the set
• Some examples:
HAUSDORFF MEASURE:
INTERMEDIATE STEP
∞
{∑ }
d d
⋃
Cδ (S) := inf ri :S⊂ B(xi, ri) and ri < δ
i i=1
{∑ }
d d
⋃
Cδ (S) := inf ri :S⊂ B(xi, ri) and ri < δ
i i=1
{∑ }
d d
⋃
Cδ (S) := inf ri :S⊂ B(xi, ri) and ri < δ
i i=1
{∑ }
d d
⋃
Cδ (S) := inf ri :S⊂ B(xi, ri) and ri < δ
i i=1
{∑ }
C d(S) = lim Cδd(S) = lim inf rid : S ⊂
⋃
B(xi, ri) and ri < δ
δ→0 δ→0
i i=1
• Looking at the sum of the radii to the d th power as the radii
tend to zero
{0
∞ for d < DH(S)
C d(A) =
for d > DH(S)
{∑ }
•
rid : S ⊂
⋃
before = lim inf B(xi, ri) and ri < δ
δ→0
i i=1
( )
• Simplifying d
{ }
k 1 1
= lim inf 4 × : k <δ
• Re-stating the condition for the radius to δ→0 3 k 3
solve for k
{( 3 ) 3
k
}
4 1
= lim inf d
: k
<δ
• Cases: δ→0
( )
4 k
{ 3 }
• If ≥ 1 the infimum of the set will be 4
3d = lim inf : k > − log3(δ)
at the minimum value of k δ→0 d
δ→0 ( 3d ) k→∞ ( 3d )
⌈−log3(δ)⌉ k
• If ≤ 1 then we take the largest value 4 4
3 d
= lim or lim
of k
K→∞ ( 3d )
K
• Make the substitution shown and the 4
= lim (K = ⌈−log3(δ)⌉ or k)
corresponding change in limit
HAUSDORFF MEASURE OF
THE KOCH CURVE
• Definition of the Hausdorff measure C d(Koch) = lim Cδd(Koch)
δ→0
Using the set of open covers that we found ∞
{∑ }
•
rid : S ⊂
⋃
before = lim inf B(xi, ri) and ri < δ
δ→0
i i=1
( )
• Simplifying d
{ }
k 1 1
= lim inf 4 × : k <δ
• Re-stating the condition for the radius to δ→0 3 k 3
solve for k
{( 3 ) 3
k
}
4 1
= lim inf d
: k
<δ
• Cases: δ→0
( )
4 k
{ 3 }
• If ≥ 1 the infimum of the set will be 4
3d = lim inf : k > − log3(δ)
at the minimum value of k δ→0 d
δ→0 ( 3d ) k→∞ ( 3d )
⌈−log3(δ)⌉ k
• If ≤ 1 then we take the largest value 4 4
3 d
= lim or lim
of k
K→∞ ( 3d )
K
• Make the substitution shown and the 4
= lim (K = ⌈−log3(δ)⌉ or k)
corresponding change in limit
HAUSDORFF MEASURE OF
THE KOCH CURVE
• Definition of the Hausdorff measure C d(Koch) = lim Cδd(Koch)
δ→0
Using the set of open covers that we found ∞
{∑ }
•
rid : S ⊂
⋃
before = lim inf B(xi, ri) and ri < δ
δ→0
i i=1
( )
• Simplifying d
{ }
k 1 1
= lim inf 4 × : k <δ
• Re-stating the condition for the radius to δ→0 3 k 3
solve for k
{( 3 ) 3
k
}
4 1
= lim inf d
: k
<δ
• Cases: δ→0
( )
4 k
{ 3 }
• If ≥ 1 the infimum of the set will be 4
3d = lim inf : k > − log3(δ)
at the minimum value of k δ→0 d
δ→0 ( 3d ) k→∞ ( 3d )
⌈−log3(δ)⌉ k
• If ≤ 1 then we take the largest value 4 4
3 d
= lim or lim
of k
K→∞ ( 3d )
K
• Make the substitution shown and the 4
= lim (K = ⌈−log3(δ)⌉ or k)
corresponding change in limit
HAUSDORFF MEASURE OF
THE KOCH CURVE
• Definition of the Hausdorff measure C d(Koch) = lim Cδd(Koch)
δ→0
Using the set of open covers that we found ∞
{∑ }
•
rid : S ⊂
⋃
before = lim inf B(xi, ri) and ri < δ
δ→0
i i=1
( )
• Simplifying d
{ }
k 1 1
= lim inf 4 × : k <δ
• Re-stating the condition for the radius to δ→0 3 k 3
solve for k
{( 3 ) 3
k
}
4 1
= lim inf d
: k
<δ
• Cases: δ→0
( )
4 k
{ 3 }
• If ≥ 1 the infimum of the set will be 4
3d = lim inf : k > − log3(δ)
at the minimum value of k δ→0 d
δ→0 ( 3d ) k→∞ ( 3d )
⌈−log3(δ)⌉ k
• If ≤ 1 then we take the largest value 4 4
3 d
= lim or lim
of k
K→∞ ( 3d )
K
• Make the substitution shown and the 4
= lim (K = ⌈−log3(δ)⌉ or k)
corresponding change in limit
HAUSDORFF MEASURE OF
THE KOCH CURVE
• Definition of the Hausdorff measure C d(Koch) = lim Cδd(Koch)
δ→0
Using the set of open covers that we found ∞
{∑ }
•
rid : S ⊂
⋃
before = lim inf B(xi, ri) and ri < δ
δ→0
i i=1
( )
• Simplifying d
{ }
k 1 1
= lim inf 4 × : k <δ
• Re-stating the condition for the radius to δ→0 3 k 3
solve for k
{( 3 ) 3
k
}
4 1
= lim inf d
: k
<δ
• Cases: δ→0
( )
4 k
{ 3 }
• If ≥ 1 the infimum of the set will be 4
3d = lim inf : k > − log3(δ)
at the minimum value of k δ→0 d
δ→0 ( 3d ) k→∞ ( 3d )
⌈−log3(δ)⌉ k
• If ≤ 1 then we take the largest value 4 4
3 d
= lim or lim
of k
K→∞ ( 3d )
K
• Make the substitution shown and the 4
= lim (K = ⌈−log3(δ)⌉ or k)
corresponding change in limit
HAUSDORFF MEASURE OF
THE KOCH CURVE
• Definition of the Hausdorff measure C d(Koch) = lim Cδd(Koch)
δ→0
Using the set of open covers that we found ∞
{∑ }
•
rid : S ⊂
⋃
before = lim inf B(xi, ri) and ri < δ
δ→0
i i=1
( )
• Simplifying d
{ }
k 1 1
= lim inf 4 × : k <δ
• Re-stating the condition for the radius to δ→0 3 k 3
solve for k
{( 3 ) 3
k
}
4 1
= lim inf d
: k
<δ
• Cases: δ→0
( )
4 k
{ 3 }
• If ≥ 1 the infimum of the set will be 4
3d = lim inf : k > − log3(δ)
at the minimum value of k δ→0 d
δ→0 ( 3d ) k→∞ ( 3d )
⌈−log3(δ)⌉ k
• If ≤ 1 then we take the largest value 4 4
3 d
= lim or lim
of k
K→∞ ( 3d )
K
• Make the substitution shown and the 4
= lim (K = ⌈−log3(δ)⌉ or k)
corresponding change in limit
HAUSDORFF MEASURE OF
THE KOCH CURVE
• Definition of the Hausdorff measure C d(Koch) = lim Cδd(Koch)
δ→0
Using the set of open covers that we found ∞
{∑ }
•
rid : S ⊂
⋃
before = lim inf B(xi, ri) and ri < δ
δ→0
i i=1
( )
• Simplifying d
{ }
k 1 1
= lim inf 4 × : k <δ
• Re-stating the condition for the radius to δ→0 3 k 3
solve for k
{( 3 ) 3
k
}
4 1
= lim inf d
: k
<δ
• Cases: δ→0
( )
4 k
{ 3 }
• If ≥ 1 the infimum of the set will be 4
3d = lim inf : k > − log3(δ)
at the minimum value of k δ→0 d
δ→0 ( 3d ) k→∞ ( 3d )
⌈−log3(δ)⌉ k
• If ≤ 1 then we take the largest value 4 4
3 d
= lim or lim
of k
K→∞ ( 3d )
K
• Make the substitution shown and the 4
= lim (K = ⌈−log3(δ)⌉ or k)
corresponding change in limit
HAUSDORFF MEASURE OF
THE KOCH CURVE
• Definition of the Hausdorff measure C d(Koch) = lim Cδd(Koch)
δ→0
Using the set of open covers that we found ∞
{∑ }
•
rid : S ⊂
⋃
before = lim inf B(xi, ri) and ri < δ
δ→0
i i=1
( )
• Simplifying d
{ }
k 1 1
= lim inf 4 × : k <δ
• Re-stating the condition for the radius to δ→0 3 k 3
solve for k
{( 3 ) 3
k
}
4 1
= lim inf d
: k
<δ
• Cases: δ→0
( )
4 k
{ 3 }
• If ≥ 1 the infimum of the set will be 4
3d = lim inf : k > − log3(δ)
at the minimum value of k δ→0 d
δ→0 ( 3d ) k→∞ ( 3d )
⌈−log3(δ)⌉ k
• If ≤ 1 then we take the largest value 4 4
3 d
= lim or lim
of k
K→∞ ( 3d )
K
• Make the substitution shown and the 4
= lim (K = ⌈−log3(δ)⌉ or k)
corresponding change in limit
HAUSDORFF DIMENSION OF
THE KOCH CURVE
We found the Hausdorff measure of the
Koch curve for dimension d
{0
d
∞ for d < DH(Koch)
C (Koch) =
for d > DH(Koch)
K→∞ ( 3d )
K
d 4
C (Koch) = lim
HAUSDORFF DIMENSION OF
THE KOCH CURVE
Observe that:
4
∞ >1
K→∞ ( 3d )
K for
d 4 3d
C (Koch) = lim = 4
0 for <1
3d
Therefore
4 log(4)
DH(Koch) = = 1
3DH(Koch) log(3)
Agrees with all the other definitions!
HAUSDORFF DIMENSION:
INTERESTING FACTS
• All countable sets of points have
Hausdorff dimension 0
• Hausdorff dimension
TYPES OF DIMENSION WE
HAVE LOOKED AT
• Compass dimension
• Hausdorff dimension
TYPES OF DIMENSION WE
HAVE LOOKED AT
• Compass dimension
• Hausdorff dimension
TYPES OF DIMENSION WE
HAVE LOOKED AT
• Compass dimension
• Hausdorff dimension
TYPES OF DIMENSION WE
HAVE LOOKED AT
• Compass dimension
• Hausdorff dimension
“A fractal is by definition a set for which the
Hausdorff-Besicovitch dimension strictly exceeds the
topological dimension.”
–Benoit Mandelbrot
FRACTAL DIMENSION AND
BIOLOGY
METABOLIC RATES AT
VARIOUS SIZES
• The metabolic rate of an animal is the rate at
which chemical processes occur to maintain
life
• Measured in Joules/Second
3
log(Metabolic rate)
-1
-2 -1 0 1 2 3 4 5
log(Body Mass)
METABOLIC RATES AT
VARIOUS SIZES
• Volume scales as r 3 where r is the scaling
factor
Dimension 2.97
FRACTAL DIMENSION OF
ORGANS
Human auricular artery
Dimension 2.3
FRACTAL DIMENSION OF
ORGANS
General fractal vascular tree
https://www.researchgate.net/figure/Three-dimensional-geometry-of-fractal-
vascular-tree_fig3_5265743
FRACTAL DIMENSION OF
ORGANS
The surface of the brain
https://www.ncbi.nlm.nih.gov/pmc/articles/PMC1303704/figure/fig3/?
report=objectonly
Dimension 2.5
IS THE DEVIL’S STAIRCASE A
FRACTAL?
CONSTRUCTING THE DEVIL’S
STAIRCASE
• Take the middle third of the interval [0,1]
and create a line at height 0.5
• Compass dimension of 1
• https://demonstrations.wolfram.com/CantorFunction/
• http://demonstrations.wolfram.com/BoxCountingTheDimensionOfCoastlines/