ARENAS DAZ, G. & S. M.

SABOGAL PEDRAZA: ACERCA DEL TRINGULO DE SIERPISKI

395

MATEMTICAS

ACERCA DEL TRINGULO

DE SIERPISKI
Por
Gilberto Arenas Daz & Sonia M. Sabogal Pedraza
Resumen
Arenas Daz, G. & S. M. Sabogal Pedraza: Acerca del tringulo de Sierpiski. Rev. Acad.
Colomb. Cienc. 33(128): 395-405, 2009. ISSN 0370-3908.

Escuela de Matemticas, Universidad Industrial de Santander, A.A.678, Bucaramanga, Colombia. Correo electrnico: ssabogal@uis.edu.co,
garenasd@uis.edu.co. MSC2000:28A80,54E45,54G15,14Hxx.

REV. ACAD. COLOMB. CIENC. : VOLUMEN XXXIII, NUMERO 000, 2009

treinta a os aproximadamente, como una herran

mienta que adems de atractiva por la vistosidad
a
de las guras que se generan, parece tener buenas
perspectivas para modelar objetos y fenmenos de
o
la naturaleza que se hab considerado fuera del
an
alcance de la matemtica.
a
Uno de los conjuntos ms conocidos y represena
tativos de esta geometr es el llamado tringulo
a
a
de Sierpi ski, presentado al mundo en el ao 1916
n
n
por el matemtico polaco Waclaw Sierpi ski
a
n
[12]. Entre los fractales clsicos, el tringulo
a
a
de Sierpiski llamado tambin curva triangular
n
e
de Sierpiski, ocupa un lugar destacado, parece
n
tener propiedades excepcionales y surge, a veces
de manera casi sorpresiva, en diversos contextos
de la matemtica: en los sistemas dinmicos, la
a
a
teor de grafos, la matemtica aplicada (en la
a
a
fabricacin de antenas de alta frecuencia, en paro
ticular en telfonos celulares), e incluso en objee
tos tan antiguos como el tringulo de Pascal o el
a
juego de las torres de Hanoi (vanse por ejemplo
e
[13], [8], [4, pg. 309]).
a
En 1981, J. E. Hutchinson [5], basado en
las ideas de B. Mandelbrot [6], expone una
teor muy formal y bien fundamentada de los
a
que l llama conjuntos estrictamente autosimie
lares. En 1988, M. Barnsley [2], usando las
ideas de Hutchinson expone un procedimiento
para generar fractales como atractores de Sistemas Iterados de Funciones (SIF) y demuestra
que todo atractor se puede direccionar mediante una funcin del espacio de Cantor, en el
o
atractor, funcin que en el presente art
o
culo llamamos la funcin de direccionamiento.
o
En 1990, W. Debski y J. Mioduszewski [3]
estudiaron algunas propiedades topolgicas de la
o
curva triangular de Sierpiski. En 2007, S. Sabon
gal [11] presenta una caracterizacin algebraica
o
de esta curva.
En el presente art
culo se establece inicialmente una denicin formal del tringulo de
o
a
Sierpi ski S, como la interseccin de cierta fan
o
o
milia {Sn }n de conjuntos (Denicin 3.1), esto
con base en la construccin clsica que se eno
a
cuentra en la literatura; luego se demuestra que
dicha interseccin es efectivamente el atractor de
o
un SIF (Proposicin 3.2) y posteriormente, en la
o
Proposicin 3.3, se establece otra descripcin de
o
o

S, como la adherencia de la unin de una familia

o
de conjuntos. En la mayor parte de la literatura
que conocemos, estos hechos no se demuestran
formalmente, a pesar de que se usan con bastante
frecuencia. Solamente en [9] se establece formalmente S como el atractor de un SIF, usando un
lema ([9, Lemma 2.3]) cuya demostracin all se
o

omite. Aqu se presenta y demuestra un lema un

poco ms general (Lema 2.7) para obtener a S

