Universidad Nacional de Salta

Facultad de Ciencias Exactas

Departamento de Matemtica

DINMICA SIMBLICA
APUNTES DE CTEDRA
MARZO DE 2006

JORGE YAZLLE

CAMILO JADUR

ndice general
Captulo 1. ESPACIOS SHIFT
1. Definiciones bsicas
2. Full shifts
3. Los Espacios Shift
4. Lenguajes
5. Shifts de bloques
6. Cdigos de ventana deslizante

3
3
3
5
6
8
10

Captulo 2. SHIFTS DE TIPO FINITO

1. Restricciones de tipo finito
2. Grafos y sus shifts
3. Representacin de shifts de tipo finito por medio de grafos
4. Desdoblamiento de estados

17
17
19
23
26

Captulo 3. ASPECTOS TOPOLOGICOS Y DINAMICOS DE LOS ESPACIOS SHIFT

1. Una mtrica para AZ
2. Sucesiones
3. Cilindros. Conexidad
4. Continuidad
5. Sistemas dinmicos

33
33
35
36
37
38

Captulo 1

ESPACIOS SHIFT
1.

Definiciones bsicas

Un alfabeto es un conjunto finito, cuyos elementos se denominan smbolos, o tambin letras. Un bloque,
o palabra, sobre un alfabeto A es una sucesin finita (posiblemente vaca) de letras de A. Formalmente, una
palabra u sobre A es una funcin u del conjunto {x N : 1 x n} en A (para algn entero n 0). En el
caso n = 0, se tiene la funcin vaca, o sucesin vaca, que llamaremos palabra vaca y denotaremos por . La
longitud (o largo, o tamao) de la palabra es n, es decir, la cantidad de trminos de la sucesin, y se denota
por |u|. La palabra vaca tiene largo 0. Para una palabra no vaca u, el k-simo trmino de la sucesin se denota,
como es costumbre, mediante uk . Entonces, una palabra no vaca de largo n sobre A es u1 u2 un , con ui A
para todo i {1, . . . , n}. Un bloque de longitud n se llama un n-bloque. Dos palabras u y v son iguales si
tienen el mismo largo n y, para todo j entre 1 y n, es uj = vj .
El conjunto de todas las palabras de largo n sobre S
un alfabeto A se designa por An , y el conjunto de todas

las palabras sobre A se designa por A . Es decir, A = n=0 An . Notar que, para todo n 0, An es un conjunto

finito, en tanto que A es un conjunto que tiene una cantidad infinita de elementos.
Un alfabeto que a menudo usaremos es A = {0, 1}, y las palabras que sobre l pueden formarse se llaman
sucesiones binarias. Tenemos que, en este caso, es A0 = {}, A1 = {0, 1}, A2 = {00, 01, 10, 11}, A3 =
{000, 001, 010, 011, 100, 101, 110, 111}, etc. Adems, A = {, 0, 1, 00, 01, 10, 11, . . .}.
Sea u un bloque. Un subbloque (o subpalabra) de u es una palabra w tal que existe i 1 tal que
k Z, 1 k |w| wk = ui+k1 . De la definicin, se desprende que la palabra vaca es subbloque de
cualquier palabra, y que si u = u1 un es un n-bloque no vaco, sus subpalabras no vacas son de la forma
ui uj , en donde i, j son enteros tales que 1 i j n. Si w es subbloque de u, escribimos w u, y decimos
que w ocurre en u. Obviamente, w u |w| |u|.
Si u y v son dos bloques sobre A, la concatenacin de u y v es la nueva palabra que se obtiene al
escribir los smbolos de u y, a continuacin, los de v, sin ningn signo especial intermedio. La concatenacin
de u y v se escribe uv. Notar que, en general, uv 6= vu. Es directo ver que |uv| = |u| + |v|. De manera
anloga, la concatenacin de tres o ms bloques es la palabra que se obtiene de escribir los respectivos smbolos
consecutivamente. La concatenacin de un bloque u consigo mismo una cantidad n de veces se designa por un .
Formalmente:


si n = 0
un =
uun1 si n > 0
3

Por ejemplo, (01) = 010101, y 013 = 0111.

n
Se cumple que para todo bloque u A y enteros no negativos m y n, es um un = um+n y (um ) = umn .
2.

Full shifts

Dado un alfabeto A, se denomina full shift sobre el alfabeto A, o full A-shift, al conjunto de todas las
funciones de Z en A. El full shift sobre A se denota por AZ .
Una funcin de Z en A no es ms que una sucesin bi-infinita de smbolos de A, que puede escribirse as:
x = (xn )nZ = x2 x1 x0 x1 x2 x3
Un ejemplo de tales sucesiones bi-infinitas para A = {0, 1} es la que tiene 0 en sus trminos impares, y 1
en sus pares, es decir, 01010101010 .
Para tener una idea de cul es la coordenada 0 de x, escribiremos un signo de puntuacin a la izquierda
de x0 , as:
. . . x2 x1 .x0 x1 x2 . . .
En nuestro ejemplo anterior, escribimos 010.10101010 .
Debe quedar claro que el signo de puntuacin no es un elemento del alfabeto, ni un trmino de la sucesin
x; es slo una manera de representar a x2 x1 x0 x1 x2 de modo de tener una referencia a sus posiciones.
Los elementos de AZ reciben el nombre de puntos. Cada punto es, entonces, una sucesin bi-infinita, o
tirilla bi-infinita, de smbolos. Dos puntos x = (xi )iZ e y = (yi )iZ son iguales si, y slo si, xi = yi para todo
entero i.
3

1. ESPACIOS SHIFT

Notar que AZ no contiene palabras, sino sucesiones bi-infinitas. A y AZ no tienen ningn elemento en
comn.
Dado x = x2 x1 x0 x1 x2 x3 AZ , designamos por x[i,j] a la sucesin (finita) de los smbolos de x
que van desde la coordenada i hasta la coordenada j, ambas inclusive. Es decir, x[i,j] = xi xi+1 xj1 xj .
Adoptamos la convencin de que para i > j, x[i,j] = (formalmente, x[i,j] es la funcin u con dominio
{n Z : 1 n j i + 1} y codominio A tal que un = xi+n1 ). Denotamos por x[i,) a la sucesin infinita a derecha xi xi+1 , mientras que x(,i] es la sucesin infinita a izquierda xi1 xi . Dados u A y
x AZ , decimos que u ocurre en x, o tambin que u es palabra o bloque de x (y lo escribimos u x)
si existen enteros i, j tales que x[i,j] = u. Notar que la palabra vaca ocurre en cualquier punto del full shift:
x AZ , x[1,0] = . El (2k + 1)-bloque central de x es x[k,k] .
Para un bloque no vaco u = u1 un A {}, designamos por u al punto x AZ que resulta de la
concatenacin infinita (hacia ambos lados) de la palabra u consigo misma de modo que i {0, . . . , n 1} , xi =
ui+1 :
u = uuuuu.uuuuuu = u1 un u1 un .u1 un u1 un
Obsrvese que la coordenada 0 es u1 . Por ejemplo, si u = 011, entonces u = 011011.011011011 , que no

es el mismo que 0110110.11011011 = (110) .

2.1. La transformacin shift. Se puede pensar en el subndice i de una sucesin (xi )iZ como indicador
del tiempo, de modo que xi representa el valor de la sucesin en el minuto i. El paso de una unidad de tiempo
equivale entonces a desplazar (shift) cada coordenada de la sucesin un lugar hacia la izquierda. Esto define
una transormacin natural de AZ en AZ , llamada transformacin shift y denotada por , del siguiente modo:

AZ
x

AZ
y = (x) con yi = xi+1

Por ejemplo, si x = (00111) = 00111.0011100111 , entonces (x) = 001110.011100111

Conforme a notacin standard en teora de sistemas dinmicos, usaremos x para (x), y xi para ( (x))i .
es una funcin biyectiva. Su inversa, 1 , desplaza cada posicin de una sucesin un lugar hacia la
derecha. Si k es un entero positivo, k designa a la composicin de consigo misma k veces, y produce el efecto
de desplazar todas las coordenadas de una sucesin k lugares a la izquierda ( k xi = xi+k ), mientras que k
es la composicin de 1 consigo misma k veces, y mueve k lugares a la derecha ( k xi = xik ). 0 se define
como la funcin identidad. Se puede resumir todo diciendo que k xi = xi+k , sea k positivo o no. Ntese que,
en consecuencia, xi = k xik . Por ser composicin de biyecciones, k es una biyeccin de AZ , para cualquier
k Z.
Proposicin 1.1. Sean u A , x AZ y k Z; se tiene que u x u k x.
Demostracin. Puesto que x[i,j] = k x[ik,jk] , se tiene que
u x i, j Z : u = x[i,j] = k x[ik,jk] u k x

Un punto x AZ para el cual existe un n 1 tal que n x = x, se llama punto peridico para , y, en
ese caso, n es un perodo de x. Para el caso particular en que n = 1 (es decir, x = x), x se llama punto
fijo para . Todo punto peridico es de la forma u , con u A . En particular, un punto fijo para es de
la forma a , para algn a A. Si x es peridico de perodo n, tambin es peridico de perodo 2n, 3n, . . . El
menor de los nmeros positivos k tales que k x = x se llama perodo mnimo de x.
Lema 1.2. Sea x un punto peridico para de perodo mnimo n0 . Entonces, para cualquier entero positivo
k, x tiene perodo kn0 .
Demostracin. Por induccin sobre
k. Para k = 1, se cumple pues n0 es un perodo de x. Supongamos

que kn0 x = x. Es (k+1)n0 x = n0 kn0 x = n0 x = x, por lo que (k + 1) n0 es un perodo de x.
Proposicin 1.3. Sea x un punto peridico para de perodo mnimo n0 . x tiene perodo n si, y slo si,
n es mltiplo de n0 .
Demostracin. Para la ida, supongamos que x
tiene perodo n. Sean k y r tales que n = kn0 + r con
0 r < n0 . Por el Lema 1.2, vemos que x = r kn0 x = r x, pero como r < n0 debe ser r = 0, y entonces n
es mltiplo de n0 .
La vuelta es el contenido del Lema 1.2.


3. LOS ESPACIOS SHIFT

3.

Los Espacios Shift

Definicin 1.4. Sea F una coleccin de bloques sobre un alfabeto A, es decir, F A . Designamos por
XF al subconjunto de AZ formado por todos aquellos puntos en los que no ocurre ningn bloque de F. Es
decir,


XF =
x AZ : f F, f no ocurre en x


=
x AZ : i, j Z, x[i,j]
/F
Obsrvese que x
/ XF i, j Z : x[i,j] F.
A continuacin, algunos ejemplos sobre A = {0, 1}:

/ F1 .
Ejemplo 1.5. Si F1 = , es XF1 = AZ , pues trivialmente se tiene que x AZ , i, j Z, x[i,j]

Ejemplo 1.6. Si F2 = {0, 1}, es XF2 = , pues x AZ , x[0,0] F2 .

Ejemplo 1.7. Si F3 = {}, es XF3 = , pues x AZ , x[1,0] = F3 .

Ejemplo 1.8. Si F4 = {0}, es XF4 = {1 }, pues cualquier punto x distinto de 1 posee una coordenada
i tal que xi = 0, y entonces x[i,i] F4 .

Ejemplo 1.9. Si F5 = {00, 01}, es XF5 = {1 } pues si un punto x tiene una coordenada xi = 0, es xi+1 = 0
o xi+1 = 1, y en cualquier caso x[i,i+1] F5 .


Ejemplo 1.10. Si F6 = {11}, algunos puntos de XF6 son (01) , (010) , (00100010) , 0000.10000 ,
00100000.00000 , 00001000100101.01010010001000010000010 . XF6 es precisamente el conjunto de
puntos de AZ que no contienen dos 1 consecutivos. Este espacio shift es conocido como el shift de la razn
de oro.

Ejemplo 1.11. Si F7 = {1n : n 2}, es XF7 = XF6 .


Ejemplo 1.12. Si F8 = A , es XF8 = .
 2n+1

Z
Ejemplo 1.13. Si F9 = 10
1 : n N , XF9 es precisamente el conjunto de puntos de A tales que
entre dos ocurrencias consecutivas de 1 hay una cantidad par de 0 (es decir, aquellos puntos x AZ tales que
10n 1 x n es par). Este espacio shift es conocido como el shift par.

Proposicin 1.14. Sean F y F subconjuntos de A . Entonces:
1. XF F = XF XF
2. XF F XF XF
3. Si F F , entonces XF XF .
/ F u
/ F u x, u
/
Demostracin. Para la primera asercin, x XF XF u x, u

F F x XF F .
Para la segunda, si x XF y u x, se tiene que u
/ F, por lo que u
/ F F , y entonces x XF F ; de aqu
que XF XF F . Anlogamente, XF XF F , y, de las dos contenciones anteriores, es XF XF XF F .
Para la tercera, si x XF y u x, u
/ F F, y entonces u
/ F. Por lo tanto, x XF .

Dado F A , de la definicin de XF resulta claro que XF AZ . Ahora bien, dado un subconjunto
cualquiera X de AZ , existir siempre un F A tal que X = XF ? Resulta que no siempre, y aquellos X para
los que s existe tal F reciben un nombre especial y son objeto de nuestro estudio.
Definicin 1.15. Un espacio shift sobre el alfabeto A es un conjunto X AZ tal que existe un F A
tal que X = XF .
Pensamos en F como en un conjunto de bloques prohibidos para X.
Antes de ver ejemplos de subconjuntos de AZ que son o no espacios shift, veamos una propiedad importante
que cumplen los conjuntos que s lo son.
Proposicin 1.16. Sean X un espacio shift, x X y k Z. Entonces k x tambin pertenece a X.
Demostracin. Sea F tal que X = XF . Consideremos un bloque arbitrario u que ocurra en k x. Por la
Proposicin 1.1, tenemos que tambin u ocurre en x, luego u no puede pertenecer a F. Como u era un bloque
arbitrario de k x, vemos que ningn bloque de k x est en F, por lo que k x XF , es decir, k x X.

Corolario 1.17. Sea X AZ , y supongamos que existen x X y k Z tales que k x
/ X. Entonces X
no es un espacio shift.
Corolario 1.18. Si X es un espacio shift y k Z, entonces k (X) = X.

1. ESPACIOS SHIFT

Demostracin. Si y k (X), existe x X tal que y = k (x), que, de acuerdo a la Proposicin

1.16,


k
k
k
k
est en X; luego k (X) X. Esto tambin muestra
que

(X)

X,
por
lo
que

(X)

(X);
pero


k
k
k
k
como es biyectiva, se tiene que (X) = X, y entonces tenemos que X (X).

La propiedad de ser (X) = X se llama invariancia por shift o shift invariancia. Los corolarios
anteriores dicen que todo espacio shift es shift invariante, o, igualmente, que un conjunto que no es shift

invariante no puede ser un espacio shift. Por ejemplo, el conjunto unitario X = {(01) } no es un espacio shift

pues (01) = (10)

/ X. Sin embargo, la shift invariancia de un conjunto no garantiza que ste sea un
espacio shift.

Ejemplo 1.19. Sea X el conjunto de todas las sucesiones

bi-infinitas sobre {0, 1} en las que hay exactamente


una coordenada 1 y el resto son todas 0. Es decir, X = (xi )iZ : k Z : (xk = 1 i 6= k, xi = 0) . Si x X,
x tambin pertenece a X, es decir, X es invariante por shift. Sin embargo, veamos que X no es espacio shift.
Para arribar a una contradiccin, supongamos que lo fuera. Quiere decir que existira un F tal que X = XF .
Debe ocurrir que k 1, 0k
/ F (pues k 1, 0k 000000.1000000 X). Pero entonces 0 pertenecera

a XF , con lo cual 0 X, que contradice la definicin de X. La contradiccin proviene de suponer la existencia

del conjunto F, es decir, de suponer que X es un espacio shift.

Z

Ejemplo 1.20. El conjunto vaco y el full shift {0, 1} son espacios shift, segn se mostr en los ejemplos
1.5 y 1.6. En general, cualquier full shift es un espacio shift. Los conjuntos XF4 y XF6 de los ejemplos 1.8 y 1.10
son tambin espacios shift. Los ejemplos 1.8 y 1.9 muestran que un mismo espacio shift puede ser descripto a
travs de diferentes colecciones de bloques prohibidos.

La restriccin de a un espacio shift X ser denotada por X . En vistas del Corolario 1.18, X es una
biyeccin de X en X. Las definiciones anteriormente dadas para puntos fijos y peridicos de AZ para son
igualmente aplicables a un espacio shift X y su respectiva X .
El siguiente resultado ser til en lo sucesivo, pues afirma que el conjunto de bloques prohibidos para un
espacio shift puede verse como constituido por palabras de longitud al menos N , donde N es cualquier entero
positivo.
Proposicin 1.21. Sean X un espacio shift y N un entero positivo. Entonces, existe F A tal que todo
bloque en F tiene longitud al menos N , y X = XF .
Demostracin. Siendo X un espacio shift, hay un F A tal que X = XF . Hagamos


F1 = w AN : u F : u w
F2 = {u F : |u| > N }
F = F1 F 2
Es decir, F consta de todas las palabras de F que tengan largo mayor que N , ms todas aquellas palabras de
largo N sobre el alfabeto que contengan una subpalabra que est en F . Observar que F1 F2 = . Es directo
ver que todo bloque en F tiene largo al menos N . Veamos que X = XF :
x
/ XF

i, j Z : x[i,j] F

i, j Z : x[i,j] F1 x[i,j] F2

i, j Z : j i + 1 = N u F : u x[i,j] j i + 1 > N x[i,j] F
u F : u x
x
/ XF = X


4.

Lenguajes

Definicin 1.22. Un lenguaje sobre un alfabeto A es cualquier subconjunto de A .

En adelante, si L es un lenguaje, designaremos por Lc a su complemento en A , es decir, el conjunto de
todas las palabras de A que no pertenecen a L.
Si X es un subconjunto de AZ (no necesariamente un espacio shift) y n un entero no negativo, denotamos
por Bn (X) al conjunto de bloques de longitud n que ocurren en puntos de X, es decir,
Bn (X) = {u An : x X : u x}
Por ejemplo, si X = AZ , entonces Bn (X) es precisamente An . Si X = X{11} , es B0 (X) = {}, B1 (X) = {0, 1},
B2 (X) = {00, 01, 10}, B3 (X) = {000, 001, 010, 100, 101}.
Ntese que si X = XF y f F, no puede haber un n tal que f Bn (X). Es decir, n N, F Bn (X) = .
Sin embargo, bien puede ocurrir que un bloque de longitud n que no est en F tampoco est en Bn (X).

4. LENGUAJES

Definicin 1.23. Sea X un subconjunto de AZ . El lenguaje de X, denotado por B (X), es el conjunto

de todos los bloques que ocurren en puntos de X. En otras palabras,

