Alumna: Karina Del Pilar Palacios Curay

Curso: Seminario de Matemtica,

Profesor: Valentn Purizaca Martnez.
Curvas fractales en el plano
cartesiano generadas con
polgonos regulares
Fractales
Fractal. Proviene del latn fractus que
significa irregular. Este trmino fue
acuado por el matemtico:

BENOIT B. MANDELBROT.
Benoit B. Mandelbrot
20 de noviembre de
1924.
Matemtico polaco,
de origen francs.
Identific a los frac-
tales como objetos
matemticos ade-
cuados a la repre-
sentacin de irregu-
laridades naturales.
Conjunto Fractal
No hay definicin exacta del conjunto
fractal, nicamente debe cumplir con una
de las siguientes condiciones:
1.Posee un algoritmo sencillo para su
construccin.
2.Posee una propiedad de autosemejanza.
3.Su dimensin de Hausdorff es mayor que
la dimensin topolgica.
Mtrica
Definicin. Una mtrica o funcin de
distancia en un conjunto arbitrario X es una
funcin d : XX , que cumple con las
siguientes propiedades:
0
+
R
> e d x y x y X ( , ) 0; ( . , D1)
e d x y d y x x y X ( , )= ( , ); ( 2 , D ).
s e d x z d x y d y z x y z X ( , ) ( , )+ ( , ); , ( . , D3)
e d x y x y x y X ( , )=0 = ; ( . , D4)
Espacio mtrico
Al par (X, d) se le llama espacio mtrico.
Donde X = y el dominio de definicin de
d es XX.
Ejemplo. El par (
n
, d), donde:



es un espacio mtrico.
( ) ( )
0
:
+

n n
n
i i
i
d
x y d x y x y
2
=1
( , ) , = -
R R R
Mtrica
Euclidiana
2. Una sucesin de puntos est
en X si pertenece a X, n; excepto
posiblemente uno de ellos.
Propiedades topolgicas de
un espacio mtrico
1. El dimetro de un
conjunto U c X se denota y
se define por:
e U d x y x y U =Sup{ ( , )/ , }
U
U
X
{ }
e
n
n
x
N
n
x
Propiedades topolgicas de
un espacio mtrico
3. Sean (X, d) y un espacio m-
trico y una sucesin en X, respecti-
vamente. La sucecin converge
a un punto x, si para cada o
tal que
cuando
o, brevemente:
{ }
e
n
n
x
N
- e n
0
>0, N
( )
n
d x x , < > n n
0

n
n
x x lim =
{ }
e
n
n
x
N
Propiedades topolgicas de
un espacio mtrico
4. Sean (X, d) y un espacio m-
trico y una sucesin en X, respecti-
vamente. La sucecin es llama-
da sucesin de Cauchy si o
tal que
cuando
{ }
e
n
n
x
N
- e n
0
>0, N
( )
m n
d x x , <
> m,n n
0
{ }
e
n
n
x
N
Propiedades topolgicas de
un espacio mtrico
5. Si (X, d) es tal que toda sucesin de
Cauchy definida en el converge hacia un
punto x e X, entonces a X se le llama
espacio mtrico completo.
Punto fijo
Definicin. Sea T : X X un operador
sobre un espacio mtrico (X, d). Si exis-
tiera un punto con la caracterstica de que
T(x) = x, entonces a x se le llama punto fijo
del operador.
Punto fijo
Ejemplo. El operador T :
2

2

definido por:


tiene seis puntos fijos:
( )
( )
T x y x y
2 3
, = 4 ,9
( ) ( )
( )
( ) ( ) ( )
1 1 1 1 1 1 1
3 4 3 4 3 4 3
0,- ; ,- ; 0,0 ; ,0 ; 0, ; ,
Contracciones
Definicin. Sea (X, d) un espacio mtrico.
Un operador T se llama contraccin si
existe un r e (0,1) tal que:


donde al nmero r se le llama constante de
contractividad.
( ) ( ) ( ) ( )
s e d T x T y r d x y x y X , , ,
Contracciones
Ejemplo. En el espacio mtrico (
2
, d),
donde d es la mtrica euclidiana se define
la contraccin