a
como el atractor de un SIF, y tambin se demuese
tra otra caracterizacin de S como la adherencia
o
de cierta unin de conjuntos, sin hacer uso de dio
cho lema.
Por otra parte, y este es el resultado original
central del art
culo, usando la funcin de direco
cionamiento, se presenta una caracterizacin de
o
o
los puntos de las fronteras Sn , (Proposicin 4.5),
con lo cual se deduce que el tringulo de
a
Sierpi ski contiene puntos que no pertenecen a
n
ninguna de las fronteras Sn . Esto es interesante
ya que en general, al observar el procedimiento
clsico para generar a S, la tendencia natural es
a
pensar que los unicos puntos que van a cons
tituir a S son justamente los de los conjuntos
Sn , de modo que nuestro resultado, establece
una propiedad contraintuitiva de la curva triangular de Sierpi ski.
n
En la seccin 2 de este trabajo, se precisan
o
los principales conceptos, resultados y notaciones
que se requieren en las siguientes secciones. En
la seccin 3 se establecen tres formas equivao
lentes de denir el tringulo de Sierpi ski y en
a
n
la seccin 4 se presenta el resultado central del
o
art
culo (Proposicin 4.5), que permite deducir
o
la propiedad contraintuitiva de S mencionada en
el prrafo anterior.
a
2. Preliminares
Se presentan y precisan a continuacin una seo
rie de conceptos, notaciones y resultados necesarios para el n que nos interesa. Las demostraciones que no se presentan aqu se pueden encon,
trar en [2].
Dado N un entero positivo jo, N 2, se dene el espacio de los cdigos como el espacio
o
mtrico (N , d) donde = {1, 2, . . . , N }
e
N := {x = x1 x2 x3 . . . | xi , i N} ,

GILBERTO ARENAS D
IAZ & SONIA M. SABOGAL PEDRAZA: ACERCA DEL TRIANGULO DE SIERPINSKI

(los elementos de N se llaman cdigos o pao

labras semi-innitas), y la distancia entre los
cdigos x = x1 x2 x3 . . . e y = y1 y2 y3 . . . se dene
o
por

|xi yi |
(1)
d (x, y) :=
i.
i=1 (N + 1)
Los espacios de Cantor se conocen en la literatura como los espacios topolgicos que son hoo
meomorfos al conjunto ternario de Cantor (sobre
el intervalo cerrado [0, 1]) con la topolog genea
rada por la mtrica usual de R. Puesto que el
e
conjunto ternario de Cantor se puede identicar
con el conjunto de las sucesiones con los elementos
0 y 1, entonces el espacio de los cdigos que se est
o
a
aqu deniendo se puede identicar, para N = 2,

con el conjunto ternario de Cantor y adems la

a
correspondiente mtrica denida en (1), es equie
valente a la mtrica usual de R, de modo que el ese
pacio de cdigos para N = 2 resulta homeomorfo
o
al espacio de Cantor. Este resultado puede generalizarse para cualquier N entero positivo, N > 2,
as que para cada = {1, 2, . . . , N } el espacio de

cdigos N no es otra cosa que un espacio de Cano

tor.

K H(X). Se dene d (a, K) por:

d (a, K) := m {d (a, x) | x K}
n
(Vase la Fig. 1).
e

K
x
a

Figura 1: d(a, K)
Denicin 2.2 (Distancia entre compactos).
o
Sean (X, d) espacio mtrico y A, B H(X). Se
e
(A, B) por:
dene d

d (A, B)

:=

mx d (a, B) | a A
a

:=

mx {m {d (a, b) | b B} | a A} .
a
n

(Vase la Figura 2).

e
A

Un espacio mtrico X se dice completo si

e
toda sucesin de Cauchy en X, converge en X.
o
Sea (X, d) un espacio mtrico; una funcin
e
o
f : X X se dice una contraccin si existe
o
r R, 0 r < 1 tal que para cualesquiera
x, y X se tiene que
d(f (x), f (y)) r d(x, y);
en tal caso r se dice un factor de contraccin
o
de f . No es dif demostrar que toda contraccin
cil
o
es continua.
Un espacio mtrico X se dice compacto si
e
toda sucesin en X admite una subsucesin cono
o
vergente en X.
Notemos con H(X) la familia de todos los subconjuntos compactos no vac de X, es decir:
os

Figura 2: d(A, B)

Es de aclarar que d no es una mtrica, ya que,

e

en general, no se cumple que d(A, B) = d(B, A).

Denicin 2.3. Sean A, B H(X) se dene
o
h (A, B) por:

h (A, B) =: mx d (A, B) , d (B, A) .

a
Proposicin 2.4. h es una mtrica sobre H(X).
o
e
Denicin 2.5 (Mtrica de Hausdor). El eso
e
pacio mtrico (H(X) , h) se llama el espacio
e
donde viven los fractales. La mtrica h se
e
llama mtrica de Hausdor.
e

Se quiere ahora denir una mtrica en el conjunto

e
H(X), para lo cual procederemos por etapas.

Como los elementos de H(X) son subconjuntos de X (es decir son elementos que a la vez son
conjuntos), tambin se suele decir que H(X) es
e
un hiperespacio de X.

Denicin 2.1 (Distancia de punto a como

pacto). Sean (X, d) espacio mtrico, a X y
e

La demostracin del siguiente teorema puede