[
Bn (X)
B (X) = {u A : x X : u x} =

n=0

Ejemplo 1.24. B X{11} = {, 0, 1, 00, 01, 10, 000, 001, 010, 100, 101, . . .}.
Ejemplo 1.25. Sean X1 = {(01)

, (10) } y X2 = {(01) }; se tiene que

B (X1 ) = {, 0, 1, 01, 10, 010, 101, 0101, 1010, . . .} = B (X2 )

a pesar de que X1 6= X2 ; notar, sin embargo, que X1 es un espacio shift, mientras que X2 no lo es.

As como F se interpretaba como un conjunto de bloques prohibidos para XF , B (XF ) es el conjunto de

bloques permitidos para XF . Cuando un bloque est en el lenguaje de un espacio shift X, decimos de l que
ocurre en X, o que aparece en X, o que est en X, o que est permitido en X.
Una consideracin anloga a la de ms arriba: si X = XF , entonces F B (X) = . Sin embargo, bien
puede ocurrir que un bloque que no est en F tampoco est en B (X).
Si un bloque est en el lenguaje de un espacio shift, la definicin nos dice que hay un punto del espacio en
el cual, en determinada posicin, encontramos ese bloque. Sin embargo, usando shift invariancia, podemos ver
que el bloque aparece en algn punto del espacio en la coordenada que uno quiera.
Proposicin 1.26. Sean X un espacio shift, u un bloque en B (X), y k un entero. Entonces, existe x X
tal que x[k,k+|u|1] = u.
Demostracin. Dado que u B (X), existe x X tal que u x , es decir, hay un i Z tal que
= u. Hagamos x = ik x . Por Proposicin 1.16, x pertenece a X, y x[k,k+|u|1] = ik x[k,k+|u|1] =
= u.


x[i,i+|u|1]
x[i,i+|u|1]

No cualquier lenguaje (en el sentido de la definicin 1.22) es el lenguaje de algn espacio shift. Por ejemplo,
resulta directo ver que el lenguaje de un espacio shift no vaco es un conjunto infinito, de modo que un subconjunto finito no vaco de A no puede ser el lenguaje de ningn espacio shift sobre A. Buscamos caracterizar a
aquellos lenguajes que son los lenguajes de los espacios shift.
Proposicin 1.27. Sean X un espacio shift y B (X) su lenguaje. Si v B (X), entonces:
1. cualquier subbloque de v pertenece tambin a B (X).
2. hay bloques u y w no vacos en B (X) tales que uvw B (X).
Demostracin. Como v B (X), existen i, j Z y x X tales que v = x[i,j] . Si v v, v ocurre tambin
en x, de modo que v B (X). Adems, haciendo u = xi1 y w = xj+1 , se tiene que u y w son bloques no vacos
que estn en B (X) y que uvw = x[i1,j+1] x, por lo que uvw B (X).

La proposicin anterior establece condiciones necesarias para los bloques del lenguaje de un espacio shift.
Resulta que esas condiciones son tambin suficientes: cualquier lenguaje cuyas palabras satisfagan esas condiciones, es el lenguaje de algn espacio shift.
Proposicin 1.28. Sea L un lenguaje con la propiedad de que para todo v L: (a) cualquier subbloque de
v est en L, y (b) hay bloques no vacos u y w en L tales que uvw est en L. Entonces L es el lenguaje de
algn espacio shift.
Demostracin. Consideremos el espacio shift X = XLc , y verifiquemos que B (X) = L. Lo haremos por
doble inclusin:
Si v B (X), existe x X tal que v x, de modo que v
/ Lc , o sea que v L.
Sea ahora v un bloque de longitud n en L, digamos v = x0 xn1 . Por aplicacin de la condicin (b), hay
bloques u y w, cuyos smbolos denotaremos, respectivamente, xj x1 y xn xk tales que el bloque v =
uvw = xj x1 x0 xn1 xn xk est en L. Aplicando nuevamente la condicin (b) a v hay bloques u =
xj xj1 y w = xk+1 xk tales que el bloque xj xj1 xj x1 x0 xn1 xn xk xk+1 xk
est en L. Continuando de esta manera, tenemos definido xi para todo entero i, de modo tal que el punto
x = (xi )iZ cumple que todos sus bloques estn en L, y v = x[0,n1] . Luego, x XLc , ya que ningn bloque de
x est en Lc , y v x, por lo que v B (XLc ) = B (X).

De las dos proposiciones anteriores, vemos que un subconjunto de A es el lenguaje de algn espacio shift
si, y slo si, todos sus bloques cumplen las propiedades (a) y (b) enunciadas en la Proposicin 1.28.
Hay una correspondencia biunvoca entre el conjunto de todos los espacios shift y el conjunto de todos los
lenguajes de espacios shift. Es decir, el lenguaje de un espacio shift determina completamente a ese espacio
shift. Dicho de otro modo, no hay dos espacios shift distintos que tengan el mismo lenguaje, segn veremos a
continuacin.

1. ESPACIOS SHIFT

Proposicin 1.29. Sea X AZ . X es un espacio shift si, y slo si, X = XB(X)c .

Demostracin. La vuelta es consecuencia inmediata de la definicin de espacio shift. Demostraremos la
ida por doble inclusin:
Si x X, todos sus bloques estn en B (X) (por la definicin de B (X)), de modo que ninguno de ellos est
c
en B (X) , y as x XB(X)c .
Para la otra contencin, dado que X es un espacio shift, hay un F tal que X = XF . Si x XB(X)c y v x,
c
v
/ B (X) , es decir, v B (X), por lo que v
/ F. Como v era un bloque arbitrario de x, hemos demostrado
que ningn bloque de x est en F, por lo que x XF = X, quedando probada la otra inclusin.

Corolario 1.30. Sean X1 y X2 espacios shift. Entonces, X1 = X2 B (X1 ) = B (X2 ).
Demostracin. La ida es inmediata de la definicin de lenguaje de un espacio shift. Para la vuelta,
c
c
suponiendo que B (X1 ) = B (X2 ), tenemos que B (X1 ) = B (X2 ) , y, por la proposicin anterior, X1 = XB(X1 )c =

XB(X2 )c = X2
En este corolario, es esencial que X1 y X2 sean espacios shift (ver ejemplo 1.25).
Todos estos resultados muestran que si bien un mismo espacio shift X puede ser descripto a travs de varios
conjuntos prohibidos, hay un conjunto de bloques prohibidos maximal, que es el complemento del lenguaje de
c
ese espacio shift: cualquier F tal que X = XF cumple con que F B (X) , pues ya sabemos que F B (X) = .
Resumimos la correspondencia entre espacios shift y lenguajes de espacios shift a travs de las siguientes
ecuaciones:
L = B (XLc )
X = XB(X)c
La Proposicin 1.29 tiene otro til corolario, que dice que si un punto x de AZ tiene todos sus bloques en
el lenguaje de un espacio shift X, entonces el punto x necesariamente pertenece a X.
Corolario 1.31. Sea X un subconjunto de AZ . X es un espacio shift si, y slo si,




x AZ , i, j Z, x[i,j] B (X) x X




Demostracin. Notemos que x AZ , i, j Z, x[i,j] B (X) x X si, y slo si, X = XB(X)c , de
modo que el corolario se deduce directamente de la Proposicin 1.29.

4.1. Irreducibilidad. Supongamos que X es un espacio shift, y que v B (X). Por la Proposicin 1.28,
v puede ser extendido hacia ambos lados para formar un bloque uvw que tambin est en el lenguaje de X.
Ahora bien, dados dos bloques u y w en B (X), puede no ser posible encontrar un bloque v tal que uvw est en
B (X).
Ejemplo 1.32. Sea X = X{11} , y tomemos u y w en B (X). Ni u ni w pueden contener dos 1 consecutivos.
Entonces, el punto 00000u0w0000000 no contiene dos 1 consecutivos, y por eso el bloque u0w est en
B (X).

Ejemplo 1.33. Sea X = {0 , 1 }. Se tiene que u = 1 y w = 0 estn ambos en B (X). Sin embargo, no
hay ningn bloque v tal que 1v0 est en el lenguaje, pues ningn punto de X contiene simultneamente un 0 y
un 1.

Los espacios shift en los que dos bloques del lenguaje pueden ser enganchados a travs de un tercer bloque
forman una clase importante de espacios shift.
Definicin 1.34. Un espacio shift X es irreducible si para cualquier par de bloques u y w en B (X),
existe un bloque v en B (X) tal que uvw pertenece a B (X). Un espacio shift que no es irreducible se llama
reducible.
El espacio shift del ejemplo 1.32 es irreducible, en tanto que el del ejemplo 1.33 es reducible.
5.

Shifts de bloques

Hemos definido un alfabeto como un conjunto finito de smbolos, sin exigir nada en especial a los smbolos.
Si A es un alfabeto y N es un entero positivo, cae tambin en la categora de alfabeto el conjunto AN . Por
claridad notacional, cuando estemos pensando en AN como alfabeto, representaremos su smbolos de la forma

aN
..
.

a2
a1
en lugar de a1 a2 aN . Ntese que cada ai A.

5. SHIFTS DE BLOQUES

Ya que AN es un alfabeto (cuyos elementos son en realidad bloques sobre otro alfabeto), tenemos derecho a

Z

Z
pensar en la full AN -shift, es decir, AN . Dado un punto x de AZ , hay dos puntos de AN que de manera
bastante natural pueden asociarse a x. Los llamaremos, respectivamente, N (x) y N (x). El siguiente diagrama
ilustra cmo se obtienen a partir de x:
x

N (x)

N (x)

x1

xN 2

..

x0
x1

x1
..
.

xN +1
xN

x0

x1

xN 1

..

x1
x0

xN 1

..

x1
x0

xN
..
.

x2
x1

x2N 1

..

xN +1
xN

x3

xN +2

..

x4
x3

x2

x3N 1

..

x2N +1
x2N

xN +1

..

x3
x2

x4N 1

..

x3N +1
x3N

Ntese que, a partir de N (x), es posible recuperar x, leyendo los smbolos inferiores de cada posicin.

Z
Formalizamos la definicin de N y de N : Ambas son funciones de AZ en AN , y se definen mediante:

x(i+1)N 1
xi+N 1

..
..

.
.
(N (x))i =
(N (x))i =

xiN +1
xi+1
xiN
xi
N (x) se llama la presentacin en bloques de tamao N , con solape, del punto x. El trmino
solape se refiere al hecho de que dos coordenadas consecutivas cualesquiera de N (x) consisten en bloques
u = u1 uN y v = v1 vN con u2 uN = v1 vN 1 . Cuando dos bloques u y v cumplen esto, es decir,
que la cola de u (lo que queda de u luego de eliminar el primer smbolo) es igual a la cabecera de v (lo que
queda de v luego de eliminar el ltimo smbolo), decimos que u y v solapan progresivamente. Entonces, dos
smbolos consecutivos de N (x), vistos como bloques sobre A, solapan progresivamente, y de all el nombre para
N . N (x) se llama la presentacin en bloques de tamao N , sin solape, del punto x, por la razn de
que no necesariamente se cumple la condicin de solape progresivo entre coordenadas consecutivas de N (x).
Las definiciones anteriores pueden generalizarse de la siguiente manera:
Definicin 1.35. Sean X un espacio shift y N un entero positivo. Hagamos AN
X = BN (X). Se define la

Z
mediante
funcin N : X AN
X

xi+N 1

..

.
(N (x))i =

xi+1
xi
La imagen de X a travs de N se llama presentacin en N -bloques de X, con solape, y se denota X [N ] .
Es decir,
X [N ] = {N (x) : x X} = N (X)

Z
mediante
Anlogamente, se define la funcin N : X AN
X

x(i+1)N 1

..

.
(N (x))i =

xiN +1
xiN
La imagen de X a travs de N se llama presentacin en N -bloques de X, sin solape, y se denota X N .
Es decir,
X N = {N (x) : x X} = N (X)

 
 

0
1
0
Ejemplo 1.36. Sea X = X{11} . Entonces, A2X =
,
,
.
0
0
1

10

1. ESPACIOS SHIFT

Si x = 000.01010 , entonces


0
2 (x) =
0
2 (x)

0
0

0
0

1
0

0
1

0
0

1
0

1
0

1
0

0
1

Se puede mostrar que X [2] = XF1 y que X 2 = XF2 con



 

 

 


0
0
1
1
0
1
0
0
,
,
,
F1 =
1
1
0
0
0
0
1
0



1
0
F2 =
0
1
(notar que F1 tiene cuatro elementos, y F2 uno).

Por cuestiones de codificacin que ms adelante detallaremos, de ahora en ms estaremos ms interesados

en las presentaciones con solape que en las sin solape. Ntese que la funcin N acta inyectivamente, de modo
1
que es una biyeccin entre X y X [N ] . De este modo, N
es una funcin bien definida desde X [N ] hacia X,

Z
cuyos smbolos consecutivos solapan
o, ms generalmente, desde el conjunto de todos los puntos de AN
Z
progresivamente hacia A .
Ser conveniente sobrecargar el smbolo N , de manera que la funcin N se pueda considerar tambin
para actuar sobre bloques de tamao mayor o igual que N , de la siguiente manera: para w = w1 wm con
m N , definimos

wm
wN +1
wN

..
..
..

.
.
N (w) = .

wmN +2
w2 w3
wmN +1
w2
w1
Es directo ver que N acta sobre bloques en forma inyectiva: u 6= u N (u) 6= N (u ).
Las presentaciones con (o sin) solape de cualquier espacio shift son tambin espacios shift.

Proposicin 1.37. Sea X un espacio shift sobre el alfabeto A. Para todo N 1, X [N ] es un espacio shift
sobre el alfabeto BN (X).
Demostracin. Sea F tal que X = XF . En virtud de la Proposicin 1.21, podemos suponer que cada
bloque de F tiene largo al menos N . Hagamos
n
o
2
F1 = {N (w) : w F }
F2 = uv (BN (X)) : u y v no solapan progresivamente
F = F1 F 2
y verifiquemos que X [N ] = XF , con lo que quedar establecido que X [N ] es un espacio shift.
e X [N ] , y u
e un bloque en x
e. Existe x X tal que N (x) = x
e,
Primero veamos que X [N ] XF1 . Sea x
por lo que hay un bloque u de x tal que N (u) = u
e. Dado que que N es inyectiva y que u
/ F , vemos
que u
e
/ F1 . Como u
e era arbitrario, x
e XF1 .
e X [N ] , ocurre que i Z, x
ei y x
ei+1 solapan
Ahora veamos que X [N ] XF2 : sabemos que si x
progresivamente. Entonces, ningn bloque de x
e de tamao 2 puede estar en F2 (que tiene slo bloques
de tamao 2), por lo que x
e XF2 .
Como X [N ] XF1 y X [N ] XF2 , se tiene, usando la Proposicin 1.14, que X [N ] XF1 XF2 =
XF1 F2 = XF .
e XF2 .
e XF1 y x
Veamos ahora que XF X [N ] : sea x
e XF = XF1 F2 = XF1 XF2 . Entonces, x
1
Z
x), el cual pertenece a A ; pero dado que x
e XF1 , debe ser
Como x
e XF2 , podemos hacer x = N (e
e X [N ] .
x XF = X, y entonces x

6.

Cdigos de ventana deslizante

En Teora de Cdigos, interesan las maneras que hay de traducir un mensaje (fuente) sobre un alfabeto
A en mensaje sobre otro alfabeto U (posiblemente el mismo que el del mensaje fuente). Esto puede ser visto
(sobre todo si el mensaje fuente es largo) como una manera de transformar puntos de un espacio shift en puntos
de otro espacio shift, a travs de una funcin. De las maneras en que esto se puede hacer, hay una clsica que
explicamos seguidamente.

6. CDIGOS DE VENTANA DESLIZANTE

11

Supongamos dados dos enteros m y n, con m + n 0, y supongamos tambin dada una funcin que
transforma bloques de tamao m + n + 1 sobre A en smbolos de U . Entonces, una manera de transformar
un x AZ en un y U Z es mirar el bloque que hay en una ventana de ancho m + n + 1 alrededor de la
coordenada i-sima de x y aplicarle a ese bloque la funcin para obtener la correspondiente
coordenada


del transformado. Ms concretamente, la i-sima coordenada de y ser x[im,i+n] . Para calcular luego la
(i + 1)-sima coordenada de y, desplazamos toda la ventana una posicin a la derecha, y repetimos. Llevando
esto a cabo para todo i Z, obtenemos el transformado de x. Esta operacin de ver el contenido de la ventana,
transformar usando y deslizar, motiva que la funcin transformadora reciba el nombre de cdigo de ventana
deslizante, que abreviaremos CVD. Formalmente:
Definicin 1.38. Sean m, n Z con m + n 0, A y U alfabetos, X un espacio shift sobre A, y
una funcin de Bm+n+1 (X) en U . El cdigo de ventana deslizante con memoria m y anticipacin
n


inducido por es la transformacin : X U Z definida por y = (x) con yi = x[im,i+n] .

Notar, en la definicin de arriba, la distincin tipogrfica entre (que transforma tirillas bi-infinitas) y
(que transforma bloques de tamao m + n + 1). Decimos que es inducida por , o que induce a ,
[m,n]
y, para expresar este hecho, escribimos =
. La funcin se llama funcin de bloques, o funcin
inductora, de . De los nmeros m y n decimos que son, respectivamente, la memoria y la anticipacin
de (o tambin de ), por el hecho de que indican cuntas coordenadas del pasado y del futuro hay que
conocer para obtener el transformado en la posicin que corresponde al presente.
Ejemplo 1.39. A = {0, 1} , U = {A, B, C} , m = 1, n = 2, X = X{110,101} , : B4 (X) U dada por
(0000) = A
(0100) = C

(0001) = A
(1000) = B

(0010) = B
(1001) = C

(0011) = A
(1111) = A

[m,n]

Entonces, si =
y x =
001.000010010001
, tenemos que (x) = BC.BAABCCBCBA






pues (x)2 = x[2m,2+n] = x[3,0] = (0010) = B, (x)1 = x[1m,1+n] = x[2,1] =








(0100) = C, (x)0 = x[0m,0+n] = x[1,2] = (1000) = B, (x)1 = x[1m,1+n] = x[0,2] =
(0000) = A, y as.

Ejemplo 1.40. A, U , X, x y iguales que en el ejemplo anterior, excepto que m = 0, n = 3. En este caso,
(x) = BCB.AABCCBCBA

Ejemplo 1.41. A = {0, 1} = U , X = AZ , m = 0 = n, : B1 (X) U dada por (0) = 1 = (1), y
[m,n]
F =
. Entonces, para todo x AZ , F (x) = 1 .

Ejemplo 1.42. A cualquier alfabeto, X cualquier espacio shift sobre A, U = A, m = 0, n = 1, (ab) =
[m,n]
b, =
. Entonces, = X , pues, para x X, xi = (xi xi+1 ) = xi+1 = X (x)i .

Ejemplo 1.43. A cualquier alfabeto, X cualquier espacio shift sobre A, U = A, m = 1, n = 0, (ab) =
[m,n]
1
1
(x)i .

a, =
. Entonces, = X
, pues, para x X, xi = (xi1 xi ) = xi1 = X
Ejemplo 1.44. A cualquier alfabeto, U = AN (N 1), X cualquier espacio shift sobre A, y = N
(la presentacin en N -bloques con solape de X). Entonces es un CVD con memoria 0 y anticipacin N 1
inducido por definida como

aN

(a1 aN ) = ...
a1

Ejemplo 1.45. En relacin al ejemplo anterior,

y anticipacin 0, inducido por definida como

1
N

es tambin un CVD desde X

aN

... = a1
a1

[N ]

hacia X, con memoria

Al igual que con la transformacin shift , si es un CVD, emplearemos (aunque no obligatoriamente) la

notacin x para (x) y xi para ( (x))i .
Los CVD para los cuales m = 0 = n se llaman cdigos monobloque, dado que actan mirando bloques
que tienen un solo smbolo (el que corresponde al presente).
Si un CVD con dominio X es tal que (X) es un subconjunto de algn espacio shift Y U Z , podemos
mirar a como una funcin entre los espacios shift X e Y , y diremos entonces que el CVD es un cdigo entre
los espacios shift X e Y .

12

1. ESPACIOS SHIFT

No cualquier funcin entre dos espacios shift X e Y es un CVD. Para que lo sea, debemos
encontrar un


m, un n y una : Bm+n+1 (X) B1 (Y ) tal que x X, i Z, xi = x[im,i+n] . Si no es posible el
hallazgo de una funcin inductora, no es un CVD.
Ejemplo 1.46. A = {0, 1} = U , X = AZ , Y = U Z , : X Y definida por

0
si x = 0
(x) =
1 si x 6= 0
Veamos que no es un CVD. Supongamos que lo fuera. Debe haber una funcin inductora con memoria m y
anticipacin n. Sea x = (xi )iZ definido
por xn+1 = 1, y xi = 0 para todo i
6= n + 1. Ya que
es (0 )0 = 0 (pues

m+n+1
0 = 0 ), debe ser 0
= 0. Pero entonces x0 = x[m,n] = 0m+n+1 = 0. Contradiccin,
pues por la definicin de se tiene que (x) = 1 , de donde x0 = 1.

A veces ser conveniente agrandar el ancho de la ventana para la funcin inductora (sin modificar, obviamente, el CVD en cuestin). Para hacer esto, simplemente debemos ignorar las coordenadas aadidas a la
ventana. Esto es lo que dice el siguiente resultado:
Proposicin 1.47. Sea : X Y un cdigo de ventana deslizante con memoria m y anticipacin n. Sean
M m y N n. Entonces existe un cdigo de ventana deslizante e : X Y con memoria M y anticipacin
N tal que e = .
e : BM +N +1 (X)
Demostracin. Sea : Bm+n+1 (X) B1 (Y ) la funcin inductora de . Definamos
B1 (Y ) mediante

e (aM aM +1 am a1 a0 a1 an aN ) = (am a0 an )

]
e i=
e [M,N
e x[iM,i+N ] = x[im,i+n] =
y hagamos e =
. Sea x X. Para cualquier i Z, se tiene que x

e = x. Como x es arbitrario, se sigue que e = .

xi , y entonces x


Corolario 1.48. Dado un cdigo de ventana deslizante, se puede suponer que su memoria es igual a su
anticipacin.

Dado un CVD con memoria m y anticipacin n inducido por una transformacin de bloques (que
transforma bloques de tamao m + n + 1 en smbolos), se puede definir, de manera natural, una funcin que
transforma bloques de tamao m + n + k (k 1), haciendo
(am am+1 a0 a1 an1 an an+1 an+k1 ) = (am an ) (am+1 an+1 ) (akm1,n+k1 )
Si adems convenimos en que , aplicado a un bloque de tamao menor que m + n + 1 produce la palabra
vaca, tenemos que, para p 0, es


si p < m + n + 1
(a1 ap ) =
(a1 am+n+1 ) (a2 ap ) si p m + n + 1
y son funcionalmente tan parecidas que en general usaremos la misma notacin para referirnos a
ambas.
Un hecho importante a tener en cuenta es que la composicin de CVD es otro CVD.
Proposicin 1.49. Sean X, Y y Z espacios shift, y supongamos que 1 : X Y y 2 : Y Z son cdigos
de ventana deslizante. Entonces 2 1 es un cdigo de ventana deslizante desde X hacia Z.
Demostracin. Supongamos 1 inducido por 1 con memoria m1 y anticipacin n1 , y 2 inducido por
2 con memoria m2 y anticipacin n2 . Sea : X Z definido por x = 2 (1 x). Designemos por al
CVD con memoria m1 + m2 y anticipacin n1 + n2 inducido por la funcin : Bm1 +m2 +n1 +n2 +1 (X) B1 (Z)
definida por
(am1 m2 a0 an1 +n2 ) = 2 (1 (am1 m2 a0 an1 +n2 ))
(ntese que 1 corresponde en realidad a 1 como se defini antes). Para x X y para cualquier i Z es







xi = x[im2 m1 ,i+n2 +n1 ] = 2 1 x[im2 m1 ,i+n2 +n1 ] = 2 (1 x)[im2 ,i+n2 ] = 2 (1 x)i = xi

de modo que x = x. Luego, = 2 1 es un CVD.

El enuncado anterior, junto a los ejemplos 1.42 y 1.43, permite ver que para cualquier espacio shift X y
k
k
cualquier k 1, X
y X
son CVD.
Si : X Y es un CVD y x X, entonces calcular a la sucesin desplazada X (x) da lo mismo que
desplazar la sucesin (x) usando Y . Esta propiedad de conmutar con las es una de las claves para saber si
una transformacin es un CVD.

6. CDIGOS DE VENTANA DESLIZANTE

13

Proposicin 1.50. Sean X e Y dos espacios shift, y k un entero. Si es un cdigo de ventana deslizante,
k
entonces X
= Yk , es decir, el siguiente diagrama conmuta:
X

k
X

Yk

X

Y

Demostracin. Supongamos que es inducido por con memoria m y anticipacin

probar
 n. Debemos







k
k
k
k
que x X, X (x) = Y ( (x)). Sea entonces i Z. Se tiene que X (x) i = X (x) [im,i+n] =




x[im+k,i+n+k] = x[(i+k)m,(i+k)+n] = (x)i+k = Yk (x)i . Como i es arbitrario, se tiene lo deseado.

La condicin de conmutar con es necesaria, pero no suficiente, para que una transformacin sea CVD.
El Ejemplo 1.46 sirve para demostrarlo, pues ya hemos visto que la funcin all estudiada no es un CVD, y sin
Z
embargo conmuta con : sea x {0, 1} ; si x = 0 , es x = 0 = x, por lo que ( (x)) = 0 = (x); y si
x 6= 0 , es x 6= 0 , por lo que x = (x) = 1 , teniendo entonces que (x) = 1 = (x); resumiendo,
Z
x {0, 1} , (x) = (x).
Los siguientes resultados establecen condiciones necesarias y suficientes para que una transformacin entre
dos espacios shift sea un CVD.
Lema 1.51. Sean X e Y dos espacios shift, y una funcin de X en Y tal que X = Y . Entonces
1
= Y1 .
X
Demostracin. Puesto que X y Y son biyecciones, se tiene que Y1 Y y Y Y1 son

la identidad


1
1
1
1
1
en Y , as como X X y X X son la identidad en X. De all que X = Y Y X
=




1
1
1
Y1 (Y ) X
= Y1 , como se quera probar.

= Y1 ( X ) X
= Y1 X X

Lema 1.52. Sean X e Y dos espacios shift, y una funcin de X en Y tal que X = Y . Entonces,
k
= Yk .
para todo k Z, X
0
Demostracin. Ya que X
y Y0 son, respectivamente, la identidad en X y en Y , la proposicin se cumple
k
k
= Yk . Lo haremos por
= Yk y X
para k = 0. Lo que resta probar es, entonces, que k 1, X
induccin sobre k. Para k = 1, es cierto por hiptesis y por Lema 1.51. Suponiendo vlido para k, veamos que
vale para k + 1:




k+1
k
X = Yk X = Yk ( X ) = Yk (Y ) = Yk+1
X
= X








k1
k
1
1
1
X
= X
X
= Yk X
= Yk X
= Yk Y1 = Yk1


Proposicin 1.53. Sean X e Y dos espacios shift, y una funcin de X en Y . es un cdigo de ventana
deslizante si, y slo si, las dos condiciones siguientes se satisfacen simultneamente:
1. X = Y .
2. Existen un
entero N 0 y una funcin : B2N +1 (X) B1 (Y ) tales que para todo x X, (x)0 =
x[N,N ] .

Demostracin. Para la ida, supongamos que es inducida por con memoria
y anticipacin N (hemos
apelado al Corolario 1.48), de modo que para cualquier x en X, (x)0 = x[N,N ] . Adems, la Proposicin
1.50 con k = 1 muestra que X = Y .
Para la vuelta, supongamos que X =
Y y que existen N 0 y una funcin : B2N +1 (X) B1 (Y )
tales que para todo x X, (x)0 = x[N,N ] . Sean x X e i Z. Por el lema 1.52, se tiene que









i
i
(x)i = Yi (x) 0 = X
x 0 = (X
x)[N,N ] = x[iN,i+N ]

lo cual muestra que es CVD inducido por con memoria y anticipacin N .

La segunda condicin de la proposicin anterior establece que existe N 0 tal que (x)0 es funcin de lo
que x contiene entre las coordenadas N y N . La negacin de esta condicin significa que para todo N 0,
existen x, y X tales que x[N,N ] = y[N,N ] pero (x)0 6= (x)0 .
6.1. Inmersiones, factores y conjugaciones. Para las siguientes definiciones, sean X e Y dos espacios
shift, y una funcin de X en Y .
Definicin 1.54. es una inmersin de X en Y si es un cdigo de ventana deslizante inyectivo. Se
dice que X est inmerso en Y si existe una inmersin de X en Y .

14

1. ESPACIOS SHIFT

Definicin 1.55. es un cdigo factor de X sobre Y si es un cdigo de ventana deslizante sobreyectivo.

Se dice que Y es un factor de X si existe un cdigo factor de X sobre Y .
Definicin 1.56. es una conjugacin de X a Y si es un cdigo de ventana deslizante biyectivo. Se
dice que X es conjugado a Y (simbolizado X Y ) si existe una conjugacin de X a Y .
1
1
Por ejemplo, X y X
son conjugaciones de X a X, N es una conjugacin de X a X [N ] , y N
es una
[N ]
conjugacin de X
a X.
De la definicin, se ve que toda conjugacin es una funcin biyectiva. Sin embargo, no es cierto en general que
cualquier funcin biyectiva entre dos espacios shift sea una conjugacin. Por ejemplo, sean X = {0 , 1 } , Y =

{(01) , (10) } y : X Y dada por (0 ) = (01) , (1 ) = (10) . es una funcin biyectiva, pero no
es una conjugacin pues no es un CVD (condicin indispensable para ser conjugacin), ya que Y ( (0 )) =

Y ((01) ) = (10) 6= (01) = (0 ) = (X ((01) )), es decir, no conmuta con .

La definicin establece que una conjugacin es un CVD biyectivo (por lo cual, toda conjugacin es tambin
un cdigo factor y una inmersin), y esto nos permite garantizar slo que su inversa es una funcin biyectiva
(pero, por lo visto hasta aqu, no necesariamente un CVD). Ms adelante, demostraremos que si es conjugacin,
1 es un CVD (y, en consecuencia, tambin es una conjugacin).

Proposicin 1.57. La composicin de dos conjugaciones es otra conjugacin.

Demostracin. Se deduce directamente de la Proposicin 1.49 y del hecho que la composicin de funciones
biyectivas es una funcin biyectiva.

k
k
Como consecuencia, X
y X
son tambin conjugaciones de X a X, para cualquier espacio shift X y
1
cualquier k 0, pues X y X lo son.
Veamos la accin de un CVD sobre los puntos peridicos de un espacio shift. El siguiente resultado muestra
que las inmersiones (y en consecuencia las conjugaciones) preservan el mnimo perodo de un punto peridico.

Proposicin 1.58. Sean : X Y un cdigo de ventana deslizante, x X un punto peridico perodo n

para X , e y = x. Entonces y tiene tambin perodo n para Y , y el mnimo perodo de y divide al mnimo
perodo de x. Si es adems una inmersin, el perodo mnimo de y es igual al perodo mnimo de x.
n
n
Demostracin. Ya que X
(x) = x, tenemos que, por la propiedad de conmutar con , x = (X
(x)) =
Yn (x), es decir, y = Yn (y). Entonces y tiene perodo n para Y . Si x tiene mnimo perodo n0 , entonces y
n
tiene perodo n0 , y el mnimo perodo de y divide a n0 . Si es inyectiva, tenemos que X
(x) = x si, y slo
n
si, Yn (x) = x (la ida est demostrada al principio, y para la vuelta: Yn (x) = x (X
(x)) = x
n
X
(x) = x por la inyectividad de ). Entonces, x tiene perodo n si, y slo si, y tiene perodo n. Dicho de otro
modo, el conjunto de perodos para x es el mismo que el conjunto de perodos para y, de manera que el perodo
mnimo de x es el mismo que el perodo mnimo de y.


De esta proposicin se deduce que dos espacios shift que no tienen la misma cantidad de puntos peridicos
de perodo n (cualquiera sea n) no pueden ser conjugados. Es decir, la cantidad de puntos de perodo n de
un espacio shift es un invariante por conjugacin: n > 0, X Y |{x X : x tiene perodo n}| =
|{x Y : x tiene perodo n}|.
6.1.1. Recodificacin a cdigos monobloque. Sea : X Y un CVD. Mostraremos cmo es posible
e conjugado a X y a un CVD monobloque e de X
e a Y . Este procedimiento se
recodificar X a un shift X
denomina recodificacin de a un cdigo monobloque, y ser usado en varias demostraciones posteriores.

e
Proposicin 1.59. Sea : X Y un cdigo de ventana deslizante. Entonces existe un espacio shift X,
1
e
e
e
una conjugacin de X a X y un cdigo de ventana deslizante monobloque : X Y tales que
es una
conjugacin y e = . Si adems es una conjugacin, e tambin lo es.

e =
Demostracin. Supongamos que es inducida por con memoria m y anticipacin n. Tomemos X
m
m
X [m+n+1] y = X

.
Dado
que

son
conjugaciones,
y
teniendo
en
cuenta
la
Proposicin
m+n+1
m+n+1
e
e
X
e Su inversa 1 : X
e X est dada por 1 = 1
m , y es otra conjugacin
1.57, es conjugacin de X a X.
m+n+1

e
X

1
1
m
e e
e
. Tenemos que e es CVD, por ser la
y X
pues m+n+1
e lo son. Definamos : X Y mediante =
1
e
e
composicin
  de dos CVD, y cumple que = = . Adems, una funcin inductora para es
e : B1 X
e B1 (Y ) definida por

an
..
.

e a0 = (am a0 an )

.
..

am

6. CDIGOS DE VENTANA DESLIZANTE

15

xi+n
..
.

pues para x
e=
x i
.
..
xim

e se tiene que
X
iZ

xi+n+m

..

Xe (e
x) = xi+m

..

xi



1
m
X
x) = (xi )iZ X
m+n+1
e (e
iZ

y entonces, para cualquier entero j se cumple que

xj+n

..



.



1
1
m
e
e

e
xj = x
e j =
m+n+1 Xe (e
x)
= x[jm,j+n] = xj

[jm,j+n]

..

xjm

de donde se ve que e es un CVD monobloque.

Si se tiene adems que es una conjugacin, siendo e la composicin de la conjugacin 1 con , por la
e a Y.
Proposicin 1.57, es e una conjugacin de X


6.2. Imagen de un espacio shift por un cdigo de ventana deslizante. Hasta ahora, hemos visto
que un CVD acta transformando puntos de un espacio shift X en puntos de algn full shift U Z . Cabe
preguntarse cmo acta globalmente , en el sentido de qu caractersticas tiene (X) como subconjunto de
U Z . Mostraremos ahora que (X) es un espacio shift sobre el alfabeto U .

Lema 1.60. Sea un cdigo de ventana deslizante monobloque desde un espacio shift X hacia un full shift
U Z . Entonces, (X) es un espacio shift sobre el alfabeto U .
Demostracin. Llamemos A al alfabeto de X. Supongamos que est inducida por : B1 (X) U .
Hagamos L = { (w) : w B (X)}, y verifiquemos que (X) = XLc , con lo que quedar probado que (X) es
un espacio shift.
1. Sea y (X). Existe x X tal

que y = x. Sea u tal que u y. Entonces existen i, j Z tales que
u = y[i,j] = (x)[i,j] = x[i,j] , es decir, u = (w) con w B (X). Luego, u L, por lo que u
/ Lc .
Como u era un bloque arbitrario de y, vemos que y XLc . Entonces, (X) XLc .
2. Sea y XLc . Entonces todo bloque de y est en L, de donde se deduce que para todo n 0, existe
(n)
w B (X) tal que y[n,n] = (w). Por lo tanto, para todo n 0, existe x(n) X tal que x[n,n] = w y






(n)
x(n) [n,n] = x[n,n] = y[n,n] . Usaremos la sucesin x(n) nN para encontrar un punto x X
tal que x = y, con lo que quedar probado que y (X), y, con ello, que XLc (X). Como A es
finito, hay una cantidad infinita de n tales que x(n) tienen igual smbolo a0 en la posicin 0. Sea S0 el
conjunto de todos esos n. Como A3 es finito, hay un subconjunto infinito S1 de S0 y smbolos a1 y
(n)
a1 tales que n S1 , x[1,1] = a1 a0 a1 . Continuando de esta manera, para cada k 1 conseguimos
(n)

un subconjunto infinito Sk de Sk1 y smbolos ak y ak tales que n Sk , x[k,k] = ak a0 ak .

(n)

Definamos x = (ak )kZ . Ocurrir que k 0, n Sk , x[k,k] = x[k,k] . Si u = x[i,j] para algunos
(n)

enteros i y j, haciendo k = max {|i| , |j|} ser x[k,k] = x[k,k] para cualquier n Sk , por lo que existe
n 0 tal que u x(n) X, es decir, u B (X); puesto que cualquier bloque de x est en el lenguaje
del espacio shift X, se tiene que, por Corolario 1.31, x X. Sea ahora k 0. Tomemos n Sk tal que
n k (tal eleccin es posible pues Sk es un conjunto infinito). Tenemos que




(n)
(x)[k,k] = x[k,k] = x[k,k] = y[k,k]
Es decir, k 0, (x)[k,k] = y[k,k] . Entonces, x = y.


Teorema 1.61. Sea un cdigo de ventana deslizante desde un espacio shift X hacia un full shift U Z .
Entonces, (X) es un espacio shift sobre el alfabeto U .

16

1. ESPACIOS SHIFT

e una conjugacin : X X
e y un CVD
Demostracin. Por Proposicin 1.59, existe un espacio shift X,
e
e
e
e
monobloque
: X Y tales que = . Como es conjugacin, es (X) = X. Entonces, (X) = e ( (X)) =
 
e , que, por Lema 1.60, es un espacio shift, y en consecuencia (X) es espacio shift sobre U .
e X


6.3. Inversa de una conjugacin. Mostremos ahora que la inversa de una conjugacin es siempre una
conjugacin.
Lema 1.62. Sea una conjugacin monobloque del espacio shift X al espacio shift Y . Entonces, 1 es
una conjugacin de Y a X.
Demostracin. Sean A el alfabeto para X y U el de Y . Supongamos que est inducida por : B1 (X)
B1 (Y ). Hagamos = 1 . Debemos mostrar que es un CVD biyectivo de Y a X. Por ser la inversa de una
funcin biyectiva, es tambin biyectiva, as que slo resta verificar que es CVD, para lo que usaremos la
Proposicin 1.53.
1. Por ser un CVD, tenemos que X = Y , por lo que X = Y , y entonces
X = Y . Por lo tanto, cumple la condicin de conmutar con .
2. Supongamos que no existe un N 0 tal que para todo y Y , (y)0 dependa de y[N,N ] . Esto quiere




(n)
(n)
decir que para cada n 0 existen y (n) e yb(n) en Y tales que y[n,n] = yb[n,n] pero y (n) 0 6= yb(n) 0 .




b(n) estn
Llamemos x(n) = y (n) y x
b(n) = yb(n) . Tenemos que, para cada n 0, tanto x(n) como x
(n)
en X,
y adems
x
b(n) pues ambos difieren en la coordenada 0. Consideremos las dos sucesiones en
 (n)

 (n)6= x
X, x
y x
b
. Como A es finito, debe haber un smbolo a0 A, y un conjunto infinito S0
nN
nN

de enteros tal que n S0 , x(n) 0 = a0 ; ntese que n S0 , x

b(n) 0 6= a0 . Puesto que A es finito, debe


b(n) 0 = b0 . Observar
haber un smbolo b0 6= a0 y un subconjunto infinito S0 de S0 tal que n S0 , x




que, entonces, n S0 , x(n) 0 = a0 6= b0 = x
b(n) 0 . Como la cantidad de bloques en A3 es finita, debe


haber un subconjunto infinito S1 de S0 y smbolos a1 y a1 tales que n S1 , x(n) [1,1] = a1 a0 a1 , y

consecuentemente
debe haber un subconjunto



infinito S1 de S1 y smbolos b1

y b1 tales que n S1 ,
(n)
(n)
(n)
x
b
=
b
b
b
.
Notar
que
n

S
,
x
=
a
a
a
=
6
b
b
b
x
b
. Continuando de
1 0 1
1
1 0 1
1 0 1=
0
[1,1]
[1,1]
esta manera, para cada k 1 encontramos
un subconjunto infinito Sk de Sk1 y smbolos
ak , ak , bk




y bk tales que n Sk , x(n) [k,k] = ak a0 ak 6= bk b0 bk = x
b(n) [k,k] . Tomemos
(n)

(n)

x = (ak )kZ y x
b = (bk )kZ . Obsrvese que k 0, n Sk , x[k,k] = x[k,k] y x
b[k,k] = x
b[k,k] . Si
(n)

u = x[i,j] para algunos enteros i y j, haciendo k = max {|i| , |j|} ser x[k,k] = x[k,k] para cualquier

n Sk , por lo que existe n 0 tal que u x(n) X, es decir, u B (X); puesto que cualquier bloque
de x est en el lenguaje del espacio shift X, se tiene que, por Corolario 1.31, x X. Igualmente, x
b X.
Adems, x 6= x
b pues x0 = a0 6= b0 = x
b0 . Sea ahora k 0. Tomemos n Sk tal que n k (tal eleccin
es posible pues Sk es un conjunto infinito). Tenemos que




(n)
(n)
(n)
(x)[k,k] = x[k,k] = x[k,k] = y[k,k] = yb[k,k]




(n)
b[k,k] = (b
x)[k,k]
= x
b[k,k] = x
Es decir, k 0, (x)[k,k] = (b
x)[k,k] . De all, tendramos que x = b
x pese a ser x 6= x
b. Contradiccin a la inyectividad de . La contradiccin proviene de suponer que no hay un N 0 tal que y0 es
funcin de y[N,N ] .


Teorema 1.63. Sea una conjugacin del espacio shift X al espacio shift Y . Entonces, 1 es una
conjugacin de Y a X.
e una conjugacin : X X
e y una
Demostracin. Por Proposicin 1.59, existe un espacio shift X,
1
1
1 e1
e
e
e
conjugacin monobloque : X Y tales que es conjugacin y = . Entonces = , y, por
aplicacin de Lema 1.62 y Proposicin 1.57, 1 resulta ser tambin una conjugacin.


Captulo 2

SHIFTS DE TIPO FINITO

Los espacios shift que pueden ser descriptos por un conjunto finito de bloques prohibidos se llaman shifts
de tipo finito (abreviado STF). A pesar de ser los ms simples, juegan un rol fundamental en ciertas reas de
la Matemtica, tales como sistemas dinmicos. Su estudio tambin ha proporcionado soluciones a problemas
prcticos de importancia, tales como encontrar esquemas de codificacin eficientes para almacenar datos en
discos de computadoras.
Una razn por la que los STF son tan tiles es que tienen una representacin sencilla usando un grafo finito
dirigido. Preguntas sobre el shift pueden, a menudo, reformularse como preguntas sobre la matriz de adyacencia
del grafo. Resultados bsicos del lgebra lineal nos ayudan a analizar esta matriz y encontrar respuestas.
En este captulo, primero presentamos los STF, y damos algunos ejemplos tpicos. Luego se explica las
conexiones con los grafos dirigidos y las matrices, e introducimos la fundamental operacin de desdoblamiento de
estados. Concluimos con una breve descripcin sobre el almacenamiento magntico, indicando por qu la shift de
paso limitado (1,3) es la caracterstica central de la mayora de los mtodos ms usados para el almacenamiento
de datos en discos rgidos de computadoras.
1.

Restricciones de tipo finito

Primero definimos shifts de tipo finito, y luego explicamos el hecho de que tienen una propiedad (markoviana) de memoria finita.
Definicin 2.1. Un shift de tipo finito (STF) es un espacio shift que puede describirse por un conjunto
finito de bloques prohibidos, es decir, un espacio shift X para el cual existe algn conjunto finito F de bloques
tal que X = XF .
Ya hemos tratado antes con varios STF.
Ejemplo 2.2. El full shift AZ es un STF: podemos tomar simplemente F = pues nada est prohibido,
de modo que AZ = XF .

Ejemplo 2.3. El shift de la razn de oro X (ejemplo 1.10) es un STF, pues podemos tomar F = {11},
obteniendo X = XF .

Ejemplo 2.4. Sea X el conjunto de todos los puntos de {e, f, g}Z tales que e puede ser seguido slo por e
o por f , f puede ser seguido slo por g, y g puede ser seguido slo por e o por f . Entonces X es el espacio shift
que resulta de tomar F = {eg, f e, f f, gg}, y, en consecuencia, es un STF.

Notemos que un STF X podra tambin describirse mediante un conjunto infinito de bloques prohibidos. De
hecho, la Proposicin 1.29 muestra que sto puede ocurrir siempre que X no sea el full shift, pues el complemento
del lenguaje de X es infinito. La definicin de STF slo pide que exista algn F adecuado.
Supongamos que X AZ es STF, y que X = XF para una coleccin finita F de bloques. Sea N la longitud
del bloque ms largo en F. Si formamos la coleccin FN de todos los bloques de longitud N sobre A que
contienen algn subbloque en F, entonces tendremos que XFN = XF (prop. 1.21) y los bloques de FN tienen
todos la misma longitud N . Por ejemplo, si A = {0, 1} y F = {11, 000}, entonces F3 = {110, 111, 011, 000}.
A veces, ser conveniente asumir que este procedimiento ya ha sido llevado a cabo, y que todos los bloques
prohibidos tienen igual longitud.
Si todos los bloques en F tienen longitud N , entonces x AZ est en XF exactamente cuando x[i,i+N 1]
/
F para todo i Z, o, equivalentemente, cuando x[i,i+N 1] BN (XF ) para todo i Z (Supongamos que
i Z, x[i,i+N 1]
/ F. Sea u un bloque de x. Si |u| =
6 N, u
/ F pues F tiene slo bloques de tamao
N , y si |u| = N, u
/ F por la hiptesis; entonces ningn bloque de x est en F, por lo que x XF y
i Z, xi,i+N 1] B (XF ). Recprocamente, si un bloque de tamao N est en BN (XF ), no puede estar en
F). Luego, para determinar si x est o no en XF , slo necesitamos escanear las coordenadas de x con una
ventana de ancho N , y verificar que cada bloque visto a travs de esta ventana est en la coleccin permitida
BN (X). Esta observacin es, a menudo, til cuando se debe decidir si un dado espacio shift es o no de tipo
finito.
Ejemplo 2.5. El shift par X (ejemplo 1.13) no es un STF, pues, si lo fuera, existira N 1 y una coleccin
de N -bloques tal que X = XF . En dicha coleccin, no puede haber bloques de la forma 0k , ni 0k 10l para ningn
17

