You are on page 1of 51

Din´ amica de aut´omatas

February 10, 2011
2
Aut´omatas celulares
Definiciones b´asicas
Definicion 1 Definimos un aut´omata celular de la forma A = (N, ¦V
n
¦
n∈N
, ¦Q
n
¦
n∈N
, ¦f
n
¦
n∈N
) en que:
1. N es un conjunto de nodos
2. Los V
n
son subconjuntos finitos de N, llamados vecinos de n
3. Los Q
n
son conjuntos finitos, llamados estados
4. Los f
n
son funciones, f
n
:
¸
m∈Vn
Q
m
→ Q
n
, llamadas funciones locales.
Es claro que se puede extender cada f
n
naturalmente, de tal forma que su dominio sea

n∈N
Qn (en que importe
´ unicamente lo que ocurre en

m∈Vn
Qm). Notaremos las funciones extendidas como
˜
f
n
Definicion 2 Una funci´on F :
¸
n∈N
Q
n

¸
n∈N
Q
n
es inducida por un aut´omata celular ssi
F
i
(x) =
˜
f
i
(x) ∀i ∈ N
Definicion 3 Entenderemos por configuraci´on de estados a una colecci´on ¦i
n
¦
n∈N
en que cada i
n
∈ Q
n
Notemos que una funci´on F inducida por un aut´omata celular act´ ua sobre una configuraci´on de estados de
forma que, para cada nodo, cambia su estado de acuerdo a la configuraci´on de sus vecinos.
En general, nos interesar´a el caso en que N es un grupo (digamos, con +). Recordemos que en un grupo,
dado un conjunto V , podemos definir V + n := ¦a + n, a ∈ V ¦
3
4
Definicion 4 Un aut´omata celular se dice homog´eneo 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 aut´omata celular (en que F es la funci´on inducida por ´el)
Definiciones b´asicas para N = Z
En general nos interesar´a el caso homog´eneo, por lo que, podemos hablar de el conjunto V :
Observacion 1 En este caso, como V es un conjunto finito, podemos obtener
a = max
v∈V ∪{0}
¦v¦ y −m = min
v∈V ∪{0}
¦v¦
Luego, podemos redefinir el conjunto de vecinos como V
n
= [m + n, a + n]. Llamaremos a los valores a y m,
anticipaci´on y memoria (respectivamente)
Definicion 5 Definimos r := max¦[a[, [m[¦ como el Radio de la regla local
En lo sucesivo, consideraremos los siguientes diagramas que nos permitir´an comprender mejor las situaciones
y demostraciones:
Esto es, en la primera fila se anota el estado inicial de cada nodo, y en las filas sucesivas se anotan los estados
obtenidos al iterar F sobre la configuraci´on de estados
En adelante, asumiremos que el conjunto de estados es Q.
5
Nos interesa darle una estructura al conjunto de configuraciones de estado, luego, es necesario comenzar
d´andole una estructura a Q. Como tal conjunto es finito, lo dotamos de la topolog´ıa de las partes.
Notemos que como Q es finito, es compacto
Recordemos un resultado imporante de an´alisis:
Teorema 1 (Tychonoff) Si A
i
son conjuntos compactos, con i ∈ I, entonces
¸
i∈I
A
i
es compacto
Notemos que el conjunto de las configuraciones de estados coincide con Q
Z
. Dotando a este conjunto de la
topolog´ıa de los cilindros (que es la topolog´ıa natural), podemos utilizar el teorema anterior para concluir:
Observacion 2 Q
Z
es compacto, utilizando la topolog´ıa de los cilindros
Notaci´on 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 dif´ıcil trabajar en un espacio topol´ogico, nos interesa dotar al conjunto de una m´etrica:
Definicion 6 Se define la m´etrica 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 tendr´a que, dado x ∈ Q
Z
,
entonces:
y ∈ B

(x) ⇔ y ∈ [x
−N
, x
−N+1
, . . . , x
N−1
, 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 topolog´ıa heredada de esta m´etrica es la de los cilindros
La demostraci´on es sencilla, pero no la incluiremos.
Terminamos esta secci´on definiendo una funci´on con la que trabajaremos bastante:
Definicion 7 Se define la funci´on shift, σ : Q
Z
→ Q
Z
, de tal forma que σ(x)
i
= x
i+1
En general, se pueden definir los shift en otros conjuntos, como las traslaciones en una unidad en alguna
direcci´on (por ejemplo, se pueden definir en N o en Z
n
). Adjuntamos el diagrama de la funci´on σ
6
Primeros resultados para N = Z
Teorema 2 (Q
Z
, F) es un aut´omata celular homog´eneo ssi F es cont´ınua para la topolog´ıa de los cilindros y
se cumple que F ◦ σ = σ ◦ F
Demostraci´on:
Supongamos que F es un aut´omata celular homog´eneo, veamos que:
1. F es cont´ınua: 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
−ˆ η−r−1
(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 cumplir´a que ˆ η +r + 1 ≤ n(x, y), es decir:
∀i ∈ Z, −ˆ η −r ≤ i ≤ ˆ η + r ⇒ x
i
= y
i
(En esta primera parte hemos traducido la noci´on de que estar cerca seg´ un la m´etrica d significa 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 tendr´a 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 definici´on:
F(σ(x))
j
= f((σ(x)
(j−m)
, σ(x)
(j−m+1)
, . . . , σ(x)
(j+a−1)
, σ(x)
(j+a)
))
= f((x
(j+1−m)
, x
(j+1−m+1)
, . . . , x
(j+1+a−1)
, x
(j+1+a)
))
= F(x)
(j+1)
Esto, ya que la regla local de F es f en cada coordenada por ser F homog´eneo
Supongamos ahora que F es cont´ınuo 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 cont´ınua, 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 finito
(index´emoslo con el conjunto I). Ya que cada bola B
i
es subconjunto de F
−1
([q]
0
), se tendr´a:
¸
i∈I
B
i
⊆ F
−1
([q]
0
) ⊆
¸
i∈I
B
i
Luego, necesariamente
¸
i∈I
B
i
= F
−1
([q]
0
)
Por otro lado, cada bola es un cilindro, luego, F
−1
([q]
0
) es uni´on finita de cilindros.
Tomemos para cada q el conjunto finito de cilindros tomado como antes, Γ
q
. Tomamos ahora, el conjunto
Γ :=
¸
q∈Q
Γ
q
que es la colecci´on de todos los cilindros encontrados para alg´ un q.
Para cada cilindro C en Γ, tomamos su mayor y menor coordenada fija, 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 uni´on de
cilindros con coordenadas fijas entre −m y a
As´ı, hemos encontrado la funci´on 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 aut´omata celular.
Falta ver que F es homog´eneo. 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 (quiz´as con algo m´as 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 homog´eneo.

¿Qu´e tipos de estructura podemos darle a Q
Z
?. En el caso Q finito, sabemos que todo abierto es un cerrado,
luego, la topolog´ıa tienen estructura de σ-´algebra. Gracias a esto, podemos definir:
Definicion 8 Se define M(Q
Z
) = ¦u : B(Q
Z
) → [0, 1], u es medida de probabilidad ¦
Definicion 9 Se define la aplicaci´on lineal l
F
: M(Q
Z
) → M(Q
Z
), de tal forma que l
F
(u) = u ◦ F
−1
No es dif´ıcil probar que si µ es medida, entonces l
F
(µ) es medida, luego, la aplicaci´on est´a bien definida.
Proposicion 3 Como Q
Z
es espacio m´etrico compacto, se puede dotar a M(Q
Z
) de la topolog´ıa vaga, luego,
es espacio m´etrico compacto y convexo.
Teorema 3 Para todo aut´omata celular existe una medida invariante respecto a l
F
Demostraci´on:
A partir de la medida µ, construimos la sucesi´on de medidas µ
(n)
, con µ
(n)
=
1
n
n−1
¸
k=0
l
(k)
F
(µ).
Como el espacio es compacto, podemos tomar una subsucesi´on convergente, y nos preguntamos si el l´ımite
de tal sucesi´ on es invariante para l
F
:
Notemos que:
l
F

(n)
) =
1
n
n−1
¸
k=0
l
(k+1)
F
(µ) =
1
n
n
¸
k=1
l
(k)
F
(µ) =
1
n

n−1
¸
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
x∈Q
Z
f(x)
n
→ 0.
9
De esta forma, si llamamos ν al l´ımite de la subsucesi´on, µ
(n)
→ ν en la topolog´ıa vaga, se tiene que l
F

(n)
)
tiende a ν.
Por ´ ultimo, sea f continua. Como F es cont´ınua, f ◦ F es cont´ınua, 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:
Definicion 10 Se define la medida producto uniforme independiente como µ([a
0
, . . . , a
l−1
]
k
) =
1
|Q|
l
, es decir,
se multiplica [Q[
−1
[ tantas veces como coordenadas fijas tenga el cilindro.
Notaci´on 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+i−1
, w
r+i
) = u
i
Teorema 4 Si F : Q
Z
→ Q
Z
es aut´omata celular homog´eneo, entonces F es sobreyectiva ssi la medida producto
uniforme independiente es invariante para l
F
Demostraci´on:
Sin p´erdida de generalidad, supondremos que para F la memoria es −r y la anticipaci´on es r (donde r es el
radio de la regla local de F). Por otro lado, recordemos que la topolog´ıa de Q
Z
es a su vez una σ-´algebra.
Notemos que F
−1
([a
0
, . . . , a
l−1
]
k
) es uni´on disjunta de cilindros de la forma [q
−r
, . . . , q
r+l−1
]
−r+k
(Esto pues,
para que la coordenada s tome un cierto valor, s´olo son importantes las coordenadas entre s − r y s + r).
Adem´as, como Q es finito, podemos tomar estos cilindros disjuntos y en una cantidad finita.
Definiremos S
l
(a
0
, . . . , a
l−1
) := ¦x ∈ Q
l+2r
, f(x) = ¦a
0
, . . . , a
l−1
¦¦. (Esto es, todas las palabras cuya imagen
es ¦a
0
, . . . , a
l−1
¦)
As´ı, F
−1
([a
0
, . . . , a
l−1
]
k
) =
¸
w∈S
l
(a0,...,a
l−1
)
[w]
k−r
, de donde:
µ(F
−1
([a
0
, . . . , a
l−1
]
k
)) =
¸
w∈S
l
(a0,...,a
l−1
)
1
[Q[
l+2r
=
[S
l
(a
0
, . . . , a
l−1
)[
[Q[
l+2r
10
Notando que µ([a
0
, . . . , a
l−1
]
k
) =
1
|Q|
l
se tendr´a que:
µ = l
F
(µ)
¨
∀k ∈ Z, ∀l ∈ N, ∀¦a
0
, . . . , a
l−1
¦ ∈ Q
l
, [Q[
2r
= [S
k,l
(a
0
, . . . , a
l−1
)[
(A la propiedad de abajo la llamaremos (∗))
(La implicancia de la forma ⇑ se tiene pues las medidas ser´ıan 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 bastar´a con probar (∗) ⇔ F es sobreyectiva:
Probemos que (∗) ⇒ F es sobreyectiva:
Sea x ∈ Q
Z
, tomemos la sucesi´on de conjuntos ¦
˜
S
n
¦
n∈N
, en que
˜
S
n
:= F
−1
([x
−n
, x
−n+1
, . . . , x
n−1
, x
n
]
−n
).
Recordemos que este conjunto es la uni´on de los [w]
−n−r
, 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 uni´on finita 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 finito se tiene que
¸
j∈J
˜
S
j
=
˜
S
max{j∈J}
, que es no vac´ıo. Luego, ¦
˜
S
n
¦ es una sucesi´on de cerrados con la propiedad de la intersecci´on
finita.
Como Q
Z
es espacio m´etrico (luego separado) y compacto, se tiene que
¸
n∈N
S
n
= ∅. Tomemos un y cualquiera
en esta intersecci´on, veremos que F(y) = x. En efecto, sea z ∈ Z. Como y ∈
¸
n∈N
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 im´agen es x, y como x es cualquiera, se concluye que F es sobreyec-
tiva.
Antes de demostrar que F sobreyectiva → (∗), es necesario dar algunas definiciones:
Definicion 11 Se define Q
+
como
¸
n∈N
Q
n
. Este es el conjunto de todas las palabras posibles con signos en Q
11
Notaci´on 3 Sea u ∈ Q
+
, si u es de largo n, notaremos f
−1
(u) := ¦w ∈ Q
n+2r
, f(w) = u¦
Sea p = min
u∈Q
+
¦[f
−1
(u)[¦. Como F es sobreyectiva, se tiene que, en particular, f es sobreyectiva, luego, cada
uno de tales conjuntos es no vac´ıo, con lo que p > 0.
Notaci´on 4 Sea q
1
∈ Q
+
y q
2
∈ Q
+
, notaremos q
1
q
2
como la concatenaci´on 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
Demostraci´on:
Es claro que
¸
b∈Q
¦vb, v ∈ f
−1
(u)¦ =
¸
q∈Q
f
−1
(uq), y adem´as, estas uniones son disjuntas.
Como [¦vb, v ∈ f
−1
(u)¦[ = [f
−1
(u)[ = p, entonces [
¸
b∈Q
¦vb, v ∈ f
−1
(u)¦[ =
¸
b∈Q
p = [Q[p. As´ı, por la
igualdad anterior, p[Q[ =
¸
q∈Q
[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 tendr´ıa que p[Q[ > p[Q[, lo que nos dar´ıa una contradicci´on

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
Demostraci´on:
Sea u tal que [f
−1
(u)[ = p. Veamos que ¦vw[ v, w ∈ f
−1
(u)¦ =
¸
z∈Q
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 ser´a n + 2r, y por lo tanto,
vw es de largo 2n + 4r. La palabra formada entonces, al aplicar f, tendr´a largo 2n + 2r.
Sea i entre 0 y n −1. Se tendr´a 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 f´acil 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)¦ ⊆
¸
z∈Q
2r
f
−1
(uzu)
Es igual de secillo convencerse que un elemento de
¸
z∈Q
2r
f
−1
(uzu), necesariamente est´a 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
¸
z∈Q
2r
f
−1
(uzu)
1. Notemos que ¦vw[ v, w ∈ f
−1
(u)¦ =
¸
w∈f
−1
(u)
¦vw[ v ∈ f
−1
(u)¦ y que esta union es disjunta, luego:
[¦vw[ v, w ∈ f
−1
(u)¦[ =
¸
w∈f
−1
(u)
[¦vw[ v ∈ f
−1
(u)¦[
=
¸
w∈f
−1
(u)
[f
−1
(u)[
=
¸
w∈f
−1
(u)
p
= [¦w ∈ f
−1
(u)¦[p
= [f
−1
(u)[p
= p
2
2. Por otro lado, [
¸
z∈Q
2r
f
−1
(uzu)[ =
¸
z∈Q
2r
[f
−1
(uzu)[. Del lema anterior, como uzu es una concatenaci´on
de la palabra u con la palabra zu, se tiene que [f
−1
(uzu)[ = [f
−1
(u)[ = p, con lo que:
¸
z∈Q
2r
[f
−1
(uzu)[ =
¸
z∈Q
2r
[f
−1
(u)[ =
¸
z∈Q
2r
p = [¦z ∈ Q
2r
¦[p = [Q[
2r
p
Debido a la igualdad de los conjuntos, se tendr´a 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
¸
q∈Q
[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
=
¸
q∈Q
[Q[
2r
<
¸
q∈Q
[f
−1
(q)[ = [f
−1
(Q)[ = [Q[
2r+1
Lo cual es una contradicci´on. 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 (∗).

Clasificaciones b´asicas de Aut´omatas Celulares
Equicontinuidad
Definicion 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 im´agenes sucesivas de x son los puntos x, F(x), F
2
(x), . . . etc. Adem´as, si
F es biyectivo, entenderemos que las preim´agenes sucesivas de x son los puntos x, F
−1
(x), F
−2
(x), . . . etc.
Queda claro entonces, que un punto x es equicont´ınuo ssi para cualquier punto y que est´e suficientemente
cerca de x, sus im´agenes sucesivas est´an cerca de las im´agenes 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 demostraci´on consiste en traducir la noci´on de estar cerca en la m´etrica de Q
Z
. Notemos que esto se
traduce b´asicamente, en que si leemos en las coordenadas centrales las coordenadas de x equicont´ınuo, entonces
tenemos determinado un bloque de alto infinito.
Esto nos induce a definir lo que es una palabra bloqueadora:
Definicion 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 infinito 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 infinito hacia abajo. Es impor-
tante notar que las coordenadas centrales de un punto equicont´ınuo, si forman una palabra lo suficientemente
larga, siempre ser´an bloqueadoras. La siguiente observaci´on indica que, en realidad, podemos encontrar una
palabra bloqueadora en cualquier posici´on, y seguir´a 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 homog´eneo, 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 observaci´on anterior puede resumirse en que, por lo general, si w es una palabra bloqueadora, entonces se
tendr´a:
15
Sensibilidad
Definicion 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 ser´a 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 im´agenes sucesivas eventualmente se separar´a
m´as que . Notemos que esta definici´on lleva impl´ıcito que no existen puntos equicont´ınuos (sin embargo, es
m´as fuerte que la negaci´on de su existencia).
Definicion 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 m´as 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, significa 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 demostraci´on es directa de la definici´on en ambos casos (se demuestra por contradicci´on)
En el caso positivamente expansivo, ilustramos la ´ ultima propiedad con el siguiente diagrama (el caso expan-
sivo es b´asicamente lo mismo):
Subshift y Sistemas Din´amicos
Subshift para el caso N = Z
Definicion 16 Definimos (Q
(2n+1)
)
Z
como el conjunto de todas las matrices de ancho 2n+1 y de alto infinito
(hacia arriba y hacia abajo), a valores en Q
Definicion 17 Si F es biyectiva, se define
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 proposici´on 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:
Definicion 18 Se define la funci´on Ψ := 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 topolog´ıa de los cilindros), y Ψ
−1
es
bicont´ınua
La demostraci´on 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
¦
n∈N
⊆ S
F
una sucesi´on tal que y
n
→ y. Debemos probar que y ∈ S
F
.
Recordemos que en la topolog´ıa 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
Definiremos 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 tendr´a que
D
m
=

¸
m
¸
j=1
F
j
([w
−j
]
[−N,N]
)
¸

∩ [w
0
]
[−N,N]

¸
m
¸
j=1
F
−j
([w
j
]
[−N,N]
)
¸

Luego, como F es aut´omata celular biyectivo, se tiene que es de inversa cont´ınua, y entonces la intersecci´on
anterior es de conjuntos cerrados, por lo que D
m
es cerrado. Notemos adem´as, que para n suficientemente
18
grande, Ψ(y
n
) ∈ D
m
, luego, D
m
= ∅.
Notando que los D
m
son decrecientes, se tendr´a la propiedad de la intesecci´on finita. Como el espacio es
compacto (pues Q
2N+1
lo es), se tendr´a que
¸
m∈N
D
m
= ∅.
Tomemos un elemento x ∈
¸
m∈N
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

Definicion 19 Se define σ := Q
Z
→ Q
Z
de la forma usual (en que σ(Y )
i,j
= Y
i+1,j
)
Claramente, como F es biyectiva, σ es biyectiva. Adem´as, si y ∈ S
F
, entonces σ(y) ∈ S
F
(basta tomar F(x),
que induce σ(y)), esto nos dice que S
F
es cerrado para σ
Definicion 20 S ⊆ B
Z
, con S cerrado, se dice subshift si σ(S) = S
Esta definici´on es importante, pues seg´ un los resultados anteriores, se tiene que (S
F
, σ) es un subshift (cerrado
e invariante para σ)
Sistemas Din´amicos en el contexto anterior
Definicion 21 Un sistema din´amico es un par de la forma (X, F) en que X es un conjunto compacto y F es
una funci´on cont´ınua
Definicion 22 Se define la relaci´on de equivalencia ”‘ser conjugados”’ entre sistemas din´amicos
(X, F)

= (Y, T) que se cumple ssi ∃Ψ biyectiva y bicontinua, Ψ : X → Y tal que Ψ
−1
◦ F ◦ Ψ = T
Si dos sistemas din´amicos son conjugados, se tendr´a 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 demostraci´on 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 definir S
F
de forma an´aloga (y obtenemos las mismas
propiedades anteriores), sin embargo, veremos m´as adelante, S
F
es en realidad un subshift de tipo finito, en
que:
Definicion 23 S se dice subshift de tipo finito ssi es subshift y ∃W ⊆ B
+
finito tal que
∀x ∈ B
Z
, x ∈ S ⇔ ninguna palabra de W aparece en x
En general, los subshift de tipo finito son bastante m´as sencillos de estudiar (tienen propiedades ´ utiles)
Caso N = N
Notemos que en este caso, Q
N
tambi´en resulta ser compacto, adem´as, definiendo la m´etrica
h : Q
N
Q
N
→ R, d(x, y) = 2
−n(x,y)
con n(x, y) = inf¦i : i ∈ N, y
i
= x
i
¦
Se tendr´a (al igual que en el caso N = Z), que tal m´etrica induce la topolog´ıa de los cilindros.
Finalmente, definiendo 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 Teor´ıa Erg´ odica y
Din´amica Topol´ ogica
Entrop´ıa
Sea (X, T) un sistema din´amico. Dado ˜ µ un recubrimiento abierto de X, podemos tomar un subrecubrimiento
µ finito (indexado, digamos con los elementos de J finito).
Definicion 24 Se define µ
n−1
0
(X) := ¦U
jt
0
∩ T
−1
(U
jt
1
) ∩ . . . ∩ T
−n+1
(U
jt
n−1
), j
t0
, . . . , j
tn−1
∈ 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
n−1
) = ∅ ssi hay alg´ un x ∈ X, tal que
x ∈ u
jt
0
, T(x) ∈ u
jt
1
, . . . , T
n−1
(x) ∈ u
jt
n−1
.
Esto quiere decir que cada elemento de µ
n−1
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)
Notaci´on 5 Diremos que S ⊆ J
n
es un conjunto camino-recubridor de secuencias de µ
n−1
0
(X) ssi
∀x ∈ X, ∃s ∈ S, s = (j
t0
, j
t1
, . . . , j
tn−1
), tal que x ∈ U
jt
0
∩ T
−1
(U
jt
1
) ∩ . . . ∩ T
−n+1
(U
jt
n−1
)
Los elementos de J
n
son los nombres de los caminos en µ
n−1
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 m´as de un camino)
Definicion 25 Llamaremos η(µ
n−1
0
(X)) = min¦[S[, S es camino-recubridor de µ
n−1
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
Definicion 26 Se define H(µ
n−1
0
) = log(η(µ
n−1
0
(X)))
Proposicion 8 H(µ
n+m−1
0
) ≤ H(µ
n−1
0
) + H(µ
m−1
0
)
Demostraci´on:
Sea S un camino-recubridor de µ
n+m−1
0
(X) minimal. Para una secuencia h ∈ S definimos h
n−1
0
como la
secuencia que contiene sus primeras n coordenadas, y h
n+m−1
n
como la secuencia que contiene sus restantes m
coordenadas.
Definimos entonces S
n
, S
m
como los h
n−1
0
y h
n+m−1
n
con h ∈ S. Es claro que S ⊆ S
n
S
m
Notemos que S
n
es camino-recubridor de µ
n−1
0
(X) y que es minimal pues S es minimal. As´ı mismo, S
m
es
camino-recubridor para µ
m−1
0
(T
n
(X)), y es minimal para este conjunto, pues S es minimal
Utilizando lo anterior,
η(µ
n+m−1
0
(X)) = [S[ ≤ [S
n
S
m
[ = [S
n
[ [S
m
[ = η(µ
n−1
0
(X)) [S
m
[
Pero como S
m
es camino-recubridor para el conjunto T
n
(X) ⊆ X, y es minimal, se tendr´a que [S
n
[ ≤
η(µ
m−1
0
(X)) (esto es claro, pues si hay menos puntos, hay menos caminos posibles).
Es claro entonces, que η(µ
n+m−1
0
(X)) ≤ η(µ
n−1
0
(X))η(µ
m−1
0
(X)), y aplicando logaritmo, se tendr´a que
H(µ
n+m−1
0
) ≤ H(µ
n−1
0
) + H(µ
m−1
0
)

Notemos que hemos definido H(µ
n−1
0
) que contine la cantidad de caminos que somos capaces de ver al iterar
T n −1 veces. Sin embargo, nos gustar´ıa obtener una noci´on de todos los caminos que podemos ver al iterar T
de forma indefinida. Para ello, ser´a 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
n∈N
a
n
n
Demostraci´on:
Notemos primero que por la sub-aditividad, se puede mostrar por inducci´on, que para todo par de naturales
m, n, se tiene que a
mn
≤ m a
n
Sea c = inf
b∈N
a
n
n
(existe, pues la sucesi´on est´a acotada por 0). Consideremos n
0
tal que
an
0
n0
≤ c +

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

tal que ∀n ≥ N

,
M
n


2
Escogemos N = max¦N

, n
0
¦. Por el algoritmo de divisi´on, ∀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 quer´ıa probar

Definicion 27 Se define la entrop´ıa topol´ogica de T en µ como h
top
(µ, T) = lim
n→∞
1
n
H(µ
n−1
0
)
Por el lema anterior, la entrop´ıa topol´ogica est´a bien definida, y contiene la noci´on de cu´antos caminos se
pueden observar al iterar T indefinidamente. Sin embargo, estos caminos est´an dados por el recubrimiento
elegido, lo que es un inconveniente, por lo que se define la entrop´ıa de la siguiente manera:
Definicion 28 Se define la entrop´ıa de T, h
top
(T) = sup
µ
h
top
(µ, T)
Ahora, veremos de forma r´apida una forma alternativa de calcular la entrop´ıa:
Definicion 29 x, y ∈ X son (n, )-separados si ∀i ∈ ¦1, . . . , n −1¦, se tiene que d(T
i
(x), T
i
(y)) >
Definicion 30 E ⊆ X es (n, )-separado ssi ∀x, y ∈ E, x e y son (n, )-separados
Definicion 31 Se define r
n
() = max¦[E[, E es (n, )-separado¦
Teorema 5 h
top
(T) = lim
→0
lim
n→∞
1
n
log(r
n
())
24
Notaci´on 6 En lo que resta del apunte, nos referiremos a µ
n−1
0
(X) sencillamente como µ
n−1
0
Finalmente, veremos una proposici´on que nos ser´a de ayuda al tratar con aut´omatas celulares:
Proposicion 9 Sean µ, ν dos recubrimientos finitos de abiertos de X, entonces, si ν es m´as fino que µ, se
tendr´a que h
top
(µ, T) ≤ h
top
(ν, T)
Notemos que el resultado es intuitivo, pues, debido a que ν es m´as fino que µ, necesita m´as caminos para cubrir
X, luego, η(µ
n−1
0
(X)) ≤ η(ν
n−1
0
(X)) para cualquier n. Tomando logaritmo, obtenemos H(µ
n−1
0
) ≤ H(ν
n−1
0
), y
entonces se llega al resultado al dividir por n y obtener el l´ımite
Entrop´ıa en Aut´omatas Celulares
Definicion 32 Para el caso N = Z se define µ
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).
¿C´omo se ve un elemento en (µ
n
)
l−1
0
?
Sea c ∈ (µ
n
)
l−1
0
. c tiene la forma [w
0
]
−n
∩ F
−1
([w
1
]
−n
) ∩ ∩ F
−l+1
([w
l−1
]
−n
), luego un x est´a en c ssi
x ∈ [w
0
]
−n
, F(x) ∈ [w
1
]
−n
, . . . , F
l−1
(x) ∈ [w
l−1
]
−n
Es decir, x est´a en c ssi podemos leer el bloque formado por los w
j
:
(Notemos que la figura corresponde al caso N)
Proposicion 10 Sea µ recubrimiento abierto finito 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 an´alogo para el caso N = N
Lo demostraremos para el caso N = Z:
Recordemos que los cilindros son una base de abiertos de la topolog´ıa, luego, ∀i ∈ I, ∃n
i
∈ N, tal que
∃w
i
∈ Q
2ni+1
, [w
i
]
−ni
⊆ u
i
.
Tomemos n = max¦n
i
¦. Recordemos que si n > n
i
, podemos tomar un z
i
∈ Q
n−ni
cualquiera, y se tendr´a
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)
Demostraci´on (para el caso N = Z):
Sea µ un recubrimiento abierto cualquiera. Por la proposici´on 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 m´as fina
que µ. Por la proposici´on 9, esto implica que h
top
(µ, T) ≤ h
top

n
, T).
Por la desigualdad anterior, se tendr´a necesariamente que sup
µ
h
top
(µ, T) ≤ sup
n
h
top

n
, T).
Por otro lado, es claro que ¦µ
n
¦ es una subcolecci´on de recubrimientos finitos, luego, necesariamente,
sup
n
h
top

n
, T) ≤ sup
µ
h
top
(µ, T), de donde obtenemos la igualdad.
Finalmente, notemos que ¦µ
n
¦ es una subcolecci´on creciente de recubrimientos (ordenados de acuerdo a la
relaci´on de ser m´as finos), luego, por la proposici´on 9, ¦h
top

n
, T)¦
n∈N
es una sucesi´on mon´otona 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 partici´on abierta y finita de X, entonces, η(µ
n−1
0
) = [(µ
n−1
0
)

[
en que (µ
n−1
0
)

:= µ
n−1
0
−¦∅¦
Demostraci´on:
Sea c ∈ (µ
n−1
0
)

. Como c = ∅, ∃x ∈ c, es decir:
x ∈ u
t0
, F(x) ∈ u
t1
, . . . , F
n−1
(x) ∈ u
tn−1
Por otro lado, µ es partici´on, por lo tanto se cumple:
∀j = t
0
, x / ∈ u
j
, , ∀j = t
1
, F(x) / ∈ u
j
, . . . , ∀j = t
n−1
, F
n−1
(x) / ∈ u
j
Y entonces, la secuencia (t
0
, t
1
, . . . , t
n−1
) es el ´ unico camino posible para x, y por lo tanto, debe pertenecer
a cualquier S camino-recubridor.
26
Como esto ocurre ∀c ∈ (µ
n−1
0
)

, se tendr´a que [(µ
n−1
0
)

[ ≤ [S[ para todo S camino-recubridor. En
particular, [(µ
n−1
0
)

[ ≤ η(µ
n−1
0
).
Notando que las secuencias generadas por los c ∈ (µ
n−1
0
)

cubren µ
n−1
0
, se tiene la igualdad.

Teorema 6 En el caso Q
N
se tiene que h
top
(F) = h
top

r−1
, F) donde r es el radio de la regla local de F
Demostraci´on:
Antes de demostrar el teorema, veamos primero que [((µ
n
)
l−1
0
)

[ = [((µ
r−1
)
l−1
0
)

[ [Q[
n−r+1
:
Para hacer m´as f´acil la notaci´on, llamemos sencillamente ν
n
a ((µ
n
)
l−1
0
)

, y ν
r−1
a ((µ
r−1
)
l−1
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 ((µ
r−1
)
l−1
0
). Dado que (por la
shift-invarianza) σ
n−r+1
(x) ∈ B, se tiene que B = ∅, y entonces B ∈ ν
r−1
.
De esta forma, c induce de forma ´ unica un elemento de Q
n−r+1
ν
r−1
.
Por otro lado, sea (w, B) ∈ Q
n−r+1
ν
r−1
. Consideramos alg´ un x ∈ B (B es no vac´ıo). Tomando y = wx el
´ unico elemento tal que y[
[0,n−r]
= w y σ
n−r+1
(y) = x, se cumple que, σ
n−r+1
(y) ∈ B, y, por lo tanto, podemos
leer en y la siguiente figura:
27
Notemos que, dado que conocemos las primeras n + 1 coordenadas de y, podemos conocer las primeras
n −r + 1 coordenadas de F(y). Adem´as, como conocemos F(y) entre n −r + 1 y n (pues σ
n−r+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 ∈ ν
n−1
(es no vac´ıo, pues y ∈ Q).
As´ı, hemos mostrado que para cada elemento en Q
n−r+1
ν
r−1
, le corresponde un ´ unico elemento en ν
n−1
y viceversa, por lo que se tiene

n−1
[ = [ν
r−1
Q
n−r+1
[ = [ν
r−1
[ [Q[
n−r+1
Que es lo que quer´ıamos probar.
Para concluir el teorema, notemos que µ
n
y µ
r−1
son particiones de abiertos, luego, por la proposici´on
anterior:
h
top

n
, F) = lim
l→∞
1
l
log(η((µ
n
)
l−1
0
))
= lim
l→∞
1
l
log([ν
n
[)
= lim
l→∞
1
l
log([ν
r−1
[ [Q[
n−r+1
)
= lim
l→∞
1
l
log([ν
r−1
[) + lim
l→∞
n −r + 1
l
log([Q[)
= lim
l→∞
1
l
log(η((µ
r−1
)
l−1
0
))
= h
top

r−1
, F)
28
Luego, h
top

n
, F) = h
top

r−1
, F), ∀n ≥ r −1, de donde se concluye que
h
top
(F) = lim
n→∞
h
top

n
, F) = lim
n→∞
h
top

r−1
, F) = h
top

r−1
, F)

Veamos a continuaci´on un resultado que nos ser´a de utilidad m´as adelante:
Proposicion 13 La entrop´ıa topol´ogica de (Q
Z
, σ) es log([Q[). (Se tiene el mismo resultado para Q
N
)
Demostraci´on:
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 vac´ıos), luego η((µ
m
)
0
0
) = [Q[
2m+1
Sea u uno de tales cilindros y x ∈ u. Se tiene que σ(x)[
[−m,m−1]
= x[
[−m+1,m]
(recordemos que tales valores
est´an fijos, por estar x en u). Luego, la ´ unica coordenada en [−m, m] que no est´a fija 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 entrop´ıa para tal recubrimiento ser´a:
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 secci´on, adjuntamos un par de resultados que nos ser´an ´ utiles en el ´ ultimo cap´ıtulo:
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(A−λI) =< u > para alg´ un u > 0
Teorema 8 Sea G un grafo dirigido conexo finito, y sea Σ el conjunto de todos los paseos infinitos (en uno o
ambos sentidos) por el grafo. Entonce se tendr´a que la entrop´ıa topol´ogica de (Σ, σ) es el logaritmo del valor
propio de Perron de la matriz A de incidencia del grafo
29
Din´amica topol´ ogica
Nos interesa estudiar y clasificar los distintos sistemas din´amicos de acuerdo a sus propiedades. Para ello, se
definen las siguientes propiedades:
Definicion 33 Se define:
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 d´ebilmente mezclador si (X X, T T) es transitivo
4. (X, T) es mezclador ssi ∀U, V abiertos no vac´ıos 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 caer´a en V
2. La propiedad de ser mezclador es a´ un m´as fuerte que la propiedad anterior, pues establece que para un
n´ umero cualquiera n suficientemente grande, existe un elemento en U que llega en n iteraciones a V
Definicion 34 Un conjunto A ⊆ X se dice residual si contiene una intersecci´on numerable de abiertos densos
en X
Notemos que un espacio m´etrico compacto, en particular es completo, luego, por el lema de Baire, un conjunto
residual es denso (y viceversa)
Definicion 35 (X, T) se dice casi-equicont´ınuo si el conjunto ξ de sus puntos equicont´ınuos es residual
30
Proposicion 14 Si ξ es el conjunto de los puntos equicont´ınuos de X, se tiene que T
−1
(ξ) ⊆ ξ
Demostraci´on:
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 cont´ınua, ∃ν > 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
n−1
(T(ˆ x), T
n−1
(y))) < ∀n ∈ N

Definicion 36 Sea > 0, se define ξ

:= ¦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 m´etrica), 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. ξ =
¸
n≥1
ξ 1
n
Demostraci´on:
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 finalmente 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 ξ =
¸
n≥1
ξ 1
n
:
⊆ : Sea x ∈ ξ. Por definici´on 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 intersecci´on de los ξ 1
n
⊇ Sea x ∈
¸
n∈N
ξ 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 equicont´ınuo.

32
Teorema 9 Si (X, T) es transitivo, entonces o es sensible a las condiciones iniciales, o es casi-equicont´ınuo
Demostraci´on:
Veamos que si ξ

= ∅, entonces ξ

= X:
En efecto: si ξ

= X, podemos tomar U = X −ξ

que es abierto, no vac´ıo y disjunto con ξ

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

) = ∅. Como T
−n

) ⊆ ξ

, lo anterior implica que
U ∩ ξ

= ∅ (contradicci´on, pues hab´ıamos dicho que U era disjunto con ξ

).
Por otro lado, notemos que si ξ

= ∅, se tendr´a 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 definici´on 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 ξ =
¸
n≥1
ξ 1
n
y cada ξ 1
n
es un abierto denso, entonces ξ es residual
(luego, (X, T) es casi-equicont´ınuo)
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
Demostraci´on:
Notemos que como X es compacto y T es cont´ınua, 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 vac´ıo, como T es transitivo, existen x ∈ X, n ∈ N, tales que T
n
(x) ∈ (T(X))
c
(lo que es una contradicci´on, pues, si llamamos y a T
n−1
(x), se tendr´a que T
n
(x) = T(y) ∈ T(X))

Definicion 37 Se dice que (X, T) es uniformemente r´ıgido si para la sucesi´on ¦|T
n
− id|

¦
n∈N
el 0 es un
punto de acumulaci´on
33
Teorema 10 Sea (X, T) transitivo y casi-equicont´ınuo, entonces:
1. orb(x) = X ⇔ x es equicont´ınuo
2. (X, T) es uniformemente r´ıgido
3. T es homeomorfismo
Demostraci´on:
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 equicont´ınuo
(b) ⇐ Por contradicci´on, sea x ∈ ξ tal que orb(x) = X. Notemos que U = (orb(x))
c
es un abierto no
vac´ıo, 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 equicont´ınuo, ∃δ > 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 intersecci´on:
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
(contradicci´on).

2. Sea > 0 cualquiera, y x ∈ X equicont´ınuo. Como x es equicont´ınuo, 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 cont´ınua, T
N
es cont´ınua, 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 homeomorfismo.
Como sabemos que T es sobreyectiva y cont´ınua, 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 cont´ınua: Sea > 0. Ya que T es uniformemente r´ıgido, existe n, tal que
∀z ∈ X, d(T
n+1
(z), z) ≤

3
Por otro lado, como T es cont´ınua, T
n
es cont´ınua, 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 tendr´a 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 cont´ınua

Aplicaciones en Aut´omatas celulares
Recordemos que un aut´omata celular en Q
Z
(o N) es, en particular, un sistema din´amico. Veremos que, en
realidad, tales aut´omatas celulares tienen comportamientos m´as bien determinados.
Proposicion 16 Sea (Q
Z
, F) un aut´omata celular transitivo, entonces es sensible a las condiciones iniciales.
(Tambi´en se cumple para N = N)
Demostraci´on:
Del cap´ıtulo anterior, como F es transitivo; o es sensible, o es casi-equicont´ınuo. Supongamos que el aut´omata
es casi-equicont´ınuo.
Como F es transitivo y casi-equicont´ınuo, es uniformemente r´ıgido, 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 cumplir´a 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 equicont´ınuo, por lo que:
orb(x) = ¦x, F(x), . . . , F
n−1
(x)¦ = Q
Z
Lo que indica que Q
Z
es finito, lo que no puede ser.

35
36
Proposicion 17 Sea (Q
Z
, F) un aut´omata celular y r el radio de su regla local (el caso Q
N
es an´alogo).
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 proposici´on:
Sea x ∈ [uwu]
−s−2k−L
. Debemos mostrar que ∀n ∈ N, F
n
(x)
[−s−k−L,s+k+L]
est´a determinado.
Demostremos esto por inducci´on 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 hip´otesis 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 posici´on
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 aut´omata celular finito (se tiene el mismo resultado en Q
N
), entonces
F no es sensible a las condiciones iniciales ⇔ F es casi-equicont´ınuo
Demostraci´on:
1. ⇐ Sabemos que el aut´omata es casi-equicont´ınuo, luego, ξ =
¸
n∈N
ξ 1
n
.
Si el sistema fuese sensible a las condiciones iniciales, existir´ıa > 0, tal que
∀x ∈ Q
Z
, ∀δ > 0, ∃y ∈ B
δ
(x), ∃n ∈ N, d(F
n
(x), F
n
(y)) ≥
En tal caso, podr´ıamos tomar n ∈ N, tal que
1
n
< . Como ξ 1
n
es no vac´ıo, existir´ıa un x en este
conjunto, luego, x no cumplir´ıa la propiedad anterior (por la definici´on de ξ 1
n
), lo que no puede ser.
2. ⇒ La negaci´on 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 fijo (donde r es el radio de la regla local), obtenemos una palabra
u ∈ Q
2n+1
, definida 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 infinitas veces tanto a la derecha como a la izquierda de w.
Veamos que x es equicont´ınuo:
En efecto, sea s ∈ N, tomemos un k en N tal que s ≤ L + k(2n + 1), y definamos la palabra w como x
entre las coordenadas −L−k(2n+1) y L+k(2n+1). Como u es palabra bloqueadora, por la proposici´on
anterior, uwu es bloqueadora, y el bloque que induce es m´as 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 equicont´ınuo.
Definamos ahora Φ
L
el conjunto de todos los x definidos de la manera anterior, a partir de palabras
de largo 2L + 1 (Notemos que todos los puntos de Φ
L
son equicont´ınuos). Podemos entonces definir
Φ :=
¸
L∈N
Φ
L
, que es un conjunto de puntos equicont´ınuos
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 infinitas 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 est´e suficientemente 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

Aut´omatas cerrados
Definicion 38 Un aut´omata celular, (Q
Z
, F) se dir´a 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 define ser cerrado a la izquierda de forma an´aloga.
Consideremos el conjunto B
x
, tal que todos sus elementos son iguales a x desde la coordenada n hacia atr´as.
F ser´a entonces cerrado a la derecha si es inyectivo al restringirlo a cada B
x
.
Definicion 39 Un aut´omata celular, (Q
Z
, F) se dir´a cerrado si es cerrado a la derecha o a la izquierda
Definicion 40 Se define 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
Demostraci´on:
Recordemos que en la demostraci´on 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
(
¸
z∈Q
l
¦z¦)[ =
¸
z∈Q
l
[f
−1
(z)[ <
¸
z∈Q
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 m´as 2r.
Definamos para cada m los siguientes conjuntos:
1. M
m
:= ¦ww
0
w
1
. . . w
m−1
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)
. Adem´as, se tiene que f(M
m
) ⊆ N
m
Como [f
−1
(z)[ > [Q[
2r
, para un m suficientemente 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
Demostraci´on:
Por contrarrec´ıproca, 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 infinitas veces a la izquierda y a la derecha de u, y tomemos y anexando w infinitas
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 atr´as, 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
(an´alogamente se tiene el lema para el caso cerrado por la izquierda)
Podemos ilustrar esta idea como:
Demostraci´on:
⇒ Sea m > 0, definimos 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 topolog´ıa producto (representando X
m
como la intersecci´on de tres conjutos,
uno por cada propiedad, es f´acil ver que cada uno es cerrado). Adem´as, se tiene que X
m+1
⊆ X
m
Supongamos que ∀m > 0, X
m
= ∅. Como ¦X
m
¦ es una familia decreciente de cerrados no vac´ıos, se tiene
la propiedad de la intersecci´on finita, luego, como el espacio es compacto, X :=
¸
m≥1
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 tendr´a 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 continuaci´on es lo que nos permitir´a darle importancia a la propiedad de ser
cerrado en aut´omatas celulares
Lema 6 Sea F un aut´omata cerrado a la derecha. Si m es suficientemente 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:
Demostraci´on:
Escojamos m tal que se cumple la propiedad del lema anterior (existe, pues el aut´omata es cerrado a la
derecha).
Definimos 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,m−1]
= v.
A continuaci´on construimos un grafo dirigido G, cuyos v´ertices V (G) son los elementos de B,es decir, los
v´ertices 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,m−1]
y v[
[2,2m]
= t[
[1,2m−1]
Es decir:
No es dif´ıcil 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 definici´on de B).
Sea r el radio de la regla local de F, y consideremos w
1
= y[
[−r−m,r+m−1]
y w
2
= z[
[−r−m,r+m−1]
.
Tomemos un x cualquiera en [w
1
w
2
][
−m−r
. Es claro que x ∈ [w
1
]
m−r
con lo que
x[
[−m,−1]
= y
[−m,−1]
∧ F(x)[
[−m,m−1]
= F(y)[
[−m,m−1]
Es decir, x est´a asociado a b
0
Por otro lado, σ
2m+2r+1
(x) ∈ [w
2
]
−m−r
, por lo que, an´alogamente al caso anterior, σ
2m+2r+1
(x) est´a asociado
a b
f
Finalmente, podemos tomar la secuencia x, σ(x), σ
2
(x), . . . , σ
2m+2r+1
(x), que est´a 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
f−1
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 infinitos en el grafo G. Definimos Φ : Q
Z
→ Σ, tal
que Φ(x) = ¦(x[
[i,i+m−1]
, F(x)[
[i,i+2m−1]

i∈Z
Visualmente la funci´on Φ tiene esta forma:
Veamos que Φ est´a bien definido:
1. Sea x ∈ Q
Z
, veamos que Φ(x)
i
∈ B. En efecto, Φ(x)
i
= (x[
[i,i+m−1]
, F(x)[
[i,i+2m−1]
) = (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,m−1]
) = (x[
[i,i+m−1]
, F(x)[
[i,i+2m−1]
) = (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+m−1]
= u
i+1
[
[1,m−1]
(para v
i
es an´alogo)
De esta forma, Φ(x) es, efectivamente, un paseo infinito en el grafo.
No es dif´ıcil ver que Φ es biyecci´on, y que conmuta con los shift, luego, se tendr´a que (Q
Z
, σ) es conjugado
con (Σ, σ).
44
Sabemos que G es un grafo finito, y que es conexo, luego, por el teorema 8, se tiene que la entrop´ıa
topol´ogica de (Σ, σ) es el logaritmo del valor propio de Perron de A, donde A es la matriz de incidencia de G.
Por la proposici´on 13, la entrop´ıa topol´ogica de (Q
Z
, σ) es log([Q[), luego, como (Q
Z
, σ) y (Σ, σ) son conju-
gados, en particular deben tener la misma entrop´ıa. 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 m´as [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 finitas
coordenadas, alcanza su m´aximo 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 m´as [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 ser´ıa estricta, lo que no puede ser. Por otro lado, si b
i
tuviese menos de [Q[ vecinos,
la segunda desigualdad ser´ıa 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 m´as 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
]
−m−1
) ∩ [b
1
vb
2
]
−2m−1
= ∅
Proposicion 19 Sea F un aut´omata 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
)
Demostraci´on:
Definamos primero V
0
:= [v]
−2m
y U
0
:= [u]
−m
.
Sea y ∈ [v]
−2m
. Llamemos b
−1
a y
−2m−1
y b
1
a y
2m+1
. Consideremos V
1
= [b
−1
vb
1
]
−2m−1
.
Por la observaci´on 5, se tiene que existen ´ unicos a
−1
y, a
1
tales que
F([a
−1
ua
1
]
−m−1
) ∩ [b
−1
vb
1
]
−2m−1
= ∅
Llamemos U
1
a [a
−1
ua
1
]
−m−1
.
De la misma forma, llamando b
−2
a y
−2m−2
y b
2
a y
2m+2
, podemos generar
V
2
= [b
−2
b
−1
vb
1
b
2
]
−2m−2
y U
2
= [a
−2
a
−1
ua
1
a
2
]
−m−2
Siguiendo este m´etodo, podemos generar el par de familias ¦U
k
¦
k≥0
y ¦V
k
¦
k≥0
. No es dif´ıcil darse cuenta
de que ∀k ≥ 0, U
k+1
⊆ U
k
V
k+1
⊆ V
k
.
Tomemos ahora una sucesi´on ¦x
k
¦
k≥0
, tal que ∀k ≥ 0, x
k
∈ U
k
, F(x
k
) ∈ V
k
.
Se puede probar f´acilmente que
¸
k≥0
V
k
= ¦y¦ y que
¸
k≥0
U
k
= ¦x¦ para alg´ un x.
Por lo anterior, necesariamente x
k
→ x y F(x
k
) → y, y como F es cont´ınua, es claro que F(x) = y.
Recordemos que x ∈
¸
k≥0
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 funci´on abierta
Demostraci´on:
Como los cilindros [u]
[−n,n]
son una base de vecindades, nos bastar´a probar que su imagen es abierta. Hay
dos casos que son de nuestro inter´es:
1. Supongamos n > m para m como en la proposici´on anterior, como
¸
v∈Q
4n+1
[v]
−2n
= Q
Z
se debe cumplir:
F([u]
[−n,n]
) =
¸
v∈Q
4n+1
(F([u]
[−n,n]
) ∩ [v]
−2n
)
Por la proposici´on 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 uni´on de abiertos, por lo que es abierto.
2. Si n ≤ m, se tiene que [u]
[−n,n]
se puede escribir como uni´on de cilindros de largo al menos m+ 1, luego,
F([u]
[−n,n]
) =
¸
F([v]
[−m−1,m+1]
) que ya vimos que son abiertos.
Podemos concluir entonces que F es una funci´on abierta

Notemos que, entonces, nuestro inter´es sobre los aut´omatas cerrados a la izquierda y a la derecha, radica en
que F es una funci´on abierta, lo que nos ayudar´a a entender tales aut´omatas.
47
Resultados para F positivamente expansivo
Lema 7 Sea (Q
Z
, F) aut´omata celular positivamente expansivo, entonces es cerrado a la derecha e izquierda
Demostraci´on:
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, m´as espec´ıficamente,
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 an´alogo)

Teorema 12 Sea B un conjunto finito. Todo subshift (S, σ), en que S ⊆ B
N
, y tal que σ es una funci´on
abierta, es un subshift de tipo finito
Teorema 13 Si (Q
Z
, F) es positivamente expansivo, entonces (S
F
, σ) es un subshift de tipo finito
Demostraci´on
Como (Q
Z
, F) es positivamente expansivo, entonces es cerrado a la derecha y a la izquierda, y, por la
proposici´on 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 finito.

De esta forma, sabemos que el subshift vertical es un subshift de tipo finito. En particular nos interesa la
siguiente propiedad
Observacion 6 Sea S un subshift de tipo finito 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 est´an permitidas,
entonces uvw est´a permitida. Es importante notar que el resultado tambi´en 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
an´aloga para N = N.
Teorema 14 Si (Q
N
, F) es positivamente expansivo, entonces es mezclador.
El resultado tambi´en se tiene para Q
Z
Antes de poder demostrar el resultado, recordemos que la funci´on Ψ, a trav´es de la cual F es conjugado con
S
F
, es bicont´ınua, 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 trav´es de la funci´on Ψ. 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 adem´as w
m
a z[
[0,m]
para cada m.
Definimos 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
¦
m∈N
ser´ıa una colecci´on de cerrados con la propiedad de la intersecci´on finita, luego,
¸
m∈N
D
m
= ∅.
Tomando y en esta intersecci´on, se tiene que Ψ
−1
(y) = z, pero y = x, pues y / ∈ [u]
0
. Esto es una contradicci´on,
pues z tendr´ıa dos im´agenes a trav´es 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 demostraci´on es an´aloga.
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 finito, y existe un N ∈ N tal
que se cumple la proposici´on 6. Consideremos entonces w
0
∈ Q
+
una palabra de largo N + 1
Por la proposici´on 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 tendr´a
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, est´a permitido).
Como T
2
es de largo N, entonces, por la observaci´on 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,l−1]
= T
1
T
2
[
[0,l−1]
= 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 tendr´a 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 demostraci´on se puede rehacer para los casos r > 1, y se puede realizar una demostraci´on an´aloga para
el caso N = Z

2

Aut´matas celulares o
Definiciones b´sicas a
Definicion 1 Definimos un aut´mata celular de la forma A = (N, {Vn }n∈N , {Qn }n∈N , {fn }n∈N ) en que: o 1. N es un conjunto de nodos 2. Los Vn son subconjuntos finitos de N , llamados vecinos de n 3. Los Qn son conjuntos finitos, llamados estados 4. Los fn son funciones, fn :
m∈Vn

Qm → Qn , llamadas funciones locales.

Es claro que se puede extender cada fn naturalmente, de tal forma que su dominio sea
n∈N

Qn

(en que importe

unicamente lo que ocurre en ´
m∈Vn

Qm ).

˜ Notaremos las funciones extendidas como fn

Definicion 2 Una funci´n F : o ˜ Fi (x) = fi (x) ∀i ∈ N

n∈N

Qn →

n∈N

Qn es inducida por un aut´mata celular ssi o

Definicion 3 Entenderemos por configuraci´n de estados a una colecci´n {in }n∈N en que cada in ∈ Qn o o

Notemos que una funci´n F inducida por un aut´mata celular act´a sobre una configuraci´n de estados de o o u o forma que, para cada nodo, cambia su estado de acuerdo a la configuraci´n de sus vecinos. o En general, nos interesar´ el caso en que N es un grupo (digamos, con +). Recordemos que en un grupo, a dado un conjunto V , podemos definir V + n := {a + n, a ∈ V }

3

4 Definicion 4 Un aut´mata celular se dice homog´neo ssi: o e 1. Existe un V , tal que Vn = V + n ∀n ∈ N 2. Existe un conjunto Q, tal que Qn = Q ∀n ∈ N 3. Existe f : Q|V | → Q, tal que fn = f ∀n ∈ N

En general, nos referiremos al par (N, F ) como el aut´mata celular (en que F es la funci´n inducida por ´l) o o e

Definiciones b´sicas para N = Z a
En general nos interesar´ el caso homog´neo, por lo que, podemos hablar de el conjunto V : a e Observacion 1 En este caso, como V es un conjunto finito, podemos obtener a=
v∈V ∪{0}

max {v} y

−m =

v∈V ∪{0}

min {v}

Luego, podemos redefinir el conjunto de vecinos como Vn = [m + n, a + n]. Llamaremos a los valores a y m, anticipaci´n y memoria (respectivamente) o

Definicion 5 Definimos r := max{|a|, |m|} como el Radio de la regla local

En lo sucesivo, consideraremos los siguientes diagramas que nos permitir´n comprender mejor las situaciones a y demostraciones:

Esto es, en la primera fila se anota el estado inicial de cada nodo, y en las filas sucesivas se anotan los estados obtenidos al iterar F sobre la configuraci´n de estados o En adelante, asumiremos que el conjunto de estados es Q.

5 Nos interesa darle una estructura al conjunto de configuraciones de estado, luego, es necesario comenzar d´ndole una estructura a Q. Como tal conjunto es finito, lo dotamos de la topolog´ de las partes. a ıa Notemos que como Q es finito, es compacto Recordemos un resultado imporante de an´lisis: a Teorema 1 (Tychonoff ) Si Ai son conjuntos compactos, con i ∈ I, entonces
i∈I

Ai es compacto

Notemos que el conjunto de las configuraciones de estados coincide con QZ . Dotando a este conjunto de la topolog´ de los cilindros (que es la topolog´ natural), podemos utilizar el teorema anterior para concluir: ıa ıa Observacion 2 QZ es compacto, utilizando la topolog´ de los cilindros ıa Notaci´n 1 Recordemos que para un elemento x en QZ , podemos refererirnos al valor en su coordenada i como o xi , y que podemos hablar del cilindro [a1 , . . . , as ]k que es el conjunto de los x que entre las coordenadas k y k + s, su valor es a1 , . . . , as Dado que es muy dif´ trabajar en un espacio topol´gico, nos interesa dotar al conjunto de una m´trica: ıcil o e Definicion 6 Se define la m´trica d para QZ , d : QZ × QZ → R como d(x, y) = 2−n(x,y) con e n(x, y) = inf {|i| : i ∈ Z, yi = xi }

Proposicion 1 Sea 0 < entonces:

< 1, entonces si consideramos N = −log2 ( ) − 1, se tendr´ que, dado x ∈ QZ , a

y ∈ B (x) ⇔ y ∈ [x−N , x−N +1 , . . . , xN −1 , xN ]−N Esto nos indica que x se parece a y ssi son iguales en una gran cantidad de coordenadas centrales Proposicion 2 La topolog´ heredada de esta m´trica es la de los cilindros ıa e La demostraci´n es sencilla, pero no la incluiremos. o Terminamos esta secci´n definiendo una funci´n con la que trabajaremos bastante: o o Definicion 7 Se define la funci´n shift, σ : QZ → QZ , de tal forma que σ(x)i = xi+1 o En general, se pueden definir los shift en otros conjuntos, como las traslaciones en una unidad en alguna direcci´n (por ejemplo, se pueden definir en N o en Zn ). Adjuntamos el diagrama de la funci´n σ o o

( ≥ 1 es trivial. luego. entonces xj = yj . F es cont´ Sea > 0. Para todo j ∈ Z ˆ con k − r ≤ j ≤ k + r. es decir: a ˆ ∀i ∈ Z. −ˆ − r ≤ i ≤ η + r ⇒ xi = yi η ˆ (En esta primera parte hemos traducido la noci´n de que estar cerca seg´n la m´trica d significa ser o u e iguales entre las coordenadas −m y m para alg´n m) u Sea ahora k con |k| ≤ η (notemos que caemos dentro del conjunto de los i anteriores). se cumplir´ que η + r + 1 ≤ n(x.6 Primeros resultados para N = Z Teorema 2 (QZ . se tendr´ que −ˆ − r ≤ k − r ≤ j ≤ k + r ≤ η + r. ˆ la regla local de F ). Notemos que esto se cumple ∀k. Es claro que se cumple 2−ˆ ≤ . si d(x. |k| ≤ η . veamos que: o e ınua: 1. y entonces η ≤ n(F (x). pues la distancia m´xima en QZ es 1). y). luego. a η Tomemos δ = 2−ˆ−r−1 (en que r es el radio de η Sea η = −log2 ( ) . xj = yj . de donde F (x)k = F (y)k . Podemos asumir < 1. si j es vecino de k. F (y)) ˆ ˆ . y) ≤ δ (con x e y en QZ ). a η ˆ De esta forma. F ) es un aut´mata celular homog´neo ssi F es cont´ o e ınua para la topolog´ de los cilindros y ıa se cumple que F ◦ σ = σ ◦ F Demostraci´n: o Supongamos que F es un aut´mata celular homog´neo.

σ(x)(j+a−1) . Tomemos para cada punto x en F −1 ([q]0 ) una bola B. Para ello. tomamos su mayor y menor coordenada fija. F (x)) ≤ 2−ˆ ≤ ´ y se concluye la continuidad 2. necesariamente i∈I Bi = F −1 ([q]0 ) Por otro lado. se tiene que F −1 ([q]0 ) es abierto y cerrado. o u Para cada cilindro C en Γ. por definici´n: o = f ((σ(x)(j−m) . Encontremos F −1 ([q]0 ): Como [q]0 es abierto y cerrado. . . luego. F −1 ([q]0 ) es uni´n finita de cilindros. cada bola es un cilindro. se tiene que F −1 ([q]0 ) es un compacto. . pues F −1 ([q]0 ) es uni´n de o cilindros con coordenadas fijas entre −m y a As´ hemos encontrado la funci´n local f0 : Qa+m+1 → Q. notemos que el conjunto de estados es el mismo para cada e . podemos tomar un subrecubrimiento finito (index´moslo con el conjunto I). con lo que concluimos que F es un aut´mata celular. o Tomemos para cada q el conjunto finito de cilindros tomado como antes. . ´ C∈Γ C∈Γ Tomamos entonces el conjunto V de los vecinos del nodo 0 como V := [−m.7 η De esto ultimo se deduce que d(F (x). x(j+1+a) )) F (x)(j+1) F (σ(x))j Esto. Γq . o encontrar fi para cualquier i. a]. aC y −mC respectivamente. tal que x ∈ B y tal que B ⊆ F −1 ([q]0 ) (tal bola existe. . Por ultimo. . F es shift-invariante: Notemos que. . luego. . Ya que cada bola Bi es subconjunto de F −1 ([q]0 ). Tomamos ahora. x(j+1−m+1) . Como F −1 ([q]0 ) es un cerrado en un espacio compacto. se tendr´: e a Bi ⊆ F −1 ([q]0 ) ⊆ i∈I i∈I Bi Luego. x(j+1+a−1) . tomamos a = max{aC } y −m = min{−mC }. σ(x)(j+a) )) = = f ((x(j+1−m) . y F es cont´ ınua. ya que la regla local de F es f en cada coordenada por ser F homog´neo e Supongamos ahora que F es cont´ ınuo y shift-invariante: Sea q ∈ Q. o Falta ver que F es homog´neo. El mismo procedimiento se puede aplicar para ı. pues el conjunto es abierto). el conjunto Γ := q∈Q Γq que es la colecci´n de todos los cilindros encontrados para alg´n q. tomemos el cilindro cuya coordenada en 0 es q: [q]0 . σ(x)(j−m+1) . El recubrimiento anterior es un recubrimiento de abiertos de F −1 ([q]0 ).

| QZ f (n) d(l (µ) − µ)| ≤ n F max f (x) x∈QZ n . ıcil o a Proposicion 3 Como QZ es espacio m´trico compacto. Dado que QZ es compacto. 1]. podemos tomar una subsucesi´n convergente. u es medida de probabilidad } Definicion 9 Se define la aplicaci´n lineal lF : M (QZ ) → M (QZ ). luego. e ıa es espacio m´trico compacto y convexo. luego. entonces QZ f d(lF (µ(n) )) = QZ f dµ(n) + QZ f (n) d(l (µ) − µ). lo que nos permite concluir que F es homog´neo. . y que fi ≡ f0 .8 coordenada. . entonces lF (µ) es medida. . Como el espacio es compacto. luego. xai +1 ) Y de esto. . Como F es shift invariante. . se tiene que f es acotada. podemos obtener (quiz´s con algo m´s de esfuerzo) que el conjunto de vecinos Vn de cada coordea a nada es igual a V0 + n. de tal forma que lF (u) = u ◦ F−1 o No es dif´ probar que si µ es medida. con µ(n) = o 1 n k=0 lF (µ). En el caso Q finito. sabemos que todo abierto es un cerrado. xai+1 ) = F (x)i+1 = σ(F (x))i = F (σ(x))i = fi (x−mi +1 . e Teorema 3 Para todo aut´mata celular existe una medida invariante respecto a lF o Demostraci´n: o n−1 (k) A partir de la medida µ. e luego. e ¿Qu´ tipos de estructura podemos darle a QZ ?. Gracias a esto. n F → 0. . la topolog´ tienen estructura de σ-´lgebra. . tenemos que fi+1 (x−mi+1 . la aplicaci´n est´ bien definida. podemos definir: ıa a Definicion 8 Se define M (QZ ) = {u : B(QZ ) → [0. construimos la sucesi´n de medidas µ(n) . y nos preguntamos si el l´ o ımite de tal sucesi´n es invariante para lF : o Notemos que: lF (µ (n) 1 )= n n−1 (k+1) lF (µ) k=0 1 = n n (k) lF (µ) k=1 1 = n n−1 lF (µ) + lF (µ) − µ k=0 (k) (n) = µ(n) + lF (µ) − µ n (n) Sea f continua sobre QZ a valores reales. se puede dotar a M (QZ ) de la topolog´ vaga. .

al−1 }) As´ F −1 ([a0 . al−1 ]k ) es uni´n disjunta de cilindros de la forma [q−r . de donde: w∈Sl (a0 . al−1 }}. qr+l−1 ]−r+k (Esto pues. . o para que la coordenada s tome un cierto valor. Por ultimo.. f (x) = {a0 . Notaci´n 2 Diremos que. entonces F es sobreyectiva ssi la medida producto o e uniforme independiente es invariante para lF Demostraci´n: o Sin p´rdida de generalidad. w−r+i+1 . como Q es finito. . . se tiene que lF (µ(n) ) o ıa tiende a ν.. respectivamente). . . si llamamos ν al l´ ımite de la subsucesi´n. . . o Adem´s. . . dadas dos palabras w y u (de largos l + 2r y l. Se concluye que lF (ν) = ν Utilizaremos la estructura de espacio medible para obtener una propiedad fundamental de F : Definicion 10 Se define la medida producto uniforme independiente como µ([a0 . .. f dlF (µ(n) ) = QZ QZ f ◦ F dµ(n) → QZ f ◦ F dν = QZ f dlF (ν) con lo que lF (µ(n) ) → lF (ν). todas las palabras cuya imagen es {a0 . se tiene o f (w) = u ssi ∀1 ≤ i ≤ l. [w]k−r . . recordemos que la topolog´ de QZ es a su vez una σ-´lgebra. Por otro lado. . s´lo son importantes las coordenadas entre s − r y s + r). . . . . . . . . µ(n) → ν en la topolog´ vaga. . ıa a Notemos que F −1 ([a0 . . Como F es cont´ ´ ınua. . .9 De esta forma. .. .. | tantas veces como coordenadas fijas tenga el cilindro. wr+i ) = ui Teorema 4 Si F : QZ → QZ es aut´mata celular homog´neo.. . . (Esto es. al−1 ) := {x ∈ Ql+2r .al−1 ) 1 |Sl (a0 . supondremos que para F la memoria es −r y la anticipaci´n es r (donde r es el e o radio de la regla local de F ). al−1 ]k )) = w∈Sl (a0 .al−1 ) µ(F −1 ([a0 . wr+i−1 . al−1 ]k ) = se multiplica |Q| −1 1 . y se tiene.. f ◦ F es cont´ ınua. . . podemos tomar estos cilindros disjuntos y en una cantidad finita. al−1 ]k ) = ı. f (w−r+i . al−1 )| = l+2r |Q| |Q|l+2r . . . . . a Definiremos Sl (a0 . sea f continua. . . . . . .. |Q|l es decir.

nos bastar´ con probar (∗) ⇔ F es sobreyectiva: a Probemos que (∗) ⇒ F es sobreyectiva: ˜ ˜ Sea x ∈ QZ . es necesario dar algunas definiciones: Definicion 11 Se define Q+ como n∈N Qn . a tiva. . luego. o o j∈J finita. xn ]−n ). y como x es cualquiera. x−n+1 . y entonces. . y ∈ Sn . . Como QZ es espacio m´trico (luego separado) y compacto. o ˜ Como |S2n+1 (x−n .l (a0 . ˜ ˜ ˜ Por lo anterior. sea z ∈ Z. dado ˜ que m > n. . en que Sn := F −1 ([x−n . . . xn−1 . tomemos la sucesi´n de conjuntos {Sn }n∈N . . . las medidas son iguales) a Notemos que entonces para probar el teorema. que es no vac´ Luego. se tiene que e n∈N Sn = ∅. xn ). que ˜ ˜ m > n ⇒ Sm ⊆ Sn . Este es el conjunto de todas las palabras posibles con signos en Q . Tomemos un y cualquiera Sn ⊆ S|z| . al−1 } ∈ Ql . al−1 ]k ) = 1 |Q|l se tendr´ que: a µ = lF (µ) ∀k ∈ Z. se tiene que Sn = ∅. . Hemos mostrado entonces. se tiene que Sn ∩ Sm = Smax{n. . . con w en S2n+1 (x−n . ∀{a0 .10 Notando que µ([a0 . ∀i ∈ {−n.m} . |Q|2r = |Sk. . . . xn )| = |Q|2r . En efecto. ˜ Sea m > n. veremos que F (y) = x. y. Antes de demostrar que F sobreyectiva → (∗). . y como es uni´n finita de cilindros. luego. . ∀i ∈ {−m. que es un ´lgebra que engendra la σ-´lgebra. . en general. se tiene que n∈N en esta intersecci´n. . En particular. F (y) = x. al−1 )| (A la propiedad de abajo la llamaremos (∗)) ıan a (La implicancia de la forma ⇑ se tiene pues las medidas ser´ iguales en los cilindros. . ∀l ∈ N. por Hahn. sabemos de y que F (y)i = xi . . . . . o es un cerrado. Tomemos y ∈ Sm . {Sn } es una sucesi´n de cerrados con la propiedad de la intersecci´n ıo. . y esto se cumple para todo z. . m}. . se tiene que F (y)i = xi . . que son cerrados. . se concluye que F es sobreyecı. o Recordemos que este conjunto es la uni´n de los [w]−n−r . . As´ hemos encontrado un elemento cuya im´gen es x. para J ⊆ N finito se tiene que ˜ ˜ ˜ Sj = Smax{j∈J} . Como y ∈ o F (y)z = xz . . . . n}.

estas uniones son disjuntas. |f −1 (uq)|. entonces el largo de v y w ser´ n + 2r. Se tendr´ que (vw)i+j = vj para todo j entre 0 y 2r. se tendr´ que p|Q| > p|Q|. ıo.11 Notaci´n 3 Sea u ∈ Q+ . cada u∈Q+ uno de tales conjuntos es no vac´ con lo que p > 0. debemos probar dos lemas: Lema 1 Sea u ∈ Q+ . en general. a vw es de largo 2n + 4r. y por lo tanto. entonces p = |f −1 (u)| = |f −1 (us)| con s una palabra cualquiera Lema 2 p = |Q|2r Demostraci´n: o Sea u tal que |f −1 (u)| = p. entonces existe una palabra z de largo 2r. luego. si |f −1 (u)| = p. entonces |f −1 (uq)| = p para cualquier q ∈ Q Demostraci´n: o {vb. tendr´ largo 2n + 2r. |f −1 (uq)| ≥ p. lo que nos dar´ una contradicci´n ıa ıa o Notemos que. si u es de largo n. As´ por la ı. f (w) = u} o Sea p = min {|f −1 (u)|}. entonces | igualdad anterior. notaremos q1 q2 como la concatenaci´n de caracteres de q1 con los de q2 o o Ahora. a Sea i entre 0 y n − 1. Notaci´n 4 Sea q1 ∈ Q+ y q2 ∈ Q+ . Esto quiere decir que si f (w) = u y f (v) = u. tal que f (wv) = uzu (y viceversa) En efecto. p|Q| = q∈Q p = |Q|p. se tiene que. a {vb. Si u es el largo de n. Veamos que {vw| v. al aplicar f . v ∈ f −1 (u)}| = b∈Q b∈Q Como |{vb. w en f −1 (u). Por otro lado. con lo que. f es sobreyectiva. el lema anterior nos asegura que si |f −1 (u)| = p. v ∈ f −1 (u)} = b∈Q q∈Q Es claro que f −1 (uq). La palabra formada entonces. para demostrar que F sobreyectiva → (∗). sean v. por la igualdad u anterior. notaremos f −1 (u) := {w ∈ Qn+2r . Como F es sobreyectiva. w ∈ f −1 (u)} = z∈Q2r f −1 (uzu) (notemos desde ya que tal union es disjunta). y adem´s. a . en particular. si para alg´n q se tuviese |f −1 (uq)| > p. v ∈ f −1 (u)}| = |f −1 (u)| = p. ∀q ∈ Q.

Con esto. w ∈ f −1 (u)}| = w∈f −1 (u) |{vw| v ∈ f −1 (u)}| |f −1 (u)| w∈f −1 (u) = = p w∈f −1 (u) = = = 2. w ∈ f −1 (u)} = {vw| v ∈ f −1 (u)} y que esta union es disjunta. . w ∈ f −1 (u)} ⊆ z∈Q2r f −1 (uzu) Es igual de secillo convencerse que un elemento de z∈Q2r f −1 (uzu). . | z∈Q2r |{w ∈ f −1 (u)}|p |f −1 (u)|p p2 f −1 (uzu)| = z∈Q2r |f −1 (uzu)|. . Notemos que {vw| v. w ∈ f −1 (u)}. z ∈ Q2r ). vi+2r ) = ui . necesariamente est´ en a {vw| v. As´ se tiene que ı. luego: w∈f −1 (u) |{vw| v. . se tendr´ entonces que p2 = |Q2r |p. a largo n y f (vw) es de largo 2n + 2r. Por otro lado. . (vw)i+2r ) = f (vi . El resultado lo tendremos al calcular el cardinal tanto de {vw| v. necesariamente z es de largo 2r (es decir. Como u es de ı. . . como uzu es una concatenaci´n o de la palabra u con la palabra zu. . se tiene que a p = |Q2r |. y como p = 0. se tiene que |f −1 (uzu)| = |f −1 (u)| = p. Del lema anterior.12 As´ f ((vw)i . (aqu´ (vwi+j ) = wj ). con lo que: |f −1 (uzu)| = z∈Q2r z∈Q2r |f −1 (u)| = z∈Q2r p = |{z ∈ Q2r }|p = |Q|2r p Debido a la igualdad de los conjuntos. {vw| v. . w ∈ f −1 (u)} como de z∈Q2r f −1 (uzu) 1. es f´cil ver que f (vw) es de la forma uzu con z una palabra. Lo mismo ocurre para i entre n + 2r + 1 y 2n + 2r ı.

Por ende. Clasificaciones b´sicas de Aut´matas Celulares a o Equicontinuidad Definicion 12 Se dice que x ∈ QZ es equicontinuo ssi ∀ > 0 ∃λ > 0. . que un punto x es equicont´ ınuo ssi para cualquier punto y que est´ suficientemente e cerca de x. etc.13 Terminamos concluyendo el teorema inicial: Es claro que q∈Q |f −1 (q)| = |f −1 (Q)| = |Q|2r+1 . F −1 (x). entenderemos que las preim´genes sucesivas de x son los puntos x. . d(x. |f −1 (q)| = |Q|2r = p para toda letra q. . a Queda claro entonces. etc. Adem´s. . F 2 (x). . F (x). Como |Q|2r = p ≤ |f −1 (q)|. F −2 (x). tal que |f −1 (q)| > p. y del primer lema se deduce o que cualquier palabra cumple con que su preimagen tiene cardinal |Q2r |. se tiene que si existe q. . F n (y)) < ∀n ∈ N En adelante entenderemos que las im´genes sucesivas de x son los puntos x. De esto se deduce directamente la propiedad (∗). entonces: |Q|2r+1 = |Q||Q|2r = q∈Q |Q|2r < q∈Q |f −1 (q)| = |f −1 (Q)| = |Q|2r+1 Lo cual es una contradicci´n. si a a F es biyectivo. y) < λ ⇒ d(F n (x). sus im´genes sucesivas est´n cerca de las im´genes sucesivas de x a a a .

podemos encontrar una a o palabra bloqueadora en cualquier posici´n. x|[−M. F l (x)j = Bl. ∀l ∈ N La observaci´n anterior puede resumirse en que. Es importante notar que las coordenadas centrales de un punto equicont´ ınuo. es entonces. tal que hay un bloque B de largo infinito y de ancho 2p + 1 que cumple: ∀x ∈ [b−n . Ocurre que gracias a que F es homog´neo. por lo general. una palabra que determina un bloque infinito hacia abajo. La siguiente observaci´n indica que. Notemos que esto se o o e traduce b´sicamente. si w es una palabra bloqueadora. y seguir´ siendo bloqueadora. bn ]−n . ∀x ∈ [b−n .N ] . entonces se o tendr´: a .N ] = F n (y)|[−N. si forman una palabra lo suficientemente larga. F l (x)j+s = Bl.14 Proposicion 4 x es equicontinuo ssi ∀N > 0 ∃M > 0. siempre ser´n bloqueadoras.M ] = y|[−M. Esto nos induce a definir lo que es una palabra bloqueadora: Definicion 13 Se dice que w (digamos. bn ]−n+s . ∀l ∈ N (diremos adem´s que determina al bloque B de ancho 2p + 1) a Una palabra bloqueadora. . en realidad.M ] → F n (x)|[−N. . y B el bloque de ancho 2p + 1 determinada por w.j+p ∀ − p ≤ j ≤ p. de largo 2n + 1) es una palabra bloqueadora para F ssi existe un p ≤ n.j+p ∀ − p ≤ j ≤ p. entonces tenemos determinado un bloque de alto infinito. . . en que si leemos en las coordenadas centrales las coordenadas de x equicont´ a ınuo. en realidad se cumple: e ∀s ∈ Z. ∀n ∈ Z La demostraci´n consiste en traducir la noci´n de estar cerca en la m´trica de QZ . o a Observacion 3 Sea w una palabra bloqueadora (de largo 2n + 1).

tal que una de sus im´genes sucesivas eventualmente se separar´ a a m´s que . si existe una distancia a tal que. ∃y ∈ Bδ (x). siempre puedo encontrar un y tan cerca como quiera. siempre puedo encontrar un y que eventualmente se aleja. Se dice que F es positivamente expansiva si ∃ > 0. y ∈ QZ . dado un x. x = y. Notemos que esta definici´n lleva impl´ a o ıcito que no existen puntos equicont´ ınuos (sin embargo. d(F n (x). sensible a las condiciones iniciales. y ∈ QZ . es mucho m´s fuerte que ser sensible a las condiciones iniciales. F n (y)) > 2. ∃n ∈ N. ∀x. u Si F es expansivo. en el primero se tiene que dado x. es m´s fuerte que la negaci´n de su existencia). ∃n ∈ N. mientras que el segundo indica que dado x. F n (y)) > F ser´ entonces.15 Sensibilidad Definicion 14 Diremos que F es sensible a las condiciones iniciales ssi ∃ > 0. significa que dado un x. F n (y)) > Llamaremos a la constante de expansividad de F La propiedad de ser positivamente expansivo. a pues. ∀x. d(F n (x). d(F n (x). todos los y se alejan en alg´n momento. ∀δ > 0. Se dice que F es expansiva si es biyectiva y ∃ > 0. ∀x ∈ QZ . 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 . x = y. ∃n ∈ Z. a o Definicion 15 Ahora un par de casos relevantes: 1.

entonces conozco x 2. cuya existencia implica que y ∈ SF . ilustramos la ultima propiedad con el siguiente diagrama (el caso expan´ sivo es b´sicamente lo mismo): a Subshift y Sistemas Din´micos a Subshift para el caso N = Z Definicion 16 Definimos (Q(2n+1) )Z como el conjunto de todas las matrices de ancho 2n + 1 y de alto infinito (hacia arriba y hacia abajo). entonces. . . el elemento x ∈ QZ que lo induce es unico. . diremos que induce a y u Es decir. SF A SF (N ) (N ) es el conjunto de todas las matrices en (Q2N +1 )Z . se define SF (N ) := {y ∈ (Q(2n+1) )Z .16 Proposicion 5 Se cumple que: 1. ∀j ∈ {−N. ∀i ∈ Z. . . Si el N anterior es como el de la proposici´n 4. . . yij = (F i (x))j } (N ) Para alg´n x ∈ QZ . si conozco [F (x)−N . . llamamos a SF o SF . siendo n n la constante de expansividad de F . Sea F positivamente expansiva. y con F −1 (hacia arriba): se le llama un subshift vertical de rango N de F (N ) Supongamos que F es expansiva. y para cada elemento y de SF . . a valores en Q Definicion 17 Si F es biyectiva. u de forma iterativa con F (hacia abajo). . . ∃x ∈ QZ . N }. si conozco [F (x)−N . F (x)N ] para todo n ∈ N. Sea F expansiva. y N = −log2 ( ) . . ´ simplemente . y N = −log2 ( ) . que son producidas al componer alg´n x. siendo n n la constante de expansividad de F . entonces conozco x La demostraci´n es directa de la definici´n en ambos casos (se demuestra por contradicci´n) o o o En el caso positivamente expansivo. F (x)N ] para todo n ∈ Z. entonces.

por lo que Dm es cerrado.m] = (y)|[−m. . . (yn )|[−m. o Veamos entonces que SF es cerrado: Sea y ∈ (Q2N +1 )Z y {yn }n∈N ⊆ SF una sucesi´n tal que yn → y. . .k } Si llamamos wj ∈ QZ a (y)|j . siendo x ∈ QZ el unico elemento que ´   m  F −j ([wj ][−N.N ] ∩  j=1 Luego. Notemos adem´s. . ∀n ≥ N. yn → y ⇔ ∀m ∈ N. que para n suficientemente a .N ] ) ∩ [w0 ][−N. y Ψ−1 es ıa bicont´ ınua La demostraci´n de la bicontinuidad de Ψ−1 es trivial (utilizando sucesiones se tiene el resultado). se tendr´ que a  m tal que Ψ(y) = x.k = (y)j. . N }. . y entonces la intersecci´n o anterior es de conjuntos cerrados.k Definiremos entonces. ∀j ∈ {−m. ∀k ∈ {−N. o Recordemos que en la topolog´ de los cilindros se tiene que ıa yn → y ⇔ ∀m ∈ N. . ∀j ∈ {−m. m}. . se tiene que es de inversa cont´ o ınua. (F j (x))k = yj. (yn )j. ∀n ≥ N.m] Y en este caso en particular. . Debemos probar que y ∈ SF . para cada m. Dm := {x ∈ QZ . ∃N ∈ N. m}. . .17 Esto permite generar la siguiente funci´n: o Definicion 18 Se define la funci´n Ψ := SF → QZ o induce a y Notemos que Ψ es claramente biyectiva Proposicion 6 SF es un cerrado dentro de (Q2n+1 )Z (dotado de la topolog´ de los cilindros). N }. dado que los yn son matrices. . como F es aut´mata celular biyectivo.N ] ) Dm =  j=1 F j ([w−j ][−N. . ∃N ∈ N. . . ∀k ∈ {−N.

pues seg´n los resultados anteriores. La o utilidad de esto es que en lugar de estudiar F . . Notemos que hemos probado que (QZ . N }. F ) ∼ (Y. de donde se deduce: ∀i ∈ Z. σ). σ es biyectiva.j = Yi+1.18 grande. Adem´s. se tendr´ que a m∈N Dm = ∅. . a que induce σ(y)). si y ∈ SF . Como el espacio es a o compacto (pues Q2N +1 lo es). Notando que los Dm son decrecientes. se dice subshift si σ(S) = S Esta definici´n es importante. x ∈ D|i| . . . esto nos dice que SF es cerrado para σ Definicion 20 S ⊆ B Z . .j Y entonces x induce a y. . Como ∀i ∈ Z. N } F i (x)j = yi.j ) Claramente. σ) es un subshift (cerrado o u e invariante para σ) Sistemas Din´micos en el contexto anterior a Definicion 21 Un sistema din´mico es un par de la forma (X. ∀j ∈ {−N. por lo que y ∈ SF Definicion 19 Se define σ := QZ → QZ de la forma usual (en que σ(Y )i. F i (x)j = yi. estudiamos σ. F ) es conjugado con (SF . . entonces σ(y) ∈ SF (basta tomar F (x). luego. Dm = ∅.j . F ) en que X es un conjunto compacto y F es a una funci´n cont´ o ınua Definicion 22 Se define la relaci´n de equivalencia ”‘ser conjugados”’ entre sistemas din´micos o a (X. Ψ(yn ) ∈ Dm . con S cerrado. se tiene que (SF . se tendr´ que comparten una cantidad muy grande de propiedades a a (en general. Tomemos un elemento x ∈ m∈N Dm . . podremos decir que son iguales en los aspectos que nos interesan) Proposicion 7 σ = Ψ−1 ◦ F ◦ Ψ La demostraci´n de esto es trivial. T ) que se cumple ssi ∃Ψ biyectiva y bicontinua. Ψ : X → Y tal que Ψ−1 ◦ F ◦ Ψ = T = Si dos sistemas din´micos son conjugados. necesariamente ∀j ∈ {−N. como F es biyectiva. . se tendr´ la propiedad de la intesecci´n finita.

que tal m´trica induce la topolog´ de los cilindros. en a que: Definicion 23 S se dice subshift de tipo finito ssi es subshift y ∃W ⊆ B + finito tal que ∀x ∈ B Z . los subshift de tipo finito son bastante m´s sencillos de estudiar (tienen propiedades utiles) a ´ Caso N = N Notemos que en este caso. y) = inf {i : i ∈ N. σ(x)i = xi+1 . QN tambi´n resulta ser compacto. SF es en realidad un subshift de tipo finito. veremos m´s adelante. yi = xi } Se tendr´ (al igual que en el caso N = Z). definiendo el shift: σ : QN → QN . a e ıa Finalmente. definiendo la m´trica e a e h : QN × QN → R.19 Para el caso F positivamente expansivo. x ∈ S ⇔ ninguna palabra de W aparece en x En general. y) = 2−n(x.y) con n(x. d(x. adem´s. se tienen los mismos resultados mostrados hasta ahora en el caso N = Z . sin embargo. se puede definir SF de forma an´loga (y obtenemos las mismas a propiedades anteriores).

20 .

Dado µ un recubrimiento abierto de X. . } 0 En que Uj = uj ∩ X. . luego. . ∃s ∈ S. . entonces puede haber un x que pase por m´s de un camino) a Definicion 25 Llamaremos η(µn−1 (X)) = min{|S|. jt0 . . . ∩ T −n+1 (ujtn−1 ) = ∅ ssi hay alg´n x ∈ X.Resultados en Teor´ Erg´dica y ıa o Din´mica Topol´gica a o Entrop´ ıa Sea (X. ∩ T −n+1 (Ujtn−1 ) Los elementos de J n son los nombres de los caminos en µn−1 (X). . s = (jt0 . S ⊆ J n recubre los caminos si para 0 todo x ∈ X puedo encontrar un camino dentro de S por el que pase (notemos que si los abiertos de µ no son disjuntos. n − 1 veces u 21 . . el conjunto de todos los x que pasan por ese camino) n−1 Notaci´n 5 Diremos que S ⊆ J n es un conjunto camino-recubridor de secuencias de µ0 (X) ssi o ∀x ∈ X. con uj ∈ µ Notemos que ujt0 ∩ T −1 (ujt1 ) ∩ . de hecho. digamos con los elementos de J finito). . jtn−1 ∈ J. tal que u x ∈ ujt0 . podemos tomar un subrecubrimiento a ˜ µ finito (indexado. T (x) ∈ ujt1 . . Definicion 24 Se define µn−1 (X) := {Ujt0 ∩ T −1 (Ujt1 ) ∩ . T ) un sistema din´mico. . ∩ T −n+1 (Ujtn−1 ). . . jtn−1 ). . . tal que x ∈ Ujt0 ∩ T −1 (Ujt1 ) ∩ . . (es. . . S es camino-recubridor de µn−1 (X)} 0 0 La idea intuitiva es que este valor es el n´mero de caminos que se pueden observar al iterar T . T n−1 (x) ∈ ujtn−1 . n−1 Esto quiere decir que cada elemento de µ0 (X) representa un camino de largo n para los elementos de x. jt1 .

y es minimal. 0 n−1 Es claro entonces. y aplicando logaritmo.22 Definicion 26 Se define H(µn−1 ) = log(η(µn−1 (X))) 0 0 m−1 Proposicion 8 H(µn+m−1 ) ≤ H(µn−1 ) + H(µ0 ) 0 0 Demostraci´n: o Sea S un camino-recubridor de µn+m−1 (X) minimal. n−1 η(µn+m−1 (X)) = |S| ≤ |Sn × Sm | = |Sn | · |Sm | = η(µ0 (X)) · |Sm | 0 Pero como Sm es camino-recubridor para el conjunto T n (X) ⊆ X. hay menos caminos posibles). nos gustar´ obtener una noci´n de todos los caminos que podemos ver al iterar T ıa o de forma indefinida. n−1 Definimos entonces Sn . Para ello. Para una secuencia h ∈ S definimos hn−1 como la 0 0 n+m−1 secuencia que contiene sus primeras n coordenadas. As´ mismo. pues si hay menos puntos. Sm es ı 0 camino-recubridor para µm−1 (T n (X)). Es claro que S ⊆ Sn × Sm n Notemos que Sn es camino-recubridor de µn−1 (X) y que es minimal pues S es minimal. Sin embargo. y hn como la secuencia que contiene sus restantes m coordenadas. se tendr´ que a 0 0 m−1 H(µn+m−1 ) ≤ H(µn−1 ) + H(µ0 ) 0 0 Notemos que hemos definido H(µn−1 ) que contine la cantidad de caminos que somos capaces de ver al iterar 0 T n − 1 veces. y es minimal para este conjunto. Sm como los h0 y hn+m−1 con h ∈ S. se tendr´ que |Sn | ≤ a η(µm−1 (X)) (esto es claro. ser´ de utilidad el siguiente lema: a . que η(µn+m−1 (X)) ≤ η(µ0 (X))η(µm−1 (X)). pues S es minimal 0 Utilizando lo anterior.

y contiene la noci´n de cu´ntos caminos se ıa o a o a pueden observar al iterar T indefinidamente. T ) = lim ıa o 1 n→∞ n H(µn−1 ) 0 Por el lema anterior. n0 }. pues la sucesi´n est´ acotada por 0). T ) ıa µ Ahora. ≤ 2 Escogemos N = max{N . lo que es un inconveniente. )-separado ssi ∀x. o ´ tales que n = q · n0 + r. veremos de forma r´pida una forma alternativa de calcular la entrop´ a ıa: Definicion 29 x. )-separados Definicion 31 Se define rn ( ) = max{|E|. Tomemos para tal n0 . T i (y)) > Definicion 30 E ⊆ X es (n.23 Lema 3 Sea {an } tal que an > 0 y an+m ≤ an + am . n. que para todo par de naturales o m. htop (T ) = sup htop (µ. Consideremos n0 tal que o a b∈N n 1≤i≤n0 M n an0 n0 n→∞ an an = inf n∈N n n ≤ c + 2. unicos. por lo que se define la entrop´ de la siguiente manera: ıa Definicion 28 Se define la entrop´ de T . x e y son (n. se tiene que d(T i (x). se puede mostrar por inducci´n. Luego. la entrop´ topol´gica est´ bien definida. y r < n0 . que es lo que se quer´ probar ıa Definicion 27 Se define la entrop´ topol´gica de T en µ como htop (µ. Por el algoritmo de divisi´n. y ∈ X son (n. entonces lim Demostraci´n: o Notemos primero que por la sub-aditividad. ∀n ≥ N . M := max {ai }. . podemos encontrar q. y ∈ E. n − 1}. )-separado} Teorema 5 htop (T ) = lim lim 1 log(rn ( )) →0n→∞ n . De esta forma: ∀n ≥ N. estos caminos est´n dados por el recubrimiento a elegido. Sin embargo. )-separados si ∀i ∈ {1. . . se tiene que amn ≤ m · an Sea c = inf an (existe. y escojamos N tal que ∀n ≥ N . . E es (n. r ∈ N. an n an aqn0 +r qan0 + ar qan0 ar an M = ≤ = + ≤ 0 + ≤c+ n n n qn0 + r n n0 n → c.

x est´ en c ssi podemos leer el bloque formado por los wj : a (Notemos que la figura corresponde al caso N) Proposicion 10 Sea µ recubrimiento abierto finito de QZ (digamos. Se tiene un resultado an´logo para el caso N = N a Lo demostraremos para el caso N = Z: Recordemos que los cilindros son una base de abiertos de la topolog´ luego. tomaremos los cilindros centrados en 0 y de largo n + 1). debido a que ν es m´s fino que µ. Tomando logaritmo. ıa. se a tendr´ que htop (µ. de donde se tiene el resultado. η(µn−1 (X)) ≤ η(ν0 (X)) para cualquier n. . entonces ∃n ∈ N. ∃w ∈ Q2n+1 . c tiene la forma [w0 ]−n ∩ F −1 ([w1 ]−n ) ∩ · · · ∩ F −l+1 ([wl−1 ]−n ). ∀i ∈ I. T ) a Notemos que el resultado es intuitivo. ∃wi ∈ Q 2ni +1 ∃ni ∈ N. obtenemos H(µn−1 ) ≤ H(ν0 ). . . F (x) ∈ [w1 ]−n . Tomemos n = max{ni }. ν dos recubrimientos finitos de abiertos de X. si ν es m´s fino que µ. tal que . [wi ]−ni ⊆ ui . necesita m´s caminos para cubrir a a n−1 n−1 X. nos referiremos a µ0 (X) sencillamente como µn−1 o 0 Finalmente. . Recordemos que si n > ni .24 n−1 Notaci´n 6 En lo que resta del apunte. F l−1 (x) ∈ [wl−1 ]−n Es decir. indexado por el conjunto I). y se tendr´ a que [zi wi zi ]−n ⊆ [wi ]−ni . entonces. y 0 0 entonces se llega al resultado al dividir por n y obtener el l´ ımite Entrop´ en Aut´matas Celulares ıa o Definicion 32 Para el caso N = Z se define µn como el recubrimiento de cilindros de largo 2n + 1 centrados en cero (Para el caso N = N. . veremos una proposici´n que nos ser´ de ayuda al tratar con aut´matas celulares: o a o Proposicion 9 Sean µ. tal que ∀u ∈ µ. T ) ≤ htop (ν. luego un x est´ en c ssi a 0 x ∈ [w0 ]−n . pues. podemos tomar un zi ∈ Qn−ni cualquiera. ¿C´mo se ve un elemento en (µn )l−1 ? o 0 Sea c ∈ (µn )l−1 . luego. [w]−n ⊆ u.

esto implica que htop (µ. por lo tanto se cumple: o ∀j = t0 . . T ) ≤ sup htop (µn . . o sup htop (µn . luego. . ∃x ∈ c. por la proposici´n 9. µ es partici´n. n µ Finalmente. . [w]−n ⊆ u. de donde obtenemos la igualdad. T ) ≤ sup htop (µ. o Por la desigualdad anterior. a µ n Por otro lado. . F (x) ∈ ut1 . Por la proposici´n 9. Como c = ∅. Como cada [w]−n pertenece a µn (el recubrimiento de cilindros de largo 2n + 1). . ∃w ∈ o Q 2n+1 . . T ) n→∞ Demostraci´n (para el caso N = Z): o Sea µ un recubrimiento abierto cualquiera. entonces. Por la proposici´n 10. tn−1 ) es el unico camino posible para x. T ).25 Proposicion 11 En QZ y QN se tiene que htop (T ) = lim htop (µn . ∀j = tn−1 . t1 . η(µn−1 ) = |(µn−1 )∗ | o 0 0 en que (µn−1 )∗ := µn−1 − {∅} 0 0 Demostraci´n: o Sea c ∈ (µn−1 )∗ . {htop (µn . notemos que {µn } es una subcolecci´n creciente de recubrimientos (ordenados de acuerdo a la o relaci´n de ser m´s finos). T ). . F (x) ∈ uj . ∀j = t1 . . . es claro que µn es m´s fina a que µ. . T )}n∈N es una sucesi´n mon´tona creciente. x ∈ uj . . debe pertenecer ´ a cualquier S camino-recubridor. se tendr´ necesariamente que sup htop (µ. y por lo tanto. es decir: 0 x ∈ ut0 . la secuencia (t0 . . . T ) = lim htop (µn . T ). luego. existe un n ∈ N tal que ∀u ∈ µ. T ) ≤ htop (µn . y o a o o o se tiene sup htop (µn . F n−1 (x) ∈ uj / / / Y entonces. F n−1 (x) ∈ utn−1 Por otro lado. T ) n n→∞ De donde se concluye el resultado Proposicion 12 Si µ es una partici´n abierta y finita de X. necesariamente. es claro que {µn } es una subcolecci´n de recubrimientos finitos.

F ) donde r es el radio de la regla local de F Demostraci´n: o Antes de demostrar el teorema. B) ∈ Qn−r+1 × νr−1 . y. y el bloque B es un elemento de ((µr−1 )l−1 ). asumiendo que podemos hablar de c y del bloque que induce como el mismo objeto). unico elemento tal que y|[0. σ n−r+1 (y) ∈ B. Consideramos alg´n x ∈ B (B es no vac´ Tomando y = wx el u ıo). sea (w. De esta forma. 0 0 Teorema 6 En el caso QN se tiene que htop (F ) = htop (µr−1 . se tiene la igualdad. y x ∈ c. En particular.n−r] = w y σ n−r+1 (y) = x. Notemos que c es de la forma: (Esto es. llamemos sencillamente νn a ((µn )l−1 )∗ . se tendr´ que |(µn−1 )∗ | ≤ |S| para todo S camino-recubridor. se tiene que B = ∅.26 Como esto ocurre ∀c ∈ (µn−1 )∗ . se cumple que. podemos reconocer que tal bloque induce de forma unica a ´ En que w es una palabra de largo n + 1 − r. veamos primero que |((µn )l−1 )∗ | = |((µr−1 )l−1 )∗ | · |Q|n−r+1 : 0 0 Para hacer m´s f´cil la notaci´n. podemos ´ leer en y la siguiente figura: . ´ Por otro lado. 0 0 Notando que las secuencias generadas por los c ∈ (µn−1 )∗ cubren µn−1 . En a 0 0 particular. por lo tanto. c induce de forma unica un elemento de Qn−r+1 × νr−1 . |(µn−1 )∗ | ≤ η(µn−1 ). a a o 0 0 Sea c un elemento de νn . Dado que (por la 0 shift-invarianza) σ n−r+1 (x) ∈ B. y entonces B ∈ νr−1 . y νr−1 a ((µr−1 )l−1 )∗ .

Adem´s. se a tiene que. le corresponde un unico elemento en νn−1 ı. As´ hemos mostrado que para cada elemento en Qn−r+1 × νr−1 . F ) . por la proposici´n o anterior: htop (µn . ıo. luego. como conocemos F (y) entre n − r + 1 y n (pues σ n−r+1 (y) ∈ B). podemos conocer las primeras n − r + 1 coordenadas de F (y). 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 ∈ νn−1 (es no vac´ pues y ∈ Q). Para concluir el teorema. F ) = = = = = = lim lim 1 log(η((µn )l−1 )) 0 l→∞ l lim l→∞ lim 1 log(|νn |) l l→∞ 1 log(|νr−1 | · |Q|n−r+1 ) l 1 n−r+1 log(|νr−1 |) + lim log(|Q|) l→∞ l l→∞ l l→∞ lim 1 log(η((µr−1 )l−1 )) 0 l htop (µr−1 . por lo que se tiene |νn−1 | = |νr−1 × Qn−r+1 | = |νr−1 | · |Q|n−r+1 Que es lo que quer´ ıamos probar. ´ y viceversa. dado que conocemos las primeras n + 1 coordenadas de y.27 Notemos que. en realidad. notemos que µn y µr−1 son particiones de abiertos.

F ) = lim htop (µr−1 . σ) es el logaritmo del valor a ıa o propio de Perron de la matriz A de incidencia del grafo . As´ η((µm )1 ) = |Q|2m+1+1 (pues por cada cilindro. F ) = htop (µr−1 . que puede tomar cualquier valor en Q. |u| < λ 3. F ). ∃λ > 0 (llamado el valor propio de Perron). En este caso.28 Luego. F ) = htop (µr−1 . se concluye que htop (σ) = log(|Q|) Para concluir esta secci´n. Se tiene que σ(x)|[−m. ker(A − λI) =< u > para alg´n u > 0 u Teorema 8 Sea G un grafo dirigido conexo finito. htop (µn .m] (recordemos que tales valores est´n fijos. tal que: 1. Luego. de donde se concluye que htop (F ) = lim htop (µn . 0 a otros |Q| cilindros).m−1] = x|[−m+1. y sea Σ el conjunto de todos los paseos infinitos (en uno o ambos sentidos) por el grafo. Notemos que hay |Q|2m+1 de tales cilindros (y son todos no vac´ ıos). σ) es log(|Q|). adjuntamos un par de resultados que nos ser´n utiles en el ultimo cap´ o a ´ ´ ıtulo: Teorema 7 Sea A matriz cuadrada a valores naturales tal que A es irreducible. tendremos inductivamente que η((µm )n ) = |Q|2m+1+n . (Se tiene el mismo resultado para QN ) ıa o Demostraci´n: o Sea µm el recubrimiento de cilindros centrados en 0 de largo 2m + 1. la entrop´ para tal recubrimiento ser´: ıa a htop (µm . podemos pasar ı. F ) n→∞ n→∞ Veamos a continuaci´n un resultado que nos ser´ de utilidad m´s adelante: o a a Proposicion 13 La entrop´ topol´gica de (QZ . por estar x en u). ∀u valor propio de A. m] que no est´ fija para σ(x) es la coordenada a ´ a m. λ es valor propio de A 2. ∀n ≥ r − 1. luego η((µm )0 ) = |Q|2m+1 0 Sea u uno de tales cilindros y x ∈ u. 0 con lo que. Entonce se tendr´ que la entrop´ topol´gica de (Σ. la unica coordenada en [−m. Utilizando el mismo criterio para σ i+1 (x) y σ i (x). σ) = lim 1 n→∞ n log(|Q|2m+n+1 ) = log(|Q|) Como esto se cumple para todo m.

por el lema de Baire. T ) es transitivo si ∀u. (X. alguno de ellos caer´ en V a 2. nos indica que. v = ∅ abiertos de X. (X. T ) es mezclador ssi ∀U. V abiertos no vac´ de X. eventualmente. existe un elemento en U que llega en n iteraciones a V u Definicion 34 Un conjunto A ⊆ X se dice residual si contiene una intersecci´n numerable de abiertos densos o en X Notemos que un espacio m´trico compacto. al iterar los elementos de U . ∀n ≥ N. T ) es minimal si ∀x ∈ X. (X. La propiedad de ser mezclador es a´n m´s fuerte que la propiedad anterior. un conjunto e residual es denso (y viceversa) Definicion 35 (X. T ) se dice casi-equicont´ ınuo si el conjunto ξ de sus puntos equicont´ ınuos es residual . se a definen las siguientes propiedades: Definicion 33 Se define: 1. Para ello. U y V . T ) es d´bilmente mezclador si (X × X. pues establece que para un u a n´mero cualquiera n suficientemente grande. T × T ) es transitivo e 4. (X.29 Din´mica topol´gica a o Nos interesa estudiar y clasificar los distintos sistemas din´micos de acuerdo a sus propiedades. ∃n ≥ 0 tal que U ∩ T −n (V ) = ∅ 2. orb+ (x) = X 3. U ∩ T −n (V ) = ∅ ıos Nos interesan particularmente las propiedades de ser transitivo y mezclador: 1. El que T sea transitivo. dados dos abiertos cualesquiera. ∃N ≥ 0. luego. en particular es completo.

∀n ≥ 0. y entonces ı. z ∈ Bδ (T (x)). T (x)) < x x Luego. x) < ν ⇒ d(T (ˆ). tal que ∀y. x2 ∈ Bν (x). Tomemos > 0 cualquiera. T n (z)) < } El conjunto ξ es el conjunto de todos los puntos x. existe δ > 0. ∀n ∈ N. existe un δ > 0 (que podemos tomar menor que ). podemos encontrar ν > 0. ∀ˆ1 . T −1 (ξ ) ⊆ ξ 2. T n (x)) = d(T n−1 (T (ˆ). entonces para cada n. x x x d(T n (ˆ). d(T n (y). d(T (ˆ1 ). T n (y)) < que cumpla la propiedad anterior. y) < δ < .30 Proposicion 14 Si ξ es el conjunto de los puntos equicont´ ınuos de X. T n (ˆ2 )) < x x ´ x x para cualquier n ≥ 1. T (ˆy ). d(T n (ˆ1 ). T n (z)) < . d(T (ˆ). Por la continuidad de T . y) < δ ⇒ d(T n (z). En particular podemos tomar δ < Por otro lado. luego. se define ξ := {x ∈ X. T n−1 (y))) < x x ∀n ∈ N Definicion 36 Sea > 0. ∃δ > 0. y por esto ultimo. Como y ∈ ξ. tal que ∀ˆ ∈ Bν (x). Por pertenecer T (x) a ξ . ξ es abierto 3. ∀y. z ∈ Bδ (x). tal que d(ˆ. T (x)) + d(T (x). ∃ν > 0. Sea x ∈ T −1 (ξ ). T (ˆ2 ) ∈ Bδ (x). T (ˆ2 )) ≤ d(T (ˆ1 ). se tiene que T −1 (ξ) ⊆ ξ Demostraci´n: o Sea x ∈ T −1 (ξ). T n (y) es parecido a T n (z) e Proposicion 15 Se tienen los siguientes reultados: 1. T (x) = y ∈ ξ. tales que si dos puntos z e y son parecidos a x (en el sentido de la m´trica). como T es cont´ ınua. ξ = n≥1 1 ξn Demostraci´n: o 1. tal que d(z. T (ˆ2 )) ≤ δ x ˆ x x x x De esta forma. δ 2 . ∀n ≥ 0. x) < ν ⇒ d(T (ˆ). x x As´ d(ˆ. y) < δ < . d(T n (y). T (x)) = d(T (ˆ).

Veamos que ξ = n≥1 1 ξn : ⊆ : Sea x ∈ ξ. x) ≤ d(z. d(T n (y). se concluye que ξ es abierto 2 ∀n ∈ N 2 δ 2 tal que ∀y. T n (z)) < 1 n. entonces d(T n (y). ∀n ∈ N. tendremos que ∀y ∈ Bδ (x). z ∈ Bδ (x). Tomemos δ > 0 tal que ∀y. x2 ∈ Bν (x). d(T n (y). Sea x ∈ ξ . x) ≤ δ ˆ x Luego. tomando z = x. T n (x)) < . z ∈ B δ (ˆ). Por definici´n sabemos que existe un δ > 0. y. ˆ Lo anterior indica que B δ (x) ⊆ ξ . ∀n ∈ N En particular. 1 Como x ∈ ξ m . y consideremos la bola B δ (ˆ). z ∈ Bδ (x). Tomemos > 0 cualquiera. d(T n (y). z ∈ Bδ (x). T n (z)) < < . T n (z)) < . lo que nos 3. T n (z)) ≤ d(T n (y). T n (z)) < x ∀n ∈ N. d(T n (y). tal que 1 n > 1 m. T n (ˆ2 )) < . z ∈ B δ (ˆ). Veremos que B δ (x) ⊆ ξ 2 x x Tomemos un x ∈ B δ (x) cualquiera. y como x es cualquiera. z ∈ Bδ (x). existe un δ > 0. x) + d(ˆ. d(T n (ˆ1 ). . d(T n (y). d(T n (y). T n (x)) + d(T n (x). x) ≤ δ ˆ x d(z. x) ≤ d(y. lo que indica que x pertenece a la intersecci´n de los ξ n ı. Sean y. tal que ∀y. Se tiene que: ˆ 2 2 2 d(y. T n (z)) < De esta forma hemos encontrado garantiza que x ∈ ξ . ∀n ∈ N x ˆ x x 2. y esto se cumple para todo n. Sabemos que existe un m en N. T n (x)) < o Sean y. 1 2n 1 1 As´ x ∈ ξ n . con lo que concluimos que x es equicont´ ınuo.31 Concluimos finalmente que ∀ˆ1 . o ⊇ Sea x ∈ n∈N 1 ξ n . y por lo tanto. x) + d(ˆ. tal que ∀y ∈ Bδ (x).

lo anterior implica que U ∩ ξ = ∅ (contradicci´n. se tiene que T (X) es cerrado. o De esta forma. (lo que es una contradicci´n. Si el conjunto anterior es no vac´ como T es transitivo. tomando z = x. d(T n (x). (T (X))c es abierto. se tendr´ que T n (x) = T (y) ∈ T (X)) o a Definicion 37 Se dice que (X. si llamamos y a T n−1 (x). En este caso. existe un n > 0 tal que U ∩ T −n (ξ ) = ∅. existen x ∈ X. ∀δ > 0. entonces ξ = X: En efecto: si ξ = X. z ∈ Bδ (x). ∃n ≥ 0. o es casi-equicont´ ınuo Demostraci´n: o Veamos que si ξ = ∅. T ) es transitivo. se tendr´ que: a ∀x ∈ X. Por otro lado. no vac´ y disjunto con ξ . ∀n ≥ 1. luego. T ) es transitivo. T ) es uniformemente r´ ıgido si para la sucesi´n { T n − id o punto de acumulaci´n o ∞ }n∈N el 0 es un . ıo Por transitividad. entonces ξ es residual n≥1 (luego. tales que T n (x) ∈ (T (X))c ıo. d(T n (z). se tendr´: a ∀x ∈ X. ξ n = ∅ En este caso. ∃n ≥ 0. con constante 1 n Observacion 4 Si (X. como ξ = 1 1 ξ n y cada ξ n es un abierto denso. T ) es casi-equicont´ ınuo) 1 2. ξ n = ∅ . ∃y.32 Teorema 9 Si (X. T n (y)) > En particular. T (X) es compacto. ∃n ∈ N. ∀δ > 0. (X. En particular. T n (y)) > Que es la definici´n de ser sensible a las condiciones iniciales (con constante ). pues hab´ o ıamos dicho que U era disjunto con ξ ). Como T −n (ξ ) ⊆ ξ . pues. n ∈ N. podemos tomar U = X − ξ que es abierto. entonces o es sensible a las condiciones iniciales. entonces es sobreyectivo Demostraci´n: o Notemos que como X es compacto y T es cont´ ınua. hay dos casos posibles: 1 1. ∃y ∈ Bδ (x). notemos que si ξ = ∅. el sistema es sensible a las condiciones iniciales.

T n (x)) < 2 . ∀n ∈ N 6 Como Bδ (x) − {x} es abierto. d(T N +m (x). . y entonces x es equicont´ ınuo o (b) ⇐ Por contradicci´n. Como y ∈ T −n (B 2 (z)). tal que orb(x) = X y sea un > 0 cualquiera. se tiene que ı. Como x es equicont´ ınuo. d(T n (x). y x ∈ X equicont´ ınuo. orb(x) = X ⇔ x es equicont´ ınuo 2. existe un N > 0 tal que T N (x) ∈ Bδ (x) . necesariamente x ∈ ξ . existe un δ > 0 tal que ∀y ∈ Bδ (x). d(T n (y). como T es transitivo. T es homeomorfismo Demostraci´n: o 1. T n (x)) ≤ . T n (y)) < 2. As´ como esto ocurre ∀ . Por otro lado. T m (x)) ≤ 3 . sabemos que existe n ∈ N. z) < . se tiene que existe n ∈ N tal que T n (x) ∈ ξ . sea x ∈ ξ tal que orb(x) = X. ∀y ∈ Bδ (x). ∀m ∈ N. (X. Por otro lado. x ∈ ξ. ∃δ > 0. ∀n ∈ N. T n (y)) + d(T n (y). Consideremos la bola B 2 (z). ii. Notemos que U = (orb(x))c es un abierto no vac´ luego. lo que quiere decir que T n (x) ∈ B (z) ⊆ (orb(x))c (contradicci´n). tomando z ∈ U . se tiene que d(T n (y). T ) transitivo y casi-equicont´ ınuo. Como y ∈ Bδ (x).33 Teorema 10 Sea (X. T ) es uniformemente r´ ıgido 3. z) < 2 . notamos que existe un ıo. Sea > 0 cualquiera. (a) ⇒ Sea x ∈ X. entonces: 1. se tiene que d(T n (y). como T −n (ξ ) ⊆ ξ . luego. z) ≤ d(T n (x). tal que B (z) ⊆ U (por ser U abierto). Deducimos entonces que d(T n (x). o 2. y orb(x) = X (por la parte anterior). Como x es equicont´ ınuo. Como orb(x) es denso y ξ es abierto. > 0. tal que Bδ (x) ∩ T −n (B 2 (z)) = ∅ Sea y en tal intersecci´n: o i.

T n (z)) ≤ Como lo anterior se cumple para todo z ∈ X. T −1 (y)) ≤ Es decir. En tal caso. d(T N (z). T n (x)) + d(T n (x). T m (x)) + d(T m (x). > 0. T m+N (x)) + d(T m+N (x). T n (x)) + d(T n (x). z) ≤ . d(T n+1 (z). d(x. sabemos que existe δ > 0. tal que ∀y ∈ Bδ (x). x = y. con lo que: d(z. ∃δ2 > 0. y) ≤ ınua: Sea (b) De inversa cont´ < . Como son distintos. luego. tal que ∀z ∈ X. se tendr´ que para cualquier y ∈ Bδ (x): ı. ∀z ∈ X Que es lo que queriamos probar 3. ∃n ∈ N. d(T n (x). a d(T −1 (x). existe un Supongamos que T (x) = T (y). Veamos que T es un homeomorfismo. T N (y)) ≤ Por otro lado. y) ≤ d(x. T N es cont´ ınua. como orb(x) = X. Por la parte anterior. z) ≤ 3 Por otro lado. lo que no puede ser. y) = .34 Como T es cont´ ınua. tal que d(x. existe n. T N (z)) ≤ d(z. T −1 (y)) ≤ d(T −1 (x). y ∈ X. Como sabemos que T es sobreyectiva y cont´ ınua. T n (y)) ≤ 3 As´ como T n (x) = T n+1 (T −1 (x)). tal que d(z. existe un n ∈ N. T −1 es cont´ ınua . Ya que T es uniformemente r´ ıgido. luego. tal que T m (x) ∈ Bδ2 (z). d(T n (z). T n (y)) + d(T n (y). debemos probar que es: (a) Inyectiva: Sean x. entonces ∀ > 0. T n es cont´ ınua. como T es cont´ ınua. ∀z ∈ X 2 3 > 0. δ2 < 3 tal que 3 ∀y ∈ Bδ2 (z). T n (z)) ≤ 3 . existe un m > 0. T n (y)) + d(T n (y).

tales aut´matas celulares tienen comportamientos m´s bien determinados. Veremos que. En particular se cumple para alg´n x equicont´ u ınuo. o (Tambi´n se cumple para N = N) e Demostraci´n: o Del cap´ ıtulo anterior. lo que no puede ser. d(x. F n−1 (x)} = QZ Lo que indica que QZ es finito. F (x). tal que ∀x ∈ QZ .Aplicaciones en Aut´matas celulares o Recordemos que un aut´mata celular en QZ (o N) es. o es casi-equicont´ ınuo. en particular. . sabemos que existe un n > 0. se tiene que F n (x)0 = x0 . 35 . un sistema din´mico. en o a realidad. luego. Como F es transitivo y casi-equicont´ ınuo. y como esto se cumple para todo x. F ) un aut´mata celular transitivo. por lo que: orb(x) = {x. . o es sensible. se cumplir´ para σ l (x): a F n (x)l = (σ l (F n (x)))0 = (F n (σ l (x)))0 = (σ l (x))0 = xl Luego. como esto se cumple ∀l ∈ Z. se debe tener que F n (x) = x (y esto para todo x). . o a Proposicion 16 Sea (QZ . Supongamos que el aut´mata o es casi-equicont´ ınuo. F n (x)) ≤ En particular. entonces es sensible a las condiciones iniciales. . es uniformemente r´ ıgido. como F es transitivo.

como s ≥ r. ´sta induce un bloque de ancho s. En particular. debido a la posici´n e o en la que se encuentra u (a la izquierda). podemos argumentar que conocemos F n+1 (x) entre k + L y k + L + s. en particular. luego. Esto quiere decir que conocemos F n (x) entre las o coordenadas −s − k − L y s + k + L.36 Proposicion 17 Sea (QZ . conocemos F n+1 (x) entre −k − L y k + L. 2. . a Demostremos esto por inducci´n sobre n: o 1. con lo que concluimos que conocemos F n+1 (x) entre −s − k − L y s + k + L. o a Sea w una palabra de largo 2L + 1. y el bloque que determina es de ancho 2s + 2k + 2L + 1 Ilustremos un poco esta proposici´n: o Sea x ∈ [uwu]−s−2k−L . En tal caso. Como el radio de la regla local es r. Caso n + 1 : Supongamos cierta la hip´tesis para n. F n (x)[−s−k−L. Notando que u es palabra bloqueadora. Caso n = 0 : Notemos que este caso es trivial. uwu es bloqueadora. conocemos F n+1 (x) entre −s − k − L y −k − L. conocemos F n+1 (x) entre las coordenadas −s − k − L + r y s + k + L − r. De la misma forma. luego. lo conocemos entre −s − k − L y s + k + L. pues conocemos x entre las coordenadas −s − 2k − L y s + 2k + L. que determina un bloque de ancho s. F ) un aut´mata celular y r el radio de su regla local (el caso QN es an´logo). con s ≥ r. y u una palabra bloqueadora de largo t := s + 2k.s+k+L] est´ determinado. Debemos mostrar que ∀n ∈ N.

∀l ∈ N. ξ = n∈N 1 ξn . y[−p. luego. Consideremos x ∈ QZ . Si el sistema fuese sensible a las condiciones iniciales. por la proposici´n o anterior. ∃x ∈ QZ .n] ⇒ F l (x)|[−m. ⇐ Sabemos que el aut´mata es casi-equicont´ o ınuo. lo que no puede ser. y el bloque que induce es m´s ancho que w.n] = x|[−n. podr´ ıamos tomar n ∈ N. ıa o o 2. ⇒ La negaci´n de la sensibilidad de F nos indica que ∀ > 0. tomemos un k en N tal que s ≤ L + k(2n + 1). ∃δ > 0. F n (y)) ≥ En tal caso. y|[−n.m] . ∀δ > 0. Veamos que x es equicont´ ınuo: En efecto. Como ξ n es no vac´ existir´ un x en este 1 conjunto. obtenemos una palabra u ∈ Q2n+1 . ∃y ∈ Bδ (x).m] = F l (y)|[−m. considerando un m > r fijo (donde r es el radio de la regla local). F ) un aut´mata celular finito (se tiene el mismo resultado en QN ). tal que ∀x ∈ QZ . d(F n (x). y definamos la palabra w como x entre las coordenadas −L − k(2n + 1) y L + k(2n + 1). tendremos: ∀y ∈ QZ .37 Teorema 11 Sea (QZ . ∃x ∈ QZ . x no cumplir´ la propiedad anterior (por la definici´n de ξ n ).t] .p] = x[−p. Sea ahora una palabra w de largo 2L + 1. ∃n ∈ N. ∀l ∈ N De esta forma. F n (x)[−t. tal que 1 n 1 ıo.n] y que es bloqueadora. uwu es bloqueadora.p] = uwu. y adjuntar la palabra u infinitas veces tanto a la derecha como a la izquierda de w. que resulta de centrar w en la coordenada 0. ıa < . ∃n ∈ N. luego. d(F l (x). sea s ∈ N. a Si llamamos p a L + (k + 1)(2n + 1) y t a L + k(2n + 1) (recordemos que s ≤ t). como: ∀m ∈ N. existir´ ıa > 0. entonces o F no es sensible a las condiciones iniciales ⇔ F es casi-equicont´ ınuo Demostraci´n: o 1. definida como u = x|[−n. ∀n ∈ N . F l (y)) < Esto podemos caracterizarlo. ∀y ∈ Bδ (x).t] = F n (y)[−t. Como u es palabra bloqueadora.

x es equicont´ ınuo.s] = F n (y)[−s.n] ⇒ F (x) = F (y).m] y escojamos el x resultante de centrar w en cero. y que se tiene x[−m. para la cual existen dos palabras u y v de igual largo. x|[−∞.p] = uwu. por lo que se concluye que F es ı casi-equicontinuo Aut´matas cerrados o Definicion 38 Un aut´mata celular. Hemos encontrado as´ un conjunto denso de puntos equicontinuos. hemos podido encontrar un punto Φ que est´ suficientemente cerca de y. Definamos ahora ΦL el conjunto de todos los x definidos de la manera anterior. Es claro que x ∈ Φ. Podemos entonces definir Φ := L∈N F n (x)[−s.n] = y|[−∞.m] .p] = x[−p. Podemos traducir esto en que. que es un conjunto de puntos equicont´ ınuos Sea y ∈ QZ un punto cualquiera. para una distancia cualquiera.38 En particular se tiene: ∀y ∈ QZ . (QZ . F ) se dir´ cerrado a la derecha ssi existe un n ∈ Z. y[−p. a partir de palabras de largo 2L + 1 (Notemos que todos los puntos de ΦL son equicont´ ınuos). tales que f (wuw) = f (wvw) . como s es cualquiera. a Definicion 39 Un aut´mata celular. y m ∈ N cualquiera. Tomemos w := y|[−m. con lo que concluimos e que Φ es denso (pues y es arbitrario). x = y. ∀n ∈ N ΦL . Luego. tal que todos sus elementos son iguales a x desde la coordenada n hacia atr´s. a Consideremos el conjunto Bx . F ) se dir´ cerrado si es cerrado a la derecha o a la izquierda o a Definicion 40 Se define un diamante como una palabra w de largo al menos 2r (con r el radio de la regla local). Se define ser cerrado a la izquierda de forma an´loga.s] . a F ser´ entonces cerrado a la derecha si es inyectivo al restringirlo a cada Bx .m] = y[−m. (QZ . y ∈ QZ . y adjuntar u infinitas veces a la derecha y a la izquierda. tal que o a ∀x.

si F no es sobreyectivo existe un diamante w. Como |Mm | > |f (Mm )|. v ∈ Mm . se deduce que f no puede ser biyectiva. entonces existe un diamante Demostraci´n: o Recordemos que en la demostraci´n del teorema 4. wi ∈ f −1 (z) ∀i} 2. Es claro que el largo de w es igual al largo de z m´s 2r. entonces es sobreyectivo Demostraci´n: o Por contrarrec´ ıproca. necesariamente existe un z tal que |f −1 (z )| = |Q|2r . Tomemos todas las palabras de largo l. Supongamos z de largo l. F no es sobreyectiva. . Mm := {ww0 w1 . luego. entonces: |Q2r+l | = |f −1 (Ql )| = |f −1 ( z∈Ql {z})| = z∈Ql |f −1 (z)| < z∈Ql |Q2r | = |Q2r+l | Lo que no puede ser. Adem´s. es decir. . vi ∈ Q2r ∀i} Notemos que |Mm | = |f −1 (z)|m y que |Nm | = |Q|2r(m+1) . . luego. Tomemos x anexando w infinitas veces a la izquierda y a la derecha de u. tales que f (wuw) = f (wvw) Lema 4 Si F es cerrado. |f −1 (z )| < |Q|2r ). . llegamos a que o F es sobreyectiva ssi |Q|2r = |f −1 (z)| ∀z ∈ Q+ En este caso.39 Proposicion 18 Si F no es sobreyectivo. zvm z. existen u . tal que f (u ) = f (v ). |Mm | > |Nm | > |f (Mm )|. wm−1 w. con u = v . Sean u y v dos palabras distintas de igual largo tales que f (wuw) = f (wvw). a Definamos para cada m los siguientes conjuntos: 1. se tiene que f (Mm ) ⊆ Nm a Como |f −1 (z)| > |Q|2r . obtenemos la desigualdad |f −1 (z)|m > |Q|2r(m+1) . y tomemos y anexando w infinitas . para un m suficientemente grande. y supongamos que cada una de ellas es menor o igual a |Q|2r (en particular. pero esto quiere decir que existen u y v distintos y de igual largo. existe un z de largo l tal que |f −1 (z)| > |Q2r | Sea w ∈ f −1 (z). luego. Nm := {zv0 zv1 z .

m] = F (y)|[−m. y los encontrados en X). se tiene que x|[−∞. y) ∈ (QZ )2 . Adem´s. e iguales desde alguna coordenada hacia atr´s. definimos el conjunto Xm como: Xm := {(x. tal que ∀x . x |[−∞.−1] = y|[−m. concluimos que F no puede ser cerrado a Lema 5 F es cerrado a la derecha ssi ∃m > 0.n] = y |[−∞. la propiedad de la intersecci´n finita. y ∈ QZ . y = σ −n+1 (y) (con x. X := o m≥1 Xm = ∅.−1] = y|[−m. como el espacio es compacto. Es claro que F (x) = F (y) a pesar de que x e y son iguales desde alguna coordenada en adelante. (x|[−m. ıa o uno por cada propiedad.−1] ∧ F (x) = F (y) ∧ x = y Como F es cerrado a la derecha. es f´cil ver que cada uno es cerrado). ∀x. Como {Xm } es una familia decreciente de cerrados no vac´ se tiene ıos.m] = F (y)|[−m. Tomemos (x. se tiene que Xm+1 ⊆ Xm a a Supongamos que ∀m > 0.n] ⇒ F (x ) = F (y ) Tomando x = σ −n+1 (x).−1] ∧ F (x)|[−m.m] ) ⇒ x|0 = y|0 (an´logamente se tiene el lema para el caso cerrado por la izquierda) a Podemos ilustrar esta idea como: Demostraci´n: o ⇒ Sea m > 0. luego. x = y . Xm = ∅.40 veces a la izquierda y a la derecha de v.−1] = y|[−∞.n] ∧ F (x ) = F (y ) ∧ x = y . existe n ∈ Z.−1] ∧ F (x)|[−m. y. x|[−m. y) ∈ X.n] = y |[−∞. habremos encontrado un par tal que x |[−∞. luego. luego.m] ∧ x0 = y0 } Notemos que Xm es cerrado en la topolog´ producto (representando Xm como la intersecci´n de tres conjutos.

x0 = y0 . Definimos B := {(u. lo que indica que F es cerrado a la derecha (con n = −1). Xm = ∅. a luego.−1] = y|[−∞.41 Lo que no puede ser. dados u ∈ Qm y v ∈ Q2m . v) ∈ Qm × Q2m .0] = y|[−m+1.m] = F (x)[−m+1.m+1] = F (y)[−m+1. Si m es suficientemente grande.m] = F (y)|[−m.−1] ∧ F (x)|[−m. F ([u]−m ) ∩ [v]−m = ∅}.0] = σ(y)|[−m. Concluimos entonces que ∃m > 0. utilizando el argumento anterior. luego.−1] ∧ F (x) = F (y) En particular se tendr´ que x|[−m. . El lema que demostraremos a continuaci´n es lo que nos permitir´ darle importancia a la propiedad de ser o a cerrado en aut´matas celulares o Lema 6 Sea F un aut´mata cerrado a la derecha.m] para el m de la propiedad.−1] = y|[−m. F ([ua]−m ) ∩ [vb]−m = ∅ Ilustremos un poco esta idea: Demostraci´n: o Escojamos m tal que se cumple la propiedad del lema anterior (existe. Es muy sencillo notar que σ(x)|[−m. concluimos que x = y.m+1] = F (σ(y))|[−m. Como Xm reune a todos los elementos que no cumplen la propiedad para un cierto m. Inductivamente. ∃!a ∈ Q.m] Luego. llegamos a que xl = yl para l cualquiera. Consideramos ahora σ(x) y σ(y).−1] (por lo anterior) F (σ(x))|[−m. por la propiedad. o tales que F ([u]−m ) ∩ [v]−m = ∅ se tiene que ∀b ∈ Q. pues el aut´mata es cerrado a la o derecha). x1 = σ(x)0 = σ(y)0 = y1 . tales que x|[−∞.−1] = x|[−m+1. ⇐ Sean x e y. se deduce que la propiedad se tiene para todos los elementos.

. . por lo que. Sabemos entonces que existen y y z asociados a tales b0 y bf (como en la definici´n de B). .−1] = y[−m. u A continuaci´n construimos un grafo dirigido G. hemos encontrado un camino entre b0 y bf en G. σ(x). . es decir. lo que nos permite concluir que G es conexo. tales que existe alg´n x ∈ QZ que cumple con x|[−m. Es claro que x ∈ [w1 ]m−r con lo que x|[−m. bf −1 bf ∈ G. b2 . . b0 b1 .r+m−1] y w2 = z|[−r−m. σ 2m+2r+1 (x) ∈ [w2 ]−m−r . . pertenece a G ssi u|[2. σ 2m+2r+1 (x) est´ asociado a a a bf Finalmente. Por lo visto anteriormente. que est´ asociada a la secuencia a b0 .m−1] Es decir. Tomemos un x cualquiera en [w1 w2 ]|−m−r . .42 ´ Este es el conjunto de todos los pares de palabras u y v (de largo m y 2m. podemos tomar la secuencia x. v) y b2 = (s. los o e v´rtices tienen la forma: e Y los arcos de G son tales que: Un arco b1 b2 (con b1 = (u.m−1] = F (y)|[−m. .−1] = u y F (x)|[−m. .2m] = t|[1.m−1] = v. σ 2m+2r+1 (x).m] = s|[1.r+m−1] . b1 b2 . . cuyos v´rtices V (G) son los elementos de B. respectivamente). o Sea r el radio de la regla local de F . bf .m−1] y v|[2.−1] ∧ F (x)|[−m. Utilizaremos esto para probar que G es conexo: Sean b0 y bf dos elementos cualesquiera en B. y consideremos w1 = y|[−r−m. t)). . . an´logamente al caso anterior. .2m−1] Es decir: No es dif´ notar que si b1 es el elemento en B inducido por x. entonces ıcil b1 b2 ∈ G. y b2 es el elemento inducido por σ(x). b1 . x est´ asociado a b0 a Por otro lado. σ 2 (x).es decir.

−1] . (ui . Notemos que para σ i+m (x). σ). F (σ i+m (x))|[−m.i+2m−1] ) = (ui . luego. .i+2m−1] ) = (ui . vi ) Luego. σ) es conjugado ıcil o a con (Σ.m−1] ) = (x|[i. pues ui |[2. tal que Φ(x) = {(x|[i.i+m−1] .m] = x|[i+1.i+m−1] = ui+1 |[1. que Φ(x)i Φ(x)i+1 es un arco de G. F (x)|[i. vi ) ∈ B 2.43 Consideramos ahora el conjunto Σ ⊆ B Z de los paseos infinitos en el grafo G. se tendr´ que (QZ . veamos que Φ(x)i ∈ B. un paseo infinito en el grafo.i+m−1] . F (x)|[i. Notemos. Sea x ∈ QZ . y que conmuta con los shift.i+2m−1] )}i∈Z Visualmente la funci´n Φ tiene esta forma: o Veamos que Φ est´ bien definido: a 1. vi ) que son de largo m y 2m respectivamente.m−1] (para vi es an´logo) a De esta forma. por otro lado. En efecto. Definimos Φ : QZ → Σ. Φ(x)i = (x|[i. Φ(x) es. se tiene que (σ i+m (x)|[−m. F (x)|[i. efectivamente.i+m−1] . No es dif´ ver que Φ es biyecci´n.

En particular. luego. Por el mismo argumento anterior. Como u tiene finitas ´ coordenadas. Demostrar la existencia consiste entonces. como (QZ . . si existe un a ∈ Q. Notemos que. Podemos concluir entonces. concluimos que debe tener exactamente un vecino por cada a letra en Q. tiene a lo m´s un vecino por cada letra en Q. a u |B| Notemos que cada elemento en B tiene a lo m´s |Q| vecinos. se tiene que la entrop´ ıa topol´gica de (Σ. Sea (u. v) ∈ B puede tener a lo m´s |Q| vecinos (uno por cada a letra concatenada a v). ıa la segunda desigualdad ser´ estricta. se tiene que para bi maximal: |B| |B| |Q|M = j=1 Aij uj ≤ j=1 Aij M ≤ |Q|M Como u es no negativo. se debe tener ıa. dado b ∈ Q. A un elemento bi tal que ui = M . entonces que λ = |Q|. debemos mostrar entonces ´ que tal a existe. entonces. y los Aij son todos unos y ceros. con lo que se concluye el lema. alcanza su m´ximo M > 0 en alg´n ui . la primera desigualdad ser´ estricta. tal a es unico. Para concluir el teorema. lo que no puede ser. a j=1 Aij ≤ |Q|. tal que F ([ua]−m ) ∩ [vb]−m = ∅. v) un elemento cualquiera de B. o Por la proposici´n 13. Recordemos que tal vector es no negativo. lo llamaremos maximal. y que es conexo. que si bi es un ıa elemento maximal. Sea u el unico vector propio asociado a λ. si bi tuviese menos de |Q| vecinos. Por otro lado. y como el grafo es conexo. Hemos probado entonces que ser maximal es una propiedad de clase. entonces tiene |Q| vecinos. en mostrar que cada elemento de B tiene exactamente |Q| vecinos. luego. en particular deben tener la misma entrop´ Llamando λ al valor propio de Perron de A. lo que tampoco es posible. σ) es el logaritmo del valor propio de Perron de A. cada uno de ellos tiene exactamente |Q| vecinos. σ) y (Σ. donde A es la matriz de incidencia de G. como u es vector propio asociado a λ = |Q|. cada elemento (u. todos sus elementos son maximales. la entrop´ topol´gica de (QZ . por el lema anterior.44 Sabemos que G es un grafo finito. Como cada elemento en B. σ) es log(|Q|). y son todos maximales. si alguno de los vecinos de bi no fuese maximal. Por otro lado. σ) son conjuo ıa o gados. por el teorema 8. luego.

No es dif´ darse cuenta e ıcil de que ∀k ≥ 0. Llamemos b−1 a y−2m−1 y b1 a y2m+1 . llamando b−2 a y−2m−2 y b2 a y2m+2 . podemos generar el par de familias {Uk }k≥0 y {Vk }k≥0 . Finalmente. Uk+1 ⊆ Uk Vk+1 ⊆ Vk . xk ∈ Uk . u Por lo anterior. o Se puede probar f´cilmente que a k≥0 Vk = {y} y que k≥0 Uk = {x} para alg´n x. Sea y ∈ [v]−2m . y como F es cont´ ınua. De la misma forma. Consideremos V1 = [b−1 vb1 ]−2m−1 . Si u y v son dos o palabras de largo 2m + 1 y 4m + 1 respectivamente tales que F ([u]−m ) ∩ [v]−2m = ∅. tales que F ([a1 ua2 ]−m−1 ) ∩ [b1 vb2 ]−2m−1 = ∅ ´ Proposicion 19 Sea F un aut´mata celular cerrado a la derecha y a la izquierda y m grande. 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. es claro que F (x) = y. existen unicos a1 . b2 ∈ Q.45 Observacion 5 El lema anterior. necesariamente xk → x y F (xk ) → y. entonces [v]−2m ⊆ F ([u]−m ) Demostraci´n: o Definamos primero V0 := [v]−2m y U0 := [u]−m . Recordemos que x ∈ k≥0 Uk ⊆ U0 = [u]−m . tal que ∀k ≥ 0. se concluye que [v]−2m ⊆ F ([u]−m ) . luego. a1 tales que o ´ F ([a−1 ua1 ]−m−1 ) ∩ [b−1 vb1 ]−2m−1 = ∅ Llamemos U1 a [a−1 ua1 ]−m−1 . tales que F ([u]−m ) ∩ [v]−2m = ∅. y ∈ F ([u]m ). Tomemos ahora una sucesi´n {xk }k≥0 . podemos generar V2 = [b−2 b−1 vb1 b2 ]−2m−2 y U2 = [a−2 a−1 ua1 a2 ]−m−2 Siguiendo este m´todo. entonces para cualquier par de elementos b1 . a2 . como y ∈ [v]−2m es cualquiera. se tiene que existen unicos a−1 y. Por la observaci´n 5. F (xk ) ∈ Vk .

Si n ≤ m.n] ) ∩ [v]−2n ) Por la proposici´n anterior. tendremos lo siguiente: ´ F ([u][−n. F ([u][−n.46 Proposicion 20 Si F es cerrado a la derecha y a la izquierda.n] ) ∩ [v]−2n = ∅ y [v]−2n ⊆ F ([u][−n.n] ) = F ([v][−m−1. Podemos concluir entonces que F es una funci´n abierta o Notemos que.n] ) = (F ([u][−n. o F ([u][−n. lo que nos ayudar´ a entender tales aut´matas.m+1] ) que ya vimos que son abiertos. o 2. radica en e o que F es una funci´n abierta. Supongamos n > m para m como en la proposici´n anterior. como o v∈Q4n+1 [v]−2n = QZ se debe cumplir: F ([u][−n. se tiene que [u][−n.n] se puede escribir como uni´n de cilindros de largo al menos m + 1. entonces F es una funci´n abierta o Demostraci´n: o Como los cilindros [u][−n. nos bastar´ probar que su imagen es abierta.n] son una base de vecindades. nuestro inter´s sobre los aut´matas cerrados a la izquierda y a la derecha.n] ) Llamando Γ al conjunto de los v tales que se cumple lo ultimo. o a o . Hay a dos casos que son de nuestro inter´s: e 1. por lo que es abierto. hay dos casos posibles: o F ([u][−n.n] ) ∩ [v]−2n ) ∪ v∈Γ v∈Γc ∅ = [v]−2n v∈Γ Luego.n] ) = v∈Q4n+1 (F ([u][−n. luego.n] ) es uni´n de abiertos. entonces.

σ). y. ∀n ∈ N ⇒ x = y Tomemos entonces x e y tales que F (x) = F (y) y x|[−∞.N ] = F (y)n |[−N. σ). F ) es positivamente expansivo.N ] = y|[−∞. F (x)n |[−N.N ] = F (y)n |[−N. σ) es un subshift de tipo finito Demostraci´n o Como (QZ . En efecto. F ) es conjugado con (SF . y.47 Resultados para F positivamente expansivo Lema 7 Sea (QZ . σ) es un subshift de tipo finito. luego. por la proposici´n 20. o Se tiene que (QZ .N ] . De esta forma. es un subshift de tipo finito Teorema 13 Si (QZ . en que S ⊆ B N .N ] . por el teorema anterior. para tales x e y. y tal que σ es una funci´n o abierta. necesariamente σ es abierta. y entonces. ∀n ∈ N Se sigue que x = y. En particular nos interesa la siguiente propiedad Observacion 6 Sea S un subshift de tipo finito para alg´n alfabeto B. F ) aut´mata celular positivamente expansivo. Es importante notar que el resultado tambi´n se tiene cuando vw es un elemento a e de S . entonces (SF . se tiene que si uv y vw est´n permitidas. m´s espec´ a ıficamente. y para todo par de palabras u y w. Existe un N > 0 tal que. se tiene que F n (x) = F n (y). Todo subshift (S. consideremos N ∈ N tal que ∀x. a entonces uvw est´ permitida. para toda u palabra v. entonces es cerrado a la derecha e izquierda o Demostraci´n: o Veamos que F es cerrado a la derecha. (SF . entonces es cerrado a la derecha y a la izquierda. En particular.N ] . F ) es positivamente expansivo. y ∈ QZ . F (x)n |[−N. sabemos que el subshift vertical es un subshift de tipo finito. sabemos que es abierta. y se tiene que es cerrado por la derecha (por la izquierda es an´logo) a Teorema 12 Sea B un conjunto finito. de largo al menos N .

se pueden obtener de forma an´loga para N = N. demostraremos el caso r = 1. recordemos que la funci´n Ψ. y son decrecientes. pues y ∈ [u]0 . podemos suponer que U = [u]0 y V = [v]0 . pero y = x. es decir Ψ([wm ]0 ∩ SF ) ⊆ [u]0 Estamos ahora en condiciones de demostrar el teorema: Por comodidad. Esto es una contradicci´n. y llamemos z = Ψ−1 (x). o a Sean U y V dos abiertos cualesquiera en QN . la demostraci´n es an´loga. existe una palabra w en (Qr+1 )+ . Tomemos ahora un elemento cualquiera p en [s1 ]0 . Consideremos entonces w0 ∈ Q+ una palabra de largo N + 1 o Por la proposici´n 21. es bicont´ ınua. entonces la familia {Dm }m∈N ser´ una colecci´n de cerrados con la propiedad de la intersecci´n finita. a trav´s de la cual F es conjugado con o e SF . se tiene que Ψ−1 (y) = z. existe una palabra s1 tal que Ψ([s1 ]0 ) ⊆ [w0 u]0 . se tuviera Dm = ∅. o / o pues z tendr´ dos im´genes a trav´s de Ψ. F ) es positivamente expansivo. luego. Para el caso r > 1. ıa a e Se concluye que existe un m tal que Dm = ∅. se tiene: Proposicion 21 Sea (QN . F ) un aut´mata celular positivamente expansivo.m] para cada m. .48 Todos los teoremas y resultados obtenidos hasta el momento para N = Z. En caso de que ∀m ∈ N. y ∈ [u]0 ∧ Ψ(y) ∈ [wm ]0 } = ([u]0 )c ∩ Ψ−1 ([wm ]0 ∩ SF ) / Notemos que los Dm son cerrados. Llamemos adem´s wm a z|[0. y existe un N ∈ N tal que se cumple la proposici´n 6. y sea SF el subshift al que es o conjugado a trav´s de la funci´n Ψ. entonces es mezclador. Llamemos n al largo de u y m al largo de v. y tomemos y = Ψ(p). tal e o que Ψ([w]0 ∩ SF ) ⊆ [u]0 Demostremos esto: Sea x un elemento cualquiera de [u]0 . es decir. SF es un subshift de tipo finito. Como los cilindros de la forma [w]0 son una base de abiertos. para toda palabra u ∈ Q+ . El resultado tambi´n se tiene para QZ e Antes de poder demostrar el resultado. ıa o o m∈N Dm = ∅. Recordemos que como F es positivamente expansiva. a Teorema 14 Si (QN . a Definimos Dm = {y ∈ QN . Entonces. Tomando y en esta intersecci´n. Supongamos que tal palabra es de o largo l.

w0 uw1 ) determinan las primeras N + n + l + k coordenadas de Ψ−1 (y) Llamemos T1 T2 a la palabra formada por tales coordenadas de Ψ−1 (y). entonces las primeras N + 1 coordenadas de F n+l+k (y) inducen T2 . Llamemos w0 uw1 a la palabra formada por las primeras N + 1 + n + l + k coordenadas. Notemos que. en que k es un n´mero natural cualquiera. u Como r = 1. donde T1 es de largo n + l + k y T2 es de largo N : Sea w2 la palabra formada por las primeras N +1 coordenadas de F n+l+k (y). . las primeras N + 1 + n + l + k coordenadas de y (es decir. como las primeras N + 1 + n + l + k coordenadas de y inducen T1 T2 .49 Es claro que y ∈ [w0 u]0 .

Como en particular. por la observaci´n 6. se tendr´ a qie las primeras N + 1 coordenadas de Ψ−1 (z) forman T2 . o Llamemos x a Ψ(T1 T2 T3 ). por lo que x ∈ [w0 u]0 Por otro lado. lo que quiere decir que F n+l+k (x ) ∈ [w2 v]0 . T1 T2 T3 es un elemento de SF . Notemos que T1 T2 es una palabra permitida en SF . por lo que T1 T2 T3 |[0. De esta forma.50 Sea ahora [w2 v]0 ⊆ QN .l−1] = w. As´ podemos llamar T2 T3 a Ψ−1 (z): ı. est´ permitido). y T2 T3 es un elemento de SF (luego. Recordemos que la palabra w elegida en un comienzo es tal que Ψ([w]0 ∩ SF ) ⊆ [w0 u]0 . entonces. z ∈ [w2 ]0 . a Como T2 es de largo N . es de largo l. z = Ψ(T2 T3 ) = Ψ(σ n+l+k (T1 T2 T3 )) = F n+l+k (Ψ(T1 T2 T3 )) = F n+l+k (x ). y tomemos z cualquiera en tal cilindro.l−1] = T1 T2 |[0. T1 T2 T3 ∈ [w]0 .

51 En particular. Como k es a cualquiera. ∃x ∈ [u]0 . si tomamos x := σ N +1 (x ). concluimos que ∃M = n + l > 0. y se puede realizar una demostraci´n an´loga para o o a el caso N = Z . ∀m ≥ M. F m (x) ∈ [v]0 Con lo que concluimos que F es mezclador Esta demostraci´n se puede rehacer para los casos r > 1. se tendr´ que x ∈ [u]0 y que F n+l+k (x) ∈ [v]0 .