Din amica de automatas

February 10, 2011

2
Automatas celulares
Deniciones basicas
Denicion 1 Denimos un automata celular de la forma A = (N, V
n

nN
, Q
n

nN
, f
n

nN
) en que:
1. N es un conjunto de nodos
2. Los V
n
son subconjuntos nitos de N, llamados vecinos de n
3. Los Q
n
son conjuntos nitos, llamados estados
4. Los f
n
son funciones, f
n
:

mVn
Q
m
Q
n
, llamadas funciones locales.
Es claro que se puede extender cada f
n
naturalmente, de tal forma que su dominio sea

nN
Qn (en que importe
unicamente lo que ocurre en

mVn
Qm). Notaremos las funciones extendidas como

f
n
Denicion 2 Una funcion F :

nN
Q
n

nN
Q
n
es inducida por un automata celular ssi
F
i
(x) =

f
i
(x) i N
Denicion 3 Entenderemos por conguracion de estados a una coleccion i
n

nN
en que cada i
n
Q
n
Notemos que una funcion F inducida por un automata celular act ua sobre una conguracion de estados de
forma que, para cada nodo, cambia su estado de acuerdo a la conguracion de sus vecinos.
En general, nos interesara el caso en que N es un grupo (digamos, con +). Recordemos que en un grupo,
dado un conjunto V , podemos denir V + n := a + n, a V
3
4
Denicion 4 Un automata celular se dice homogeneo ssi:
1. Existe un V , tal que V
n
= V + n n N
2. Existe un conjunto Q, tal que Q
n
= Q n N
3. Existe f : Q
|V |
Q, tal que f
n
= f n N
En general, nos referiremos al par (N, F) como el automata celular (en que F es la funcion inducida por el)
Deniciones basicas para N = Z
En general nos interesara el caso homogeneo, por lo que, podemos hablar de el conjunto V :
Observacion 1 En este caso, como V es un conjunto nito, podemos obtener
a = max
vV {0}
v y m = min
vV {0}
v
Luego, podemos redenir el conjunto de vecinos como V
n
= [m + n, a + n]. Llamaremos a los valores a y m,
anticipacion y memoria (respectivamente)
Denicion 5 Denimos r := max[a[, [m[ como el Radio de la regla local
En lo sucesivo, consideraremos los siguientes diagramas que nos permitiran comprender mejor las situaciones
y demostraciones:
Esto es, en la primera la se anota el estado inicial de cada nodo, y en las las sucesivas se anotan los estados
obtenidos al iterar F sobre la conguracion de estados
En adelante, asumiremos que el conjunto de estados es Q.
5
Nos interesa darle una estructura al conjunto de conguraciones de estado, luego, es necesario comenzar
dandole una estructura a Q. Como tal conjunto es nito, lo dotamos de la topologa de las partes.
Notemos que como Q es nito, es compacto
Recordemos un resultado imporante de analisis:
Teorema 1 (Tychono) Si A
i
son conjuntos compactos, con i I, entonces

iI
A
i
es compacto
Notemos que el conjunto de las conguraciones de estados coincide con Q
Z
. Dotando a este conjunto de la
topologa de los cilindros (que es la topologa natural), podemos utilizar el teorema anterior para concluir:
Observacion 2 Q
Z
es compacto, utilizando la topologa de los cilindros
Notacion 1 Recordemos que para un elemento x en Q
Z
, podemos refererirnos al valor en su coordenada i como
x
i
, y que podemos hablar del cilindro [a
1
, . . . , a
s
]
k
que es el conjunto de los x que entre las coordenadas k y
k + s, su valor es a
1
, . . . , a
s
Dado que es muy difcil trabajar en un espacio topologico, nos interesa dotar al conjunto de una metrica:
Denicion 6 Se dene la metrica d para Q
Z
, d : Q
Z
Q
Z
R como d(x, y) = 2
n(x,y)
con
n(x, y) = inf[i[ : i Z, y
i
= x
i

Proposicion 1 Sea 0 < < 1, entonces si consideramos N = log

2
()| 1, se tendra que, dado x Q
Z
,
entonces:
y B

(x) y [x
N
, x
N+1
, . . . , x
N1
, x
N
]
N
Esto nos indica que x se parece a y ssi son iguales en una gran cantidad de coordenadas centrales
Proposicion 2 La topologa heredada de esta metrica es la de los cilindros
La demostracion es sencilla, pero no la incluiremos.
Terminamos esta seccion deniendo una funcion con la que trabajaremos bastante:
Denicion 7 Se dene la funcion shift, : Q
Z
Q
Z
, de tal forma que (x)
i
= x
i+1
En general, se pueden denir los shift en otros conjuntos, como las traslaciones en una unidad en alguna
direccion (por ejemplo, se pueden denir en N o en Z
n
). Adjuntamos el diagrama de la funcion
6
Primeros resultados para N = Z
Teorema 2 (Q
Z
, F) es un automata celular homogeneo ssi F es contnua para la topologa de los cilindros y
se cumple que F = F
Demostracion:
Supongamos que F es un automata celular homogeneo, veamos que:
1. F es contnua: Sea > 0. Podemos asumir < 1. ( 1 es trivial, pues la distancia m axima en Q
Z
es 1).
Sea = log
2
()|. Es claro que se cumple 2

. Tomemos = 2
r1
(en que r es el radio de
la regla local de F), luego, si d(x, y) (con x e y en Q
Z
), se cumplira que +r + 1 n(x, y), es decir:
i Z, r i + r x
i
= y
i
(En esta primera parte hemos traducido la nocion de que estar cerca seg un la metrica d signica ser
iguales entre las coordenadas m y m para alg un m)
Sea ahora k con [k[ (notemos que caemos dentro del conjunto de los i anteriores). Para todo j Z
con k r j k + r, se tendra que r k r j k + r + r, luego, x
j
= y
j
.
De esta forma, si j es vecino de k, entonces x
j
= y
j
, de donde F(x)
k
= F(y)
k
.
Notemos que esto se cumple k, [k[ , y entonces n(F(x), F(y))
7
De esto ultimo se deduce que d(F(x), F(x)) 2

y se concluye la continuidad
2. F es shift-invariante: Notemos que, por denicion:
F((x))
j
= f(((x)
(jm)
, (x)
(jm+1)
, . . . , (x)
(j+a1)
, (x)
(j+a)
))
= f((x
(j+1m)
, x
(j+1m+1)
, . . . , x
(j+1+a1)
, x
(j+1+a)
))
= F(x)
(j+1)
Esto, ya que la regla local de F es f en cada coordenada por ser F homogeneo
Supongamos ahora que F es contnuo y shift-invariante:
Sea q Q, tomemos el cilindro cuya coordenada en 0 es q: [q]
0
. Encontremos F
1
([q]
0
):
Como [q]
0
es abierto y cerrado, y F es contnua, se tiene que F
1
([q]
0
) es abierto y cerrado. Tomemos para
cada punto x en F
1
([q]
0
) una bola B, tal que x B y tal que B F
1
([q]
0
) (tal bola existe, pues el conjunto
es abierto).
Como F
1
([q]
0
) es un cerrado en un espacio compacto, se tiene que F
1
([q]
0
) es un compacto. El recubrim-
iento anterior es un recubrimiento de abiertos de F
1
([q]
0
), luego, podemos tomar un subrecubrimiento nito
(indexemoslo con el conjunto I). Ya que cada bola B
i
es subconjunto de F
1
([q]
0
), se tendra:

iI
B
i
F
1
([q]
0
)

iI
B
i
Luego, necesariamente

iI
B
i
= F
1
([q]
0
)
Por otro lado, cada bola es un cilindro, luego, F
1
([q]
0
) es union nita de cilindros.
Tomemos para cada q el conjunto nito de cilindros tomado como antes,
q
. Tomamos ahora, el conjunto
:=

qQ

q
que es la coleccion de todos los cilindros encontrados para alg un q.
Para cada cilindro C en , tomamos su mayor y menor coordenada ja, a
C
y m
C
respectivamente. Por
ultimo, tomamos a = max
C
a
C
y m = min
C
m
C
.
Tomamos entonces el conjunto V de los vecinos del nodo 0 como V := [m, a], pues F
1
([q]
0
) es union de
cilindros con coordenadas jas entre m y a
As, hemos encontrado la funcion local f
0
: Q
a+m+1
Q. El mismo procedimiento se puede aplicar para
encontrar f
i
para cualquier i, con lo que concluimos que F es un automata celular.
Falta ver que F es homogeneo. Para ello, notemos que el conjunto de estados es el mismo para cada
8
coordenada. Como F es shift invariante, tenemos que
f
i+1
(x
mi+1
, . . . , x
ai+1
) = F(x)
i+1
= (F(x))
i
= F((x))
i
= f
i
(x
mi+1
, . . . , x
ai+1
)
Y de esto, podemos obtener (quizas con algo mas de esfuerzo) que el conjunto de vecinos V
n
de cada coorde-
nada es igual a V
0
+ n, y que f
i
f
0
, lo que nos permite concluir que F es homogeneo.

Que tipos de estructura podemos darle a Q

Z
?. En el caso Q nito, sabemos que todo abierto es un cerrado,
luego, la topologa tienen estructura de -algebra. Gracias a esto, podemos denir:
Denicion 8 Se dene M(Q
Z
) = u : B(Q
Z
) [0, 1], u es medida de probabilidad
Denicion 9 Se dene la aplicacion lineal l
F
: M(Q
Z
) M(Q
Z
), de tal forma que l
F
(u) = u F
1
No es difcil probar que si es medida, entonces l
F
() es medida, luego, la aplicacion esta bien denida.
Proposicion 3 Como Q
Z
es espacio metrico compacto, se puede dotar a M(Q
Z
) de la topologa vaga, luego,
es espacio metrico compacto y convexo.
Teorema 3 Para todo automata celular existe una medida invariante respecto a l
F
Demostracion:
A partir de la medida , construimos la sucesion de medidas
(n)
, con
(n)
=
1
n
n1

k=0
l
(k)
F
().
Como el espacio es compacto, podemos tomar una subsucesion convergente, y nos preguntamos si el lmite
de tal sucesi on es invariante para l
F
:
Notemos que:
l
F
(
(n)
) =
1
n
n1

k=0
l
(k+1)
F
() =
1
n
n

k=1
l
(k)
F
() =
1
n

n1

k=0
l
(k)
F
() + l
(n)
F
()

=
(n)
+
l
(n)
F
()
n
Sea f continua sobre Q
Z
a valores reales, entonces

Q
Z
fd(l
F
(
(n)
)) =

Q
Z
fd
(n)
+

Q
Z
f
n
d(l
(n)
F
() ).
Dado que Q
Z
es compacto, se tiene que f es acotada, luego, [

Q
Z
f
n
d(l
(n)
F
() )[
max
xQ
Z
f(x)
n
0.
9
De esta forma, si llamamos al lmite de la subsucesion,
(n)
en la topologa vaga, se tiene que l
F
(
(n)
)
tiende a .
Por ultimo, sea f continua. Como F es contnua, f F es contnua, y se tiene;

Q
Z
fdl
F
(
(n)
) =

Q
Z
f Fd
(n)

Q
Z
f Fd =

Q
Z
fdl
F
() con lo que l
F
(
(n)
) l
F
().
Se concluye que l
F
() =

Utilizaremos la estructura de espacio medible para obtener una propiedad fundamental de F:

Denicion 10 Se dene la medida producto uniforme independiente como ([a
0
, . . . , a
l1
]
k
) =
1
|Q|
l
, es decir,
se multiplica [Q[
1
[ tantas veces como coordenadas jas tenga el cilindro.
Notacion 2 Diremos que, dadas dos palabras w y u (de largos l + 2r y l, respectivamente), se tiene
f(w) = u ssi 1 i l, f(w
r+i
, w
r+i+1
, . . . , w
r+i1
, w
r+i
) = u
i
Teorema 4 Si F : Q
Z
Q
Z
es automata celular homogeneo, entonces F es sobreyectiva ssi la medida producto
uniforme independiente es invariante para l
F
Demostracion:
Sin perdida de generalidad, supondremos que para F la memoria es r y la anticipacion es r (donde r es el
radio de la regla local de F). Por otro lado, recordemos que la topologa de Q
Z
es a su vez una -algebra.
Notemos que F
1
([a
0
, . . . , a
l1
]
k
) es union disjunta de cilindros de la forma [q
r
, . . . , q
r+l1
]
r+k
(Esto pues,
para que la coordenada s tome un cierto valor, solo son importantes las coordenadas entre s r y s + r).
Ademas, como Q es nito, podemos tomar estos cilindros disjuntos y en una cantidad nita.
Deniremos S
l
(a
0
, . . . , a
l1
) := x Q
l+2r
, f(x) = a
0
, . . . , a
l1
. (Esto es, todas las palabras cuya imagen
es a
0
, . . . , a
l1
)
As, F
1
([a
0
, . . . , a
l1
]
k
) =

wS
l
(a0,...,a
l1
)
[w]
kr
, de donde:
(F
1
([a
0
, . . . , a
l1
]
k
)) =

wS
l
(a0,...,a
l1
)
1
[Q[
l+2r
=
[S
l
(a
0
, . . . , a
l1
)[
[Q[
l+2r
10
Notando que ([a
0
, . . . , a
l1
]
k
) =
1
|Q|
l
se tendra que:
= l
F
()

k Z, l N, a
0
, . . . , a
l1
Q
l
, [Q[
2r
= [S
k,l
(a
0
, . . . , a
l1
)[
(A la propiedad de abajo la llamaremos ())
(La implicancia de la forma se tiene pues las medidas seran iguales en los cilindros, que es un algebra
que engendra la -algebra, luego, por Hahn, las medidas son iguales)
Notemos que entonces para probar el teorema, nos bastara con probar () F es sobreyectiva:
Probemos que () F es sobreyectiva:
Sea x Q
Z
, tomemos la sucesion de conjuntos

S
n

nN
, en que

S
n
:= F
1
([x
n
, x
n+1
, . . . , x
n1
, x
n
]
n
).
Recordemos que este conjunto es la union de los [w]
nr
, con w en S
2n+1
(x
n
, . . . , x
n
).
Como [S
2n+1
(x
n
, . . . , x
n
)[ = [Q[
2r
, se tiene que

S
n
= , y como es union nita de cilindros, que son cerrados,
es un cerrado.
Sea m > n. Tomemos y

S
m
, sabemos de y que F(y)
i
= x
i
, i m, . . . , m. En particular, dado
que m > n, se tiene que F(y)
i
= x
i
, i n, . . . , n, y entonces, y

S
n
. Hemos mostrado entonces, que
m > n

S
m


S
n
.
Por lo anterior, se tiene que

S
n


S
m
=

S
max{n,m}
, y, en general, para J N nito se tiene que

jJ

S
j
=

S
max{jJ}
, que es no vaco. Luego,

S
n
es una sucesion de cerrados con la propiedad de la interseccion
nita.
Como Q
Z
es espacio metrico (luego separado) y compacto, se tiene que

nN
S
n
= . Tomemos un y cualquiera
en esta interseccion, veremos que F(y) = x. En efecto, sea z Z. Como y

nN
S
n
S
|z|
, se tiene que
F(y)
z
= x
z
, y esto se cumple para todo z, luego, F(y) = x.
As, hemos encontrado un elemento cuya imagen es x, y como x es cualquiera, se concluye que F es sobreyec-
tiva.
Antes de demostrar que F sobreyectiva (), es necesario dar algunas deniciones:
Denicion 11 Se dene Q
+
como

nN
Q
n
. Este es el conjunto de todas las palabras posibles con signos en Q
11
Notacion 3 Sea u Q
+
, si u es de largo n, notaremos f
1
(u) := w Q
n+2r
, f(w) = u
Sea p = min
uQ
+
[f
1
(u)[. Como F es sobreyectiva, se tiene que, en particular, f es sobreyectiva, luego, cada
uno de tales conjuntos es no vaco, con lo que p > 0.
Notacion 4 Sea q
1
Q
+
y q
2
Q
+
, notaremos q
1
q
2
como la concatenacion de caracteres de q
1
con los de q
2
Ahora, para demostrar que F sobreyectiva (), debemos probar dos lemas:
Lema 1 Sea u Q
+
, si [f
1
(u)[ = p, entonces [f
1
(uq)[ = p para cualquier q Q
Demostracion:
Es claro que

bQ
vb, v f
1
(u) =

qQ
f
1
(uq), y ademas, estas uniones son disjuntas.
Como [vb, v f
1
(u)[ = [f
1
(u)[ = p, entonces [

bQ
vb, v f
1
(u)[ =

bQ
p = [Q[p. As, por la
igualdad anterior, p[Q[ =

qQ
[f
1
(uq)[.
Por otro lado, [f
1
(uq)[ p, q Q, con lo que, si para alg un q se tuviese [f
1
(uq)[ > p, por la igualdad
anterior, se tendra que p[Q[ > p[Q[, lo que nos dara una contradiccion

Notemos que, en general, el lema anterior nos asegura que si [f

1
(u)[ = p, entonces p = [f
1
(u)[ = [f
1
(us)[
con s una palabra cualquiera
Lema 2 p = [Q[
2r
Demostracion:
Sea u tal que [f
1
(u)[ = p. Veamos que vw[ v, w f
1
(u) =

zQ
2r
f
1
(uzu) (notemos desde ya que tal
union es disjunta). Esto quiere decir que si f(w) = u y f(v) = u, entonces existe una palabra z de largo 2r, tal
que f(wv) = uzu (y viceversa)
En efecto, sean v, w en f
1
(u). Si u es el largo de n, entonces el largo de v y w sera n + 2r, y por lo tanto,
vw es de largo 2n + 4r. La palabra formada entonces, al aplicar f, tendra largo 2n + 2r.
Sea i entre 0 y n 1. Se tendra que (vw)
i+j
= v
j
para todo j entre 0 y 2r.
12
As, f((vw)
i
, . . . , (vw)
i+2r
) = f(v
i
, . . . , v
i+2r
) = u
i
. Lo mismo ocurre para i entre n + 2r + 1 y 2n + 2r
(aqu, (vw
i+j
) = w
j
). Con esto, es facil ver que f(vw) es de la forma uzu con z una palabra. Como u es de
largo n y f(vw) es de largo 2n + 2r, necesariamente z es de largo 2r (es decir, z Q
2r
). As, se tiene que
vw[ v, w f
1
(u)

zQ
2r
f
1
(uzu)
Es igual de secillo convencerse que un elemento de

zQ
2r
f
1
(uzu), necesariamente esta en
vw[ v, w f
1
(u).
El resultado lo tendremos al calcular el cardinal tanto de vw[ v, w f
1
(u) como de

zQ
2r
f
1
(uzu)
1. Notemos que vw[ v, w f
1
(u) =

wf
1
(u)
vw[ v f
1
(u) y que esta union es disjunta, luego:
[vw[ v, w f
1
(u)[ =

wf
1
(u)
[vw[ v f
1
(u)[
=

wf
1
(u)
[f
1
(u)[
=

wf
1
(u)
p
= [w f
1
(u)[p
= [f
1
(u)[p
= p
2
2. Por otro lado, [

zQ
2r
f
1
(uzu)[ =

zQ
2r
[f
1
(uzu)[. Del lema anterior, como uzu es una concatenacion
de la palabra u con la palabra zu, se tiene que [f
1
(uzu)[ = [f
1
(u)[ = p, con lo que:

zQ
2r
[f
1
(uzu)[ =

zQ
2r
[f
1
(u)[ =

zQ
2r
p = [z Q
2r
[p = [Q[
2r
p
Debido a la igualdad de los conjuntos, se tendra entonces que p
2
= [Q
2r
[p, y como p = 0, se tiene que
p = [Q
2r
[.

13
Terminamos concluyendo el teorema inicial:
Es claro que

qQ
[f
1
(q)[ = [f
1
(Q)[ = [Q[
2r+1
. Como [Q[
2r
= p [f
1
(q)[, se tiene que si existe q, tal que
[f
1
(q)[ > p, entonces:
[Q[
2r+1
= [Q[[Q[
2r
=

qQ
[Q[
2r
<

qQ
[f
1
(q)[ = [f
1
(Q)[ = [Q[
2r+1
Lo cual es una contradiccion. Por ende, [f
1
(q)[ = [Q[
2r
= p para toda letra q, y del primer lema se deduce
que cualquier palabra cumple con que su preimagen tiene cardinal [Q
2r
[. De esto se deduce directamente la
propiedad ().

Clasicaciones basicas de Automatas Celulares

Equicontinuidad
Denicion 12 Se dice que x Q
Z
es equicontinuo ssi
> 0 > 0, d(x, y) < d(F
n
(x), F
n
(y)) < n N
En adelante entenderemos que las imagenes sucesivas de x son los puntos x, F(x), F
2
(x), . . . etc. Ademas, si
F es biyectivo, entenderemos que las preimagenes sucesivas de x son los puntos x, F
1
(x), F
2
(x), . . . etc.
Queda claro entonces, que un punto x es equicontnuo ssi para cualquier punto y que este sucientemente
cerca de x, sus imagenes sucesivas estan cerca de las imagenes sucesivas de x
14
Proposicion 4 x es equicontinuo ssi
N > 0 M > 0, x[
[M,M]
= y[
[M,M]
F
n
(x)[
[N,N]
= F
n
(y)[
[N,N]
, n Z
La demostracion consiste en traducir la nocion de estar cerca en la metrica de Q
Z
. Notemos que esto se
traduce basicamente, en que si leemos en las coordenadas centrales las coordenadas de x equicontnuo, entonces
tenemos determinado un bloque de alto innito.
Esto nos induce a denir lo que es una palabra bloqueadora:
Denicion 13 Se dice que w (digamos, de largo 2n+1) es una palabra bloqueadora para F ssi existe un p n,
tal que hay un bloque B de largo innito y de ancho 2p + 1 que cumple:
x [b
n
. . . b
n
]
n
, F
l
(x)
j
= B
l,j+p
p j p, l N
(diremos adem as que determina al bloque B de ancho 2p + 1)
Una palabra bloqueadora, es entonces, una palabra que determina un bloque innito hacia abajo. Es impor-
tante notar que las coordenadas centrales de un punto equicontnuo, si forman una palabra lo sucientemente
larga, siempre seran bloqueadoras. La siguiente observacion indica que, en realidad, podemos encontrar una
palabra bloqueadora en cualquier posicion, y seguira siendo bloqueadora.
Observacion 3 Sea w una palabra bloqueadora (de largo 2n + 1), y B el bloque de ancho 2p + 1 determinada
por w. Ocurre que gracias a que F es homogeneo, en realidad se cumple:
s Z, x [b
n
. . . b
n
]
n+s
, F
l
(x)
j+s
= B
l,j+p
p j p, l N
La observacion anterior puede resumirse en que, por lo general, si w es una palabra bloqueadora, entonces se
tendra:
15
Sensibilidad
Denicion 14 Diremos que F es sensible a las condiciones iniciales ssi
> 0, x Q
Z
, > 0, y B

(x), n N, d(F
n
(x), F
n
(y)) >
F sera entonces, sensible a las condiciones iniciales, si existe una distancia tal que, dado un x, siempre
puedo encontrar un y tan cerca como quiera, tal que una de sus imagenes sucesivas eventualmente se separara
mas que . Notemos que esta denicion lleva implcito que no existen puntos equicontnuos (sin embargo, es
mas fuerte que la negacion de su existencia).
Denicion 15 Ahora un par de casos relevantes:
1. Se dice que F es positivamente expansiva si > 0, x, y Q
Z
, x = y, n N, d(F
n
(x), F
n
(y)) >
2. Se dice que F es expansiva si es biyectiva y > 0, x, y Q
Z
, x = y, n Z, d(F
n
(x), F
n
(y)) >
Llamaremos a la constante de expansividad de F
La propiedad de ser positivamente expansivo, es mucho mas fuerte que ser sensible a las condiciones iniciales,
pues, mientras que el segundo indica que dado x, siempre puedo encontrar un y que eventualmente se aleja, en
el primero se tiene que dado x, todos los y se alejan en alg un momento.
Si F es expansivo, signica que dado un x, cualquier y posee una imagen (iterando F en y) o una preimagen
(iterando F
1
en y) que se aleja de la respectiva imagen o preimagen de x
16
Proposicion 5 Se cumple que:
1. Sea F positivamente expansiva, y N = log
2
()|, siendo la constante de expansividad de F, entonces,
si conozco [F
n
(x)
N
, . . . , F
n
(x)
N
] para todo n N, entonces conozco x
2. Sea F expansiva, y N = log
2
()|, siendo la constante de expansividad de F, entonces, si conozco
[F
n
(x)
N
, . . . , F
n
(x)
N
] para todo n Z, entonces conozco x
La demostracion es directa de la denicion en ambos casos (se demuestra por contradiccion)
En el caso positivamente expansivo, ilustramos la ultima propiedad con el siguiente diagrama (el caso expan-
sivo es basicamente lo mismo):
Subshift y Sistemas Dinamicos
Subshift para el caso N = Z
Denicion 16 Denimos (Q
(2n+1)
)
Z
como el conjunto de todas las matrices de ancho 2n+1 y de alto innito
(hacia arriba y hacia abajo), a valores en Q
Denicion 17 Si F es biyectiva, se dene
S
(N)
F
:= y (Q
(2n+1)
)
Z
, x Q
Z
, i Z, j N, . . . , N, y
ij
= (F
i
(x))
j

Para alg un x Q
Z
, cuya existencia implica que y S
(N)
F
, diremos que induce a y
Es decir, S
(N)
F
es el conjunto de todas las matrices en (Q
2N+1
)
Z
, que son producidas al componer alg un x,
de forma iterativa con F (hacia abajo), y con F
1
(hacia arriba):
A S
(N)
F
se le llama un subshift vertical de rango N de F
Supongamos que F es expansiva. Si el N anterior es como el de la proposicion 4, llamamos a S
(N)
F
simplemente
S
F
, y para cada elemento y de S
F
, el elemento x Q
Z
que lo induce es unico.
17
Esto permite generar la siguiente funci on:
Denicion 18 Se dene la funcion := S
F
Q
Z
tal que (y) = x, siendo x Q
Z
el unico elemento que
induce a y
Notemos que es claramente biyectiva
Proposicion 6 S
F
es un cerrado dentro de (Q
2n+1
)
Z
(dotado de la topologa de los cilindros), y
1
es
bicontnua
La demostracion de la bicontinuidad de
1
es trivial (utilizando sucesiones se tiene el resultado).
Veamos entonces que S
F
es cerrado:
Sea y (Q
2N+1
)
Z
y y
n

nN
S
F
una sucesion tal que y
n
y. Debemos probar que y S
F
.
Recordemos que en la topologa de los cilindros se tiene que
y
n
y m N, N N, n N, (y
n
)[
[m,m]
= (y)[
[m,m]
Y en este caso en particular, dado que los y
n
son matrices;
y
n
y m N, N N, n N, j m, . . . , m, k N, . . . , N, (y
n
)
j,k
= (y)
j,k
Deniremos entonces, para cada m;
D
m
:= x Q
Z
, j m, . . . , m, k N, . . . , N, (F
j
(x))
k
= y
j,k

Si llamamos w
j
Q
Z
a (y)[
j
, se tendra que
D
m
=

j=1
F
j
([w
j
]
[N,N]
)

[w
0
]
[N,N]

j=1
F
j
([w
j
]
[N,N]
)

Luego, como F es automata celular biyectivo, se tiene que es de inversa contnua, y entonces la interseccion
anterior es de conjuntos cerrados, por lo que D
m
es cerrado. Notemos ademas, que para n sucientemente
18
grande, (y
n
) D
m
, luego, D
m
= .
Notando que los D
m
son decrecientes, se tendra la propiedad de la inteseccion nita. Como el espacio es
compacto (pues Q
2N+1
lo es), se tendra que

mN
D
m
= .
Tomemos un elemento x

mN
D
m
. Como i Z, x D
|i|
, necesariamente j N, . . . , N
F
i
(x)
j
= y
i,j
, de donde se deduce:
i Z, j N, . . . , N, F
i
(x)
j
= y
i,j
Y entonces x induce a y, por lo que y S
F

Denicion 19 Se dene := Q
Z
Q
Z
de la forma usual (en que (Y )
i,j
= Y
i+1,j
)
Claramente, como F es biyectiva, es biyectiva. Ademas, si y S
F
, entonces (y) S
F
(basta tomar F(x),
que induce (y)), esto nos dice que S
F
es cerrado para
Denicion 20 S B
Z
, con S cerrado, se dice subshift si (S) = S
Esta denicion es importante, pues seg un los resultados anteriores, se tiene que (S
F
, ) es un subshift (cerrado
e invariante para )
Sistemas Dinamicos en el contexto anterior
Denicion 21 Un sistema dinamico es un par de la forma (X, F) en que X es un conjunto compacto y F es
una funcion contnua
Denicion 22 Se dene la relacion de equivalencia ser conjugados entre sistemas dinamicos
(X, F)

= (Y, T) que se cumple ssi biyectiva y bicontinua, : X Y tal que
1
F = T
Si dos sistemas dinamicos son conjugados, se tendra que comparten una cantidad muy grande de propiedades
(en general, podremos decir que son iguales en los aspectos que nos interesan)
Proposicion 7 =
1
F
La demostracion de esto es trivial. Notemos que hemos probado que (Q
Z
, F) es conjugado con (S
F
, ). La
utilidad de esto es que en lugar de estudiar F, estudiamos .
19
Para el caso F positivamente expansivo, se puede denir S
F
de forma analoga (y obtenemos las mismas
propiedades anteriores), sin embargo, veremos mas adelante, S
F
es en realidad un subshift de tipo nito, en
que:
Denicion 23 S se dice subshift de tipo nito ssi es subshift y W B
+
nito tal que
x B
Z
, x S ninguna palabra de W aparece en x
En general, los subshift de tipo nito son bastante mas sencillos de estudiar (tienen propiedades utiles)
Caso N = N
Notemos que en este caso, Q
N
tambien resulta ser compacto, ademas, deniendo la metrica
h : Q
N
Q
N
R, d(x, y) = 2
n(x,y)
con n(x, y) = infi : i N, y
i
= x
i

Se tendra (al igual que en el caso N = Z), que tal metrica induce la topologa de los cilindros.
Finalmente, deniendo el shift: : Q
N
Q
N
, (x)
i
= x
i+1
, se tienen los mismos resultados mostrados
hasta ahora en el caso N = Z
20
Resultados en Teora Erg odica y
Dinamica Topol ogica
Entropa
Sea (X, T) un sistema dinamico. Dado un recubrimiento abierto de X, podemos tomar un subrecubrimiento
nito (indexado, digamos con los elementos de J nito).
Denicion 24 Se dene
n1
0
(X) := U
jt
0
T
1
(U
jt
1
) . . . T
n+1
(U
jt
n1
), j
t0
, . . . , j
tn1
J,
En que U
j
= u
j
X, con u
j

Notemos que u
jt
0
T
1
(u
jt
1
) . . . T
n+1
(u
jt
n1
) = ssi hay alg un x X, tal que
x u
jt
0
, T(x) u
jt
1
, . . . , T
n1
(x) u
jt
n1
.
Esto quiere decir que cada elemento de
n1
0
(X) representa un camino de largo n para los elementos de x,
(es, de hecho, el conjunto de todos los x que pasan por ese camino)
Notacion 5 Diremos que S J
n
es un conjunto camino-recubridor de secuencias de
n1
0
(X) ssi
x X, s S, s = (j
t0
, j
t1
, . . . , j
tn1
), tal que x U
jt
0
T
1
(U
jt
1
) . . . T
n+1
(U
jt
n1
)
Los elementos de J
n
son los nombres de los caminos en
n1
0
(X), luego, S J
n
recubre los caminos si para
todo x X puedo encontrar un camino dentro de S por el que pase (notemos que si los abiertos de no son
disjuntos, entonces puede haber un x que pase por mas de un camino)
Denicion 25 Llamaremos (
n1
0
(X)) = min[S[, S es camino-recubridor de
n1
0
(X)
La idea intuitiva es que este valor es el n umero de caminos que se pueden observar al iterar T, n 1 veces
21
22
Denicion 26 Se dene H(
n1
0
) = log((
n1
0
(X)))
Proposicion 8 H(
n+m1
0
) H(
n1
0
) + H(
m1
0
)
Demostracion:
Sea S un camino-recubridor de
n+m1
0
(X) minimal. Para una secuencia h S denimos h
n1
0
como la
secuencia que contiene sus primeras n coordenadas, y h
n+m1
n
como la secuencia que contiene sus restantes m
coordenadas.
Denimos entonces S
n
, S
m
como los h
n1
0
y h
n+m1
n
con h S. Es claro que S S
n
S
m
Notemos que S
n
es camino-recubridor de
n1
0
(X) y que es minimal pues S es minimal. As mismo, S
m
es
camino-recubridor para
m1
0
(T
n
(X)), y es minimal para este conjunto, pues S es minimal
Utilizando lo anterior,
(
n+m1
0
(X)) = [S[ [S
n
S
m
[ = [S
n
[ [S
m
[ = (
n1
0
(X)) [S
m
[
Pero como S
m
es camino-recubridor para el conjunto T
n
(X) X, y es minimal, se tendra que [S
n
[
(
m1
0
(X)) (esto es claro, pues si hay menos puntos, hay menos caminos posibles).
Es claro entonces, que (
n+m1
0
(X)) (
n1
0
(X))(
m1
0
(X)), y aplicando logaritmo, se tendra que
H(
n+m1
0
) H(
n1
0
) + H(
m1
0
)

Notemos que hemos denido H(

n1
0
) que contine la cantidad de caminos que somos capaces de ver al iterar
T n 1 veces. Sin embargo, nos gustara obtener una nocion de todos los caminos que podemos ver al iterar T
de forma indenida. Para ello, sera de utilidad el siguiente lema:
23
Lema 3 Sea a
n
tal que a
n
> 0 y a
n+m
a
n
+ a
m
, entonces lim
n
a
n
n
= inf
nN
a
n
n
Demostracion:
Notemos primero que por la sub-aditividad, se puede mostrar por induccion, que para todo par de naturales
m, n, se tiene que a
mn
m a
n
Sea c = inf
bN
a
n
n
(existe, pues la sucesion esta acotada por 0). Consideremos n
0
tal que
an
0
n0
c +

2
.
Tomemos para tal n
0
, M := max
1in0
a
i
, y escojamos N

tal que n N

,
M
n


2
Escogemos N = maxN

, n
0
. Por el algoritmo de division, n N, podemos encontrar q, r N, unicos,
tales que n = q n
0
+ r, y r < n
0
. De esta forma:
n N,
a
n
n
=
a
qn0+r
n

qa
n0
+ a
r
n
=
qa
n0
qn
0
+ r
+
a
r
n

a
n0
n
0
+
M
n
c +
Luego,
an
n
c, que es lo que se quera probar

Denicion 27 Se dene la entropa topologica de T en como h

top
(, T) = lim
n
1
n
H(
n1
0
)
Por el lema anterior, la entropa topologica esta bien denida, y contiene la nocion de cuantos caminos se
pueden observar al iterar T indenidamente. Sin embargo, estos caminos estan dados por el recubrimiento
elegido, lo que es un inconveniente, por lo que se dene la entropa de la siguiente manera:
Denicion 28 Se dene la entropa de T, h
top
(T) = sup

h
top
(, T)
Ahora, veremos de forma rapida una forma alternativa de calcular la entropa:
Denicion 29 x, y X son (n, )-separados si i 1, . . . , n 1, se tiene que d(T
i
(x), T
i
(y)) >
Denicion 30 E X es (n, )-separado ssi x, y E, x e y son (n, )-separados
Denicion 31 Se dene r
n
() = max[E[, E es (n, )-separado
Teorema 5 h
top
(T) = lim
0
lim
n
1
n
log(r
n
())
24
Notacion 6 En lo que resta del apunte, nos referiremos a
n1
0
(X) sencillamente como
n1
0
Finalmente, veremos una proposicion que nos sera de ayuda al tratar con automatas celulares:
Proposicion 9 Sean , dos recubrimientos nitos de abiertos de X, entonces, si es mas no que , se
tendra que h
top
(, T) h
top
(, T)
Notemos que el resultado es intuitivo, pues, debido a que es mas no que , necesita mas caminos para cubrir
X, luego, (
n1
0
(X)) (
n1
0
(X)) para cualquier n. Tomando logaritmo, obtenemos H(
n1
0
) H(
n1
0
), y
entonces se llega al resultado al dividir por n y obtener el lmite
Entropa en Automatas Celulares
Denicion 32 Para el caso N = Z se dene
n
como el recubrimiento de cilindros de largo 2n + 1 centrados
en cero (Para el caso N = N, tomaremos los cilindros centrados en 0 y de largo n + 1).
Como se ve un elemento en (
n
)
l1
0
?
Sea c (
n
)
l1
0
. c tiene la forma [w
0
]
n
F
1
([w
1
]
n
) F
l+1
([w
l1
]
n
), luego un x esta en c ssi
x [w
0
]
n
, F(x) [w
1
]
n
, . . . , F
l1
(x) [w
l1
]
n
Es decir, x esta en c ssi podemos leer el bloque formado por los w
j
:
(Notemos que la gura corresponde al caso N)
Proposicion 10 Sea recubrimiento abierto nito de Q
Z
(digamos, indexado por el conjunto I), entonces
n N, tal que u , w Q
2n+1
, [w]
n
u. Se tiene un resultado analogo para el caso N = N
Lo demostraremos para el caso N = Z:
Recordemos que los cilindros son una base de abiertos de la topologa, luego, i I, n
i
N, tal que
w
i
Q
2ni+1
, [w
i
]
ni
u
i
.
Tomemos n = maxn
i
. Recordemos que si n > n
i
, podemos tomar un z
i
Q
nni
cualquiera, y se tendra
que [z
i
w
i
z
i
]
n
[w
i
]
ni
, de donde se tiene el resultado.

25
Proposicion 11 En Q
Z
y Q
N
se tiene que h
top
(T) = lim
n
h
top
(
n
, T)
Demostracion (para el caso N = Z):
Sea un recubrimiento abierto cualquiera. Por la proposicion 10, existe un n N tal que u , w
Q
2n+1
, [w]
n
u.
Como cada [w]
n
pertenece a
n
(el recubrimiento de cilindros de largo 2n + 1), es claro que
n
es mas na
que . Por la proposicion 9, esto implica que h
top
(, T) h
top
(
n
, T).
Por la desigualdad anterior, se tendra necesariamente que sup

h
top
(, T) sup
n
h
top
(
n
, T).
Por otro lado, es claro que
n
es una subcoleccion de recubrimientos nitos, luego, necesariamente,
sup
n
h
top
(
n
, T) sup

h
top
(, T), de donde obtenemos la igualdad.
Finalmente, notemos que
n
es una subcoleccion creciente de recubrimientos (ordenados de acuerdo a la
relacion de ser mas nos), luego, por la proposicion 9, h
top
(
n
, T)
nN
es una sucesion monotona creciente, y
se tiene
sup
n
h
top
(
n
, T) = lim
n
h
top
(
n
, T)
De donde se concluye el resultado

Proposicion 12 Si es una particion abierta y nita de X, entonces, (

n1
0
) = [(
n1
0
)

[
en que (
n1
0
)

:=
n1
0

Demostracion:
Sea c (
n1
0
)

. Como c = , x c, es decir:
x u
t0
, F(x) u
t1
, . . . , F
n1
(x) u
tn1
Por otro lado, es particion, por lo tanto se cumple:
j = t
0
, x / u
j
, , j = t
1
, F(x) / u
j
, . . . , j = t
n1
, F
n1
(x) / u
j
Y entonces, la secuencia (t
0
, t
1
, . . . , t
n1
) es el unico camino posible para x, y por lo tanto, debe pertenecer
a cualquier S camino-recubridor.
26
Como esto ocurre c (
n1
0
)

, se tendra que [(
n1
0
)

[ [S[ para todo S camino-recubridor. En

particular, [(
n1
0
)

[ (
n1
0
).
Notando que las secuencias generadas por los c (
n1
0
)

cubren
n1
0
, se tiene la igualdad.

Teorema 6 En el caso Q
N
se tiene que h
top
(F) = h
top
(
r1
, F) donde r es el radio de la regla local de F
Demostracion:
Antes de demostrar el teorema, veamos primero que [((
n
)
l1
0
)

[ = [((
r1
)
l1
0
)

[ [Q[
nr+1
:
Para hacer mas facil la notacion, llamemos sencillamente
n
a ((
n
)
l1
0
)

, y
r1
a ((
r1
)
l1
0
)

.
Sea c un elemento de
n
, y x c. Notemos que c es de la forma:
(Esto es, asumiendo que podemos hablar de c y del bloque que induce como el mismo objeto). En particular,
podemos reconocer que tal bloque induce de forma unica a
En que w es una palabra de largo n + 1 r, y el bloque B es un elemento de ((
r1
)
l1
0
). Dado que (por la
shift-invarianza)
nr+1
(x) B, se tiene que B = , y entonces B
r1
.
De esta forma, c induce de forma unica un elemento de Q
nr+1

r1
.
Por otro lado, sea (w, B) Q
nr+1

r1
. Consideramos alg un x B (B es no vaco). Tomando y = wx el
unico elemento tal que y[
[0,nr]
= w y
nr+1
(y) = x, se cumple que,
nr+1
(y) B, y, por lo tanto, podemos
leer en y la siguiente gura:
27
Notemos que, dado que conocemos las primeras n + 1 coordenadas de y, podemos conocer las primeras
n r + 1 coordenadas de F(y). Ademas, como conocemos F(y) entre n r + 1 y n (pues
nr+1
(y) B), se
tiene que, en realidad, conocemos las primeras n + 1 coordenadas de F(y)
Siguiendo este argumento de forma recursiva, podemos concluir que conocemos el bloque completo:
En que Q
n1
(es no vaco, pues y Q).
As, hemos mostrado que para cada elemento en Q
nr+1

r1
, le corresponde un unico elemento en
n1
y viceversa, por lo que se tiene
[
n1
[ = [
r1
Q
nr+1
[ = [
r1
[ [Q[
nr+1
Que es lo que queramos probar.
Para concluir el teorema, notemos que
n
y
r1
son particiones de abiertos, luego, por la proposicion
anterior:
h
top
(
n
, F) = lim
l
1
l
log(((
n
)
l1
0
))
= lim
l
1
l
log([
n
[)
= lim
l
1
l
log([
r1
[ [Q[
nr+1
)
= lim
l
1
l
log([
r1
[) + lim
l
n r + 1
l
log([Q[)
= lim
l
1
l
log(((
r1
)
l1
0
))
= h
top
(
r1
, F)
28
Luego, h
top
(
n
, F) = h
top
(
r1
, F), n r 1, de donde se concluye que
h
top
(F) = lim
n
h
top
(
n
, F) = lim
n
h
top
(
r1
, F) = h
top
(
r1
, F)

Veamos a continuacion un resultado que nos sera de utilidad mas adelante:

Proposicion 13 La entropa topologica de (Q
Z
, ) es log([Q[). (Se tiene el mismo resultado para Q
N
)
Demostracion:
Sea
m
el recubrimiento de cilindros centrados en 0 de largo 2m + 1. Notemos que hay [Q[
2m+1
de tales
cilindros (y son todos no vacos), luego ((
m
)
0
0
) = [Q[
2m+1
Sea u uno de tales cilindros y x u. Se tiene que (x)[
[m,m1]
= x[
[m+1,m]
(recordemos que tales valores
estan jos, por estar x en u). Luego, la unica coordenada en [m, m] que no esta ja para (x) es la coordenada
m, que puede tomar cualquier valor en Q. As, ((
m
)
1
0
) = [Q[
2m+1+1
(pues por cada cilindro, podemos pasar
a otros [Q[ cilindros).
Utilizando el mismo criterio para
i+1
(x) y
i
(x), tendremos inductivamente que ((
m
)
n
0
) = [Q[
2m+1+n
,
con lo que, la entropa para tal recubrimiento sera:
h
top
(
m
, ) = lim
n
1
n
log([Q[
2m+n+1
) = log([Q[)
Como esto se cumple para todo m, se concluye que h
top
() = log([Q[)

Para concluir esta seccion, adjuntamos un par de resultados que nos seran utiles en el ultimo captulo:
Teorema 7 Sea A matriz cuadrada a valores naturales tal que A es irreducible. En este caso, > 0 (llamado
el valor propio de Perron), tal que:
1. es valor propio de A
2. u valor propio de A, [u[ <
3. ker(AI) =< u > para alg un u > 0
Teorema 8 Sea G un grafo dirigido conexo nito, y sea el conjunto de todos los paseos innitos (en uno o
ambos sentidos) por el grafo. Entonce se tendra que la entropa topologica de (, ) es el logaritmo del valor
propio de Perron de la matriz A de incidencia del grafo
29
Dinamica topol ogica
Nos interesa estudiar y clasicar los distintos sistemas dinamicos de acuerdo a sus propiedades. Para ello, se
denen las siguientes propiedades:
Denicion 33 Se dene:
1. (X, T) es transitivo si u, v = abiertos de X, n 0 tal que U T
n
(V ) =
2. (X, T) es minimal si x X, orb
+
(x) = X
3. (X, T) es debilmente mezclador si (X X, T T) es transitivo
4. (X, T) es mezclador ssi U, V abiertos no vacos de X, N 0, n N, U T
n
(V ) =
Nos interesan particularmente las propiedades de ser transitivo y mezclador:
1. El que T sea transitivo, nos indica que, dados dos abiertos cualesquiera, U y V , al iterar los elementos de
U, eventualmente, alguno de ellos caera en V
2. La propiedad de ser mezclador es a un mas fuerte que la propiedad anterior, pues establece que para un
n umero cualquiera n sucientemente grande, existe un elemento en U que llega en n iteraciones a V
Denicion 34 Un conjunto A X se dice residual si contiene una interseccion numerable de abiertos densos
en X
Notemos que un espacio metrico compacto, en particular es completo, luego, por el lema de Baire, un conjunto
residual es denso (y viceversa)
Denicion 35 (X, T) se dice casi-equicontnuo si el conjunto de sus puntos equicontnuos es residual
30
Proposicion 14 Si es el conjunto de los puntos equicontnuos de X, se tiene que T
1
()
Demostracion:
Sea x T
1
(), luego, T(x) = y .
Tomemos > 0 cualquiera. Como y , existe > 0, tal que d(z, y) < d(T
n
(z), T
n
(y)) < n N.
En particular podemos tomar < que cumpla la propiedad anterior.
Por otro lado, como T es contnua, > 0, tal que d( x, x) < d(T( x), y) < < .
As, d( x, x) < d(T( x), T(x)) = d(T( x), y) < < , y entonces
d(T
n
( x), T
n
(x)) = d(T
n1
(T( x), T
n1
(y))) < n N

Denicion 36 Sea > 0, se dene

:= x X, > 0, y, z B

(x), n 0, d(T
n
(y), T
n
(z)) <
El conjunto

es el conjunto de todos los puntos x, tales que si dos puntos z e y son parecidos a x (en el
sentido de la metrica), entonces para cada n, T
n
(y) es parecido a T
n
(z)
Proposicion 15 Se tienen los siguientes reultados:
1. T
1
(

2.

es abierto
3. =

n1
1
n
Demostracion:
1. Sea x T
1
(

). Por pertenecer T(x) a

, existe un > 0 (que podemos tomar menor que ), tal que

y, z B

(T(x)), n 0, d(T
n
(y), T
n
(z)) < .
Por la continuidad de T, podemos encontrar > 0, tal que x B

(x), d(T( x), T(x)) <

2
Luego, x
1
, x
2
B

(x), d(T( x
1
), T( x
2
)) d(T( x
1
), T(x)) + d(T(x), T( x
2
))
De esta forma, T( x
y
), T( x
2
) B

(x), y por esto ultimo, d(T

n
( x
1
), T
n
( x
2
)) < para cualquier n 1.
31
Concluimos nalmente que
x
1
, x
2
B

(x), d(T
n
( x
1
), T
n
( x
2
)) < , n N

2. Sea x

. Tomemos > 0 tal que y, z B

(x), d(T
n
(y), T
n
(z)) < .
Veremos que B
2
(x)

Tomemos un x B
2
(x) cualquiera, y consideremos la bola B
2
( x). Sean y, z B
2
( x). Se tiene que:
d(y, x) d(y, x) + d( x, x)
d(z, x) d(z, x) + d( x, x)
Luego, y, z B

(x), y por lo tanto, d(T

n
(y), T
n
(z)) < n N
De esta forma hemos encontrado

2
tal que y, z B
2
( x), d(T
n
(y), T
n
(z)) < n N, lo que nos
garantiza que x

.
Lo anterior indica que B
2
(x)

, y como x es cualquiera, se concluye que

es abierto

3. Veamos que =

n1
1
n
:
: Sea x . Por denicion sabemos que existe un > 0, tal que y B

(x), d(T
n
(y), T
n
(x)) <
1
2n
Sean y, z B

(x), entonces d(T

n
(y), T
n
(z)) d(T
n
(y), T
n
(x)) + d(T
n
(x), T
n
(z)) <
1
n
.
As, x 1
n
, y esto se cumple para todo n, lo que indica que x pertenece a la interseccion de los 1
n
Sea x

nN
1
n
. Tomemos > 0 cualquiera. Sabemos que existe un m en N, tal que >
1
m
.
Como x 1
m
, existe un > 0, tal que y, z B

(x), d(T
n
(y), T
n
(z)) <
1
n
< , n N
En particular, tomando z = x, tendremos que y B

(x), d(T
n
(y), T
n
(x)) < , n N, con lo que
concluimos que x es equicontnuo.

32
Teorema 9 Si (X, T) es transitivo, entonces o es sensible a las condiciones iniciales, o es casi-equicontnuo
Demostracion:
Veamos que si

= , entonces

= X:
En efecto: si

= X, podemos tomar U = X

que es abierto, no vaco y disjunto con

.
Por transitividad, existe un n > 0 tal que U T
n
(

) = . Como T
n
(

, lo anterior implica que

U

= (contradiccion, pues habamos dicho que U era disjunto con

).
Por otro lado, notemos que si

= , se tendra que:
x X, > 0, y, z B

(x), n 0, d(T
n
(z), T
n
(y)) >
En particular, tomando z = x, se tendr a:
x X, > 0, y B

(x), n 0, d(T
n
(x), T
n
(y)) >
Que es la denicion de ser sensible a las condiciones iniciales (con constante ).
De esta forma, hay dos casos posibles:
1. n 1, 1
n
= En este caso, como =

n1
1
n
y cada 1
n
es un abierto denso, entonces es residual
(luego, (X, T) es casi-equicontnuo)
2. n N, 1
n
= . En este caso, el sistema es sensible a las condiciones iniciales, con constante
1
n

Observacion 4 Si (X, T) es transitivo, entonces es sobreyectivo

Demostracion:
Notemos que como X es compacto y T es contnua, T(X) es compacto. En particular, se tiene que T(X) es
cerrado, luego, (T(X))
c
es abierto.
Si el conjunto anterior es no vaco, como T es transitivo, existen x X, n N, tales que T
n
(x) (T(X))
c
(lo que es una contradiccion, pues, si llamamos y a T
n1
(x), se tendra que T
n
(x) = T(y) T(X))

Denicion 37 Se dice que (X, T) es uniformemente rgido si para la sucesion |T

n
id|

nN
el 0 es un
punto de acumulacion
33
Teorema 10 Sea (X, T) transitivo y casi-equicontnuo, entonces:
1. orb(x) = X x es equicontnuo
2. (X, T) es uniformemente rgido
3. T es homeomorsmo
Demostracion:
1. (a) Sea x X, tal que orb(x) = X y sea un > 0 cualquiera. Como orb(x) es denso y

es abierto,
se tiene que existe n N tal que T
n
(x)

.
Por otro lado, como T
n
(

, necesariamente x

. As, como esto ocurre , se tiene que

x , y entonces x es equicontnuo
(b) Por contradiccion, sea x tal que orb(x) = X. Notemos que U = (orb(x))
c
es un abierto no
vaco, luego, tomando z U, notamos que existe un > 0, tal que B

(z) U (por ser U abierto).

Consideremos la bola B

2
(z).
Como x es equicontnuo, > 0, y B

(x), d(T
n
(x), T
n
(y)) <

2
, n N. Por otro lado,
como T es transitivo, sabemos que existe n N, tal que B

(x) T
n
(B

2
(z)) =
Sea y en tal interseccion:
i. Como y B

(x), se tiene que d(T

n
(y), T
n
(x)) <

2
.
ii. Como y T
n
(B

2
(z)), se tiene que d(T
n
(y), z) <

2
.
Deducimos entonces que d(T
n
(x), z) d(T
n
(x), T
n
(y)) + d(T
n
(y), z) < , lo que quiere decir que
T
n
(x) B

(z) (orb(x))
c
(contradiccion).

2. Sea > 0 cualquiera, y x X equicontnuo. Como x es equicontnuo, existe un > 0 tal que
y B

(x), d(T
n
(y), T
n
(x))

6
, n N
Como B

(x) x es abierto, y orb(x) = X (por la parte anterior), existe un N > 0 tal que
T
N
(x) B

(x) , luego, d(T

N+m
(x), T
m
(x))

3
, m N.
34
Como T es contnua, T
N
es contnua, luego,
2
> 0,
2
<

3
tal que
y B
2
(z), d(T
N
(z), T
N
(y))

3
Por otro lado, como orb(x) = X, existe un m > 0, tal que T
m
(x) B
2
(z), con lo que:
d(z, T
N
(z)) d(z, T
m
(x)) + d(T
m
(x), T
m+N
(x)) + d(T
m+N
(x), T
n
(z))
Como lo anterior se cumple para todo z X, entonces
> 0, n N, d(T
n
(z), z) , z X
Que es lo que queriamos probar

3. Veamos que T es un homeomorsmo.

Como sabemos que T es sobreyectiva y contnua, debemos probar que es:
(a) Inyectiva: Sean x, y X, x = y. Como son distintos, existe un > 0, tal que d(x, y) = .
Supongamos que T(x) = T(y).
Por la parte anterior, existe un n N, tal que
d(z, T
n
(z))

3
, z X
En tal caso, d(x, y) d(x, T
n
(x)) + d(T
n
(x), T
n
(y)) + d(T
n
(y), y)
2
3
< , lo que no puede ser.
(b) De inversa contnua: Sea > 0. Ya que T es uniformemente rgido, existe n, tal que
z X, d(T
n+1
(z), z)

3
Por otro lado, como T es contnua, T
n
es contnua, luego, sabemos que existe > 0, tal que
y B

(x), d(T
n
(x), T
n
(y))

3
As, como T
n
(x) = T
n+1
(T
1
(x)), se tendra que para cualquier y B

(x):
d(T
1
(x), T
1
(y)) d(T
1
(x), T
n
(x)) + d(T
n
(x), T
n
(y)) + d(T
n
(y), T
1
(y))
Es decir, T
1
es contnua

Aplicaciones en Automatas celulares

Recordemos que un automata celular en Q
Z
(o N) es, en particular, un sistema dinamico. Veremos que, en
realidad, tales automatas celulares tienen comportamientos mas bien determinados.
Proposicion 16 Sea (Q
Z
, F) un automata celular transitivo, entonces es sensible a las condiciones iniciales.
(Tambien se cumple para N = N)
Demostracion:
Del captulo anterior, como F es transitivo; o es sensible, o es casi-equicontnuo. Supongamos que el automata
es casi-equicontnuo.
Como F es transitivo y casi-equicontnuo, es uniformemente rgido, luego, sabemos que existe un n > 0, tal
que
x Q
Z
, d(x, F
n
(x))
En particular, se tiene que F
n
(x)
0
= x
0
, y como esto se cumple para todo x, se cumplira para
l
(x):
F
n
(x)
l
= (
l
(F
n
(x)))
0
= (F
n
(
l
(x)))
0
= (
l
(x))
0
= x
l
Luego, como esto se cumple l Z, se debe tener que F
n
(x) = x (y esto para todo x).
En particular se cumple para alg un x equicontnuo, por lo que:
orb(x) = x, F(x), . . . , F
n1
(x) = Q
Z
Lo que indica que Q
Z
es nito, lo que no puede ser.

35
36
Proposicion 17 Sea (Q
Z
, F) un automata celular y r el radio de su regla local (el caso Q
N
es analogo).
Sea w una palabra de largo 2L+1, y u una palabra bloqueadora de largo t := s +2k, que determina un bloque
de ancho s, con s r.
En tal caso, uwu es bloqueadora, y el bloque que determina es de ancho 2s + 2k + 2L + 1
Ilustremos un poco esta proposicion:
Sea x [uwu]
s2kL
. Debemos mostrar que n N, F
n
(x)
[skL,s+k+L]
esta determinado.
Demostremos esto por induccion sobre n:
1. Caso n = 0 : Notemos que este caso es trivial, pues conocemos x entre las coordenadas s 2k L y
s + 2k + L, luego, en particular, lo conocemos entre s k L y s + k + L.
2. Caso n + 1 : Supongamos cierta la hipotesis para n. Esto quiere decir que conocemos F
n
(x) entre las
coordenadas s k L y s + k + L.
Como el radio de la regla local es r, conocemos F
n+1
(x) entre las coordenadas s k L + r y
s + k + L r. En particular, como s r, conocemos F
n+1
(x) entre k L y k + L.
Notando que u es palabra bloqueadora, esta induce un bloque de ancho s, luego, debido a la posicion
en la que se encuentra u (a la izquierda), conocemos F
n+1
(x) entre s k L y k L.
De la misma forma, podemos argumentar que conocemos F
n+1
(x) entre k + L y k + L + s, con lo que
concluimos que conocemos F
n+1
(x) entre s k L y s + k + L.

37
Teorema 11 Sea (Q
Z
, F) un automata celular nito (se tiene el mismo resultado en Q
N
), entonces
F no es sensible a las condiciones iniciales F es casi-equicontnuo
Demostracion:
1. Sabemos que el automata es casi-equicontnuo, luego, =

nN
1
n
.
Si el sistema fuese sensible a las condiciones iniciales, existira > 0, tal que
x Q
Z
, > 0, y B

(x), n N, d(F
n
(x), F
n
(y))
En tal caso, podramos tomar n N, tal que
1
n
< . Como 1
n
es no vaco, existira un x en este
conjunto, luego, x no cumplira la propiedad anterior (por la denicion de 1
n
), lo que no puede ser.
2. La negacion de la sensibilidad de F nos indica que
> 0, x Q
Z
, > 0, y B

(x), l N, d(F
l
(x), F
l
(y)) <
Esto podemos caracterizarlo, como:
m N, x Q
Z
, n N, y[
[n,n]
= x[
[n,n]
F
l
(x)[
[m,m]
= F
l
(y)[
[m,m]
, l N
De esta forma, considerando un m > r jo (donde r es el radio de la regla local), obtenemos una palabra
u Q
2n+1
, denida como u = x[
[n,n]
y que es bloqueadora.
Sea ahora una palabra w de largo 2L + 1. Consideremos x Q
Z
, que resulta de centrar w en la
coordenada 0, y adjuntar la palabra u innitas veces tanto a la derecha como a la izquierda de w.
Veamos que x es equicontnuo:
En efecto, sea s N, tomemos un k en N tal que s L + k(2n + 1), y denamos la palabra w como x
entre las coordenadas Lk(2n+1) y L+k(2n+1). Como u es palabra bloqueadora, por la proposicion
anterior, uwu es bloqueadora, y el bloque que induce es mas ancho que w.
Si llamamos p a L + (k + 1)(2n + 1) y t a L + k(2n + 1) (recordemos que s t), tendremos:
y Q
Z
, y
[p,p]
= x
[p,p]
= uwu, F
n
(x)
[t,t]
= F
n
(y)
[t,t]
, n N
38
En particular se tiene:
y Q
Z
, y
[p,p]
= x
[p,p]
= uwu, F
n
(x)
[s,s]
= F
n
(y)
[s,s]
, n N
Luego, como s es cualquiera, x es equicontnuo.
Denamos ahora
L
el conjunto de todos los x denidos de la manera anterior, a partir de palabras
de largo 2L + 1 (Notemos que todos los puntos de
L
son equicontnuos). Podemos entonces denir
:=

LN

L
, que es un conjunto de puntos equicontnuos
Sea y Q
Z
un punto cualquiera, y m N cualquiera.
Tomemos w := y[
[m,m]
y escojamos el x resultante de centrar w en cero, y adjuntar u innitas veces
a la derecha y a la izquierda.
Es claro que x , y que se tiene x
[m,m]
= y
[m,m]
. Podemos traducir esto en que, para una distancia
cualquiera, hemos podido encontrar un punto que este sucientemente cerca de y, con lo que concluimos
que es denso (pues y es arbitrario).
Hemos encontrado as un conjunto denso de puntos equicontinuos, por lo que se concluye que F es
casi-equicontinuo

Automatas cerrados
Denicion 38 Un automata celular, (Q
Z
, F) se dira cerrado a la derecha ssi existe un n Z, tal que
x, y Q
Z
, x = y, x[
[,n]
= y[
[,n]
F(x) = F(y). Se dene ser cerrado a la izquierda de forma analoga.
Consideremos el conjunto B
x
, tal que todos sus elementos son iguales a x desde la coordenada n hacia atras.
F sera entonces cerrado a la derecha si es inyectivo al restringirlo a cada B
x
.
Denicion 39 Un automata celular, (Q
Z
, F) se dira cerrado si es cerrado a la derecha o a la izquierda
Denicion 40 Se dene un diamante como una palabra w de largo al menos 2r (con r el radio de la regla
local), para la cual existen dos palabras u y v de igual largo, tales que f(wuw) = f(wvw)
39
Proposicion 18 Si F no es sobreyectivo, entonces existe un diamante
Demostracion:
Recordemos que en la demostracion del teorema 4, llegamos a que
F es sobreyectiva ssi [Q[
2r
= [f
1
(z)[ z Q
+
En este caso, F no es sobreyectiva, luego, necesariamente existe un z

tal que [f
1
(z

)[ = [Q[
2r
.
Supongamos z

de largo l. Tomemos todas las palabras de largo l, y supongamos que cada una de ellas es
menor o igual a [Q[
2r
(en particular, [f
1
(z

)[ < [Q[
2r
), entonces:
[Q
2r+l
[ = [f
1
(Q
l
)[ = [f
1
(

zQ
l
z)[ =

zQ
l
[f
1
(z)[ <

zQ
l
[Q
2r
[ = [Q
2r+l
[
Lo que no puede ser, luego, existe un z de largo l tal que [f
1
(z)[ > [Q
2r
[
Sea w f
1
(z). Es claro que el largo de w es igual al largo de z mas 2r.
Denamos para cada m los siguientes conjuntos:
1. M
m
:= ww
0
w
1
. . . w
m1
w, w
i
f
1
(z) i
2. N
m
:= zv
0
zv
1
z . . . zv
m
z, v
i
Q
2r
i
Notemos que [M
m
[ = [f
1
(z)[
m
y que [N
m
[ = [Q[
2r(m+1)
. Ademas, se tiene que f(M
m
) N
m
Como [f
1
(z)[ > [Q[
2r
, para un m sucientemente grande, obtenemos la desigualdad [f
1
(z)[
m
> [Q[
2r(m+1)
,
es decir, [M
m
[ > [N
m
[ > [f(M
m
)[.
Como [M
m
[ > [f(M
m
)[, se deduce que f no puede ser biyectiva, luego, existen u

, v

M
m
, con u

= v

, tal
que f(u

) = f(v

), pero esto quiere decir que existen u y v distintos y de igual largo, tales que f(wuw) = f(wvw)

Lema 4 Si F es cerrado, entonces es sobreyectivo

Demostracion:
Por contrarrecproca, si F no es sobreyectivo existe un diamante w.
Sean u y v dos palabras distintas de igual largo tales que f(wuw) = f(wvw).
Tomemos x anexando w innitas veces a la izquierda y a la derecha de u, y tomemos y anexando w innitas
40
veces a la izquierda y a la derecha de v.
Es claro que F(x) = F(y) a pesar de que x e y son iguales desde alguna coordenada en adelante, e iguales
desde alguna coordenada hacia atras, luego, concluimos que F no puede ser cerrado

Lema 5 F es cerrado a la derecha ssi

m > 0, x, y, (x[
[m,1]
= y[
[m,1]
F(x)[
[m,m]
= F(y)[
[m,m]
) x[
0
= y[
0
(analogamente se tiene el lema para el caso cerrado por la izquierda)
Podemos ilustrar esta idea como:
Demostracion:
Sea m > 0, denimos el conjunto X
m
como:
X
m
:= (x, y) (Q
Z
)
2
, x[
[m,1]
= y[
[m,1]
F(x)[
[m,m]
= F(y)[
[m,m]
x
0
= y
0

Notemos que X
m
es cerrado en la topologa producto (representando X
m
como la interseccion de tres conjutos,
uno por cada propiedad, es facil ver que cada uno es cerrado). Ademas, se tiene que X
m+1
X
m
Supongamos que m > 0, X
m
= . Como X
m
es una familia decreciente de cerrados no vacos, se tiene
la propiedad de la interseccion nita, luego, como el espacio es compacto, X :=

m1
X
m
= .
Tomemos (x, y) X, luego, se tiene que
x[
[,1]
= y[
[,1]
F(x) = F(y) x = y
Como F es cerrado a la derecha, existe n Z, tal que
x

, y

Q
Z
, x

= y

, x

[
[,n]
= y

[
[,n]
F(x

) = F(y

)
Tomando x

=
n+1
(x), y

=
n+1
(y) (con x, y los encontrados en X), habremos encontrado un par tal
que
x

[
[,n]
= y

[
[,n]
F(x

) = F(y

) x

= y

41
Lo que no puede ser. Concluimos entonces que m > 0, X
m
= . Como X
m
reune a todos los elementos
que no cumplen la propiedad para un cierto m, se deduce que la propiedad se tiene para todos los elementos.
Sean x e y, tales que x[
[,1]
= y[
[,1]
F(x) = F(y)
En particular se tendra que x[
[m,1]
= y[
[m,1]
F(x)[
[m,m]
= F(y)[
[m,m]
para el m de la propiedad,
luego, x
0
= y
0
.
Consideramos ahora (x) y (y). Es muy sencillo notar que
(x)[
[m,1]
= x[
[m+1,0]
= y[
[m+1,0]
= (y)[
[m,1]
(por lo anterior)
F((x))[
[m,m]
= F(x)
[m+1,m+1]
= F(y)
[m+1,m+1]
= F((y))[
[m,m]
Luego, por la propiedad, x
1
= (x)
0
= (y)
0
= y
1
.
Inductivamente, utilizando el argumento anterior, llegamos a que x
l
= y
l
para l cualquiera, luego, concluimos
que x = y, lo que indica que F es cerrado a la derecha (con n = 1).

El lema que demostraremos a continuacion es lo que nos permitira darle importancia a la propiedad de ser
cerrado en automatas celulares
Lema 6 Sea F un automata cerrado a la derecha. Si m es sucientemente grande, dados u Q
m
y v Q
2m
,
tales que F([u]
m
) [v]
m
= se tiene que
b Q, !a Q, F([ua]
m
) [vb]
m
=
Ilustremos un poco esta idea:
Demostracion:
Escojamos m tal que se cumple la propiedad del lema anterior (existe, pues el automata es cerrado a la
derecha).
Denimos B := (u, v) Q
m
Q
2m
, F([u]
m
) [v]
m
= .
42

Este es el conjunto de todos los pares de palabras u y v (de largo m y 2m, respectivamente), tales que existe
alg un x Q
Z
que cumple con x[
[m,1]
= u y F(x)[
[m,m1]
= v.
A continuacion construimos un grafo dirigido G, cuyos vertices V (G) son los elementos de B,es decir, los
vertices tienen la forma:
Y los arcos de G son tales que:
Un arco b
1
b
2
(con b
1
= (u, v) y b
2
= (s, t)), pertenece a G ssi u[
[2,m]
= s[
[1,m1]
y v[
[2,2m]
= t[
[1,2m1]
Es decir:
No es difcil notar que si b
1
es el elemento en B inducido por x, y b
2
es el elemento inducido por (x), entonces
b
1
b
2
G. Utilizaremos esto para probar que G es conexo:
Sean b
0
y b
f
dos elementos cualesquiera en B. Sabemos entonces que existen y y z asociados a tales b
0
y b
f
(como en la denicion de B).
Sea r el radio de la regla local de F, y consideremos w
1
= y[
[rm,r+m1]
y w
2
= z[
[rm,r+m1]
.
Tomemos un x cualquiera en [w
1
w
2
][
mr
. Es claro que x [w
1
]
mr
con lo que
x[
[m,1]
= y
[m,1]
F(x)[
[m,m1]
= F(y)[
[m,m1]
Es decir, x esta asociado a b
0
Por otro lado,
2m+2r+1
(x) [w
2
]
mr
, por lo que, analogamente al caso anterior,
2m+2r+1
(x) esta asociado
a b
f
Finalmente, podemos tomar la secuencia x, (x),
2
(x), . . . ,
2m+2r+1
(x), que esta asociada a la secuencia
b
0
, b
1
, b
2
, . . . , b
f
. Por lo visto anteriormente, b
0
b
1
, b
1
b
2
, . . . , b
f1
b
f
G, es decir, hemos encontrado un camino
entre b
0
y b
f
en G, lo que nos permite concluir que G es conexo.
43
Consideramos ahora el conjunto B
Z
de los paseos innitos en el grafo G. Denimos : Q
Z
, tal
que (x) = (x[
[i,i+m1]
, F(x)[
[i,i+2m1]
)
iZ
Visualmente la funcion tiene esta forma:
Veamos que esta bien denido:
1. Sea x Q
Z
, veamos que (x)
i
B. En efecto, (x)
i
= (x[
[i,i+m1]
, F(x)[
[i,i+2m1]
) = (u
i
, v
i
) que son de
largo m y 2m respectivamente.
Notemos que para
i+m
(x), se tiene que
(
i+m
(x)[
[m,1]
, F(
i+m
(x))[
[m,m1]
) = (x[
[i,i+m1]
, F(x)[
[i,i+2m1]
) = (u
i
, v
i
)
Luego, (u
i
, v
i
) B
2. Notemos, por otro lado, que (x)
i
(x)
i+1
es un arco de G, pues u
i
[
[2,m]
= x[
[i+1,i+m1]
= u
i+1
[
[1,m1]
(para v
i
es analogo)
De esta forma, (x) es, efectivamente, un paseo innito en el grafo.
No es difcil ver que es biyeccion, y que conmuta con los shift, luego, se tendra que (Q
Z
, ) es conjugado
con (, ).
44
Sabemos que G es un grafo nito, y que es conexo, luego, por el teorema 8, se tiene que la entropa
topologica de (, ) es el logaritmo del valor propio de Perron de A, donde A es la matriz de incidencia de G.
Por la proposicion 13, la entropa topologica de (Q
Z
, ) es log([Q[), luego, como (Q
Z
, ) y (, ) son conju-
gados, en particular deben tener la misma entropa. Llamando al valor propio de Perron de A, se debe tener
entonces que = [Q[.
Sea (u, v) un elemento cualquiera de B. Notemos que, dado b Q, si existe un a Q, tal que F([ua]
m
)
[vb]
m
= , entonces, por el lema anterior, tal a es unico. Para concluir el teorema, debemos mostrar entonces
que tal a existe.
Por el mismo argumento anterior, cada elemento (u, v) B puede tener a lo mas [Q[ vecinos (uno por cada
letra concatenada a v). Demostrar la existencia consiste entonces, en mostrar que cada elemento de B tiene
exactamente [Q[ vecinos.
Sea u el unico vector propio asociado a . Recordemos que tal vector es no negativo. Como u tiene nitas
coordenadas, alcanza su maximo M > 0 en alg un u
i
. A un elemento b
i
tal que u
i
= M, lo llamaremos maximal.
Notemos que cada elemento en B tiene a lo mas [Q[ vecinos, luego,
|B|

j=1
A
ij
[Q[. Por otro lado, como u es
vector propio asociado a = [Q[, se tiene que para b
i
maximal:
[Q[M =
|B|

j=1
A
ij
u
j

|B|

j=1
A
ij
M [Q[M
Como u es no negativo, y los A
ij
son todos unos y ceros, si alguno de los vecinos de b
i
no fuese maximal,
la primera desigualdad sera estricta, lo que no puede ser. Por otro lado, si b
i
tuviese menos de [Q[ vecinos,
la segunda desigualdad sera estricta, lo que tampoco es posible. Podemos concluir entonces, que si b
i
es un
elemento maximal, entonces tiene [Q[ vecinos, y son todos maximales.
Hemos probado entonces que ser maximal es una propiedad de clase, y como el grafo es conexo, todos sus
elementos son maximales. En particular, cada uno de ellos tiene exactamente [Q[ vecinos. Como cada elemento
en B, tiene a lo mas un vecino por cada letra en Q, concluimos que debe tener exactamente un vecino por cada
letra en Q, con lo que se concluye el lema.

45
Observacion 5 El lema anterior, se puede generalizar cuando F es cerrado tanto a la derecha como a la
izquierda de la siguiente forma:
Si u es de largo al menos 2m+1 y v es de largo al menos 4m+1, tales que F([u]
m
) [v]
2m
= , entonces
para cualquier par de elementos b
1
, b
2
Q, existen unicos a
1
, a
2
, tales que F([a
1
ua
2
]
m1
) [b
1
vb
2
]
2m1
=
Proposicion 19 Sea F un automata celular cerrado a la derecha y a la izquierda y m grande. Si u y v son dos
palabras de largo 2m+1 y 4m+1 respectivamente tales que F([u]
m
)[v]
2m
= , entonces [v]
2m
F([u]
m
)
Demostracion:
Denamos primero V
0
:= [v]
2m
y U
0
:= [u]
m
.
Sea y [v]
2m
. Llamemos b
1
a y
2m1
y b
1
a y
2m+1
. Consideremos V
1
= [b
1
vb
1
]
2m1
.
Por la observacion 5, se tiene que existen unicos a
1
y, a
1
tales que
F([a
1
ua
1
]
m1
) [b
1
vb
1
]
2m1
=
Llamemos U
1
a [a
1
ua
1
]
m1
.
De la misma forma, llamando b
2
a y
2m2
y b
2
a y
2m+2
, podemos generar
V
2
= [b
2
b
1
vb
1
b
2
]
2m2
y U
2
= [a
2
a
1
ua
1
a
2
]
m2
Siguiendo este metodo, podemos generar el par de familias U
k

k0
y V
k

k0
. No es difcil darse cuenta
de que k 0, U
k+1
U
k
V
k+1
V
k
.
Tomemos ahora una sucesion x
k

k0
, tal que k 0, x
k
U
k
, F(x
k
) V
k
.
Se puede probar facilmente que

k0
V
k
= y y que

k0
U
k
= x para alg un x.
Por lo anterior, necesariamente x
k
x y F(x
k
) y, y como F es contnua, es claro que F(x) = y.
Recordemos que x

k0
U
k
U
0
= [u]
m
, luego, y F([u]
m
). Finalmente, como y [v]
2m
es cualquiera,
se concluye que [v]
2m
F([u]
m
)

46
Proposicion 20 Si F es cerrado a la derecha y a la izquierda, entonces F es una funcion abierta
Demostracion:
Como los cilindros [u]
[n,n]
son una base de vecindades, nos bastara probar que su imagen es abierta. Hay
dos casos que son de nuestro interes:
1. Supongamos n > m para m como en la proposicion anterior, como

vQ
4n+1
[v]
2n
= Q
Z
se debe cumplir:
F([u]
[n,n]
) =

vQ
4n+1
(F([u]
[n,n]
) [v]
2n
)
Por la proposicion anterior, hay dos casos posibles:
F([u]
[n,n]
) [v]
2n
= y [v]
2n
F([u]
[n,n]
)
Llamando al conjunto de los v tales que se cumple lo ultimo, tendremos lo siguiente:
F([u]
[n,n]
) =

v
(F([u]
[n,n]
) [v]
2n
)

v
c

v
[v]
2n
Luego, F([u]
[n,n]
) es union de abiertos, por lo que es abierto.
2. Si n m, se tiene que [u]
[n,n]
se puede escribir como union de cilindros de largo al menos m+ 1, luego,
F([u]
[n,n]
) =

F([v]
[m1,m+1]
) que ya vimos que son abiertos.
Podemos concluir entonces que F es una funcion abierta

Notemos que, entonces, nuestro interes sobre los automatas cerrados a la izquierda y a la derecha, radica en
que F es una funcion abierta, lo que nos ayudara a entender tales automatas.
47
Resultados para F positivamente expansivo
Lema 7 Sea (Q
Z
, F) automata celular positivamente expansivo, entonces es cerrado a la derecha e izquierda
Demostracion:
Veamos que F es cerrado a la derecha. En efecto, consideremos N N tal que
x, y Q
Z
,

F(x)
n
[
[N,N]
= F(y)
n
[
[N,N]
, n N

x = y
Tomemos entonces x e y tales que F(x) = F(y) y x[
[,N]
= y[
[,N]
.
En particular, para tales x e y, se tiene que F
n
(x) = F
n
(y), y, mas especcamente,
F(x)
n
[
[N,N]
= F(y)
n
[
[N,N]
, n N
Se sigue que x = y, y se tiene que es cerrado por la derecha (por la izquierda es analogo)

Teorema 12 Sea B un conjunto nito. Todo subshift (S, ), en que S B

N
, y tal que es una funcion
abierta, es un subshift de tipo nito
Teorema 13 Si (Q
Z
, F) es positivamente expansivo, entonces (S
F
, ) es un subshift de tipo nito
Demostracion
Como (Q
Z
, F) es positivamente expansivo, entonces es cerrado a la derecha y a la izquierda, y, por la
proposicion 20, sabemos que es abierta.
Se tiene que (Q
Z
, F) es conjugado con (S
F
, ), luego, necesariamente es abierta, y entonces, por el teorema
anterior, (S
F
, ) es un subshift de tipo nito.

De esta forma, sabemos que el subshift vertical es un subshift de tipo nito. En particular nos interesa la
siguiente propiedad
Observacion 6 Sea S un subshift de tipo nito para alg un alfabeto B. Existe un N > 0 tal que, para toda
palabra v, de largo al menos N, y para todo par de palabras u y w, se tiene que si uv y vw estan permitidas,
entonces uvw esta permitida. Es importante notar que el resultado tambien se tiene cuando vw es un elemento
de S
48
Todos los teoremas y resultados obtenidos hasta el momento para N = Z, se pueden obtener de forma
analoga para N = N.
Teorema 14 Si (Q
N
, F) es positivamente expansivo, entonces es mezclador.
El resultado tambien se tiene para Q
Z
Antes de poder demostrar el resultado, recordemos que la funcion , a traves de la cual F es conjugado con
S
F
, es bicontnua, es decir, se tiene:
Proposicion 21 Sea (Q
N
, F) un aut omata celular positivamente expansivo, y sea S
F
el subshift al que es
conjugado a traves de la funcion . Entonces, para toda palabra u Q
+
, existe una palabra w en (Q
r+1
)
+
, tal
que ([w]
0
S
F
) [u]
0
Demostremos esto:
Sea x un elemento cualquiera de [u]
0
, y llamemos z =
1
(x). Llamemos ademas w
m
a z[
[0,m]
para cada m.
Denimos D
m
= y Q
N
, y / [u]
0
(y) [w
m
]
0
= ([u]
0
)
c

1
([w
m
]
0
S
F
)
Notemos que los D
m
son cerrados, y son decrecientes. En caso de que m N, se tuviera D
m
= , entonces la
familia D
m

mN
sera una coleccion de cerrados con la propiedad de la interseccion nita, luego,

mN
D
m
= .
Tomando y en esta interseccion, se tiene que
1
(y) = z, pero y = x, pues y / [u]
0
. Esto es una contradiccion,
pues z tendra dos imagenes a traves de .
Se concluye que existe un m tal que D
m
= , es decir ([w
m
]
0
S
F
) [u]
0

Estamos ahora en condiciones de demostrar el teorema:

Por comodidad, demostraremos el caso r = 1. Para el caso r > 1, la demostracion es analoga.
Sean U y V dos abiertos cualesquiera en Q
N
. Como los cilindros de la forma [w]
0
son una base de abiertos,
podemos suponer que U = [u]
0
y V = [v]
0
. Llamemos n al largo de u y m al largo de v.
Recordemos que como F es positivamente expansiva, S
F
es un subshift de tipo nito, y existe un N N tal
que se cumple la proposicion 6. Consideremos entonces w
0
Q
+
una palabra de largo N + 1
Por la proposicion 21, existe una palabra s
1
tal que ([s
1
]
0
) [w
0
u]
0
. Supongamos que tal palabra es de
largo l. Tomemos ahora un elemento cualquiera p en [s
1
]
0
, y tomemos y = (p).
49
Es claro que y [w
0
u]
0
. Llamemos w
0
uw
1
a la palabra formada por las primeras N + 1 + n + l + k
coordenadas, en que k es un n umero natural cualquiera.
Como r = 1, las primeras N + 1 + n + l + k coordenadas de y (es decir, w
0
uw
1
) determinan las primeras
N + n + l + k coordenadas de
1
(y)
Llamemos T
1
T
2
a la palabra formada por tales coordenadas de
1
(y), donde T
1
es de largo n + l + k y T
2
es de largo N:
Sea w
2
la palabra formada por las primeras N+1 coordenadas de F
n+l+k
(y). Notemos que, como las primeras
N+1+n+l +k coordenadas de y inducen T
1
T
2
, entonces las primeras N+1 coordenadas de F
n+l+k
(y) inducen
T
2
.
50
Sea ahora [w
2
v]
0
Q
N
, y tomemos z cualquiera en tal cilindro. Como en particular, z [w
2
]
0
, se tendra
qie las primeras N + 1 coordenadas de
1
(z) forman T
2
. As, podemos llamar T
2
T
3
a
1
(z):
Notemos que T
1
T
2
es una palabra permitida en S
F
, y T
2
T
3
es un elemento de S
F
(luego, esta permitido).
Como T
2
es de largo N, entonces, por la observacion 6, T
1
T
2
T
3
es un elemento de S
F
.
Llamemos x

a (T
1
T
2
T
3
). Recordemos que la palabra w elegida en un comienzo es tal que
([w]
0
S
F
) [w
0
u]
0
, es de largo l, por lo que T
1
T
2
T
3
[
[0,l1]
= T
1
T
2
[
[0,l1]
= w.
De esta forma, T
1
T
2
T
3
[w]
0
, por lo que x [w
0
u]
0
Por otro lado, z = (T
2
T
3
) = (
n+l+k
(T
1
T
2
T
3
)) = F
n+l+k
((T
1
T
2
T
3
)) = F
n+l+k
(x

), lo que quiere decir

que F
n+l+k
(x

) [w
2
v]
0
51
En particular, si tomamos x :=
N+1
(x

), se tendra que x [u]

0
y que F
n+l+k
(x) [v]
0
. Como k es
cualquiera, concluimos que
M = n + l > 0, m M, x [u]
0
, F
m
(x) [v]
0
Con lo que concluimos que F es mezclador

Esta demostracion se puede rehacer para los casos r > 1, y se puede realizar una demostracion analoga para
el caso N = Z