18

2. SHIFTS DE TIPO FINITO

k, l 0, ya que 0 10 X. Pero entonces 0 102N +1 10 XF pues ninguno de sus N -bloques est en F. Sin
embargo, ese punto no pertenece a X por la definicin del shift par.

Hay tambin una nocin de memoria para un STF:
Definicin 2.6. Un shift de tipo finito es de memoria M si puede describirse mediante una coleccin de
bloques prohibidos que tienen todos longitud M + 1.
Para motivar esta definicin, supongamos que todos los bloques de F tienen longitud M + 1. Sea u =
a1 a2 . . . an un bloque con longitud n mucho mayor que M . Supongamos que una mquina lee los smbolos de
u uno por vez, de izquierda a derecha. Para que esta mquina detecte si u contiene o no un bloque prohibido,
slo debe recordar los previos M smbolos ledos, es decir, necesita slo M espacios de memoria.
Observacin 2.7. Sea X un STF de memoria M , descripto a travs de un conjunto F de bloques de
longitud M + 1.
1. Sea u un bloque de A que no contiene ningn subbloque en F. Esto no garantiza que u B(X). Por
ejemplo: F = {10, 11}, u = 001. u no contiene subbloques en F, pero u
/ B(X) pues X = {0 }.

M +1

2. Sea F = A
B(XF ). Entonces, F F , y XF = XF . Para ver la primera asercin, si f F, |f | =
M +1 y f
/ B(XF ), luego f F . Para la segunda, ya que F F , se tiene que XF XF . Si x XF
y u es un bloque de longitud M + 1 que ocurre en x, u B(XF ), por lo que u
/ F . Luego x no contiene