o
consultarse en [2, Teorema 7.1] o en [1, Teorema

H(X) := {K X | K es compacto, K = } .


REV. ACAD. COLOMB. CIENC. : VOLUMEN XXXIII, NUMERO 000, 2009

3.2.6]. Cabe anotar aqu que en el Teorema 7.1

o
de [2], la condicin de que (xn )n sea una sucesin
o
de Cauchy, que aparece en la caracterizacin del
o
conjunto A, se puede omitir, lo cual en efecto se
hace en [1, Teorema 3.2.6].
Teorema 2.6. Sea (X, d) un espacio mtrico.
e
(H(X) , h) es completo si y slo si (X, d) es como
pleto. Adems, si (An )n es una sucesin de
a
o
Cauchy en H(X) y
A = l n An
m
entonces A se puede caracterizar como sigue:
o
A ={x X | existe (xn )n sucesin en X, con
(xn )n x y xn An , n}.
El siguiente resultado, que se usar en la
a
prxima seccin, no aparece en la literatura que
o
o
conocemos, razn por la cual se enuncia y deo
muestra a continuacin.
o
Lema 2.7. Sean (X, d) espacio mtrico completo
e
y (An )n sucesin de Cauchy en H(X) tal que:
o
A1 A2 An
entonces

Rec
procamente sea x

An .
n=1

Demostracin. Por el Teorema 2.6 sabemos que

o
H(X) es completo y que
= {x X | existe (xn )n sucesin en X con
o
(xn )n x y xn An , n} .

An . Sea x A.

n=1

Existe (xn )n sucesin en X, tal que (xn )n x y

o
xn An , n. Supongamos que x

An , entonces x

n=1

An para todo n, y basta entonces considerar la

sucesin constante (x, x, . . . , x, . . . ) x para
o
concluir que x A.
Quiz el mecanismo ms usado, y ya clsico,
a
a
a
para construir fractales, es mediante los llamados
sistemas iterados de funciones (SIF), concepto
que se dene a continuacin.
o
Denicin 2.8 (SIF). Un sistema iterado
o
de funciones (SIF), es una estructura de la
forma {X; f1 , f2 , f3 , . . . , fN }, donde X es un espacio mtrico completo y cada fi : X X, i =
e
1, 2, . . . , N , es una contraccin en X.
o
Dado un SIF se puede obtener una contraccin
o
en el hiperespacio H(X), de la siguiente manera:

F (K) =: f1 (K) f2 (K) f3 (K) fN (K)

N

fi (K) .

=:

A : = l n An
m

Probemos entonces que A =

Lema 2.9. Sean (X, d) un espacio mtrico y

e
o
fi : X X una contraccin en X, con i = 1,
2, 3, . . ., N (N N, N jo). Si se dene
F : H(X) H(X) por

l n An =
m

Sea T = mx {M, N }. Se tiene: d (xT , x) < ,

a
luego xT B (x; ). Como T M , AT AM
y como xT AT entonces xT AM , de modo
que xT B (x; ) AM = , lo cual es una contradiccin.
o

An , es den=1

cir, existe M N tal que x AM . Como AM es

compacto entonces es cerrado, luego AM = AM ,
as que x AM lo cual signica que existe

> 0 tal que B (x; ) AM = . Ahora, como

(xn )n x, para > 0 existe N N tal que
d (xn , x) < siempre que n N .

i=1

Entonces F es una contraccin.

o
Ahora, si (X, d) es completo entonces F :
H(X) H(X) es una contraccin en un espacio
o
mtrico completo, de modo que se puede aplicar
e
el teorema del punto jo para espacios mtricos
e
completos2 y se obtiene el siguiente teorema.
Teorema 2.10. Dado {X; f1 , f2 , . . . , fN } un
SIF, se dene
F : H(X) H(X)
K

F (K) =:

fi (K) ,
i=1

2Teorema del punto jo para espacios mtricos completos. Sean (X, d) un espacio mtrico completo y f : X X
e
e
una contraccin de X. Entonces f tiene un unico punto jo, es decir, existe un unico p X tal que f (p) = p. Adems,
o

a
para cualquier x X se tiene que:
l n f n (x) = p,
m
n representa la composicin de f consigo misma, n veces.
o
donde f

GILBERTO ARENAS D
IAZ & SONIA M. SABOGAL PEDRAZA: ACERCA DEL TRIANGULO DE SIERPINSKI

entonces existe un unico A H(X) tal que

1 (a) := N | () = a .

F (A) = A =

fi (A). Adems para cualquier

a
i=1

K H(X) se tiene que