con constante de contractividad .
( )
| |
|
=
|
\ .
x y
T x y
x y x y
2 2 2 2
, ,
1+ + 1+ +
r
2
3
=
Sean y .
( )
=
x
T x
x 1+
( )
| |
|
=
|
\ .
x y
T x y
x y x y
2 2 2 2
, ,
1+ + 1+ +
e x y
2
, R
( ) ( ) ( ) ( )
( )
s
| |
s
|
|
\ .

d T x T y r d x y
x y
d r d x y
x y
x y
x y
r
x y
, ,
, ,
1+ 1+
1+ 1+
Debe maximizarse:

x y
x y 1+ 1+
Sujeto a: = x y 1
( )
| |
|
=
|
\ .
x y
T x y
x y x y
2 2 2 2
, ,
1+ + 1+ +
( ) ( )
, , = +
x y
f x y x y
x y
1
1+ 1+
Pero:
( ) ( ) ( )
, , , , s + + + =
x y
f x y x y g x y
x y
1
1+ 1+
Sean , , entonces se maximizar:
o= x
( ) ( )
, ,
o |
o | o |
o |
= + + + g 1
1+ 1+
| = y
La funcin de Lagrange es:
( )
| |
|
=
|
\ .
x y
T x y
x y x y
2 2 2 2
, ,
1+ + 1+ +
Cuya solucin es:
Se origina el sistema:
( ) ( )
2 2
o |
o |
o |
c c
= + = + + =
c c
g g
= ; = ;
1 1
0 0 1
1+ 1+
; ; o | = = =
1 1 4
2 2 9
Y el mximo es:
( )
( )
, , o | = + + = g
1 1
2 2 4 1 1
9 2 2
1 1
2 2
2
1
1+ 1+ 3
( )
| |
|
=
|
\ .
x y
T x y
x y x y
2 2 2 2
, ,
1+ + 1+ +
Es decir:
De manera que:
( ) ( ) ( )
, , , , , , o | s = s f x y g x y g
2
3
( ) ( ) ( ) ( )

s
x y
x y
x y
d T x T y d x y
1+ 1+
2
3
2
, ,
3
x
T
y
( )
T x
( )
T y
( )
| |
|
=
|
\ .
x y
T x y
x y x y
2 2 2 2
, ,
1+ + 1+ +
Teorema del punto fijo de
Banach
Consideremos un espacio mtrico (X, d)
donde X = . Si X es completo y T es un
operador contrativo sobre X con constante
de contractividad r. Entonces T posee un
nico punto fijo.
Teorema de Banach
Ejemplo. En el espacio mtrico (
2
, d),
donde d es la mtrica euclidiana, se define
la contraccin



cuyo nico punto fijo es .
( )
| |
|
=
|
\ .
x y
T x y
x y x y
2 2 2 2
, ,
1+ + 1+ +
( )
0,0
T
Punto fijo Punto fijo
( )
| |
|
=
|
\ .
x y
T x y
x y x y
2 2 2 2
, ,
1+ + 1+ +
Operadores Lineales
Un operador lineal es un operador
T :
2

2
de la forma:


o expresado en forma matricial:
( )
T x y ax by e c x d y f ( , )= + + , + +
| || | | |
| | |
\ .\ . \ .
a b x e
T x y
c d y f
( , )= +
Contracciones Lineales
Teorema. El operador lineal:


definido en el espacio mtrico (
2
, d),
donde d es la mtrica euclidiana, es una
contraccin cuando:
| || | | |
| | |
\ .\ . \ .
a b x e
T x y
c d y f
( , )= +
1