bloques en F , mostrando que x XF y, consecuentemente, XF XF .

Notar que un STF de memoria M es tambin de memoria K para todo K M . Un STF de memoria 0 es
simplemente un full shift, pues prohibir bloques de tamao 1 es meramente quitar letras del alfabeto. Se puede
pensar en un STF de memoria 1 como en uno dado por una coleccin de smbolos junto con una descripcin
de cules smbolos pueden seguir a cules, como en el ejemplo 2.4. Posteriormente veremos muchos ejemplos de
tales STF de memoria 1.
Proposicin 2.8. Si X es un shift de tipo finito, entonces hay un M 0 tal que X es de memoria M .
Demostracin. Ya que X es de tipo finito, X = XF para alguna coleccin finita de bloques F. Si F = ,
sea M = 0. Si F 6= , sea M igual a la longitud del bloque ms largo en F, menos 1. Nuestra discusin anterior
muestra que X es descripto por FM +1 (el conjunto de todas las palabras de largo M + 1 que contienen algn
subbloque en F), por lo que X es de memoria M .

El lenguaje de un STF est caracterizado por la propiedad de que si dos palabras se solapan lo sufuciente,
pueden ser unidas a lo largo del solape para formar otra palabra en el lenguaje.
Teorema 2.9. Sea X un espacio shift sobre el alfabeto A, y M 0. X es STF de memoria M si, y slo
si, u, v, w A , uv B(X) vw B(X) |v| M uvw B(X)
Demostracin. Para la necesidad de la condicin, sea F una coleccin de bloques de tamao M + 1
tal que X = XF . Sean u, v y w en A tales que uv y vw estn en B(X) con |v| M . Existen x e y
en X tales que x[i,i+|uv|1] = uv, y[j,j+|vw|1] = vw. Consideremos el punto z = x(,i+|uv|1] y[j+|v|,) =
xi2 xi1 uvwyj+|vw| yj+|vw|+1 . No puede contener un bloque en F pues, al ser |v| M , una ventana de
ancho M + 1 no puede ver simultneamente smbolos de u, v y w, por lo que todo bloque que esta ventana vea
corresponde a un bloque en x o en y. Entonces z X y uvw B(X).
Para la suficiencia, definamos F = AM +1 BM +1 (X), y veamos que X = XF . Si x X e i Z,
x[i,i+M ] BM +1 (X), es decir, i, x[i,i+M ]
/ F. Luego x XF , y se deduce que X XF . Ahora, sea x XF .
Mostremos, por induccin sobre n, que n M, x[0,n] B(X). Para n = M es cierto pues x[0,M ]
/ F, por lo
que x[0,M ] BM +1 (X), y, de all, x[0,M ] B(X); esto muestra tambin que n {0, . . . , M 1}, x[0,n] B(X).
Supongamos que x[0,n] B(X). Hagamos u = x[0,nM ] , v = x[nM +1,n] y w = xn+1 . Observemos que uv =
x[0,n] B(X), vw = x[nM +1,n+1]
/ F y |vw| = M + 1, por lo que vw BM +1 (X) B(X). Adems, |v| = M .
Entonces uvw B(X), es decir, x[0,n+1] B(X). Un razonamiento anlogo en la otra direccin muestra que
m, n Z, x[m,n] B(X), es decir, cualquier bloque en x est en B(X), y, siendo X espacio shift, x X, por
lo que XF X.

Ejemplo 2.10. El teorema anterior da otra forma de ver que el shift par X no es de tipo finito. Pues si lo
fuera, sera de memoria M para algn M 1. Ya que 102M +1 B(X) y que 02M +1 1 B(X), deberamos tener
que 102M +1 1 B(X), lo que violara la definicin de shift par.

Consideremos el CVD con memoria 0 y anticipacin 1 que tiene por dominio el shift de la razn de oro
X, inducido por tal que (00) = 1, (01) = 0 = (10). Ocurre que (u) = 10k 1 si, y slo si, existe n 0
tal que u = 0(01)2n 00, por lo que k = 2n. Luego, (X) Y , donde Y es el shift par. Adems, si y Y , es
posible construir x X tal que y = (x) (teniendo en cuenta que si y[i,i+2k+1] = 102k 1, entonces debe ser
x[i,i+2k+2] = 0(01)k 00). Entonces, es un cdigo factor del shift de la razn de oro en el shift par, siendo el

2. GRAFOS Y SUS SHIFTS

19

primero de tipo finito y el segundo no. Es fcil construir tambin cdigos de ventana deslizante sobreyectivos
desde espacios shift que no son de tipo finito hacia otros que s lo son (por ejemplo, desde el shift par hacia {0 }
por el CVD de memoria 0 y anticipacin 0 inducido por (0) = (1) = 0). Sin embargo, las conjugaciones
preservan el carcter de tipo finito.
Teorema 2.11. Sea X un shift de tipo finito, e Y un espacio shift conjugado a X. Entonces Y es un shift
de tipo finito.
Demostracin. Sean A y U los alfabetos para X e Y respectivamente. Supongamos que X es un STF
de memoria M . Sea : X Y una conjugacin inducida por , y : Y X su inversa, inducida por .
Podemos suponer que y tienen ambas la misma memoria y anticipacin l. Sabemos que es cdigo de
ventana deslizante con memoria y anticipacin 2l, y que una funcin inductora es : B4l+1 (X) B1 (X).
Dicha composicin de inductoras, aplicada a un bloque a2l a0 a2l devuelve el carcter central a0 ; como
consecuencia de sto, si s, t y w son bloques con |s| = |t| = 2l, (swt) = w. Mostraremos que Y es un STF de
memoria M + 4l, usando el teorema anterior. Sean u, v, w U tales que uv B(Y ), vw B(Y ), |v| M + 4l,
digamos v = v1 vk con k M + 4l. Existen s, t B(Y ) : suv B(Y ), vwt B(Y ), |s| = |t| = 2l. Sea
u = (suv1 v2l ), w = (vk2l+1 vk wt). Entonces (suv) = u (v) B(X), (vwt) = (v)w B(X).
Como |v| M + 4, ser |(v)| = |v| 2l M . Luego (suvwt) = u (v)w B(X). Por ello, ((suvwt))
B(Y ), es decir, uvw B(Y ).

2.

Grafos y sus shifts

Un mtodo fundamental para construir shifts de tipo finito se basa en un grafo finito dirigido, considerando
la coleccin de todos los caminos bi-infinitos (es decir, sucesiones de aristas consecutivas) en el grafo. En un
sentido que precisaremos ms adelante, cualquier shift de tipo finito fuede ser recodificado en un shift de aristas.
En esta seccin, introducimos los shifts de aristas, y usamos la matriz de adyacencia del grafo para responder
preguntas sobre su shift. Realmente, la razn por la que un shift de aristas puede ser entendido mucho mejor
que un shift general es que podemos aplicar la potente maquinaria del lgebra lineal a su matriz de adyacencia.
Comenzamos con las definiciones bsicas concernientes a la teora de grafos.
Definicin 2.12. Un grafo finito dirigido G es una cuaterna (V, , i, t) donde:
V es un conjunto finito cuyos elementos llamaremos vrtices, nodos o estados.
es un conjunto finito cuyos elementos llamaremos aristas o arcos.
i es una funcin de en V . Para una arista a, i(a) se llama vrtice inicial de a. Tambin decimos que la
arista a arranca en el nodo i(a).
t es una funcin de en V . Para una arista a, t(a) se llama vrtice terminal de a. Tambin decimos que
la arista a termina en el nodo t(a).
Una manera cmoda de visualizar un grafo es mediante un dibujo donde los nodos se representan por
crculos (con el nombre del nodo en su interior) y cada arista a mediante una flecha desde i(a) hasta t(a), con
un rtulo que indica su nombre. La figura 1 muestra un grafo con V = {I, J} y ocho aristas, tenindose que,
por ejemplo, i(e) = I, t(e) = J, i(f ) = t(f ) = i(g) = t(g) = J, etc.

Figura 1.
Muchas veces, cuando hagamos referencia a distintos grafos en forma simultnea, emplearemos la notacin
V (G), (G), iG y tG para indicar conjuntos de nodos, aristas y funciones inicial y terminal de un grafo G en
particular.
Definicin 2.13. Sea G = (V, , i, t) un grafo.
Para nodos I, J de G, denotaremos por I al conjunto de todas las aristas de G que arrancan en I,
es decir, I = {a : i(a) = I}. Similarmente, J denotar al conjunto de todas las aristas de G
que terminan en J, es decir, J = {a : t(a) = J}. Reservamos el smbolo JI para el conjunto de
todas las aristas de G que empiezan en I y terminan en J, es decir JI = {a : i(a) = I t(a) = J}.
Llamamos
 grado de salida de I a |I |, la cantidad de aristas que arrancan en I, y grado de entrada
de J a J , la cantidad de aristas que llegan a J. La matriz de adyacencia AG del grafo G se define

20