l n F n (K) = A.
m
El conjunto A se llama el atractor del SIF.
El atractor de un SIF determina un espacio de
cdigos, de acuerdo al n mero de contracciones
o
u
del SIF.
Denicin 2.11 (El espacio de cdigos asociados
o
o
a un SIF). Dado un SIF: {X; f1 , f2 , . . . , fN } se
dene su espacio de cdigos asociado como el
o
espacio mtrico N donde = {1, 2, . . . , N }.
e
El siguiente teorema es tomado de [2, pg.
a
123].
Teorema
2.12
(La funcin ). Sean
o
{X; w1 , . . . , wN } un SIF y A su atractor. Sea
N el espacio de cdigos asociado al SIF. Para
o
cada = 1 2 3 N , n N y x X, sea
() := l n w1 w2 wn (x).
m
Entonces () siempre existe, pertenece a A, es
independiente de x, y la funcin:
o
: N A
()
es continua y sobre.
De esta manera, para cada punto del atractor
de un SIF, se puede ahora denir lo que llamaremos una direccin del punto.
o
Denicin 2.13 (Funcin de direccionamiento).
o
o
Sean {X; w1 , . . . , wn } un SIF, N su espacio de
o
cdigos asociado y : N A la funcin denida
o
en el teorema anterior. Sea a A; llamaremos
una direccin de a, a cualquier elemento del cono
junto,

El conjunto 1 (a) lo llamaremos el conjunto

de las direcciones de a y la funcin la llao
maremos la funcin de direccionamiento del
o
atractor del SIF.
Dos observaciones sobre la funcin de dio
reccionamiento: La funcin permite, entre
o
otras cosas, asignar a cada punto del atractor, un
cdigo semi-innito, lo cual a su vez puede fao
cilitar la caracterizacin de ciertos subconjuntos
o
del fractal como se har en la seccin 4 para el
a
o
tringulo de Sierpiski. Por otra parte, recora
n
dando que cada espacio de cdigos es homeoo
morfo al espacio de Cantor, la funcin de direco
cionamiento constituye una forma de obtener los
conjuntos fractales como cocientes topolgicos del
o
espacio de Cantor.
En efecto: si F es un subconjunto cerrado
de N , y dado que N es compacto, entonces
F es tambin compacto; de esta manera para la
e
funcin : N A denida en el Teorema 2.12,
o
se tiene que (F ) es un subconjunto compacto de
A (la imagen continua de un compacto es un compacto); adems, puesto que A es Hausdor (por
a
ser un espacio mtrico), entonces (F ) es un cee
rrado de A (un subconjunto compacto de un espacio Hausdor, es cerrado [14, Theorem 17.5]). De
esta manera la funcin es cerrada de modo que
o
se tiene una funcin continua, sobre y cerrada;
o
se puede entonces aplicar [14, Teorema 9.2] para
concluir que A es un cociente (topolgico) del eso
pacio de Cantor. Por supuesto esta conclusin
o
tambin se puede obtener como una consecuencia
e
directa del Teorema 30.7 de [14], el cual establece
que todo espacio mtrico compacto es una imae
gen continua del espacio de Cantor; sin embargo
en el Teorema 2.12 se muestra expl
citamente una
funcin de cociente entre el espacio de Cantor N
o
y el atractor A.

Ejemplo 2.14.
(1) Consideremos el SIF: {[0, 1] ; w1 , w2 } donde w1 (x) = 1 x, w2 (x) = 1 x + 2 . El atractor de este
3
3
3
SIF es el espacio de Cantor C, y su funcin de direccionamiento, : N C, donde = {1, 2}.
o
Calculemos por ejemplo (12); (12 = 1222 . . .).
(12) = l n w1 w2 w2 . . . w2 (1) = l n w1 (1) = w1 (1) =
m
m
Luego 12 es direccin de 1 .
o
3

1
3


REV. ACAD. COLOMB. CIENC. : VOLUMEN XXXIII, NUMERO 000, 2009

11
111

12

112

121

21

122

211

22

212

221

222

.
.
(12) =

1
3

Figura 3: Espacio de cdigos asociado con el conjunto de Cantor.

o
(2) El atractor del SIF: I I; 1 z, 1 z ei/3 + 1 ,
3
3
3
de Koch, que notaremos K. Entonces
: N K

con
23

12
11

13
14

1
i/3
3 ze

1
2

3
1
6 i, 3 z

2
3

, se llama la curva

= {1, 2, 3, 4} .
32

41

...

44

Figura 4: Espacio de cdigos asociado con la curva de Koch.

o
En este caso, por ejemplo 1
1

1
3
2, 6

= 24, 31 ,

1
3, 0

= 14, 21 ,

(0, 0) = 1 .

Para nalizar esta seccin de preliminares,