| |
< <
`
|
\ .
)
2
i i
a b
r
c d
0 =max ; valor propio de
Contracciones Lineales
Ejemplo. El operador:


definido en (
2
, d), donde d es la mtrica
euclidiana, es una contraccin cuya
constante de contractividad es:
( )
| || | | |
+
| | |
\ .\ . \ .
x
T x y
y
0.5 0.26 0.5
, =
-0.25 -0.35 0.35
r=0.644233
T
( )
| || | | |
+
| | |
\ .\ . \ .
x
T x y
y
0.5 0.26 0.5
, =
-0.25 -0.35 0.35
Contracciones Lineales
Ejemplo. El operador:


definido en (
2
, d), donde d es la mtrica
euclidiana, es una contraccin cuya
constante de contractividad es:
( )
| |
| |
|
|
|
\ .
\ .
x
T x y
y
1
2
1
2
0
, =
0
r
1
2
=
T
( )
| |
| |
|
|
|
\ .
\ .
x
T x y
y
1
2
1
2
0
, =
0
Curvas fractales en el plano
Las curvas fractales en
2
se obtienen por
iteraciones de una transformacin sobre
una poligonal. Esta transformacin se
compone a su vez de contracciones
lineales:
d
i
i=1
= T
con
:
i
2 2
T R R
Von Koch, Niels Fabian
Helge
25 de enero de
1870, 11 de marzo
de 1924.

Matemtico sueco,
cuyos apellidos se
han asignado a una
de las primeras
curvas fractales en
ser descritas.
La curva de Von Koch
La curva de Von Koch se obtiene mediante
iteraciones de la transformacin: p
sobre los lados de un tringulo equiltero.
4
i
i=1
= T
( )
( )
0
,
0
,
| || |
=
| |
\ .\ .
| |

| |
| |
|
= +
|
|
|
\ .
\ .
\ .
x
T x y
y
x
T x y
y
1
3
1
1
2 2
3
2
3
1
2 2
1
1
1 3
1
3 0
( )
( )
,
0
,
0
| |
| |
| |
|
| = +
|
|
|
\ .
\ .
\ .
| |
| || |
= +
|
| |
\ .\ .
\ .
x
T x y
y
x
T x y
y
1
3
1
2
2 2
3
3
3
1
6
2 2
2
3
4
1
3
1
1
1 3 0
La curva de Von Koch
1 0 0 1/3 2/3 1
6
3
60
X
Y
X
Y
T
1
T
2
T
3
T
4
60
La curva de Von Koch

La curva de Von Koch

La curva
de
Von Koch
Dimensin Topolgica
Dimensin Inductiva. Sea un espa-
cio topolgico con axioma de separacin
T
3
(Regular) se define la dimensin p
inductivamente mediante:
( )
t X,
( )
ind X
1.Si , .
( )
= ind X 1 = C X
Dimensin Topolgica
3.Si y no se verifica que p
para , se dir que .
4.Si se verifica que no existe ningn n para
el cual , se dir que:
( )
= ind X
( )
s ind X n
( )
s ind X k
< k n
( )
= ind X n
( )
s ind X n
2.Un espacio tiene si y
o , con tal que:
( )
s ind X n
e x X

x
V
-
x
U _
x x
V U
( )
c s
x
ind U n 1
Dimensin Topolgica
Ejemplo1. Dimensin de un punto.
Sea y . Por definicin:

As pues:

de donde:
{ }
= X p c = C
x
U
( )
( )
c = C =
x
ind U ind 1
( )
c =
x
ind U 0 1
= n 0
Dimensin Topolgica
Ejemplo2. Dimensin de una curva.
Aqu . As pues

De manera que:

de donde:
{ }
c =
x
U p
( )
{ } ( )
c = =
x
ind U ind p 0
( )
c =
x
ind U 1 1
= n 1
Dimensin Topolgica
Ejemplo3. Dimensin de un conjunto del
plano.
Aqu . As pues

De manera que:

de donde:
c =
x
U curva
( )
( )
c = =
x
ind U ind curva 1
( )
c =
x
ind U 2 1
= n 2
Felix Hausdorff
8 de noviembre de
1868, 26 de enero
de 1942.

Matemtico alemn
considerado como
uno de los fundado-
res de la moderna
Topologa.
Dimensin de Hausdorff
Si con para cada i, de-
cimos que es un de F.

c
i
i=
F U
1
o < <
i
U 0
{ }
i
U o cubrimiento
i
U
F
Dimensin de Hausdorff
Si y s es un nmero no negativo.
Para cualquier se define:


La medida de Hausdorff s-dimensional de
F se define por:
c
n
F
o
( ) { }
, -
o
o

=

=
`
)