2. SHIFTS DE TIPO FINITO

 
como la matriz cuadrada de |V | |V | indizada por V , cuyo elemento en la posicin IJ es AIJ = JI .
Es decir, AIJ es la cantidad de aristas de I a J en G.
Un lazo o bucle en G es una arista a tal que i(a) = t(a).
Un camino en el grafo G es una sucesin finita de aristas = e1 e2 ek tal que i {1, . . . , k
1}, t(ei ) = i(ei+1 ). Definimos el vrtice inicial del camino como i() = i(e1 ), el vrtice inicial de
la primera arista del camino, y el vrtice final de como t() = t(ek ), el vrtice final de la ltima
arista del camino. La longitud del camino es la cantidad de aristas que contiene, denotada por ||. Es
decir, || = k. La sucesin vaca cumple tambin con la definicin de camino, con longitud 0 y vrtices
inicial y final idnticos, pudiendo ser cualquiera de los nodos de G. Un ciclo en G es un camino en G
tal que i() = t(). Un ciclo simple en G es un ciclo = e1 ek tal que los estados i(e1 ), . . . , i(ek )
son distintos.
Desde el punto de vista de la dinmica simblica, interesa la conectividad de las aristas de un grafo, no los
nombres de las mismas ni de los vrtices del grafo. Por ello, grafos diferentes pueden en realidad representar un
mismo objeto desde ese punto de vista.
Definicin 2.14. Dados dos grafos G y H, un homomorfismo de G a H es un par de funciones (, ) con
: V (G) V (H) y : (G) (H) tales que e (G), iH ((e)) = (iG (e)) y tH ((e)) = (tG (e)). En
caso de ser ambas funciones inyectivas, el homomorfismo se llama inmersin de G en H. Si ambas funciones
son biyectivas, se llama isomorfismo entre G y H. Dos grafos se dicen isomorfos si hay un isomorfismo entre
ellos, y en ese caso escribimos G
= H. Un isomorfismo es, a los fines prcticos, simplemente un cambio de
nombre de nodos y aristas. La relacin de ser isomorfos es una relacin de equivalencia entre grafos.
Definicin 2.15. Un subgrafo H del grafo G es un grafo tal que V (H) V (G), (H) (G), y las
funciones iH y tH son, respectivamente, las restricciones de iG y tG a (H).
En trminos de matrices de adyacencia, si H es subgrafo de G se tiene que (AH )I,J (AG )I,J para toda
pareja de vrtices I, J V (H).
En cuanto a los isomorfismos, se tiene que dos grafos G y H son isomorfos si, y slo si, existe una matriz de
permutacin P tal que AG = P AH P 1 . Recordemos que una matriz de permutacin es una matriz cuadrada
con entradas 0 o 1 que tiene exactamente un 1 en cada fila, y exactamente un 1 en cada columna. Es fcil
demostrar si P es matriz de permutacin, P tambin lo es, y P 1 = P T . Si (, ) es un isomorfismo entre
G = (V, , iG , tG ) y H = (W, , iH , tH ), se define P con filas indizadas segn V (G) y columnas indizadas segn
V (H) mediante

1
si (I) = J
PI,J =
0
si (I) 6= J
Resulta directo chequear que P es matriz de permutacin. Adems, teniendo en cuenta que e JI (e)
J
I , a travs de un clculo rutinario se puede ver que (AG P )I,J = (P AH )I,J para todos I, J, de modo que
AG = P AH P 1 .
Recprocamente, si G y H son grafos tales que admiten una matriz de permutacin P tal que AG =
P AH P 1 , considerando a las filas de P en el mismo orden que las de AG y a las columnas de P en el mismo
orden que las de AH , se define I = J PI,J = 1. De la condicin AG = P AH P 1 , se deduce que
(AG )I,J = (AH )I,J , con lo que los grafos G y H son isomorfos.
2.1.

Shifts de aristas. A continuacin definiremos el espacio shift generado por un grafo.

Definicin 2.16. Sea G un grafo con matriz de adyacencia A. El shift de aristas de G, denotado por XG
o XA , es el conjunto de todos los caminos bi-infinitos de G. Es decir:
XG = {x = (xk )kZ : k Z, xk t(xk ) = i(xk+1 )}
Como puede verse, XG es un subconjunto del full shift Z , que tiene como alfabeto el conjunto de aristas
del grafo.
Ejemplo 2.17. Sean G1 y G2 los grafos mostrados en la figura 2.
Entonces, XG1 es el full shift sobre el alfabeto {0, 1, . . . , r 1}, mientras que XG2 es el espacio shift
X{eg,f e,f f,gg} del ejemplo 2.4.

Justifiquemos que el uso del trmino shift para los shifts de aristas es adecuado.
Proposicin 2.18. Si G = (V, , i, t) es un grafo, entonces XG es un espacio shift. Ms an, es un shift
de tipo finito de memoria 1.
Demostracin. Consideremos la coleccin finita
F = {ef 2 : t(e) 6= i(f )}

2. GRAFOS Y SUS SHIFTS

G1

21

G2
Figura 2.

y mostremos que XG = XF : Sea x XG , y k Z. Debe ser t(xk ) = i(xk+1 ) por la definicin de XG . Luego
xk xk+1
/ F. Entonces, ningn bloque de x est en F, y x XF . Recprocamente, sea x XF , y k Z.
xk xk+1
/ F, por lo que t(xk ) = i(xk+1 ). Como esto ocurre para todo k Z, se ve que x XG .
Como F tiene todos sus bloques de tamao 2, XG es un shift de tipo finito de memoria 1.

Es sencillo demostrar que si G y H son isomorfos, entonces XG y XH son conjugados: si (, ) es un
isomorfismo entre G y H, puede verse como la funcin inductora (biyectiva) de un cdigo de ventana deslizante
de memoria y anticipacin 0, que, en vistas de la biyectividad de , resultar ser una conjugacin entre XG y
XH .
Tambin es fcil ver que si H es subgrafo de G, XH XG .
Observemos el grafo de la figura 3. En l, la arista a no forma parte de ningn camino bi-infinito, pues desde
I = t(a) no arranca ninguna arista. Podemos pensar en el nodo I como en un nodo muerto. Una situacin
anloga ocurre con el nodo J, al cual no llega ninguna arista, de modo que las aristas b y c que arrancan en J
tampoco pueden formar parte de un camino bi-infinito.

Figura 3.
Definicin 2.19. Un nodo de un grafo se llama nodo muerto si a l no llega, o de l no sale, ninguna
arista.
Los nodos muertos de un grafo G pueden eliminarse, conjuntamente con todas las aristas que a l llegan o
salen, sin alterar el shift de aristas asociado. En el subgrafo que resulta de esta eliminacin, pueden a su vez
haber quedado nodos muertos. Sin embargo, repitiendo el proceso de eliminacin sobre el subgrafo la cantidad
de veces que sea necesaria hasta que no queden nodos muertos, se obtiene como resultado un subgrafo del grafo
original que contiene todas las aristas que forman parte de algn camino bi-infinito en G.
Ejemplo 2.20. La figura 4 muestra el resultado del proceso de eliminacin de nodos muertos del grafo de
la figura 3.

Definicin 2.21. Un grafo se llama esencial si no contiene nodos muertos.
Es fcil ver que si u1 uk es un bloque de largo k que est en el lenguaje de XG , entonces u es un camino
en G (si u x XG , existe j Z tal que x[j+1,j+k] = u1 uk , de donde, para cualquier n {1, . . . , k 1},
es t(un ) = t(xj+n ) = i(xj+n+1 ) = i(un+1 ), por lo que u1 uk es camino en G). Sin embargo, no es cierto que
cualquier camino en un grafo G sea un bloque del lenguaje de XG . Por ejemplo, cualquier arista vinculada a

22

2. SHIFTS DE TIPO FINITO

Figura 4.
un nodo muerto en un grafo no esencial es un camino de longitud 1 en G, pero no puede formar parte de un
camino bi-infinito en G, por lo que no pertenece a B1 (XG ).
Lema 2.22. Sea G un grafo esencial. Entonces, el conjunto de los caminos (finitos) en G es un precisamente
el conjunto de bloques en el lenguaje de XG .
Demostracin. Por nuestros comentarios anteriores, ya sabemos que los bloques en el lenguaje de XG
son caminos en G. Probemos ahora que, bajo la hiptesis de que G es esencial, los caminos de G son bloques
en el lenguaje de XG . Sea un camino en G. Por ser G esencial, hay una arista a1 que llega a i() y una
arista b1 saliendo de t(). Inductivamente, para cada k 2, hay una arista ak llegando a i(ak1 ) y una arista
bk1 saliendo de t(bk ). Entonces, a2 a1 b1 b2 es camino bi-infinito en G, y ocurre en l. Luego, est en
B (XG ).



Proposicin 2.23. Si G = V (G), (G), iG , tG es un grafo, existe un nico subgrafo H de G tal que H
esencial y XG = XH .
Demostracin. Sea (H) = B1 (XG ), es decir, el conjunto de todas las aristas de G que intervienen en
algn camino bi-infinito en G. Hagamos V (H) = {i(a) : a (H)}, el conjunto de nodos visitados por las
aristas de H, y sean iH y tH las respectivas restricciones de iG y tG a (H). Entonces H es subgrafo de G, y,
en consecuencia, cualquier camino bi-infinito en H es tambin camino bi-infinito en G, as que XH XG .
Veamos que tambin XG XH : si x XG , se tiene que para todo k Z, xk y xk+1 estn ambos en B1 (XG ),
y adems tG (xk ) = iG (xk+1 ). Luego, para todo k Z, es xk (H) y adems tH (xk ) = tG (xk ) = iG (xk+1 ) =
iH (xk+1 ), de donde x XH .
Adems, H es esencial, pues si I V (H), debe haber una arista a (H) tal que I = iG (a). Como a
B1 (XG ), existe x XG tal que xk = a para algn k Z. Entonces tH (xk1 ) = tG (xk1 ) = iG (xk ) = iH (xk ) = I,
mostrando que la arista xk1 llega a I y la arista xk sale desde I.
Para ver que H es nico, consideremos cualquier subgrafo esencial H de G tal que XH = XG . Si hubiera
una arista en H que no est en H o una en H que no est en H, sera B1 (XH ) 6= B1 (XH ) (lema 2.22,
considerando que H y H son esenciales), por lo que B (XG ) = B (XH ) 6= B (XH ), es decir, sera XG 6= XH ,
y tendramos una contradiccin. Luego, H y H tienen las mismas aristas, y siendo ambos esenciales, tienen
tambin los mismos nodos, de donde concluimos que ambos son iguales.

Ya que el subgrafo H de la proposicin anterior contiene la nica parte de G usada para la dinmica
simblica, usualmente restringiremos nuestra atencin a los grafos esenciales.
La matriz de adyacencia de un grafo puede usarse para obtener informacin sobre la cantidad de caminos
de longitud n 0 en el grafo, y, consecuentemente, si el grafo es esencial, para obtener la cantidad de bloques
de tamao n en B (XG ), esto es, |Bn (XG )|.
Proposicin 2.24. Sea G un grafo con matriz de adyacencia A, y sea n 0. Entonces:
1. Para vrtices I, J cualesquiera en G, el nmero de caminos de longitud n desde I hasta J en G es
(An )IJ , es decir, la posicin IJ de la matriz An .
2. El nmero de ciclos de longitud n en G es tr(An ), la traza de An , y es igual al nmero de puntos
peridicos de XG de perodo n.
Demostracin.


1. Probamos por induccin sobre n. Sean I, J V (G). Si I = J, A0 IJ = 1, y el nico camino de I a


J de longitud 0 es el camino vaco; si I 6= J, A0 IJ = 0 y no hay camino en G de I a J de longitud
0. Luego, la proposicin es verdadera para n = 0. Supongamos que la proposicin es cierta para n. Un

3. REPRESENTACIN DE SHIFTS DE TIPO FINITO POR MEDIO DE GRAFOS

23

camino de I a J de longitud n + 1 consiste en un camino de longitud n de I a K seguido de una arista

desde K hasta J, donde K es algn nodo. La cantidad de caminos de longitud n + 1 de I a J cuyo
penltimo vrtice visitado es K es entonces la cantidad de caminos de longitud n de I a K multiplicada
por la cantidad de aristas de K a J, que por hiptesis inductiva y definicin de matriz de adyacencia
es (An )IK AKJ . Para obtener todos los caminos desde I a J en G de longitud n + 1 hacemos variar a
K en el conjunto de nodos de G y sumamos. Es decir, la cantidad de caminos de longitud n + 1 de I a
J es
X
(An )IK AKJ
KV (G)

que es precisamente la definicin de An+1 IJ , con lo que queda demostrada la primera parte.
2. La primera parte del enunciado se sigue del tem anterior y de la definicin de ciclo. Para la segunda
parte, notar que que si es un ciclo de longitud n en G, entonces es un punto peridico en XG de
perodo n, mientras que si x XG es un punto peridico de perodo n, entonces x[0,n1] debe ser un
ciclo de longitud n en G. Esto establece una correspondencia 1 a 1 entre los ciclos en G de longitud n
y los puntos en XG de perodo n.

Recordemos que un espacio shift X se dice irreducible si para cualquier pareja de bloques u, w B(X), existe
v B(X) tal que uvw B(X). Es fcil caracterizar a los grafos que dan lugar a shifts de aristas irreducibles.
Definicin 2.25. Un grafo G se dice irreducible si para cualquier pareja I, J de vrtices en G, existe un
camino en G tal que i() = I y t() = J. Si G no es irreducible, se llama reducible.
La figura 5 muestra un ejemplo de grafo reducible, ya que no hay en l un camino desde I hasta J.

Figura 5.
Proposicin 2.26. Sea G un grafo esencial. G es irreducible si, y slo si, XG es un espacio shift irreducible.
Demostracin. Primero supongamos G irreducible. Sean u, w B (XG ). Entonces u y w son caminos en
G (lema 2.22). Por ser G irreducible, hay un camino v en G desde t(u) hasta i(w), por lo que uvw es camino
en G y, nuevamente por lema 2.22, uvw B (XG ).
Supongamos ahora que XG es irreducible. Sean I, J vrtices en G, y sean a y b aristas en G tales que t(a) = I,
i(b) = J. Tales aristas existen pues G es esencial. Por lema 2.22, a y b estn en B (XG ). Por irreducibilidad de
XG , existe v B (XG ) tal que avb B (XG ). Tal v debe ser entonces camino en G desde t(a) hasta i(b), es decir,
camino desde I hasta J. Luego, G es irreducible.

3.

Representacin de shifts de tipo finito por medio de grafos

Hemos presentado, en la seccin anterior, los shifts de aristas, que resultaron ser STF de memoria 1. Por lo
tanto, un STF que no tenga memoria 1 no puede ser un shift de aristas. Ms an, el siguiente ejemplo muestra
que hay STF de memoria 1 que no son shifts de aristas.
Ejemplo 2.27. No existe un grafo G tal que XG sea el shift de la razn de oro. Para verlo, supongamos que
G cumple que XG = X{11} . Por prop. 2.23, podramos suponer que G es esencial. Entonces debera contener
exactamente dos aristas llamadas 0 y 1. La arista 1 debera iniciar en un nodo y terminar en otro distinto (de lo
contrario, 1 estara en XG , lo que no puede ser) y entonces la arista 0 debera ir desde t(1) hasta i(1) (pues en
otro caso G no sera esencial). Pero entonces XG 6= X{11} , contradiccin que proviene de suponer la existencia
de tal G.

A pesar de que los shifts de aristas aparecen como particulares shifts de tipo finito, mostraremos ahora que
todo shift de tipo finito puede recodificarse a un shift de aristas.

24

2. SHIFTS DE TIPO FINITO

Teorema 2.28. Si X es un shift de tipo finito de memoria M , entonces X [M +1] es un shift de aristas. En
consecuencia, todo shift de tipo finito es conjugado a un shift de aristas.
Demostracin. Sea X un STF de memoria M . Podemos suponer M 1. Sea F tal que X = XF , siendo
todos los bloques en F de largo M + 1. Hagamos V = BM (X) y = BM +1 (X). Para a = a1 a2 aM aM +1 ,
definamos i(a) = a1 aM y t(a) = a2 aM aM +1 . Puede verse que i(a) y t(a) estn en V , ya que son subbloques
de a1 aM aM +1 B(X). Definamos G = (V, , i, t). Notar que, dados vrtices I = a1 aM y J = b1 bM ,
hay una nica arista de I a J si, y slo si, a2 aM = b1 bM 1 y a1 aM bM BM +1 (X). Es decir, hay
arista de I a J si, y slo si, I y J solapan progresivamente y el bloque obtenido de agregar a I el ltimo smbolo
de J est en BM +1 (X).
Verifiquemos ahora que XG = X [M +1] .
Sea x XG . Se tiene que, para todo k Z, xk (es decir, xk es un bloque de tamao M + 1 en el
lenguaje de X), y t (xk ) = i (xk+1 ). Pero si xk = a1 aM +1 y xk+1 = b1 bM +1 , es t (xk ) = a2 aM +1 e
1
i (xk+1 ) = b1 bM . Se tiene entonces que xk y xk+1 solapan progresivamente. Definamos entonces x = M
+1 (x).
Para cualquier k Z, x[k,k+M ] = xk BM +1 (X), por lo que x no tiene bloques en F, es decir, x X, y entonces
x = M +1 (x) pertenece a X [M +1] .
Ahora sea x X [M +1] . Sea x tal que M +1 (x) = x. Se tiene que, para cualquier k Z, es xk = xk xk+M
y xk+1 = xk+1 xk+M +1 , por lo que xk BM +1 (X) = y t(xk ) = xk+1 xk+M = i(xk+1 ) de acuerdo a la
definicin de G. Entonces, x XG .
La ltima afirmacin del teorema se deduce del hecho de que X X [M +1] .

Ejemplo 2.29. Si X = X{11} , X es STF de memoria 1. Tenemos que B1 (X) = {0, 1} = V y que B2 (X) =
{00, 01, 10} = . Definimos i(00) = i(01) = 0, i(10) = 1, t(00) = t(10) = 0 y t(01) = 1. El grafo (V, , i, t)
mostrado en la figura 6 es precisamente X [2] .