o
se demuestran dos lemas que se usarn en la
a
seccin 4.
o
Lema 2.15. Sean A el atractor de un SIF
{X; f1 , f2 , . . . , fN } y : N A la correspondiente funcin de direccionamiento. Entonces
o
para todo = 1 2 3 N se cumple:

Demostracin. ) Si
o
(1 2 3 . . . ) = (1 2 3 . . . ) ,
aplicando el lema anterior se tiene
f1 ( (2 3 . . . )) = f1 ( (2 3 . . . )) .
Como f1 es inyectiva
(2 3 . . . ) = (2 3 . . . ).

se

concluye

que

) Aplicando f1 en la hiptesis y luego usano

do el lema anterior, se obtiene el resultado.

(1 2 3 . . . ) = f1 ( (2 3 . . . )) .
Demostracin. En efecto, para x X:
o
m
(123 . . . ) = l n f1 f2 f3 fn (x)
= f1 (l n f2 f3 fn (x))
m
= f1 ( (2 3 4 . . . )) ,
o
pues f1 es continua (por ser contraccin).
Lema 2.16. Sean {X; f1 , f2 , . . . , fN } un SIF
cuyas contracciones son inyectivas y : N A
la correspondiente funcin de direccionamiento.
o
Entonces para todo par = 1 2 3 . . .,
= 1 2 3 N se tiene
(1 2 3 . . . ) = (1 2 3 . . . )
si y slo si
o
(2 3 . . . ) = (2 3 . . . ) .

3. Deniciones formales de S
La forma ms usada de construir el tringulo
a
a
de Sierpiski consiste en partir de un tringulo
n
a
equiltero de lado 1, junto con su interior, unir los
a
puntos medios de los lados del tringulo de modo
a
que se forman cuatro tringulos de los cuales se
a
elimina el tringulo central. Luego, en cada uno
a
de los tres tringulos que quedan se repite la
a
construccin (unir los puntos medios de los lao
dos y eliminar el tringulo central), obtenindose
a
e
nueve tringulos ms peque os (vase la Figura
a
a
n
e
5), en cada uno de los cuales se repite la construccin para obtener 27 tringulos an ms peque os
o
a
u
a
n
y as sucesivamente; se determina entonces una

sucesin de conjuntos S0 , S1 , S2 , . . . , Sn , . . . .
o

GILBERTO ARENAS D
IAZ & SONIA M. SABOGAL PEDRAZA: ACERCA DEL TRIANGULO DE SIERPINSKI

...

S0

...

,
,
,
,
S1
S2
Sn
Figura 5: Construccin geomtrica del tringulo de Sierpi ski.
o
e
a
n

3
1222

3
12

L0

L1

o
Denicin 3.1. Siendo (Sn )n la sucesin
o
obtenida anteriormente, se dene el tringulo
a
de Sierpi ski que notaremos S, como la intern
seccin de la familia {Sn | n N}, es decir:
o

Sn .
n=0

Ahora, si se considera el SIF S :=

R2 ; f1 , f2 , f3 donde f1 (z) = 1 z, f2 (z) = 1 z +
2
2

1
, f3 (z) = 1 z + 1 + 43 i, y se toma como conjunto
2
2
4
inicial S0 el tringulo (junto con su interior) de
a

vrtices (0, 0), (1, 0) y 1 , 23 , se puede comproe

2
bar, haciendo los clculos y aplicando induccin
a
o
matemtica que la sucesin (F n (S0 ))n (vase el
a
o
e
Teorema 2.10), es la misma sucesin (Sn )n de la
o
Denicin 3.1.
o
o
Obsrvese que cada Sn es compacto no vac y
e
que adems:
a
(i) S0 S1 S2 Sn

...

S3

...

,
,
L2
Figura 7: La sucesin (Ln )n .
o

Formalizamos de la siguiente manera:

S :=

3
122

,
,
S1
S2
Figura 6: Distancia entre Sn y Sn+1 .

S0

...

Ln

o
(ii) (Sn )n es una sucesin de Cauchy en
H(R2 ).
En efecto:

3
12