s
s
i i
i
H F U U F
1
inf es un cubrimiento de
( ) ( )
o
o
=
s s
H F H F
0
lim
Dimensin de Hausdorff
Propiedad 1. Si y . Entonces:

donde:
o >0
( ) ( )
=
s s s
H F H F
{ }
/ = e F x x F
c
n
F
Propiedad 2. Si y , con
p . Entonces:

( ) ( )
=

d
s s
i
i=
H F H F
1
=
d
i
i=
F F
1
= C
d
i
i=
F
1
c
n
F
Dimensin de Hausdorff
Dimensin Fractal. Si y
con y con :
c
n
F
( ) ( )
( )
( )

=
=
=

d
s s
i
i=
d
s
i=
d
s s
i=
H F H F
H F
H F
1
1
1
=
d
i
i=
F F
1
= C
d
i
i=
F
1
=
i
F F
( )
s
H F
( )
=
s s
d H F
( )
log log log
log
log

=
= +
=
s
d
d s
d
s
1
1
1
< < 0 1
Dimensin de la curva de
Von Koch
log log
log
log
= = ~
| |
|
|
\ .
s
1
3
4 4
1,26186
3
1
( )
= F F
1
1
3
( )
= F F
1
2
3
( )
= F F
1
3
3
( )
= F F
1
4
3
F
Permetro y rea de la curva
de Von Koch
1
3 P =
2
3
1
4
A =
Permetro
rea
Iteracin 1
Permetro y rea de la curva
de Von Koch
2
3
3 4 P =
( ) 2
2
3
1
2
4
3
1 3 A = +
Permetro
rea
Iteracin 2
Permetro y rea de la curva
de Von Koch
3
3
3 4 4 P =
(
)
2
2
2 3
1
3
4
3
1
9
1 3
6 2
A = +
+
Permetro
rea
Iteracin 3
Permetro y rea de la curva
de Von Koch
4
3
3 4 4 4 P =
(
)
2
2
2
2
3
1
4
4
3
1
9
1
27
1 3
6 2
6 8
A = +
+
+
Permetro
rea
Iteracin 4
Permetro y rea de la curva
de Von Koch
4
3
4 1
4
1
3 4 4 4
4
4
lim
n
n
n
n
P
P
P
P P

=
=
=
= =
Permetro
Permetro y rea de la curva
de Von Koch
( )
( )
( )
( )
( )
2 2 2
0 2 4
1 3 5
2 1 2 2 2 2 2 3 2
2 1 1 2 2 1 2 3 1
2 2
2 1
2 3
1 1 1
4
4
3 9 27
2 2 3 3
16 1 4 2 2 2
4 3 27 243 4
3 3 3
2 3
2 2 2
4
3 3 3
1 1
2 2 3 3
3 2 4
4 4 4 9
3
1 1
1 3 6 2 6 8
1 1
1
1 1
i
i
n n
i
n
i i
A
A

= =
= + + +
= + + + = + + +
= + + +
| | | |
= + = +
| |
\ . \ .

rea
Permetro y rea de la curva
de Von Koch
( )
( )
1
4 4
9 9
4
9
9 4 4
9 4 9
4
9
1
2 3
3
4 4
1
1
2 3
3
4 4
1
1
1
n
n
n
n
A
A

| |

|
\ .

| |

|
\ .

(
| |
( |
= +
| (
\ .

(
| |
( |
= +
| (
\ .

rea
( )
( )
( )
2
3
3 9 4
4 5 4 9
2
3
8 27 4
4 5 20 9
2 2 3
5
1 1
lim
n
n
n
n
n
n
A
A
A A

(
= +
(

(
=
(

= =