Figura 6.
Dado un shift de aristas XG , nos preguntamos si las presentaciones con solape de XG son tambin shifts de
aristas, y, en caso de serlo, si podemos construir los correspondientes grafos directamente a partir de G.
Definicin 2.30. Sea G un grafo, y sea N un entero positivo. Se define el grafo G[N ] del siguiente modo:
G[1] = G.
para N 2, los vrtices de G[N ] son los caminos en G de longitud N 1, y las aristas de G[N ] son
los caminos en G de longitud N . Si a = a1 aN es una arista, definimos iG[N ] (a) = a1 aN 1 y
tG[N ] (a) = a2 aN . Obsrvese que G[N ] es un grafo bien definido.
Ejemplo 2.31. Sea G = (V, , i, t) con V = {I, J}, = {e, f, g}, i(e = i(f ) = I, i(g) = J, t(e) = t(g) =
I, t(f ) = J. G[1] es el propio G. G[2] tiene vrtices {e, f, g} y aristas {ee, ef, f g, ge, gf }. G[3] tiene vrtices
{ee, ef, f g, ge, gf } y aristas {eee, eef, ef g, f ge, f gf, gee, gef, gf g}. Todos ellos se muestran en la figura 7.

Proposicin 2.32. Si G es un grafo esencial y N es un entero positivo, entonces (XG )

[N ]

= XG[N ] .

[N ]

Demostracin. Los smbolos para (XG )

son los N -bloques de XG , que son los caminos de largo N en
G (lema 2.22). Pero stos son precisamente los smbolos para XG[N ] . Una sucesin bi-infinita de estos smbolos
est en ambos espacios shift precisamente cuando dos smbolos consecutivos solapan progresivamente, de donde
se concluye el resultado.

Un camino bi-infinito en un grafo G determina una sucesin bi-infinita de vrtices de ese grafo, a saber, los
vrtices que el camino bi-infinito atraviesa (pero a una sucesin bi-infinita de vrtices puede corresponderle ms
de un camino bi-infinito, a menos que el grafo no posea aristas en paralelo entre dos nodos). Formalmente, sea
G = (V, , i, t) un grafo, y sea (xk )kZ un punto de XG . Entonces, la sucesin bi-infinita de vrtices que este
camino bi-infinito determina es el punto (i(xk ))kZ , que pertenece al full shift V Z .
Para considerar estos recorridos bi-infinitos, introducimos la matriz de incidencia de un grafo.

3. REPRESENTACIN DE SHIFTS DE TIPO FINITO POR MEDIO DE GRAFOS

G[1]

G[2]

25

G[3]

Figura 7.
Definicin 2.33. Sea G = (V, , i, t) un grafo con matriz de adyacencia AG . La matriz de incidencia
de G es la matriz B, de tamao |V | |V | con filas y columnas indizadas por V , tal que, para vrtices m, n V ,

1 si (AG )mn > 0
Bmn =
0 si (AG )mn = 0
Es decir, la entrada (m, n) de la matriz de incidencia es 1 o 0, dependiendo de si hay o no arista en G desde
m hacia n (en caso de haber, no importa cuntas hay).
Ahora consideraremos el conjunto de todas las sucesiones bi-infinitas de vrtices que determinan los caminos
bi-infinitos en G, y que resultar ser tambin un espacio shift.
Definicin 2.34. Sea G = (V, , i, t) un grafo con matriz de incidencia B. El shift de vrtices de G es
el conjunto


G = (xk )kZ V Z : k Z, Bx x
X
=1
k k+1
Proposicin 2.35. Los shifts de vrtices son shifts de tipo finito de memoria 1.

Demostracin. Sea G = (V, , i, t) un grafo con matriz de incidencia B. Consideremos F = {mn V 2 :

G = XF .
Bmn = 0}, y veamos que X

Sea x XG , y consideremos j, k Z. Si k j + 1 6= 2, x[j,k]

/ F (pues F contiene slo palabras de largo 2).
G , es Bx x
= 1, por lo que x[i,j]
/ F. Entonces
Y si k j + 1 = 2, es x[j,k] = xj xj+1 , pero, por estar x en X
j j+1
ningn bloque de x pertenece a F, es decir, x XF .
Recprocamente, si x XF , se tiene que, para todo j Z, x[j,j+1]
/ F, de donde Bxj xj+1 = 1, por lo que
G.
xX
G es un STF de memoria 1.
Ya que todos los bloques de F tienen largo 2, se sigue que X

Proposicin 2.36.
1. La familia de todos los shifts de tipo finito de memoria 1 es la familia de todos los shifts de vrtices.
2. Cualquier shift de aristas es un shift de vrtices (en un grafo diferente).
3. Si X es un shift de tipo finito de memoria M , X [M ] es un shift de vrtices. De hecho, existe un grafo
G = X [M ] y XG = X [M +1] .
G tal que X
Demostracin.
1. La proposicin 2.35 muestra que cualquier shift de vrtices es un SFT de memoria 1. Ahora, sea XF
un espacio shift con todos los bloques en F de largo 2. Definamos un grafo G como sigue: su conjunto
de vrtices es V = B1 (XG ), y para m, n V , pongamos una nica arista mn de m a n si, y slo si,
mn
/ F. La matriz de incidencia de G tendr entonces, en la posicin (m, n), un 1 si mn
/ F, y un 0
G precisamente cuando para todo k Z, Bx x
= 1, o,
si mn F. Luego, un punto de V Z est en X
k k+1

equivalentemente, cuando xk xk+1

/ F, mostrando que XG = XF .
2. El enunciado es consecuencia directa del tem anterior y del hecho de que todo shift de aristas es un
STF de memoria 1.
3. Veamos que el grafo G construido en la prueba del teorema 2.28, aparte de satisfacer que XG = X [M +1] ,
G = X [M ] .
cumple que X
Recordemos que el grafo G construido tiene conjunto de vrtices V = BM (X), y entre los vrtices
I = a1 aM y J = b1 bM hay arista si, y slo si, a2 aM = b1 bM 1 y a1 aM bM BM +1 (X).
Es decir, llamando B a la matriz de incidencia, se tiene que BIJ = 1 si, y slo si, I y J solapan
progresivamente y el bloque obtenido de agregar a I el ltimo smbolo de J est en BM +1 (X).
Recordemos tambin que es X = XF para alguna coleccin F de bloques de tamao M + 1.

26

2. SHIFTS DE TIPO FINITO

G . Se tiene que, para todo k Z, xk V , y Bx x

= 1, de donde xk y xk+1 solapan
Sea x X
k k+1
1
progresivamente. Definamos x = M (x). Se tiene que, para cualquier k Z, xk xk+M BM +1 (X)
/ F, y
(pues es el bloque que resulta de agregar a xk el ltimo smbolo de xk+1 ), es decir, xk xk+M
entonces x X, as que x X [M ] .
Ahora sea x X [M ] . Sea x tal que M (x) = x. Se tiene que, para cualquier k Z, es xk =
xk xk+M 1 BM (X), xk+1 = xk+1 xk+M BM (X), y xk xk+M BM +1 (X), por lo que
G.
Bxk xk+1 = 1. Luego, x X

4.

Desdoblamiento de estados

El desdoblamiento de estados es un procedimiento para construir nuevos grafos a partir de uno dado.
Comenzando con una particin del conjunto de aristas, cada estado es desdoblado en una cierta cantidad de
estados derivados. Aunque el grafo resultante puede parecer muy distinto del original, ambos tienen shifts de
aristas conjugados. Hay una operacin inversa del desdoblamiento, llamada amalgama de estados. Resulta ser
que cualquier conjugacin entre shifts de aristas puede dividirse en una sucesin finita de desdoblamientos y
amalgamas de estados. Esto, junto a aplicaciones para la produccin de cdigos de estados finitos, explica la
crucial importancia del desdoblamiento de estados en dinmica simblica.
Comenzamos con una descripcin del desdoblamiento de un solo estado, operacin que denominaremos
desdoblamiento elemental. Sea G un grafo con conjunto de estados V y conjunto de aristas . Fijemos un estado
I V , y supongamos, por el momento, que no hay bucles en I. Hagamos una particin del conjunto de aristas
salientes de I (es decir, I ) en dos subconjuntos disjuntos no vacos 1I y 2I . Construimos un nuevo grafo H,
basndonos en esta particin, como sigue: el conjunto de estados es W = (V {I}) {I 1 , I 2 }. Para cada arista
e iI (donde i es 1 o 2), pongamos una arista en H desde I i hasta t(e) llevando el mismo nombre e (notar
que, como no hay bucles en I, t(e) 6= I, de modo que t(e) W ). Para cada f en I (es decir, cada arista f
llegando a I), pongamos dos aristas f 1 desde i(f ) hasta I 1 y f 2 desde i(f ) hasta I 2 . Todas las otras aristas de
G (es decir, las que no estn vinculadas al nodo I) se copian en H con el mismo nombre e idnticos nodos inicial
y terminal. Queda entonces completa la construccin de H. Hablando sin precisin, desdoblamos las aristas
salientes y reproducimos las aristas entrantes a I. La figura 8 muestra cmo es la operacin.

Figura 8.

Ejemplo 2.37. Sea G el grafo de la izquierda en la figura 9, y consideremos la particin de I dada por
1I = {a} y 2I = {b, c}. A la derecha de esa figura se muestra el grafo resultante de desdoblar el estado I con
esa particin.

Supongamos que H se forma a partir de G desdoblando el estado I, como se describi ms arriba. A
continuacin construimos una conjugacin entre sus shifts de aristas XG y XH . Definamos la transformacin
monobloque : B1 (XH ) B1 (XG ) mediante (f i ) = f si f I y (e) = e si e
/ I . En otras palabras,
simplemente borra suprandices. Es posible chequear (lo haremos ms adelante) que borrar suprandices de
los caminos en H produce caminos en G, de modo que induce un cdigo de ventana deslizante monobloque
: XH XG . Ahora definamos un cdigo 2-bloque : B2 (XG ) B1 (XH ) mediante:

si f
/ I
f
1
f
si f I y e 1I
(f e) =
2
f
si f I y e 2I

4. DESDOBLAMIENTO DE ESTADOS

27

Figura 9.
Es decir, se anticipa un smbolo y puede aadir un suprandice, dependiendo de lo que ve. Es factible
chequear (tambin lo haremos ms adelante) que transforma caminos de G en caminos de H, y, por lo tanto,
induce un CVD de XG en XH con memoria 0 y anticipacin 1.


Puesto que agregar y eliminar suprandices no tiene efecto, vemos que (x) = x para todo x XG .
Recprocamente, los suprandices estn unvocamente
determinados por la definicin de , ya que 1I y 2I son


una particin de I , de modo que (y) = y para todo y XH . Luego, es una conjugacin de XG en XH .
Ejemplo 2.38. Las acciones de y sobre puntos tpicos x XG , y XH del ejemplo 2.37 se muestran a
continuacin:
x =

d1

d2

d2

e1

.a

.a

d2

e2

Notar que no figura el smbolo en y debajo de la ltima d de x, pues para ello hace falta conocer el smbolo a
la derecha de dicha d.

El procedimiento general de desdoblamiento de estados es una extensin, en dos sentidos, del proceso
elemental recientemente descripto: por un lado, las aristas salientes de un estado pueden particionarse en una
cantidad de conjuntos que no necesariamente sea 2, y, por otro lado, se puede particionar simultneamente los
conjuntos de aristas salientes de todos los estados (incluyendo los que presentan bucles).
Definicin 2.39. Sea G = (V, , iG , tG ) un grafo. Para cada estado I V , sean definidos un entero positivo
P
m(I)
m(I) tal que m(I) | I |, y una particin de I en conjuntos disjuntos (no vacos) 1I , 2I , . . . , I
(es
decir, m(I) 1 es la cantidad de tomos en la particin de I ). Sea P la particin resultante de . El grafo
de estados desdoblados G[P] formado a partir de G usando P es el grafo (W, , iH , tH ) definido como
sigue:


Conjunto de estados: W = I k : I V 1 k m(I) .

Conjunto de aristas: = ej : e

1 jn m tG (e) .
Funcin de nodos iniciales: iH ej = (iG (e)) donde n es tal que e niG (e) .


j
Funcin de nodos terminales: tH ej = (tG (e)) .
Es decir, si e va de I a J en G, entonces existe n tal que e nI , y el estado inicial de ej en G[P] es I n y
el terminal es J j ; es decir, ej va de I n a J j .
Un desdoblamiento elemental de G por el estado I ocurre cuando m(I) = 2 y m(J) = 1 para todo
J 6= I.
Cuando para algn estado J se tiene que m(J) = 1, los suprandices 1 (en el nombre del estado y de las
aristas entrantes a J 1 en el grafo desdoblado) se vuelven redundantes, y no hay problemas en omitirlos (pues
se obtiene un grafo isomorfo), como hicimos en nuestras primeras discusiones respecto de los desdoblamientos
elementales.
Asumiremos que los elementos de las particiones de aristas salientes de cada nodo nunca son vacos. Esto
garantiza que el grafo obtenido de desdoblar estados en un grafo esencial (o irreducible) es tambin esencial (o
irreducible).
Observacin 2.40. De la definicin del grafo desdoblado, se desprende que una arista ej va de I n hasta
J si, y slo si, e nI (lo cual implica que iG (e) = I), tG (e) = J y j = k. Por ello, la cantidad de aristas desde
I n hasta J k en el grafo desdoblado es precisamente la cantidad de aristas en nI que terminan en J en el grafo
k

28

2. SHIFTS DE TIPO FINITO

G. Es decir,

 


k

I n J  = nI J 

para todos k {1, . . . , m(J)}, n {1, . . . , m(I)}, I, J V (G).

Ejemplo 2.41. Sea G el grafo de la izquierda en la figura 10, de modo que I = {e, f } y J = {g}.
Tomemos las siguientes
1I = {e}, 2I = {f } y 1J = {g}, de modo que m(I) = 2 y m(J) = 1.

 1 2 particiones:
1
Entonces P = I , I , J . El grafo resultante del desdoblamiento se muestra a la derecha en esa misma figura.
Notar que, en particular, el bucle e en el estado I se desdobla en un bucle e1 en el estado I 1 y otra arista e2
desde I 1 hasta I 2 .


Figura 10.
Ejemplo 2.42. La figura 11 muestra a la izquierda un grafo del full shift {e, f }Z . Esencialmente, hay una
sola particin no trivial de I , a saber, 1I = {e} y 2I = {f }. El grafo resultante del desdoblamiento se
muestra en la misma figura a la derecha, y puede advertirse que, salvo cambio de nombres, es esencialmente la
presentacin del full shift en bloques de tamao 2 con solape.


Figura 11.

1J

Ejemplo 2.43. Para el grafo G a la izquierda en la figura 12, sea P definida por 1I = {a}, 2I = {b, c},
= {d}, 1K = {e} y 2K = {f }. El grafo G[P] se muestra a la derecha de esa misma figura.


Como la construccin de G[P] usa particiones de conjuntos de aristas salientes, decimos que G[P] es el
grafo de desdoblamiento de salidas formado a partir de G usando P. Hay una correspondiente nocin de
desdoblamientos de entradas, usando particiones de conjuntos de aristas entrantes.
Definicin 2.44. Sea G = (V, , i, t) un grafo. Para cada estado I V , sea definida una particin de I en
conjuntos disjuntos (no vacos) I1 , I2 , . . . , Im(I) , donde m(I) 1 es la cantidad de conjuntos en la particin
de I . Sea P la particin resultante de . El grafo de desdoblamiento de entradas G[P] formado a partir
de G usando P tiene como
conjunto de estados a {Ik : I V 1 k m(I)} y como conjunto de aristas a

ej : e 1 j m i(e) . Si e va de I a J en G, entonces existe j tal que e Jj , y el estado inicial
de ei en G[P] es Ii y el terminal es Jj .
J1

Ejemplo 2.45. Sea G el grafo a la izquierda en la figura 13. Definamos P mediante I1 = {e}, I2 = {g} y
= {f }. El correspondiente G[P] se muestra en esa misma figura, a la derecha.


4. DESDOBLAMIENTO DE ESTADOS

29

Figura 12.

Figura 13.
Ser conveniente considerar a un grafo isomorfo a G[P] tambin como un desdoblamiento de salidas de G
(y similarmente para los desdoblamientos de entradas). Tambin es apropiado dar un nombre a la operacin
inversa del desdoblamiento.
Definicin 2.46. Un grafo H es un desdoblamiento de un grafo G, y G es una amalgama de H, si H
es isomorfo a G[P] o a G[P] , para alguna particin P del conjunto de aristas de G.
Si hace falta mayor precisin, emplearemos los trminos desdoblamiento de salidas, desdoblamiento de entradas, amalgama de salidas o amalgama de entradas. Notar que los isomorfismos de grafos, de acuerdo a nuestra
definicin, pueden ser vistos como cualquiera de estas cuatro operaciones.
Al igual que en los desdoblamientos elementales, los desdoblamientos en general producen grafos cuyos shifts
de aristas son conjugados a los del grafo inicial.
Teorema 2.47. Si un grafo H es un desdoblamiento de un grafo G, entonces los shifts de aristas XG y XH
son conjugados.
Demostracin. Probaremos slo para el caso de los desdoblamientos de salida, siendo el otro caso similar.
Ya que los isomorfismos de grafos establecen conjugaciones, y que la composicin de conjugaciones es otra
conjugacin, alcanza con probar el resultado para el caso en que H = G[P] . Mostraremos, en sucesivos pasos,
que existen CVD : XH XG y : XG XH tales que = 1 , con lo que quedar demostrado que es
una conjugacin, y, por lo tanto, XG XH .


Definamos la transformacin monobloque : B1 (XH ) B1 (XG ) mediante ej = e, y consideremos
[0,0]
= .


Sea y XH , y tomemos k Z. Debe ser yk = ej , yk+1 = f m con e, f y tH ej = iH (f m ); por
j
n
definicin de H, esto implica que (tG (e)) = (iG (f )) con n tal que f niG (f ) , de donde concluimos
que tG (e) = iG (f ) (es decir, ef es camino en G) y que j = n, es decir, f jiG (f ) . Por lo tanto,


tG ((y)k ) = tG ((yk )) = tG (ej ) = tG (e) = iG (f ) = iG ((f m )) = iG ((y)k+1 )

mostrando que (y) XG , y entonces (XH ) XG , por lo que : XH XG es un CVD monobloque

bien definido.

30

2. SHIFTS DE TIPO FINITO

Ahora definamos la transformacin de bloques : B2 (XG ) B1 (XH ) por medio de lo siguiente: si

ef B2 (XG ), entonces existe un nico j tal que f jiG (f ) , y definimos (ef ) = ej . Consideremos
[0,1]

= .
Sea x XG , y tomemos k Z. Tenemos que xk , xk+1 , xk+2 , xk xk+1 , xk+1 xx+2 B2 (XG ), y
existen I, J V tales que tG (xk ) = iG (xk+1 ) = I, tG (xk+1 ) = iG (xk+2 ) = J. Sean n1 y n2 tales que
2
xk+1 nI 1 y xk+2 nJ 2 . Entonces (xk xk + 1) = xnk 1 y (xk+1 xk+2 ) = xnk+1
. Luego,
tH ((x)k )

iH ((x)k+1 )

tH ((xk xk+1 )) = tH (xnk 1 ) = (tG (xk )) 1 = I n1

n
2
iH ((xk+1 xk+2 )) = iH xnk+1
= (iG (xk+1 )) 1 = I n1

mostrando que (x) XH , y entonces (XG ) XH , por lo que : XG XH es un CVD bien definido.
Sean x XG y k Z. Entonces (x)k = (xk xk+1 ) = xnk para algn n, y entonces ((x))k =
((x)k ) = (xnk ) = xk . En consecuencia, ( )(x) = x para todo x XG .
Recprocamente, sean y XH y k Z. Razonando como antes, debe ser yk yk+1 = ej f m con
f jiG (f ) , por lo que (y)[k,k+1] = ef (con ef B2 (XG ) pues (y) XG ) y entonces (ef ) = ej , as


que ((y))k = (y)[k,k+1] = (ef ) = ej = yk . En consecuencia, ( )(y) = y para todo y XH .

Queda entonces demostrado que : XG XH es cdigo de ventana deslizante que posee funcin inversa que es
tambin cdigo de ventana deslizante, por lo que XG y XH son conjugados.


La demostracin anterior muestra que si H es un desdoblamiento de salidas de G, hay un cdigo monobloque

desde XH a XG , que se denomina cdigo de amalgama de salidas, cuyo inverso es un cdigo con memoria 0 y
anticipacin 1 llamado cdigo de de desdoblamiento de salidas. Anlogamente, si H es un desdoblamiento
de entradas de G, tenemos un cdigo de amalgama de entradas monobloque con inverso denominado cdigo
de desdoblamiento de entradas que tiene memoria 0 y anticipacin 1.
Del teorema previo, se deduce que si un grafo H puede ser obtenido por una sucesin (finita) de desdoblamientos y amalgamas de un grafo G, entonces XH XG (la conjugacin es la composicin de los sucesivos
cdigos de desdoblamiento o amalgama). Aunque no lo haremos aqu, es posible probar tambin el recproco:
cualquier conjugacin entre shifts de aristas puede escribirse como una composicin de cdigos de desdoblamientos y amalgamas. Este importante resultado se conoce como Teorema de la Descomposicin.
4.1. Los desdoblamientos y las matrices de adyacencia. Consideremos el ejemplo 2.43. Los estados
de G y de su desdoblado son, respectivamente, V = {I, J, K} y W = {I 1 , I 2 , J 1 , K 1 , K 2 }. Podemos representar
cmo los estados en W se derivan a partir de los estados en V por medio de la siguiente matriz D con filas
indizadas por V y columnas indizadas por W (en el orden dado):

1 1 0 0 0
D= 0 0 1 0 0
0 0 0 1 1
Por ejemplo, DI,I 1 = 1 = DI,I 2 pues I 1 e I 2 resultan de desdoblar el estado I, mientras que DI,J 1 = 0 pues J 1
no procede del desdoblamiento de I.
Por otro lado, podemos especificar las cantidades de aristas en cada particin que terminan en un estado
dado, por medio de la siguiente matriz E con filas indizadas por W y columnas indizadas por V (en el orden
dado):

0 1 0
0 1 1

E=
1 0 0
0 1 0
1 0 0

donde, por ejemplo, EI 1 ,J es la cantidad de aristas en 1I que terminan en J, en este caso una sola arista.
Un cmputo directo muestra que el producto DE es igual a la matriz de adyacencia de G, y que ED da la
matriz de adyacencia del grafo desdoblado. Veremos ahora que esta situacin se cumple en general.
Definicin 2.48. Sea G = (V, , i, t) un grafo, P una particin de salida de , y H = G[P] . Designemos
por W al conjunto de vrtices de H. La matriz de divisin D para P es la matriz sobre V W definida por

1 si I = J
DI,J k =
0 si I 6= J
La matriz de aristas E para P es la matriz sobre W V definida por


EI n ,J = nI J 

4. DESDOBLAMIENTO DE ESTADOS

31

De la observacin 2.40, surge que EI n ,J corresponde a la cantidad de aristas en el grafo desdoblado que van
desde desde I n hasta J k (cualquiera sea k {1, . . . , m(J)}).
Las matrices de divisin y de aristas permiten obtener las matrices de adyacencia de los grafos involucrados
en un desdoblamiento, de acuerdo al siguiente resultado.
Teorema 2.49. Sean G, P, H, D y E como en la definicin anterior. Entonces,
DE = AG

ED = AH

Demostracin. Se tiene que

(DE)I,J

DI,K EK,J =

X
X m(L)

LV i=1

KW

m(I)

DI,Li ELi ,J =

m(I)

DI,I i EI i ,J =

i=1


  m(I)
m(I)
[
[
X







i
J
i
J 

iI J  = 

I 
I  = 


  i=1
 i=1
i=1


I J  = (AG )I,J

EI i ,J

i=1

m(I)

=
=

mostrando que DE = AG . Por otro lado,

(ED)I i ,J j

EI i ,K DK,J j = EI i ,J DJ,J j = EI i ,J

KV

por lo que ED = AH .



 
j
= iI J  = I i J  = (AH )I i ,J j

Captulo 3

ASPECTOS TOPOLOGICOS Y DINAMICOS DE LOS ESPACIOS

SHIFT
El objetivo de este captulo es analizar a los espacios shift a travs de sus caractersticas topolgicas.
Mediante la definicin de una manera adecuada para medir distancias entre tirillas biinfinitas, podremos ver
a la full shift como un espacio mtrico y estudiarla con las herramientas clsicas de la topologa y el anlisis.
De sto, resultar una caracterizacin de los espacios shift y de los cdigos de ventana deslizante a travs de
propiedades topolgicas. Esto forma parte de investigaciones ms o menos recientes (alrededor de 1970) en el
rea de la Dinmica Simblica, de modo que se trata de tpicos relativamente nuevos en Matemtica, y en
franco proceso de expansin.
No se pretende dar aqu un estudio detallado de la teora general de espacios mtricos, sino ms bien
enunciar las definiciones y propiedades bsicas de los mismos con el nico objetivo de aplicarlos al estudio de
los espacios shift.
En el presente captulo, primero definiremos una mtrica para la full shift y veremos algunas propiedades
bsicas importantes de la misma, para luego estudiar la convergencia de sucesiones y arribar a la conclusin de
que los espacios shift estn caracterizados por ser subconjuntos compactos y shift-invariantes de la full shift.
Luego analizaremos la continuidad de acuerdo a la mtrica definida, encontrando que los cdigos de ventana
deslizante se caracterizan por ser las funciones entre espacios shift que son continuas y conmutan con la funcin
shift.
1.

Una mtrica para AZ

Definicin 3.1. Una mtrica o funcin distancia para un conjunto X es una funcin d : X X R+
0
con las siguientes propiedades:
1. d (x, y) = 0 x = y
2. x, y X, d (x, y) = d (y, x) (axioma de simetra)
3. x, y, z X, d (x, z) d (x, y) + d (y, z) (desigualdad triangular)
El par (X, d) se denomina espacio mtrico.
Para llevar adelante el objetivo planteado en la introduccin, debemos dotar a AZ de una mtrica adecuada. Para nuestros propsitos, adecuada va a querer decir que dos puntos x e y de AZ estarn tanto ms
cerca cuanto ms grande sea el bloque central en que coinciden. As, por ejemplo, 00010.110101110000
y 10010.110101110010 debern estar entre s a una distancia menor que la distancia que haya entre los
puntos 00010.1101110000 y 00011.11111111 Para ello, definiremos d : AZ AZ R+
0 mediante

0
si x = y
d (x, y) =
2 mn{|k|:xk 6=yk } si x 6= y
En palabras, para encontrar la distancia entre dos puntos distintos x e y, hay que detectar la coordenada
entera k (positiva o negativa) en la que x e y difieren ms cercana a la coordenada 0, y evaluar 2|k| .
Ejemplo 3.2. Encontremos la distancia entre los puntos
x = 00010.110101110000

y = 10010.110101110010

A fin de visualizar mejor, dispongamos ambos puntos uno debajo del otro, y marquemos con las coordenadas
en que xk 6= yk :
x

...

...

5
0

4 3
0
0
0

2 1 0
1
0 1

0
0 1

1 2
1 0

3 4
1 0

5 6 7
1 1 1

8 9
0 0

1 0

1 0

1 1 1

0 0

10
0

11
0

...

...
|2|

La marca ms cercana a la coordenada 0 corresponde a k = 2, de modo que d (x, y) = 2

= 1/4.

Notemos que, de acuerdo a esta definicin, el mayor valor que puede tomar d es 1, que corresponde al caso
en que los dos puntos entre los que se est midiendo la distancia difieren en la coordenada 0.
Justifiquemos que la funcin d as definida es efectivamente una mtrica para AZ :
33

34

3. ASPECTOS TOPOLOGICOS Y DINAMICOS DE LOS ESPACIOS SHIFT

Dados dos puntos x e y en AZ , o bien son iguales o bien son distintos. En el primer caso, es d (x, y) =
0 R+
0 . En el caso en que x 6= y, el conjunto {k : xk 6= yk } Z es no vaco, de modo que el conjunto
{|k| : xk 6= yk } N tampoco es vaco, y entonces tiene un mnimo elemento N . Ya que la funcin
exponencial 2t es estrictamente positiva para t R, d (x, y) = 2N R+
0 . Esto muestra tambin que
d (x, y) = 0 x = y.
El cumplimiento del axioma de simetra es directo de ver.
Para la desigualdad triangular, sean x, y, z AZ dos a dos distintos. Llamemos
Nxy = mn {|k| : xk 6= yk }

Nyz = mn {|k| : yk 6= zk }

Nxz = mn {|k| : xk 6= zk }

Tomemos N = mn {Nxy , Nyz }.

Si N = 0, es y0 6= x0 o y0 6= z0 , de modo que d (x, y) = 1 o d (y, z) = 1, y por lo tanto es
d (x, y) + d (y, z) 1 d (x, z).
Si N > 0, es x[N +1,N 1] = z[N +1,N 1] , pues si tomamos i tal que |i| < N , tenemos que |i| < Nxy
y |i| < Nyz , de donde xi = yi e yi = zi , por lo que xi = zi . O sea que Nxz N . Por lo tanto,
observando que 2Nxz 2N y que es N = Nxy o N = Nyz , se tiene
d (x, z) = 2Nxz 2N 2Nxy + 2Nyz = d (x, y) + d (y, z)
Es decir, en cualquier caso se verifica la desigualdad triangular.
La funcin distancia puede restringirse de AZ AZ a X X para cualquier subconjunto X de la full shift,
y el par (X, d) sigue siendo un espacio mtrico.
La mtrica recientemente definida recibe el nombre de mtrica usual para los espacios shift, y es a la que
haremos referencia por defecto siempre que hablemos de distancia en espacios shift, a menos que especifiquemos
lo contrario.
Una condicin necesaria y suficiente para que dos puntos distintos estn a distancia menor que un

 esrictamente positivo es que ambos coincidan en una ventana central de tamao 2k + 1, en donde k = log 1 (a
menos que especifiquemos otra cosa, log siempre significar logaritmo en base 2; adems, para r R, r es la
parte entera o piso de r, es decir, el mayor entero que no supera a r). Para probar la afirmacin, notemos que
d (x, y)

1
2 mn{|k|:xk 6=yk } < mn {|k| : xk 6= yk } > log



1
x[log 1 ,log 1 ] = y[log 1 ,log 1 ]
mn {|k| : xk 6= yk } > log

<

Juntando esto con el hecho de que dos puntos de la full shift que estn a distancia 0 coinciden en el bloque
central de tamao 2k + 1 cualquiera sea k N, tenemos el siguiente resultado.
Proposicin 3.3. Sea > 0, y x e y dos puntos de AZ . Se tiene que
d (x, y) < x[log 1 ,log 1 ] = y[log 1 ,log 1 ]

En particular, para cualquier K N, tenemos que d (x, y) < 2K x[K,K] = y[K,K] .

Definicin 3.4. Sea (X, d) un espacio mtrico, x X y r R+ . El entorno de radio r con centro en
x, denotado Br (x), es el conjunto de puntos del espacio cuya distancia a x es menor que r.
En virtud de la Proposicin 3.3, el entorno de radio con centro en x X AZ , para la mtrica usual, es
o
n
B (x) = y X : x[log 1 ,log 1 ] = y[log 1 ,log 1 ]

Particularmente, para K N, B2K (x) = y X : x[K,K]

= y[K,K] .

Definicin 3.5. Dado un subconjunto E de un espacio mtrico (X, d), se dice que un punto x E es un
punto interior a E si existe r > 0 tal que Br (x) E. E es abierto en X si todos sus puntos son puntos
interiores a E.
Como caso particular, los entornos de cualquier espacio mtrico son conjuntos abiertos. Puede demostrarse
que cualquier conjunto abierto de un espacio mtrico es una unin de entornos, y viceversa. Adems, la unin
arbitraria de conjuntos abiertos es un conjunto abierto, y la interseccin finita de conjuntos abiertos es tambin
un conjunto abierto.
En el caso particular de la full shift, a partir de la definicin de conjunto abierto y de la caracterizacin de
los entornos, se deduce que un subconjunto X de AZ es abierto si, y slo si, para cada x X, existe K N
tal que cualquier punto y AZ que satisface y[K,K] = x[K,K] pertenece tambin a X. Tal K depender, en
general, de x.

2. SUCESIONES

35

Definicin 3.6. Dado un subconjunto E de un espacio mtrico (X, d), se dice que un punto x X es un
punto de acumulacin de E si todo entorno con centro en x tiene un punto de E {x}. E es cerrado si
contiene a todos sus puntos de acumulacin. La clausura de E es la unin de E con el conjunto de sus puntos
de acumulacin.
Se tiene que E es cerrado si, y slo si, su complemento es abierto. Adems, E es cerrado si, y slo si, la
clausura de E coincide con E. Puede verse, usando las leyes de De Morgan, que la interseccin arbitraria de
conjuntos cerrados es un conjunto cerrado, as como la unin finita de conjuntos cerrados es tambin un conjunto
cerrado.
2.

Sucesiones

Una sucesin en un espacio mtrico (X, d) es una funcin de N en X. Denotaremos por xn al n-simo
trmino de la sucesin, y por {xn }nN a la sucesin completa. Cuando el espacio mtrico en cuestin sea un
espacio shift, denotaremos x(n) al n-simo trmino de la sucesin, pues seguiremos usando xn para referirnos al
smbolo que haya en la n-sima coordenada de la tirilla biinfinita x.
Definicin 3.7. Una sucesin {xn }nN en el espacio (X, d) se dice convergente en X si existe p X tal
que lmn d (xn , p) = 0. En este caso, escribimos lmn xn = p, o tambin xn p
n

Obsrvese que lmn xn = p si, y slo si, > 0, N N : n N, d (xn , p) < .



Caracterizaremos ahora la convergencia de sucesiones en espacios shift. Bsicamente, una sucesin x(n) nN
en un espacio shift converge a x AZ cuando para cualquier K natural, por grande que sea, el bloque central
de tamao 2K + 1 de x coincide con el bloque central de tamao 2K + 1 de x(n) , para todo n suficientemente
grande.


Proposicin 3.8. Sea x(n) nN una sucesin en el espacio shift X con la mtrica usual, y x AZ . Se
(n)

tiene que lmn x(n) = x si, y slo si, K N, N N : n N, x[K,K] = x[K,K] .

Demostracin. Dado que la funcin exponencial a tasa menor que 1 tiende asintticamente a 0, por la
Proposicin 3.3 tenemos que:


lm x(n) = x > 0, N N : n N, d x(n) , x <
n


K N, N N : n N, d x(n) , x < 2K
K

(n)

N, N N : n N, x[K,K] = x[K,K]




Z
Ejemplo 3.9. Estudiar la convergencia de la sucesin x(n) nN en {0, 1} definida por

1 si |i| = n
(n)
xi =
0 si |i| =
6 n
Veamos el siguiente cuadro:
(0)

x
x(1)
x(2)
x(3)
..
.

4
0
0
0
0

3 2
0
0
0
0
0
1
1
0

1
0
1
0
0

0
1
0
0
0

1
0
1
0
0

2
0
0
1
0

3
0
0
0
1

4
0
0
0
0

Rpidamente nos damos cuenta que la ventana central de tamao 2K + 1 de x(n) consta de puros 0, para todo
n K + 1. Luego, de acuerdo al criterio de convergencia en espacios shift, el lmite de la sucesin es el punto
0 .

 (n)
Z
Ejemplo 3.10. Estudiar la convergencia de la sucesin x
en {0, 1} definida por
nN


(0001)
si n es par
x(n) =

(01)
si n es impar

36

3. ASPECTOS TOPOLOGICOS Y DINAMICOS DE LOS ESPACIOS SHIFT

Dispongamos los trminos encolumnados, como antes:

x(0)
x(1)
x(2)
x(3)
..
.

4 3
0
0
0
1
0
0
0
1

2 1
0
1
0
1
0
1
0
1

0
0
0
0
0

1
0
1
0
1

2
0
0
0
0

3
1
1
1
1

4
0
0
0
0

Aqu vemos que la coordenada 1, por ejemplo, no se estabiliza nunca: para cualquier N natural y a en el alfabeto
(n)
{0, 1}, existe n > N tal que x1 6= a. Entonces, esta sucesin no es convergente.

Definicin 3.11. Sean {xn }nN y {zk }kN dos sucesiones en el espacio mtrico (X, d). Se dice que {zk }kN
es subsucesin de {xn }nN si existe una sucesin de nmeros naturales estrictamente creciente {nk }kN tal
que para todo k N, es zk = xnk .
Definicin 3.12. Sea (X, d) un espacio mtrico. Un subconjunto K de X se dice compacto si toda sucesin
en K posee subsucesin convergente en K.
Es bien sabido que un subconjunto K es compacto si, y slo si, cualquier familia de abiertos que unidos
cubren a K posee una subfamilia finita que tambin cubre a K. Adems, todo subconjunto compacto de
un espacio mtrico es un conjunto cerrado, y si el espacio mtrico es compacto, entonces la familia de los
subconjuntos compactos del espacio es precisamente la de los subconjuntos cerrados.
El siguiente resultado muestra que cualquier espacio shift (en particular la full shift) es compacto para la
mtrica usual.
Proposicin 3.13. Sea X un espacio shift con la mtrica usual. Entonces X es un subconjunto compacto
de AZ .


Demostracin. Sea x(n) nN una sucesin en X. Ya que A es un conjunto finito, debe existir a0 A
(n)

y un subconjunto infinito B0 de nmeros naturales tal que para todo n B0 , x0 = a0 . Elijamos cualquier
n0 B0 . Como A3 es finito, deben existir a1 y a1 en A, y un subconjunto infinito B1 B0 tal que para
(n)
todo n B1 , x[1,1] = a1 a0 a1 . Elijamos n1 B1 tal que n1 > n0 (tal eleccin es posible, pues B1 es un
conjunto infinito de nmeros naturales, y por tanto no acotado). Siguiendo de esta manera, para cada k N,
como A2k+1 es finito, deben existir ak y ak en A, y un subconjunto infinito Bk Bk1 tal que para todo
(n)
n Bk , x[k,k] = ak a0 ak . Elijamos nk Bk tal que nk > nk1 . De este modo, hemos definido


(inductivamente) ak , ak y nk para todo k N. Como {nk }kN es creciente, x(nk ) kN es subsucesin de
 (n)
x
. definamos x = (ak )kZ . Dado que todo bloque de x ocurre en algn x(nk ) X, tenemos que x
nN
pertenece al espacio shift X. Adems, lmk x(nk ) = x, pues dado K N, tomando N = K, tenemos que
(nk )
para todo k N es x[K,K]
= aK aK+1 a0 aK1 aK = x[K,K] . Entonces X es compacto.

La sola compacidad no caracteriza completamente a los espacios shift: por ejemplo, el conjunto unitario

{(01) } es un subconjunto compacto de la full {0, 1}-shift (como cualquier conjunto finito de cualquier espacio
mtrico) pero no es un espacio shift pues carece de la shift-invariancia. Precisamente, compacidad ms shiftinvariancia equivalen a tener carcter de espacio shift.

Teorema 3.14. Un subconjunto de AZ es un espacio shift si, y slo si, es compacto (para la mtrica usual
de los espacios shift) y shift-invariante.
Demostracin. La shift-invariancia de un espacio shift fue demostrada en el primer captulo, y la compacidad en la Proposicin 3.13.
Recprocamente, supongamos que X es un subconjunto compacto y shift-invariante de AZ . Por ser compacto,
X es cerrado, y entonces X c es abierto.
De all que para cada y X c existe K (y) N tal que B2K (y) est

c
contenido en X . Tomemos F = y[K(y),K(y)] : y X c , y verifiquemos que X = XF . Si x X c , entonces
x[K(x),K(x)] F, de donde x
/ XF . Luego, XF X. Ahora, sea x X y u x. Si u tiene longitud par, u
/F
pues F consta slo de palabras de largo impar. Si |u| = 2n + 1, por la shift-invariancia de X debe haber un
x X tal que x[n,n] = u. Si u perteneciese a F, existira y X c tal que K (y) = n y adems y[n,n] = u. Pero
entonces, ya que x[n,n] = u = y[K(y),K(y)] , tendramos que x pertenecera a B2K(y) (y) X c , vale decir, x
pertenecera a X c , lo que sera una contradiccin pues x X. Luego, u
/ F, y X XF .

3.

Cilindros. Conexidad

AZ puede ser visto como el producto cartesiano infinito XiZ A. Como en cualquier producto cartesiano, se
define un cilindro como un subconjunto C del producto para el cual un nmero finito de coordenadas estn

4. CONTINUIDAD

37

fijas. En el caso particular de los espacios shift, nos van a interesar los cilindros en que un nmero finito de
coordenadas consecutivas estn fijas. Formalmente:
Definicin 3.15. Sea A un alfabeto, X un espacio shift sobre A, u A y k Z. El cilindro en X
asociado al bloque u en la posicin k es el conjunto CkX (u) definido por


CkX (u) = x X : x[k,k+|u|1] = u

En palabras, en el espacio shift X, el cilindro asociado a u en la posicin k es el conjunto de puntos

delXespacio
n
CkX (u) = Ckn
(u).
X tales que el bloque u ocurre en la posicin k. Obsrvese que para cualquier n Z, es X
X
Adems, Ck (u) = si, y slo si, u
/ B (X).
Si x es un punto del espacio shift X y es un real positivo, entonces
o

n

X
B (x) = y X : x[log 1 ,log 1 ] = y[log 1 ,log 1 ] = C
x
1
1
1
,
log

log

]
[

log

En particular, para k N, se tiene que



X
x[k,k]
B2k (x) = y X : y[k,k] = x[k,k] = Ck

Como vemos, los entornos en un espacio shift son cilindros. La recproca no es cierta en general: no todo
cilindro es un entorno. Sin embargo, todo cilindro es un conjunto abierto. En efecto, sea x CkX (u). Tomando
N = max {|k| , |k + |u| 1|}, se tiene que N k k + |u| 1 N , de modo que




X
x[N,N ] = y X : y[N,N ] = x[N,N ] y X : y[k,k+|u|1] = x[k,k+|u|1] = CkX (u)
B2N (x) = CN
Pero adems los cilindros son cerrados, pues

c 

CkX (u) = x X : x[k,k+|u|1] 6= u =

vA|u| {u}

x X : x[k,k+|u|1] = v =

CkX (v)

vA|u| {u}

Es decir, el complemento de un cilindro es una unin de conjuntos abiertos, y por lo tanto es un conjunto
abierto; luego, el cilindro es cerrado.
Entonces, los cilindros en un espacio shift son conjuntos a la vez abiertos y cerrados. Esto revela otra
caracterstica topolgica de los espacios shift: son conjuntos totalmente disconexos. Recordamos que una
forma de caracterizar a los conjuntos disconexos de un espacio mtrico es como aquellos conjuntos que poseen
un subconjunto propio no vaco que es a la vez abierto y cerrado. Y un conjunto totalmente disconexo es aquel
para el cual todo subconjunto de ms de un punto es disconexo. El conjunto clsico de Cantor en la recta real
tiene esta misma estructura: se trata de una nube de puntos no aislados en la cual ningn par de puntos distintos
pertenece a una misma pieza conexa.
4.

Continuidad

Definicin 3.16. Sean (X, dX ) e (Y, dY ) dos espacios mtricos. Una funcin : X Y se dice continua
en x X si para toda sucesin {xn }nN en X tal que lmn xn = x, se tiene que lmn (xn ) = (x). Si
A X, se dice continua en A si es continua en cada x A. Si es continua en X, biyectiva y adems su
funcin inversa es tambin continua, se denomina un homeomorfismo entre X e Y , y los espacios X e Y
se dicen homeomorfos.
Una funcin entre dos espacios mtricos es continua en todo su dominio si, y slo si, la preimagen de cualquier
subconjunto abierto del codominio es un subconjunto abierto del dominio. La composicin de funciones continuas
es tambin una funcin continua.
La definicin de continuidad que hemos dado corresponde en realidad a la definicin de la continuidad
secuencial o sucesional, y equivale a la clsica definicin de continuidad: es continua en x si > 0, >
0 : dX (y, x) < dY ( (y) , (x)) < . Pero la continuidad desde el punto de vista de las sucesiones es ms
fcil de manejar cuando el espacio mtrico es un espacio shift, ya que tenemos completamente caracterizadas a
las sucesiones que convergen en un espacio shift.
Proposicin 3.17. Todo cdigo de ventana deslizante entre dos espacios shift es una funcin continua en
todo su dominio.
Demostracin. Sean X e Y 
dos espacios
shift y : X Y un CVD inducido por con memoria y

anticipacin L 0. Sean x X y x(n) nN una sucesin en X tal que lmn x(n) = x. Debemos ver que


K N, N N : n N, x(n) [K,K] = (x)[K,K] . Sea K N. Por la hiptesis de convergencia de
 (n)
(n)
x
a x, tenemos que existe N N tal que n N, x[KL,K+L] = x[KL,K+L] . Veamos que para todo
nN


n N es x(n) [K,K] = (x)[K,K] : si i es un entero tal que K i K, ser KL iL i+L K+L,
por lo que xn[iL,i+L] = x[iL,i+L] , y entonces






(n)
x(n) = x[iL,i+L] = x[iL,i+L] = (x)i
i

38

3. ASPECTOS TOPOLOGICOS Y DINAMICOS DE LOS ESPACIOS SHIFT

Luego, lmn x(n) = (x), de donde se deduce que es continua en x, y ya que x es arbitrario, es
continua en X.

La sola continuidad de una funcin entre dos espacios shift no garantiza que sea un CVD. Hace falta algo
ms: la conmutabilidad de la funcin con las shifts de los respectivos espacios. Este resultado se obtuvo por
Hedlund y otros en el ao 1969. Antes de demostrarlo, enunciemos algunos resultados conocidos de la teora
general de espacios mtricos, y cuyas demostraciones quedan de ejercicio.
Proposicin 3.18. Sean A y B dos subconjuntos compactos disjuntos no vacos de un espacio mtrico.
Existe un nmero real estrictamente positivo tal que para todos a A y b B, d (a, b) .
n

Corolario 3.19. Sea {Ak }k=1 una familia finita de subconjuntos compactos no vacos de un espacio
mtrico, dos a dos disjuntos. Existe > 0 tal que si x Ai e y Aj con i 6= j, entonces d (x, y) .
Proposicin 3.20. Sea una funcin continua entre los espacios mtricos X e Y , con X compacto, y sea
F un subconjunto compacto de Y . Entonces, 1 (F ) es un subconjunto compacto de X.
Teorema 3.21. (Curtis, Lyndon, Hedlund) Sean X e Y dos espacios shift, y una funcin de X en
Y . es un cdigo de ventana deslizante si, y slo si, es una funcin continua tal que X = Y .
Demostracin. Sabemos, de los primeros captulos, que si es un CVD, conmuta con las , y la Proposicin 3.17 muestra que es continua.
Para la vuelta, recordemos otra caracterizacin de los CVD: es un CVD si, y slo si, conmuta con las y
existe un N N tal que (x)0 es funcin de x[N,N ] . El hecho de conmutar con lo tenemos por hiptesis, as
que slo resta probar la existencia de un tal N , para lo cual usaremos la hiptesis de la continuidad de . Sea
U = B1 ( (X)), el conjunto de smbolos que aparecen en los transformados de los puntos de X. Obviamente, U
es un subconjunto del alfabeto de Y . Para cada b U , el cilindro C0Y (b) es un subconjunto cerrado de Y , y como
Y es compacto, C0Y (b) es compacto. Adems,
si b y c son elementos de U con b 6= c, es C0Y (b) C0Y (c) = . Para


1
Y
cada b U , hagamos Eb =
C0 (b) . Por su definicin y por la Proposicin 3.20, cada Eb es un subconjunto
/ C0Y (c), y
compacto no vaco de X, y si b 6= c, Eb Ec = , pues si x Eb , es (x) C0Y (b), luego (x)
entonces x
/ Ec . Adems, cada x X pertenece a un nico Eb . As que la familia {Eb }bU es una familia de
conjuntos compactos que constituye una particin para X. Luego, por el Corolario 3.19, existe > 0 tal que
d (x, y) toda vez que x Eb e y Ec con b 6= c. Tomemos N N suficientemente grande como para que
2N < . Si x e y son puntos de X tales que x[N,N ] = y[N,N ] , entonces d (x, y) < 2N < , por lo que x e y
deben estar en un mismo Eb . Esto significa que existe b U tal que (x) y (y) estn ambos en C0Y (b), o sea,
(x)0 = b = (y)0 . Pero esto quiere decir que la coordenada 0 del transformado por de x X depende slo
de x[N,N ] , como queramos probar.

5.

Sistemas dinmicos

Los sistemas fsicos pueden usualmente describirse a travs de una cantidad finita de mediciones. Por
ejemplo, un pndulo oscilante constituye un sistema que queda totalmente caracterizado por el ngulo respecto
de la vertical y por la velocidad angular. Un gas se describe a travs de la posicin y momentum de cada
molcula. A medida que transcurre el tiempo, esos valores cambian. Si denotamos por M al conjunto de todos
los valores posibles para un dado sistema, el estado del mismo en un instante dado corresponde a uno de esos
estados. Imaginemos que filmamos el sistema y que luego observamos los cuadros que corresponden al instante
t = 0, luego a t = 1 seg, t = 2 seg, etc. Cada cuadro depende del anterior, de acuerdo a la manera en que el
sistema evolucione durante cada intervalo de un segundo. Si suponemos que las leyes que gobiernan el sistema
no cambian con el tiempo, la dependencia de cada cuadro respecto del anterior se traduce en una funcin
T : M M que usualmente es continua. As, si x0 es el estado del sistema en t = 0, T (x0 ) describe el estado
del sistema en t = 1, T T (x0 ) en t = 2, y as. Por lo tanto, estudiar el comportamiento del sistema en el
tiempo se reduce a estudiar las iteraciones de T , es decir, la composicin de T consigo misma. Para n 0,
designaremos por T n a la composicin de T consigo misma n veces. Es decir, T 0 es la identidad, y, para n > 0,
T n = T T n1 .
Definicin 3.22. Un sistema dinmico es un par (M, T ), en donde M es un espacio mtrico compacto
y T es una transformacin continua en M . Si T es un homeomorfismo, el sistema dinmico se dice inversible.
Para nosotros, los sistemas dinmicos ms interesantes sern aquellos en los que el conjunto M sea un
espacio shift. En particular, si X es un espacio shift, el par (X, X ) es un sistema dinmico que denominamos
sistema dinmico shift. Si es un CVD de X en X, el par (X, ) es tambin un sistema dinmico.
Definicin 3.23. Para un sistema dinmico (M, T ), la rbita de un punto x M es la sucesin {T n x}nN .
Si el sistema es inversible, la rbita de x es la sucesin {T n x}nZ .

5. SISTEMAS DINMICOS

39

Definicin 3.24. Para un sistema dinmico (M, T ), un punto peridico es un punto x M tal que
T n x = x para algn n > 0, y tal n se llama un perodo de x. Si x es un punto peridico, el menor de los
n > 0 tales que T n x = x se llama perodo mnimo de x. Una rbita {T n x} es peridica si x es un punto
peridico.
Un conjunto de problemas que interesan en relacin a estos tpicos involucra el estudio del comportamiento
de la rbita de puntos y de conjuntos en un dado sistema dinmico. Por ejemplo, si se tiene un sistema dinmico
(M, T ) en particular, puede interesar saber cmo se distribuyen las rbitas de los puntos de un dado subconjunto
abierto U de M , o si el conjunto de puntos peridicos del espacio es denso.
Otro conjunto de problemas tiene que ver con problemas de clasificacin de sistemas dinmicos: Cundo
dos sistemas dinmicos aparentemente distintos son el mismo sistema?
Definicin 3.25. Sean (M, T ) y (N, S) dos sistemas dinmicos. Un homomorfismo de (M, T ) a (N, S)
es una funcin continua : M N tal que T = S . Los homomorfismos de un sistema dinmico a s
mismo se denominan endomorfismos del sistema dinmico.
Una simple induccin muestra que si es un homomorfismo de (M, T ) a (N, S), entonces, para cualquier
entero positivo n, se tiene que T n = S n .
Notemos que, debido al Teorema de Curtis, Lyndon y Hedlund, los homomorfismos entre los sistemas
dinmicos shift son precisamente los cdigos de ventana deslizante.
Definicin 3.26. Una inmersin es un homomorfismo inyectivo, un factor es un homomorfismo sobreyectivo, y una conjugacin topolgica es un homomorfismo biyectivo. Dos sistemas dinmicos se dicen
topolgicamente conjugados si existe una conjugacin topolgica entre ellos.
Las nociones de inmersin, factor y conjugacin conducen a problemas de clasificacin de sistemas dinmicos.
Dos sistemas dinmicos conjugados son esencialmente el mismo, pero la cuestin de si dos dados sistemas
dinmicos son conjugados, o uno factor del otro, o uno inmerso en el otro, puede ser muy difcil de resolver.
Para detectar si dos sistemas dinmicos no son conjugados, una estrategia es la siguiente: asociemos a
cada sistema dinmico con alguna entidad (que puede ser un nmero, un conjunto, o lo que sea) de manera
que dos sistemas conjugados tengan asociados la misma entidad. Luego, dados dos sistemas dinmicos en
particular, obtengamos las entidades asociadas respectivas, y si stas no coinciden sabremos que los sistemas no
son conjugados (aunque puede ocurrir que no podamos deducir nada si vemos que ambas entidades coinciden).
Dichas entidades reciben el nombre de invariantes por conjugacin.
Una de tales entidades es el conjunto de puntos peridicos de perodo n, donde n es un natural fijo. Ya
hemos visto, en el captulo primero, la demostracin para el caso en que los sistemas involucrados son sistemas
dinmicos shift. Veamos el resultado en general.
Proposicin 3.27. Sea n un entero positivo. La cantidad de puntos peridicos de perodo n es un invariante
por conjugacin.
Demostracin. Sean (M, T ) y (N, S) sistemas dinmicos conjugados, y : M N una conjugacin.
Denotemos por pn (T ) al cardinal del conjunto de puntos peridicos de perodo n para T , y pn (S) al de los
puntos peridicos para S. Para x M , se tiene que
T n x = x (T n x) = (x) S n ( (x)) = (x)
de modo que establece una biyeccin entre los puntos fijos de T n y los de S n . Por lo tanto, pn (T ) = pn (S). 
Un argumento similar al anterior muestra que el nmero de puntos peridicos de perodo mnimo n es
tambin invariante por conjugacin.
Veamos ahora otro invariante por conjugacin.
Definicin 3.28. Un sistema dinmico (M, T ) es topolgicamente transitivo si para cualquier par de
abiertos no vacos U y V , existe n > 0 tal que (T n U ) V 6= .
Es decir, un sistema topolgicamente transitivo mueve a cada conjunto abierto lo suficiente como para que
llegue a tocar a cualquier otro conjunto abierto, en alguna iteracin.
Proposicin 3.29. Sea (M, T ) un sistema topolgicamente transitivo, y U y V dos conjuntos abiertos.
Existe una sucesin {nk }kN de naturales estrictamente creciente tal que para todo k N, es (T nk U ) V 6= .
Demostracin. Definiremos {nk }kN inductivamente. Por la transitividad topolgica de (M, T ), hay un
n1 N tal que (T n1 U ) V 6= . Supongamos definidos n1 < n2 < < nk tales que (T ni U ) V 6= .
1
Haciendo V = (T nk ) V , tenemos que V es abierto pues T nk , como composicin de la funcin continua T
consigo misma nk veces, es una funcin continua. Adems, es V 6= , pues como (T nk U ) V 6= , existe
x U tal que T nk x pertenece a V . Por lo tanto, existe m > 0 tal que (T m U ) V 6= , es decir, (T m U )

40

3. ASPECTOS TOPOLOGICOS Y DINAMICOS DE LOS ESPACIOS SHIFT





1
1
1
(T nk ) V 6= . Luego T nk (T m U ) (T nk ) V 6= . Pero T nk (T m U ) (T nk ) V (T nk (T m U ))



1
(T m+nk U )V . Por lo tanto, tomando nk+1 = m+nk > nk , tenemos que (T nk+1 U )V 6=
T nk (T nk ) V
.

Proposicin 3.30. La transitividad topolgica es invariante por conjugacin.
Demostracin. Sean (M, T ) y (N, S) sistemas dinmicos conjugados, con (M, T ) topolgicamente transitivo, y : M N una conjugacin. Sean U y V abiertos en N . Denotemos U = 1 (U ) y V = 1 (V ).
Como es continua,
U y V son abiertos en M , por lo que existe n > 0 tal que (T n U ) V 6= , es decir,



n
1
1
T (U ) (V ) 6= . Por lo tanto, siendo una biyeccin, tenemos que













=
6 T n 1 (U ) 1 (V ) = T n 1 (U ) 1 (V ) = S n 1 (U ) V = (S n U ) V

Entonces, (N, S) es tambin topolgicamente transitivo.

En el primer captulo, hemos definido irreducibilidad: un espacio shift X es irreducible si para cualquier
par de palabras u y w en el lenguaje, hay una palabra v tambin en B (X) tal que uvw B (X). Veremos ahora
que en el contexto de los sistemas dinmicos shift, irreducibilidad equivale a transitividad topolgica.
Proposicin 3.31. Un sistema dinmico shift es topolgicamente transitivo si, y slo si, el espacio shift es
irreducible.
Demostracin. Supongamos que el sistema dinmico shift (X, X ) es topolgicamente transitivo. Sean u
y w en B (X). Hagamos U = C0X (u) y V = C0X (w). Ya que U y V son abiertos y no vacos, por

Proposicin
X
n
n
(u) y
C0X (u) = Cn
3.29, existe n > |u| tal que (X
U ) V 6= , es decir, hay un x X tal que x X
X
x C0 (w). Es decir que x[n,n+|u|1] = u y x[0,|w|1] = w. Como n > |u|, es n + |u| 1 < 0, de modo que
podemos tomar v = x[n+|u|,1] para ver que uvw x, es decir, uvw B (X).
Recprocamente, supongamos que X es un espacio shift irreducible, y sean U y V dos abiertos no vacos en
el espacio mtrico X. Sean x U , y V , y tomemos k, l N tal que B2k (x) U y B2l (y) V . Hagamos
X
X
u = x[k,k] y w = y[l,l] . Sabemos que B2k (x) = Ck
(u) y que B2l (y) = Cl
(w). Como X es irreducible,
existe v B (X) tal que uvw B (X). Tomemos z X tal que z[k,k+|u|+|v|+|w|1] = uvw. Tenemos que
X
z Ck
(u) U , y adems, puesto que |u| = 2k + 1 y |w| = 2l + 1,




k|u||v|l
k1|v|l
k1|v|l
X
X
X
z Ck+|u|+|v|
(w) = X
Cl
(w) = X
(V )
Cl
(w) X
k+l+|v|+1

Es decir, z U y X

n
(z) V . Por lo tanto, tomando n = k+l+|v|+1 > 0, tenemos que (X
U )V 6= .

En el prximo captulo definiremos e investigaremos un importante invariante por conjugacin: la entropa

de un sistema dinmico, y, en particular, la entropa de un espacio shift.