3
1 , S2 ) =
h(S1 , S2 ) = d(S
12 2

h(S2 , S3 ) = d(S2 , S3 ) =
12 22

h(S0 , S1 ) = d(S0 , S1 ) =

...

h(Sn , Sn+1 ) = d(Sn , Sn+1 ) =

3
12 2n

de modo que si m n se tiene:

m1

h(Sn , Sm )

h(Sj , Sj+1 )
j=n

3
3
3
=
+
+ +
12 2n
12 2n+1
12 2m

1
1
3 1
=
+ n+1 + + m 0,
12 2n
2
2


REV. ACAD. COLOMB. CIENC. : VOLUMEN XXXIII, NUMERO 000, 2009

cuando n, m . As teniendo en cuenta (i),

(ii) y que R2 es completo, se puede aplicar el

Lema 2.7 para obtener:

manera tenemos que, n N ,

f1 . . . fn (x0 ) B (s; ) F n (L0 )
= B (s; ) Ln

Proposicin 3.2. El tringulo de Sierpi ski es

o
a
n
el atractor del SIF S.

B (s; )

Ln .
n=0

Por el Teorema 2.10 el atractor de un SIF es independiente del compacto inicial que se tome. Si
cambiamos el conjunto inicial S0 , el tringulo
por
a
1
3
L0 de vrtices (0, 0), (1, 0) y 2 , 2 , pero ahora
e

Para la otra contenencia demostremos en primer

lugar que

Ln S,

sin su interior (es decir L0 = S0 ), la sucesin

o
que se obtiene se ilustra en la Figura 7.
La tendencia general es pensar que S es la
unin de la familia {Ln | n = 0, 1, 2, . . . }. Sin
o
embargo esto no es cierto. Se probar a continuaa
cin que en realidad S es la adherencia de dicha
o
unin, y en la siguiente seccin se probar que
o
o
a

existen puntos de S que no pertenecen a

Ln .

n=0

es decir que
n=0

Proposicin 3.3. S =
o

Demostracin. Sea s S. Usando la funcin

o
o
de direccionamiento : N S asociada al SIF
S, sabemos que existe un cdigo N tal que
o
() = s, ( es sobre, Teorema 2.12), de modo
que l n f1 . . . fn (x) = s, x R2 . Para
m

que B (s; )

n=0

Ln

Ln . Existe m N tal que x Lm .

n=0

Ln

Ln tomemos

Sn . Usaremos los si-

n=0

(1) Ln Sn para todo n = 0, 1, 2, 3, . . .

(2) S0 S1 S2 Sn . . .
(3) L0 L1 L2 Ln . . .
Sea x

n=0

probar que s

guientes hechos:

n=0

Ln

> 0 y veamos

Por (3) se tiene que x Ln , para todo n m.

Por (1) se tiene que x Sn , para todo n m.
Por (2) se tiene que x Sn , para todo n m. De
esta manera x

Sn , con lo cual

n=0

Ln S.

n=0

Como S es cerrado y puesto que la adherencia

de un conjunto es el menor cerrado que lo con

tiene, se concluye que

Ln S.

n=0

= . Observemos que:

n=0

F (L0 ) = f1 (L0 ) f2 (L0 ) f3 (L0 )

= {f1 (x) | x L0 }
{f2 (x) | x L0 } {f3 (x) | x L0 }
= {fi (x) | x L0 , i {1, 2, 3}} ,
F 2 (L0 ) = {fi1 fi2 (x) | x L0 , i1 , i2 {1, 2, 3}},
y, en general,
F n (L0 ) =
{fi1 . . . fin (x) | x L0 , i1 , . . . , in {1, 2, 3}} .
Sea x0 L0 . Puesto que
l n f1 . . . fn (x) = s,
m
entonces para > 0 existe N N tal que si n N
entonces f1 . . . fn (x0 ) B (s; ). De esta

4. S es mucho ms de lo que parece

a
Se probar en esta seccin que S =
a
o

Ln ,
n=0

mediante una caracterizacin de los puntos que

o
estn en cada conjunto Ln = Sn . Para esto
a
se establecern algunos lemas previos. Hagamos
a

p = (0, 0), q = (1, 0) y r = 1 , 23 los puntos

2
jos de las contracciones f1 , f2 y f3 respectivamente, del SIF S. Sea Lpq el segmento que une p
a
y q. Se denen Lqr y Lpr de manera anloga
(Figura 8). Denotemos ahora 13 el siguiente
conjunto de cdigos:
o
13 := N | i {1, 3} , i N .
Lema 4.1. (13 ) = Lpr .

GILBERTO ARENAS D
IAZ & SONIA M. SABOGAL PEDRAZA: ACERCA DEL TRIANGULO DE SIERPINSKI

Lpr

demuestra que Lpr (13 ), la contenencia que

faltaba.
De manera anloga se puede demostrar el sia
guiente lema:

Lqr

Lema 4.2. (12 ) = Lpq y (23 ) = Lqr .

p

q
Lpq

Los dos lemas anteriores permiten entonces escribir el siguiente:

Figura 8 : Los segmentos Lpq , Lqr y Lpr .

Demostracin. Sea = 1 2 . . . 13 . Como
o
f1 (Lpr )f3 (Lpr ) = Lpr , entonces Lpr es el atractor del SIF R2 ; f1 , f3 ; esto implica que para
todo x R2 se cumple,
l f1 . . . fn (x) Lpr ,
m

de aqu que () Lpr y por tanto (13 )

Lpr . Para la otra contenencia demostremos antes

que si
13
/

entonces

() Lpr .
/

(2)

Lpr
f2 (S)

Lema 4.3. L0 = Lpq Lqr Lpr = (12 )

(23 ) (13 ).

Lpr = (13 )
Los cdigos con slo
o
o
1s y 3s

Lqr = (23 )
Los cdigos con slo
o
o
2s y 3s

Lpq = (12 ): Los cdigos con slo 1s y 2s

o
o

Figura 10: Los cdigos de Lpq , Lqr y Lpr .

o
Ahora jmonos en L1 = F (L0 ) que es
e
la unin de L0 con tringulo de vrtices
o
el
a
e

1
, 0 , 3 , 43 y 1 , 43 . Sea x0 L1 L0 .
2
4
4
Un cdigo para x0 es de una de las siguientes tres
o
formas:
= 1, donde 23
= 2, donde 13

Figura 9:

= 3, donde 12

Si 13 es porque existe k N tal que k = 2

/
(asumimos adems que tal k es el menor entero
a
positivo tal que k = 2) de modo que, usando el
Lema 2.15,
(k k+1 . . .) = f2 ( (k+1 k+2 . . .)) f2 (S) ,

L1 L0
x0

de donde podemos concluir que

(k k+1 . . .) Lpr
/

Figura 11: Grco de L1 L0 .

a

(vese la Figura 9), de lo cual se sigue que

a
(1 2 . . . k k+1 . . .) Lpr ,
/
es decir, () Lpr , como se quer ver.
/
a
Tomemos ahora x Lpr . Como es sobreyectiva, existe N tal que () = x, de modo
que () Lpr . Usando (2) se concluye que
13 , de donde x = () (13 ) lo cual

Podemos suponer, sin prdida de generalidad,

e
que x0 es = 1, con 23 (vase la Figura
e
11). Como x0 f1 (S) y x0 L0 , entonces
/
/
/
x0 f2 (S) y x0 f3 (S). Si x0 tuviera otro
cdigo que inicia tambin con 1, digamos 1, eno
e
tonces:
x0 = (1) = (1) .


REV. ACAD. COLOMB. CIENC. : VOLUMEN XXXIII, NUMERO 000, 2009

10

Puesto que f1 es inyectiva, podemos aplicar el

Lema 2.16 y escribir:
() = ()
es decir y son cdigos del mismo punto. Como
o
23 entonces () (23 ) = Lqr , luego
() Lqr de donde 23 .
Denotemos 123 el conjunto de los cdigos de
o
la forma 1, donde 23 . Lo que se ha probado
es sencillamente que los cdigos de x0 necesariao
mente pertenecen a 123 .
De manera anloga se puede probar que si x0
a
es = 2 donde 13 entonces los cdigos de
o
x0 pertenecen a 213 (conjunto de cdigos de la
o
forma 2, 13 ) y que si x0 es = 3 donde
o
13 , entonces los cdigos de x0 pertenecen
a 312 (conjunto de cdigos de la forma 3,
o
12 ). Por tanto podemos concluir:
L1 L0 = (123 ) (213 ) (312 ) .

Expresndolo en palabras lo que se ha dea

mostrado es que los puntos de los conjuntos Ln
son aquellos cuyos cdigos inician con un cdigo
o
o
nito cuyas cifras son 1, 2 o 3 (1 2 . . . k ), y
luego sigue una cola en la cual solamente aparecen dos cifras: 1 y 2, o 2 y 3, o 1 y 3.
o

Los razonamientos anteriores permiten nalmente escribir el resultado principal de esta

seccin, el cual constituye una caracterizacin
o
o

de los puntos del conjunto

Ln y permitir
a
n=0

adems concluir que nuestro fractal distinguido

a
S, contiene puntos que no estn en dicha unin.
a
o
Proposicin 4.5. x0
o

Ln si y slo si existe
o

n=0

k N tal que, los cdigos de x0 son de la forma.

o
= 1 2 . . . k ,

(4)

donde

(Vase la Figura 12).

e
12 23 13 , i {1, 2, 3} , 1 i k.
(312 )

Nota. En (4) el cdigo nito 1 2 . . . k pueo

de ser el cdigo vac
o
o, es decir, sin cifras, que
ser el caso para los puntos de L0 .
a

(213 )

Recordemos ahora la funcin de direco

cionamiento : N S; ella nos indica que
para todo N , () S. Claramente
existen cdigos en N que no son de la forma
o
(4), por ejemplo, entre muchos otros, los siguientes: 123123123, 112321321, 333111213111213.
Veamos un ejemplo haciendo un clculo ms prea
a
ciso:

(123 )

Figura 12: Grco de

a
L1 L0 = (123 ) (213 ) (312 )
Los razonamientos anteriores, junto con el
Lema 4.3 permiten escribir lo siguiente:
Lema 4.4. L1 = (12 ) (23 ) (13 )
(123 ) (213 ) (312 ).
Procediendo inductivamente y con cuidado se
concluye que si x0 Ln entonces los cdigos de
o
x0 son de la forma:
= 1 2 . . . k ,

(3)

donde 12 23 13 para alg n k N y

u
donde 1 , 2 , . . . , k {1, 2, 3}.
Rec
procamente si un cdigo de x0 es de la
o
forma (3), se tendr:
a
x0 = () = (1 2 k )
= f1 f2 fk (()) F k (L0 ) = Lk .

Sea x0 = 123 = ?
Calculemos la composicin f1 f2 f3 :
o

1
1
3
x+ +
i
f1 f2 f3 (x) = f1 f2
2
4
4

1
1
3
1 1
x+ +
i +
= f1
2 2
4
4
2

5
3
1
= f1
x+ +
i
4
8
8

1
5
3
= x+
+
i
8
16
16

GILBERTO ARENAS D
IAZ & SONIA M. SABOGAL PEDRAZA: ACERCA DEL TRIANGULO DE SIERPINSKI

El punto jo de la contraccin f1 f2 f3 es
o

5
3
xf = 14 + 14 i, de modo que
m
123 = l f1 f2 f3 . . . f1 f2 f3 (xf )
n

5
3
=
+
i.
14
14

5
3
Por lo tanto x0 = 14 + 14 i es un punto
que pertenece al tringulo de Sierpi ski pero
a
n

Ln .

no pertenece a

Finalmente, el lector

n=0

puede comprobar que para tal x0 , el conjunto

D =

F n ({x0 }) es un conjunto denso en

n=0

el tringulo de Sierpi ski y tal que, ninguno

a
n
de sus puntos pertenece a la unin de la familia
o
{Ln } .
n=0
Agradecimientos. Los autores desean agradecer al Doctor Hctor Mndez Lango de la
e
e
Universidad Nacional Autnoma de Mxico, por
o
e
sus invaluables ideas que hicieron posible la escritura de este art
culo.
Referencias
[1] G. Arenas & S.M. Sabogal. Una introduccin
o
a la geometr fractal. Universidad Industrial de
a
Santander, Bucaramanga, Colombia, (por publicar).

[3] W. Debski & J. Mioduszewski. Simple plane images of the Sierpiski triangular curve are nowhere
n
dense, Colloquium Mathematicum, LIX (1990), 125
140.
[4] K. J. Falconer. Fractal Geometry. Mathematical
Foundations and Applications. Second Edition, John
Willey and Sons, 2003.
[5] J. E. Hutchison. Fractals and Self-Similarity. Indiana University Journal of Mathematics 30 (1981),
713747.
[6] B. Mandelbrot. Les Objets Fractals: Forme,
Hasard et Dimension. Flammar
on, 1975.
[7] H. Mesa. El tringulo de Sierpiski. Monograf de
a
n
a
grado, Licenciatura en Matemticas, UIS, Bucaraa
manga, 2001.
[8] H. Mesa. Fractales, grafos y cdigos. Revista Inteo
gracin, 19(1) (2001), 1321.
o
[9] M. Peruggia. Discrete Iterated function Systems,
A. K. Peters Ltd, 1993.
[10] G. N. Rubiano. Fractales para profanos. Editorial
Unibiblos, 2002.
[11] S. Sabogal, Algebraic representation of continua.
Revista Colombiana de Matemticas, 41 (2007), 253
a
262.
[12] W. Sierpi ski. Sur une curve dont tout point est un
n
point de ramicatin. Prace Mat. Fiz bf 27 (1916),
o
7786.
[13] I. Stewart. La ubicua curva de Sierpiski. Rev. Inn
vestigacin y Ciencia, octubre (1999), 8687.
o
[14] S. Willard. General Topolgy. Addison-Wesley, Publishing Company, 1970.

http:\\matematicas.uis.edu.co\libros\l_geofrac.pdf

[2] M. Barnsley. Fractals Everywhere. Second Edition.

Academic Press, Inc., 1993.

11

Recibido el 14 de mayo de 2009

Aceptado para su publicacin el 10 de agosto de 2009
o