Académique Documents
Professionnel Documents
Culture Documents
DINMICA SIMBLICA
APUNTES DE CTEDRA
ENERO DE 2017
A la memoria de nuestro querido Amigo y Profesor,
el Dr. Thomas Nathaniel Hibbard
(14/03/1929 11/02/2016)
i
PREFACIO
El presente texto tiene por objeto llevar a los estudiantes de habla hispana tpicos de
Dinmica Simblica, rea relativamente reciente de la Matemtica sobre la que resulta difcil
encontrar bibliografa en ese idioma; notar el lector, sin embargo, que muchos trminos del
ingls original se han mantenido (por ejemplo, espacios shift) para no caer en construcciones
forzadas y para conservar la terminologa que muchas veces suele emplearse cuando se realizan
exposiciones orales sobre el tema en lengua espaola. Versiones preliminares de estos apuntes
surgieron a raz de un seminario realizado en el Departamento de Matemtica de la Universidad
Nacional de Salta, bajo la direccin del Dr. T. N. Hibbard, y consistieron originalmente en
traducciones de las primeras partes del excelente libro Symbolic Dynamics and Coding , de
Douglas Lind y Brian Marcus. Posteriormente, fueron engrosndose con ms traducciones de
esa fascinante obra, a lo que se fueron sumando pequeos aportes producto de las discusiones
en aquel seminario y en el dictado de asignaturas sobre estos tpicos. No es la intencin infringir
leyes de derechos de autor o de editor, ni tampoco enriquecer lo que ya de por s es de una
riqueza ilimitada y ampliamente reconocida a nivel internacional como lo es el libro de Lind
y Marcus. Los cambios menores que se plantean, como por ejemplo algunos aspectos de la
presentacin del tema de los desdoblamientos de estados o la ubicacin en el programa de
la topologa bsica en espacios shift, son resultado de la experiencia durante el dictado de dos
asignaturas optativas para el ltimo ao de las carreras de grado de Licenciatura en Matemtica
y Profesorado en Matemtica de la Universidad Nacional de Salta. En esos dos cursos, cada
uno de duracin semestral con una carga horaria de 60 horas reloj para las clases tericas, se
llega a cubrir un porcentaje considerable slo de los seis primeros captulos de aquel libro, con
cierto nivel de detalle, y es la parte que este apunte pretende reejar. Se espera que los tpicos
cubiertos estimulen a los estudiantes por aprender mucho ms sobre el tema, en igual grado
que el que los autores han sido estimulados a partir del libro.
ndice general
Captulo 5. ENTROPA 73
1. Denicin y propiedades bsicas 73
2. Clculo de la entropa de shifts scos irreducibles 75
3. Clculo de la entropa de shifts scos 78
4. Los puntos peridicos y la entropa 81
EJERCICIOS 84
ii
Captulo 1
ESPACIOS SHIFT
1. Deniciones bsicas
Un alfabeto es un conjunto nito, cuyos elementos se denominan smbolos, o tambin
letras. Un bloque, o palabra, sobre un alfabeto A es una sucesin nita (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 .
n
El conjunto de todas las palabras de largo n sobre un alfabeto A se designa por A , y el
S n
conjunto de todas las palabras sobre A se designa por A . Es decir, A = n=0 A . Notar
n
que, para todo n 0, A es un conjunto nito, en tanto que A es un conjunto que tiene una
cantidad innita de elementos.
Un alfabeto que a menudo usaremos es A = {0, 1}, y las palabras que sobre l pueden
formarse se llaman sucesiones binarias 0
. Tenemos que, en este caso, es A = {}, A =
1
{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 denicin, 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 v u, y decimos que w ocurre en u.
Obviamente, w v 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
n
bloque u consigo mismo una cantidad n de veces se designa por u . Formalmente:
n si n=0
u =
uun1 si n>0
Por ejemplo, (01)3 = 010101, y 013 = 0111.
1
2 1. ESPACIOS SHIFT
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 A Z
.
Una funcin de Z en A no es ms que una sucesin bi-innita de smbolos de A, que puede
escribirse as:
x = (xn )nZ = x2 x1 x0 x1 x2 x3
Un ejemplo de tales sucesiones bi-innitas 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 A reciben el nombre de
Z
puntos. Cada punto es, entonces, una sucesin
bi-innita (o tirilla bi-innita) de smbolos. Dos puntos x = (xi )iZ e y = (yi )iZ son iguales si,
xi = yi para todo entero i.
y slo si,
Notar que A no contiene palabras,
Z
sino sucesiones bi-innitas. 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 (nita) 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 innita a derecha xi xi+1 , mientras que x(,i]
es la sucesin innita a izquierda xi1 xi . Dados u A y x A , decimos que u ocurre
Z
que resulta de la concatenacin innita (hacia ambos lados) de la palabra u consigo misma, de
modo que i Z, xi = ui mod n (i mod n representa el resto de la divisin de i por n):
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 dene una transformacin natural de A en A ,
Z Z
k Z.
Proposicin 1.1. Sean u A , x AZ y k Z; se tiene que u v x u v k x.
Demostracin. Puesto que x[i,j] = k x[ik,jk] , se tiene que
u v x i, j Z : u = x[i,j] = k x[ik,jk] u v k x
Un punto x AZ n 1 tal que n x = x, se llama punto peridico
para el cual existe un
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 jo para . Todo punto peridico es de la forma u , con
u A {}. En particular, un punto jo 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 x = x se llama perodo mnimo de x.
k
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
kn0 (k+1)n0
x. Supongamos que x = x. Es 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.
shift par.
Proposicin 1.14. Sean F y F0 subconjuntos de A . Entonces:
1. XF F 0 = XF XF 0
2. XF F 0 XF XF 0
0
3. Si F F , entonces XF XF 0 .
no siempre, y aquellos X para los que s existe tal F reciben un nombre especial y son objeto
de nuestro estudio.
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-innitas 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
k
decir que existira un F tal que X = XF . Debe ocurrir que k 1, 0 / F (pues k 1, 0k v
000000.1000000 X ). Pero entonces 0 pertenecera a XF , con lo cual 0 X , que
contradice la denicin de X . La contradiccin proviene de suponer la existencia del conjunto
F , es decir, de suponer que X es un espacio shift.
Ejemplo 1.20. El conjunto vaco y el full shift {0, 1}Z 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 X F4
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 deniciones anteriormente dadas para puntos jos y
peridicos de A para son igualmente aplicables a un espacio shift X y su respectiva X .
Z
El siguiente resultado ser til en lo sucesivo, pues arma que el conjunto de bloques prohi-
bidos para un espacio shift puede verse como constituido por palabras de longitud al menos N,
donde N es cualquier entero positivo.
F1 = w AN : u F 0 : u v w F2 = {u F 0 : |u| > N }
F = F1 F 2
Es decir, F consta de todas las palabras de F0 que tengan largo mayor que N, ms todas
aquellas palabras de largo N sobre el alfabeto que contengan una subpalabra que est en F 0.
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 0 : u v x[i,j] j i + 1 > N x[i,j] F 0
u F 0 : u v x
x/ XF 0 = X
4. Lenguajes
Definicin 1.22. Un lenguaje sobre un alfabeto A es cualquier subconjunto de A .
6 1. ESPACIOS SHIFT
c
En adelante, si L
es un lenguaje, designaremos por L 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 A (no necesariamente un espacio shift) y n un entero no
Z
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 v 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).
[
B(X) = {u A : x X : u v x} = Bn (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
La proposicin anterior establece condiciones necesarias para los bloques del lenguaje de
un espacio shift. Resulta que esas condiciones son tambin sucientes: 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.
En este corolario, es esencial que X1 y X2 sean espacios shift (ver el 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 ese espacio shift: cualquier F tal que X = XF cumple con
c
que F B(X) , pues ya sabemos que F B(X) = .
8 1. ESPACIOS SHIFT
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.
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.
5. Shifts de bloques
Hemos denido un alfabeto como un conjunto nito 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
N N
de alfabeto el conjunto A . Por claridad notacional, cuando estemos pensando en A como
alfabeto, representaremos sus smbolos de la forma
aN
...
a
2
a1
en lugar dea1 a2 aN . Ntese que cada ai A.
Ya queAN es un alfabeto (cuyos elementos son en realidad bloques sobre otro alfabeto),
N Z
N
tenemos derecho a pensar en el full A -shift, es decir, A . Dado un punto x de A , hay
Z
N Z
dos puntos de A que de manera bastante natural pueden asociarse a x. Los llamaremos,
5. SHIFTS DE BLOQUES 9
xN 2 xN 1 xN xN +1 xN +2
. . ... . .
. . . .
. . . .
N (x) = .
x0 x1 x
2
x3 x4
x1 x0 x1 x2 x3
xi+N 1 x(i+1)N 1
. .
. .
. .
(N (x))i = (N (x))i =
xi+1 xiN +1
xi xiN
N (x) se llama la presentacin de x en N -bloques con solape. El trmino solape se
reere al hecho de que dos coordenadas consecutivas cualesquiera de N (x) consisten en bloques
u = u1 uN y v = v1 vN
u2 uN = v1 vN 1 . Cuando
con dos bloques u y v cumplen
esto, es decir, que la cola de u u luego de eliminar el primer smbolo) es
(lo que queda de
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 de x en N -bloques sin solape, por la razn de que no necesariamente se
cumple la condicin de solape progresivo entre coordenadas consecutivas de N (x).
Las deniciones anteriores pueden generalizarse de la siguiente manera:
X [N ] = {N (x) : x X} = N (X)
N Z
Anlogamente, se dene la funcin N : X AX mediante
x(i+1)N 1
.
.
.
(N (x))i =
x
iN +1
xiN
10 1. ESPACIOS SHIFT
wN wN +1 wm
... .
.
.
.
.
.
N (w) =
w w3 w
2 mN +2
w1 w2 wmN +1
Es directo ver que N acta sobre bloques en forma inyectiva: u 6= u0 N (u) 6= N (u0 ).
Las presentaciones con (o sin) solape de cualquier espacio shift son tambin espacios shift.
F = F1 F 2
y veriquemos que X [N ] = XF , con lo que quedar establecido que X [N ] es un espacio shift.
[N ]
Primero veamos que X XF1 . Sea xe X [N ] , y u
e un bloque en x e. Existe x X tal
que N (x) = xe, 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 0 , vemos que u e/ F1 . Como u e XF1 .
e era arbitrario, x
[N ] [N ]
Ahora veamos que X XF2 : sabemos que si x e X , ocurre que i Z, x ei y
x
ei+1 solapan 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 X F2 .
6. CDIGOS DE VENTANA DESLIZANTE 11
(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, pero ahora m = 0, n = 3.
En este caso, (x) = BCB.AABCCBCBA .
12 1. ESPACIOS SHIFT
(a1 aN ) = ...
a1
1
Ejemplo 1.45. En relacin al ejemplo anterior, N es tambin un CVD desde X [N ] hacia
X, con memoria y anticipacin 0, inducido por denida como
aN
.
. = a1
.
a1
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.
No cualquier funcin entre dos espacios shift X e Y es un CVD. Para que lo sea, de-
bemos 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.
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 denido por xn+1 = 1, y xi = 0 para todo
i 6= n + 1. Ya que )0 = 0 (pues 0 = 0 ), debe ser (0m+n+1 ) = 0. Pero entonces
es (0 m+n+1
x0 = x[m,n] = (0 ) = 0. Contradiccin, pues por la denicin de se tiene que
(x) = 1 , de donde x0 = 1. La contradiccin proviene de suponer que es CVD.
A veces ser conveniente agrandar el ancho de la ventana para la funcin inductora (sin
modicar, 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:
e (aM aM +1 am a1 a0 a1 an aN ) = (am a0 an )
[M,N ]
y hagamos e =
e . Sea x X . Para cualquier i Z, se tiene que x
e i=e x[iM,i+N ] =
x[im,i+n] = xi , y entonces x e = x. Como x es arbitrario, se sigue que e = .
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 denir, de manera
natural, una funcin que transforma bloques de tamao m + n + k (k 1), haciendo
Lema 1.51. Sean X e Y dos espacios shift, y una funcin de X en Y tal que X = Y .
1
Entonces X = Y1 .
Demostracin. Puesto que X y Y son biyecciones, se tiene que Y1 Y y Y Y1
1 1
son la identidad en Y , as como X X y X X son la identidad en X . De all que
1
= Y1 Y X1
= Y1 (Y ) X
1
= Y1 ( X ) X
1
= Y1
X
1
X X = Y1 , como se quera probar.
Lema 1.52. Sean X e Y dos espacios shift, y una funcin de X en Y tal que X = Y .
k
Entonces, para todo k Z, X = Yk .
0 0
Demostracin. Ya que X y Y son, respectivamente, la identidad en X y en Y , la
k k
proposicin se cumple para k = 0. Lo que resta probar es, entonces, que k 1, X = Y
k k
y X = Y . Lo haremos por induccin sobre k . Para k = 1, es cierto por hiptesis y
por el lema 1.51. Suponiendo vlido para k , veamos que vale para k + 1:
k+1
X = Yk X = Yk ( X ) = Yk (Y ) = Yk+1
k
X = X
k1 k 1
= Yk X
1
= Yk X
1
= Yk Y1 =
X = X X
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 simult-
neamente:
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 anti-
cipacin N x en X , (x)0 =
(hemos apelado al corolario 1.48), de modo que para cualquier
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
(x)i = Yi (x) 0 = X i
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 N y N . La negacin de esta condicin
contiene entre las coordenadas
signica que para todo N 0, existen x, y X tales que x[N,N ] = y[N,N ] pero (x)0 6= (x)0 .
6. CDIGOS DE VENTANA DESLIZANTE 15
n
Demostracin. Ya que X (x) = x, tenemos que, por la propiedad de conmutar con
n
, x = (X (x)) = Y (x), es decir, y = Yn (y). Entonces y tiene perodo n para Y . Si x
n
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 veriquemos 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 v 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 w B(X) tal que y[n,n] = (w). Por lo tanto, para todo n 0, existe
(n) (n)
x(n) X tal que x[n,n] = w y x(n) [n,n] = x[n,n] = y[n,n] . Usaremos la sucesin
(n)
x para encontrar un punto x X tal que x = y , con lo que quedar probado
nN
que y (X), y, con ello, que XLc (X). Como A es nito, hay una letra a0 A y
(n)
una cantidad innita de n tales que x tienen al smbolo a0 en la posicin 0. Sea S0
3
el conjunto de todos esos n. Como A es nito, hay un subconjunto innito S1 de S0
(n)
y smbolos a1 y a1 tales que n S1 , x[1,1] = a1 a0 a1 . Continuando de esta manera,
para cada k 1 conseguimos un subconjunto innito Sk de Sk1 y smbolos ak y
(n)
ak tales que n Sk , x[k,k] = ak a0 ak . Denamos x = (ak )kZ . Ocurrir que
(n)
k 0, n Sk , x[k,k] = x[k,k] . Si u = x[i,j] para algunos enteros i y j , haciendo
(n)
k = max {|i|, |j|} ser x[k,k] = x[k,k] para cualquier n Sk , por lo que existe n 0
(n)
tal que u v x X , es decir, u B(X); puesto que cualquier bloque de x est en el
lenguaje del espacio shift X , se tiene que, por el 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 innito).
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 .
Demostracin. Por la proposicin 1.59, existe un espacio shift X
e, una conjugacin :
X X e y un CVD monobloque e : X e Y tales que = e . Como
es conjugacin, es
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
1
por : B1 (X) B1 (Y ). Hagamos = . 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
vericar que es CVD, para lo que usaremos la proposicin 1.53.
(n)
yb[n,n] pero y (n) 0 6= yb(n) 0 . Llamemos x(n) = y (n) y x b(n) = yb(n) . Tenemos
(n)
que, para cada n 0, tanto x como x b(n) estn en X , y adems x(n) 6= x b(n) pues
(n)
ambos dieren en la coordenada 0. Consideremos las dos sucesiones en X , x y
nN
0
(n)
x . Como A es nito, debe haber un smbolo a0 A, y un conjunto innito S0
nN
b
0
= a0 ; ntese que n S00 , x
(n)
de enteros tal que n S0 , x
0
b(n) 0 6= a0 . Puesto que
0
A es nito, debe haber un smbolo b0 6= a0 y un subconjunto innito S0 de S0 tal que
(n) (n)
n S0 , x b 0 = b0 . Observar que, entonces, n S0 , x 0 = a0 6= b0 = x b(n) 0 .
3 0
Como la cantidad de bloques en A es nita, debe haber un subconjunto innito S1 de
S0 y smbolos a1 y a1 tales que n S10 , x(n) [1,1] = a1 a0 a1 , y consecuentemente
0
debe haber un subconjunto innito S1 de S1 y smbolos b1 y b1 tales que n S1 ,
(n)
(n)
b 0 = b1 b0 b1 . Notar que n S1 , x [1,1] = a1 a0 a1 6= b1 b0 b1 = x
x b(n) [1,1] .
Continuando de esta manera, para cada k 1 encontramos un subconjunto innito Sk
(n)
de Sk1 y smbolos ak , ak , bk y bk tales que n Sk , x = ak a0 ak 6=
[k,k]
(n)
bk b0 bk = xb [k,k] . Tomemos x = (ak )kZ y x b = (bk )kZ . Obsrvese que k
(n) (n)
0, n Sk , x[k,k] = x[k,k] y x
b[k,k] = x
b[k,k] . Si u = x[i,j] para algunos enteros i y j,
(n)
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 v 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 el corolario 1.31, x X . Igualmente,
b X . Adems, x 6= x
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 innito). Tenemos que
(n) (n) (n)
(x)[k,k] = x[k,k] = x[k,k] = y[k,k] = yb[k,k]
(n)
= x b[k,k] = x b[k,k] = (b x)[k,k]
Es decir, k 0, (x)[k,k] = (bx)[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.
Demostracin. Por la proposicin 1.59, existe un espacio shift X
e, una conjugacin :
1
X X
e y una conjugacin monobloque tales que e Y
e : X es conjugacin y = .
e
1
Entonces = , y, por aplicacin del lema 1.62 y la proposicin 1.57, 1 resulta ser
1 e1
EJERCICIOS
1. Para A = {0, 1} y n entero positivo, cuente la cantidad de puntos peridicos de perodo
n que hay en AZ . Cuntos de ellos tienen perodo mnimo 8? En cuntos de estos
ltimos ocurre el bloque 011101?
2. Considere A = Z2 , dotado con la operacin de suma mdulo 2. Denamos la operacin
: A A AZ estableciendo (x y)i = xi + yi (mod 2) (x, y AZ , i Z). Mostrar
Z Z
que A , tiene estructura de grupo. Muestre que esto mismo ocurre tambin si (A, )
Z
0 si x=y
d(x, y) =
2 mn{|k|:xk 6=yk } si x 6= y
b ) Es (A , d) un espacio acotado?
Z
c ) Cundo dos puntos x, y A estn a distancia menor que 1/16 para esta mtrica?
Z
k
d ) Dado un entero k , cundo dos puntos x, y A estn a distancia menor que 2
Z
10. Sea A un alfabeto, I un conjunto arbitrario (de ndices), y para cada I, supngase
denido F A . Muestre que
\
XF = XSI F
I
b ) Suponga que para cada en un conjunto arbitrario I est denido un espacio shift
S
X . Muestre que si I X = AZ , entonces existe I tal que X = AZ .
c ) Encuentre un espacio shift X que puede descomponerse como la unin de dos espa-
cios shift X1 y X2 de modo tal que ni X1 ni X2 son iguales a X . Es X irreducible?
13. Muestre que si X es un espacio shift irreducible, entonces para cualquier par de bloques
u, w B(X) existe un bloque no vaco v B(X) tal que uvw B(X).
Considere A = {0, 1}, y los siguientes subconjuntos X1 , X2 , X3 de A :
Z
14.
X1 = x AZ : i Z, xi 6= xi+1
X2 = x AZ : k Z : (xi = 0 i k)
X3 = x AZ : (i Z, xi = 0) !k Z : xk = 1
a ) Especique si 0 pertenece o no a cada uno de los conjuntos.
b ) Slo uno de los tres conjuntos no es un espacio shift. Especique cul es (Sugerencia:
especique un punto que no est en el conjunto, pero que tenga todos sus bloques en
el lenguaje del conjunto). Para cada uno de los que s son espacios shift, especique
explcitamente una familia de bloques prohibidos.
c ) Decida si los conjuntos que son espacios shift son o no irreducibles.
15. Sean X1 y X2 espacios shift sobre A.
a ) Muestre que B(X1 ) B(X2 ) es el lenguaje de algn espacio shift. (Sugerencia: use
la caracterizacin de los lenguajes de los espacios shift.)
b ) Pruebe que X1 X2 es un espacio shift.
16. Sea X un espacio shift. Una palabra w se llama primer ofensor para X si w
/ B(X)
pero todo subbloque propio de w pertenece a B(X).
a ) Muestre que si hacemos O = {w : w es primer ofensor para X}, entonces X = XO .
b ) Demuestre que si X = XF , entonces para todo w O existe f F tal que w v f .
17. Sean X1 el shift de la razn de oro, y X2 el shift par.
[3] [3]
a ) Especique el alfabeto de X1 y X2 .
[3] [3]
b ) Encuentre F1 y F2 tales que X1 = XF1 y X2 = XF2 .
18. Sean X e Y espacios shift sobre un mismo alfabeto, y N entero positivo. Muestre que
(X Y )[N ] = X [N ] Y [N ] (X Y )[N ] = X [N ] Y [N ]
19. Demuestre que si X es un espacio shift y N es un entero positivo, entonces N X =
X [N ] N .
20. En cada uno de los siguientes casos, se dene una funcin de AZ en U Z, y se pide
determinar si es un CVD, y si conmuta con las respectivas dinmicas. En caso de ser
un CVD, muestre una funcin inductora, con su correspondiente memoria y anticipacin.
a ) A = {0, 1} = U , y para x A e i Z, (x) = xi1 xi + xi+2 (mod 2).
Z
i
b ) A = {0, 1} = U , y para x A e i Z,
Z
xi1 si i es par
(x) i =
xi+1 si i es impar
1. ESPACIOS SHIFT 21
c) A = {0, 1} = U , y
0
si !k Z : xk = 1
(x) =
1 si no
0
si x0 = 0
(x) =
1 si x0 = 1
21. Sea A = {0, 1} = U , y X = X{01,10} . Sea : X U Z denida por
0 si x0 = 0
(x) =
1 si x0 = 1
Es un CVD? De serlo, muestre una funcin inductora, indicando memoria y antici-
pacin.
22. Sea X un espacio shift sobre A, y un CVD denido en X , inducido por con memoria
0 0
m y anticipacin n. Sea el CVD inducido por esa misma , pero con memoria m y
0 0 0 0
anticipacin n (siendo m + n = m + n). Qu relacin hay entre y ?
2
23. Para A = {0, 1}, considere : A A segn la siguiente tabla:
w 00 01 10 11
(w) 0 1 1 0
Sea el CVD sobre AZ con memoria 0 y anticipacin 1 inducido por , y considere
u = 0010110001.
a ) Obtenga (u).
b ) Encuentre una funcin 1 que induzca a con memoria 1 y anticipacin 2. Obtenga
1 (u).
c ) Encuentre una funcin 2 que induzca a de modo que la memoria y la anticipacin
sean iguales. Obtenga 2 (u).
d) Existe una funcin 3 : A A que induzca a con memoria y anticipacin 0?
e) Recodique 1 a un cdigo monobloque.
f) Es un CVD? De serlo, encuentre una funcin inductora, especicando su
memoria y anticipacin.
g ) Vista como funcin de AZ en AZ , es una transformacin factor? Una inmersin?
Una conjugacin?
24. Suponga que X e Y son dos espacios shift sobre los alfabetos A y U respectivamente,
y que es un CVD de X a Y de memoria m y anticipacin n inducido por :
Bm+n+1 (X) B1 (Y ). Qu relacin hay entre la inyectividad de y la de ? Entre
la sobreyectivdad de ambas funciones? Entre la biyectividad de ambas funciones?
25. Sean X e Y espacios shift conjugados. Muestre que X es irreducible si, y slo si, Y lo
es.
26. Es {0, 1}Z conjugado a {0, 1, 2}Z ? Es el shift de la razn de oro conjugado al shift
par?
27. En {0, 1}Z , denamos el CVD de memoria 1 y anticipacin 2 inducido por
Los espacios shift que pueden ser descriptos por un conjunto nito de bloques prohibidos
se llaman shifts de tipo nito (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 tam-
bin ha proporcionado soluciones a problemas prcticos de importancia, tales como encontrar
esquemas de codicacin ecientes 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 nito 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 almace-
namiento magntico, indicando por qu los shifts de paso limitado constituyen la caracterstica
central de la mayora de los mtodos ms usados para el almacenamiento de datos en discos
rgidos de computadoras.
Definicin 2.1. Un shift de tipo nito (STF) es un espacio shift que puede describirse
por un conjunto nito de bloques prohibidos, es decir, un espacio shift X para el cual existe
algn conjunto nito 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 A = XF .
Z
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 innito 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 innito. La denicin de STF slo pide
que exista algn F
adecuado.
Supongamos que X A es STF, y que X = XF para una coleccin nita F de bloques.
Z
23
24 2. SHIFTS DE TIPO FINITO
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
vericar 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 nito.
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
k
de la forma 0 , ni0k 10l para ningn k, l 0, ya que 000010000 X . Pero entonces
2N +1
000010 10000 XF pues ninguno de sus N -bloques est en F . Sin embargo, ese
punto no pertenece a X por la denicin del shift par.
Hay tambin una nocin de memoria para un STF.
El lenguaje de un STF est caracterizado por la propiedad de que si dos palabras se solapan
lo suciente, pueden ser unidas a lo largo del solape para formar otra palabra en el lenguaje.
Teorema 2.11. Sea X un shift de tipo nito, e Y un espacio shift conjugado a X . Entonces
Y es un shift de tipo nito.
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 echa desde i(a) hasta t(a), con un rtulo que indica su nombre. La gura 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.
Muchas veces, cuando hagamos referencia a distintos grafos en forma simultnea, emplea-
remos 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.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 isomorsmos, se tiene que dos grafos G y H son isomorfos si, y slo si,
existe una matriz de permutacin P AG = P AH P 1 . Recordemos que una matriz de
tal que
permutacin es una matriz cuadrada con entradas 0 o 1 que tiene exactamente un 1 en cada
la, y exactamente un 1 en cada columna. Es fcil demostrar si P es matriz de permutacin,
P 1 tambin lo es, y P 1 = P T . Si (, ) es un isomorsmo entre G = (V, , iG , tG ) y H =
(W, 0 , iH , tH ), se dene P con las 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
1
para todos I, J , de modo que AG = P AH P .
Recprocamente, si G y H son grafos tales que admiten una matriz de permutacin P tal
1
que AG = P AH P , considerando a las las 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 dene I = J PI,J = 1. De la
1
condicin AG = P AH P , 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 deniremos el espacio shift generado por un grafo.
G1 G2
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-innito en G.
Ejemplo 2.20. La gura 4 muestra el resultado del proceso de eliminacin de nodos muertos
del grafo de la gura 3.
Lema 2.22. Sea G = (V, , i, t) un grafo, y sea un camino de longitud mayor o igual que
|V | en G. Entonces, existen en G caminos 0 , , 00 tales que = 0 00 , donde es un ciclo no
vaco, y, por lo tanto, pertenece a B (XG ).
Lema 2.23. Sea G un grafo esencial. Entonces, el conjunto de los caminos (nitos) en G
es un precisamente el conjunto de bloques en el lenguaje de XG .
30 2. SHIFTS DE TIPO FINITO
Demostracin. Sea (H) = B1 (XG ), es decir, el conjunto de todas las aristas de G que
intervienen en algn camino bi-innito 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-innito en H es
tambin camino bi-innito 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.
0
Para ver que H es nico, consideremos cualquier subgrafo esencial H de G tal que XH 0 =
0 0
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 0 ) (lema 2.23, considerando que H y H 0 son esenciales), por lo que B (XG ) =
B (XH ) 6= B (XH 0 ), es decir, sera XG 6= XH 0 , y tendramos una contradiccin. Luego, H y
H 0 tienen las mismas aristas, y siendo ambos esenciales, tienen tambin los mismos nodos, de
donde concluimos que ambos son iguales.
Demostracin.
que es precisamente la denicin 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 denicin 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.
Proposicin 2.27. Sea G un grafo esencial. G es irreducible si, y slo si, XG es un espacio
shift irreducible.
Ejemplo 2.28. 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.24, 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 nito, mostra-
remos ahora que todo shift de tipo nito puede recodicarse a un shift de aristas.
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.31. Sea G un grafo, y sea N un entero positivo. Se dene el grafo G[N ] ,
llamado N -simo grafo de bloques de aristas de G del siguiente modo:
G[1] = G.
3. REPRESENTACIN DE SHIFTS DE TIPO FINITO POR MEDIO DE GRAFOS 33
para N 2, los vrtices de G[N ] son los caminos en G de longitud N 1, y las aristas
[N ]
de G son los caminos en G de longitud N . Si a = a1 aN es una arista, denimos
iG[N ] (a) = a1 aN 1 y tG[N ] (a) = a2 aN . Obsrvese que G[N ] es un grafo bien denido.
Ejemplo 2.32. 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 gura 7.
Proposicin 2.36. Los shifts de vrtices son shifts de tipo nito de memoria 1.
1. La familia de todos los shifts de tipo nito 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).
[M ]
3. Si X es un shift de tipo nito de memoria M , X es un shift de vrtices. De hecho,
[M ] [M +1]
existe un grafo G tal que XG = X y XG = X .
Demostracin.
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
4. DESDOBLAMIENTO DE ESTADOS 35
desdoblamiento, llamada amalgama de estados. Resulta ser que cualquier conjugacin entre
shifts de aristas puede dividirse en una sucesin nita de desdoblamientos y amalgamas de
estados. Esto, junto a aplicaciones para la produccin de cdigos de estados nitos, 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
1 2
disjuntos no vacos I y I . Construimos un nuevo grafo H , basndonos en esta particin, como
1 2 i
sigue: el conjunto de estados es W = (V {I}) {I , I }. Para cada arista e I (donde i
i
es 1 o 2), pongamos una arista en H desde I hasta t(e) llevando el mismo nombre e (notar
I
que, como no hay bucles en I , t(e) 6= I , de modo que t(e) W ). Para cada f en (es decir,
1 1 2
cada arista f llegando a I ), pongamos dos aristas f desde i(f ) hasta I y f 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 gura 8 muestra cmo es la operacin.
i I
Denamos la transformacin monobloque : B1 (XH ) B1 (XG ) mediante (f ) = f si f
/ I . En otras palabras, simplemente borra suprandices. Es posible chequear
y (e) = e si e
(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
denamos un cdigo 2-bloque : B2 (XG ) B1 (XH ) mediante:
f si f/ I
1
(f e) = f si f I y e 1I
2
f si f I y e 2I
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 yanticipacin 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 denicin
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 .
x = d a d b d c e .a d c e b d
y = d1 a d2 b d2 c e1 . a d2 c e2 b
Notar que no gura 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).
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.41. De la denicin del grafo desdoblado, se desprende que una arista ej
va de In hasta Jk e nI (lo cual implica que iG (e) = I ), tG (e) = J y j = k . Por
si, y slo si,
n k
ello, la cantidad de aristas desde I hasta J en el grafo desdoblado es precisamente la cantidad
n
de aristas en I que terminan en J en el grafo G. Es decir,
0 0J k
In = nI J
para todos k {1, . . . , m(J)}, n {1, . . . , m(I)}, I, J V (G).
Ejemplo 2.42. Sea G el grafo de la izquierda en la gura 10, de modo que I = {e, f } y
J = {g}. Tomemos las siguientes particiones: 1I = {e}, 2I = {f } y 1J = {g}, por lo que
m(I) = 2 y m(J) = 1. Entonces P = {1I , 2I , 1J }. El grafo resultante del desdoblamiento se
muestra a la derecha en esa misma gura. Notar que, en particular, el bucle e en el estado I se
1 1 2 1 2
desdobla en un bucle e en el estado I y otra arista e desde I hasta I .
Ejemplo 2.43. La gura 11 muestra a la izquierda un grafo del full shift {e, f }Z . Esen-
1 2
cialmente, hay una sola particin no trivial de I , a saber, I = {e} y I = {f }. El grafo
resultante del desdoblamiento se muestra en la misma gura 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.
Ejemplo 2.44. Para el grafo G a la izquierda en la gura 12, sea P denida por 1I = {a},
2I = {b, c}, 1J = {d}, 1K = {e} y 2K = {f }. El grafo G[P] se muestra a la derecha de esa
misma gura.
38 2. SHIFTS DE TIPO FINITO
Definicin 2.45. Sea un grafo. Para cada estado I V , sea denida una
G = (V, , i, t)
I I I I
particin de en conjuntos disjuntos (no vacos) 1 , 2 , . . . , m(I) , donde m(I) 1 es la can-
I
grafo de desdo-
tidad de conjuntos en la particin de . Sea P la particin resultante de . El
blamiento de entradas G[P] formado a partir de G usandoP tiene como conjunto de esta-
dos a {Ik : I V 1 k m(I)} y como conjunto de aristas a ej : e 1 j m i(e) .
J
Si e va de I a J en G, entonces existe j tal que e j , y el estado inicial de ei en G[P] es
Ii y el terminal es Jj .
Ejemplo 2.46. Sea G el grafo a la izquierda en la gura 13. Denamos P mediante I1 =
{e}, I2 = {g} y J1 = {f }. El correspondiente G[P] se muestra en esa misma gura, a la
derecha.
j
j
y entonces (ef ) = e , as que ((y))k = (y)[k,k+1] = (ef ) = e = 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 XG , que se denomina cdigo de amalgama de salidas, cuyo
XH a
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
(nita) de desdoblamientos y amalgamas de un grafo G, entonces XH XG (la conjugacin es
40 2. SHIFTS DE TIPO FINITO
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 especicar las cantidades de aristas en cada particin que terminan
en un estado dado, por medio de la siguiente matriz E con las 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.
1 si I=J
DI,J k =
0 si I 6= J
EI n ,J = nI J
DE = AG ED = AH
5. EL ALMACENAMIENTO DE DATOS Y LOS STF 41
X X m(L)
X m(I)
X m(I)
X
(DE)I,J = DI,K EK,J = DI,Li ELi ,J = DI,I i EI i ,J = EI i ,J
KW LV i=1 i=1 i=1
m(I) m(I) m(I)
X [ [
i J i J i J
= I = I =
I
i=1 i=1 i=1
= I J = (AG )I,J
mostrando que DE = AG . Por otro lado,
X
(ED)I i ,J j = EI i ,K DK,J j = EI i ,J DJ,J j = EI i ,J
KV
i 0
J
0J j
= I = I i = (AH )I i ,J j
por lo que ED = AH .
La lectura de los datos se hace por el proceso inverso. Las inversiones de polaridad a lo largo
de la pista generan pulsos de voltaje en el cabezal a medida que el mismo pasa sobre ellas. Un
esquema denominado deteccin de picos determina si ocurre un pulso dentro de un intervalo
de tiempo llamado ventana de deteccin de longitud L. Un pulso es interpretado como un 1,
mientras que la ausencia de pulso representa un 0. La deteccin de picos usa slo las reversiones
de polaridad, no las polaridades reales; intercambiar N y S producira los mismos datos. La
parte inferior de la gura 14 muestra cmo es la lectura de los datos.
El ms directo de los mtodos para almacenar una sucesin de bits sera dividir la pista en
celdas de igual longitud L, y escribir un cambio en la polaridad en cada celda que almacene un
1, y no alterar la polaridad en las celdas que almacenen un 0. Hay dos serios problemas con
este enfoque.
El primer problema es llamado interferencia intersmbolos. Si hay cambios de polaridad muy
prximos entre s, las lneas de fuerza magntica tienden a anularse, y los pulsos producidos en
el cabezal son ms dbiles, ms difciles de detectar y tienen sus picos desplazados (ver gura
15). En base a las caractersticas fsicas del medio magntico y la sensibilidad de los dispositivos
electrnicos, cada sistema de discos tiene una distancia de separacin mnima entre cambios
de polaridad para una operacin conable. En el mtodo de almacenamiento literal, la ventana
de deteccin L debe ser al menos pues podran ocurrir dos 1 en celdas adyacentes. A travs
del uso de esquemas en los cuales dos 1 consecutivos estn separados por al menos d ceros,
podremos usar una ventana de deteccin de longitud L = /(d + 1) y contener ms datos en
cada pista.
El segundo problema es el error del reloj. El bloque 10n 1 es ledo como dos pulsos separados
por un intervalo de tiempo. La longitud de este intervalo es (n + 1)L, y determina el nmero n
de ceros. Cualquier error en el dispositivo usado para medir ese tiempo resultara en un valor
errneo para n, por lo que no conviene que el intervalo de tiempo entre dos pulsos (es decir,
la cantidad de 0 entre dos 1) sea muy grande. Entonces, una restriccin tpica para corregir
los errores de reloj es que entre dos 1 sucesivos no haya ms de k ceros. Relojes ms exactos
permiten valores ms grandes de k.
En suma, para corregir simultneamente la interferencia intersmbolos y el error de reloj,
debemos ser capaces de codicar cualquier sucesin arbitraria w {0, 1} en una sucesin w0
que satisfaga las restricciones de tener al menos d ceros y no ms de k ceros entre dos ocurrencias
0
sucesivas de 1; tal w es la que se almacenar en el medio magntico. Por supuesto, queremos
0 0
ser capaces de decodicar w (es decir, recuperar w a partir de w ) para realizar la lectura de
los datos almacenados. Hay varias maneras de hacer el proceso de codicacin/decodicacin
de datos para el almacenamiento, y estudiaremos, en el captulo 6, esquemas ecientes que son
producto del ingenio de cientcos de importantes empresas como IBM, Bell Systems y otras.
2. SHIFTS DE TIPO FINITO 43
EJERCICIOS
1. Shifts de paso limitado y de lagunas. Para los siguientes espacios, se considera el
alfabeto A = {0, 1}.
a) Sea X el conjunto de todas las sucesiones binarias biinnitas en las que los 1 aparecen
con frecuencia innita en ambas direcciones y, entre dos ocurrencias sucesivas de 1,
la cantidad de 0 es al menos uno y no ms de tres. Por ej., (01001010001) X,
mientras que 0000000.100000 , (00011) , 1010000.10001 no estn en
X . X se llama shift de paso limitado (1, 3). Muestre que X es un STF.
b) Sea X el conjunto de todas las sucesiones binarias biinnitas en las que entre dos
ocurrencias sucesivas de 1, la cantidad de 0 es al menos uno y no ms de tres. Por
ej., (01001010001) y 0000000.100000 estn en X , mientras que (00011) y
1010000.10001 no estn en X . Muestre que X es un espacio shift pero no es
un STF.
c ) Para generalizar la shift de paso limitado (1, 3), sean d y k dos enteros no negativos,
con d k . Sea X el conjunto de todas las sucesiones binarias biinnitas en las que
los1 aparecen con frecuencia innita en ambas direcciones y, entre dos ocurrencias
sucesivas de 1, la cantidad de 0 es al menos d y no ms de k . X se llama shift de
paso limitado (d, k). Muestre que X es un STF.
d) Sean d y k dos enteros no negativos, con d k . Sea X el conjunto de todas las
sucesiones binarias biinnitas en las que entre dos ocurrencias sucesivas de 1, la
cantidad de 0 es al menos d y no ms de k . Muestre que X es un espacio shift, pero
no es STF.
e ) Para generalizar las shifts de paso limitado, sea S un subconjunto nito de los
enteros no negativos. Sea X el conjunto de todas las sucesiones binarias biinnitas
en las que los 1 aparecen con frecuencia innita en ambas direcciones y, entre dos
ocurrencias sucesivas de 1, la cantidad de 0 es un nmero en S. X se llama shift
de lagunas en S . Muestre que X es un STF.
f ) Sea S un subconjunto nito de los enteros no negativos. Sea X el conjunto de todas
las sucesiones binarias biinnitas en las que entre dos ocurrencias sucesivas de 1, la
cantidad de 0 es un nmero en S. Muestre que X es un espacio shift, pero no un
STF.
g ) Sea S un subconjunto innito de los enteros no negativos. Sea X el conjunto de
todas las sucesiones binarias biinnitas en las que entre dos ocurrencias sucesivas
de 1, la cantidad de 0 es un nmero en S. Tambin en este caso, X se llama shift
de lagunas en S . Muestre que X es un espacio shift. Dar un ejemplo de S para
el cual el correspondiente shift sea de tipo nito, y otro ejemplo para el cual no.
Justique.
h ) Sea S un subconjunto innito de los enteros no negativos. Sea X el conjunto de
todas las sucesiones binarias biinnitas en las que los 1 aparecen con frecuencia
innita en ambas direcciones y, entre dos ocurrencias sucesivas de 1, la cantidad de
0 es un nmero en S. Demuestre que X no es un espacio shift.
2. Para el alfabeto A = {a, b, c}, sea X el conjunto de sucesiones biinnitas en las que el
k m
bloque ab c a puede ocurrir slo si k = m. Muestre que X es un espacio shift, pero que
no es un STF. X se llama shift libre de contexto.
3. Muestre que si X e Y son STF sobre A, tambin lo es X Y. Qu puede decir de
X Y?
4. Un problema de maximalidad.
a ) Sean F1 = {10, 11} y F2 = {01, 10, 11}. Demuestre que XF1 = XF2 . Observe que
todos los bloques, tanto en F1 como en F2 , tienen largo 2.
44 2. SHIFTS DE TIPO FINITO
arista a b c d e f g h i j k l m
inicial 3 1 1 1 2 2 3 4 3 6 7 2 6
terminal 1 3 1 2 1 4 4 5 5 7 7 1 7
0
Identique el subgrafo esencial maximal G tal que XG0 = XG . Obtenga las matrices de
0
adyacencia de G y de G , y extraiga conclusiones acerca de las mismas.
9. Resuelva el mismo ejercicio anterior, pero agregando a G una arista n desde el estado 5
al 6.
10. Considere el grafo G = (V, , i, t) con V = {1, 2, 3, 4, 5, 6}, = {a, b, c, d, e, f, g, h, i, j, k},
y funciones inicial y terminal denidas en la siguiente tabla:
arista a b c d e f g h i j k
inicial 1 1 4 3 3 3 1 2 5 6 6
terminal 1 4 1 4 4 2 2 3 6 6 5
2. SHIFTS DE TIPO FINITO 45
arista a b c d e f g h i
inicial A A B B B D A C C
terminal A B B C D B C D D
Obtenga el grafo desdoblado G[P] que resulta de considerar m(A) = 2, m(B) = 3,
m(C) = 2, m(D) = 1 y la particin P siguiente:
1C = {h}, 2C = {i}
1D = {f }
Determine la matriz de adyacencia del grafo desdoblado, las matrices de divisin y de
aristas para P, y establezca las relaciones entre las cuatro matrices.
15. Dadas las siguientes matrices:
0 1 1 1 1 0
1 1
A= B= 1 1 0 C= 0 0 1 D = [2]
1 0
1 0 0 1 1 0
Decida cules de ellas se pueden obtener a partir de un proceso sucesivo de desdobla-
mientos y amalgamas de estados de grafos representados por las otras. (Sugerencia:
considere puntos peridicos.)
16. Muestre que el grafo obtenido a partir del desdoblamiento de estados de un grafo irre-
ducible es tambin un grafo irreducible.
Captulo 3
SHIFTS SFICOS
Supongamos que las aristas de un grafo son rotuladas con smbolos de algn alfabeto A,
con la posibilidad de que dos o ms aristas puedan llevar el mismo rtulo. Cualquier camino
biinnito en el grafo produce un punto en el full shift A por lectura de los rtulos de sus
Z
aristas, y el conjunto de todos los puntos que as pueden obtenerse se llama un shift sco.
Los shifts scos son importantes por varias razones. Veremos en este captulo que son
precisamente aquellos espacios shift que son factores de shifts de tipo nito. As, la clase de los
shifts scos es la ms pequea coleccin de espacios shift que contiene a los STF y que tambin
contiene a todos los factores de cada espacio de la coleccin. Los shifts scos son los anlogos
de los lenguajes regulares de la teora de autmatas, y varios de los algoritmos que sobre ellos
pueden ejecutarse son adaptaciones de los de autmatas de estados nitos. Los shifts de tipo
nito y los scos son modelos naturales para almacenamiento y transmisin de la informacin;
estudiaremos su uso en los cdigos de estados nitos en el captulo 6.
Definicin 3.1. Un grafo rotulado G es un par (G, L), donde G es un grafo con conjunto
de aristas , y la rotuladora L : A es una funcin que asigna a cada arista e de G un
rtulo L(e) del alfabeto A. A G se lo denomina el grafo subyacente de G . Un grafo rotulado
se dice irreducible si su grafo subyacente es irreducible.
A veces nos referiremos a un grafo rotulado simplemente como un grafo, y a estados o aristas
del grafo subyacente G de un grafo rotulado G como estados o aristas de G .
La rotuladora L puede ser cualquier asignacin de letras de un alfabeto A a las aristas de G.
En un extremo, podramos tener A = y L(e) = e para toda e , dando una rotulacin uno
a uno de aristas por sus nombres. En el otro extremo, A podra consistir de una nica letra a
y todas las aristas estaran rotuladas con a, es decir, L(e) = a para toda e . Usualmente, L
ser no inyectiva, de modo que varias aristas llevarn el mismo rtulo. Aunque L no necesita ser
sobreyectiva, slo se usarn las letras que estn en la imagen de L. Utilizaremos normalmente
caracteres como e, f o g para los nombres de las aristas, y a, b, c o enteros pequeos para sus
rtulos. La gura 1 muestra dos ejemplos de grafos rotulados tpicos.
Figura 1. Grafos rotulados tpicos
46
1. PRESENTACIONES DE SHIFTS SFICOS 47
El siguiente resultado ofrece otra perspectiva de la diferencia entre shifts de tipo nito y
shifts estrictamente scos.
Proposicin 3.7. Un shift sco es un shift de tipo nito si, y slo si, tiene una presen-
tacin (G, L) tal que L es una conjugacin.
Espacios Shift
Shift libre de contexto
Shifts Sficos
Shift par
Shifts de aristas
X{eg,f e,f f,gg}
Full shifts
{e, f, g}Z
Sobre grafos rotulados, es posible realizar varias operaciones anlogas a las que se realizan
sobre grafos comunes. En particular, la muy importante nocin de desdoblamiento de estados.
Definicin 3.9. Sea G = (G, L) un grafo rotulado, y supongamos que H es un grafo que
resulta de un desdoblamiento de salidas de G (recordar que cada arista de H es de la forma
ej , donde e es una arista en G y j algn entero positivo). Sea L0 la rotulacin para H denida
0 j 0
por L (e ) = L(e). Entonces, el grafo rotulado H = (H, L ) se llama un desdoblamiento de
salidas de G , y G es una amalgama de salidas de H.
De manera anloga se denen los desdoblamientos y amalgamas de entradas de grafos
rotulados.
Cualquier desdoblamiento de un grafo rotulado presenta el mismo espacio shift que el grafo
rotulado original.
La primera manera es que X es sco si, y slo si, es un factor de un shift de tipo nito. A
consecuencia de ello, la coleccin de los shifts scos es la ms pequea coleccin de espacios
shift que contiene a los STF y que es cerrada bajo la operacin de tomar factores. De hecho,
esta propiedad de los shifts scos fue la motivacin original de Weiss para introducirlos.
La segunda manera usa el lenguaje de X . Si w B(X), entonces la familia
es una palabra en
de todas las palabras que pueden seguir a w en X es un subconjunto de B(X) que depende de
w. Podra haber una cantidad innita de tales familias diferentes segn w vara en B(X), pero
veremos que X es sco precisamente cuando hay slo una cantidad nita de tales familias.
Comenzamos con el criterio de los cdigos factores.
Teorema 3.11. Un espacio shift es sco si, y slo si, es un factor de un shift de tipo
nito.
Ejemplo 3.15. Sean X = {0, 1}Z y w B(X). Como cualquier palabra puede seguir a
cualquier otra en el full shift, tenemos que el conjunto de seguidores de w es todo el lenguaje de
X , es decir, FX (w) = {0, 1} . Luego, CX = {{0, 1} }, es decir, CX consta de un solo elemento.
Ejemplo 3.16. Sea G el grafo esencial mostrado en la gura 5 (a), y sea X = XG , que
tiene alfabeto {e, f, g, h}. Si es un camino en G (es decir, una palabra en B (XG )), entonces
el conjunto de seguidores de es el conjunto de todos los caminos en G que comienzan en
el vrtice terminal de . Sean C0 el conjunto de caminos de G que comienzan en 0, y C1 el
conjunto de caminos que comienzan en 1. Entonces, CX = {C0 , C1 }. Por ejemplo,
FX (e) = FX (f g) = FX (hhgee) = C0
y
FX (f ) = FX (gef h) = FX h100 = C1
Las mismas consideraciones muestran que si G es cualquier grafo esencial que tiene r vrtices,
entonces CXG consta de exactamente r conjuntos, uno correspondiente a cada vrtice.
Figura 5. Grafos para conjuntos de seguidores
Ejemplo 3.17. Sea G el grafo rotulado de la gura 5 (b), de modo que X = XG es el shift
par. Hay tres conjuntos de seguidores distintos, dados por
C0 = FX (0) = {, 0, 1, 00, 01, 10, 11, 000, 001, 010, 011, 100, 110, 111, . . .},
C1 = FX (1) = {, 0, 1, 00, 10, 11, 000, 001, 100, 110, 111, . . .},
C2 = FX (10) = {, 0, 00, 01, 000, 010, 011, . . .},
Para cualquier w B(X), es fcil chequear que
C0 si w no contiene 1
FX (w) = C1 si w termina en 102k para algn k 0
C2 si w termina en 102k+1 para algn k 0
Luego, C0 , C1 y C2 son los nicos conjuntos de seguidores posibles, es decir, CX = {C0 , C1 , C2 }.
Ejemplo 3.18. Sea el shift libre de contexto, con alfabeto A = {a, b, c} y para el cual
X
ab c a est permitido exactamente cuando m = k . Luego, ck a est en FX (abm ) si, y slo si,
m k
k = m. Esto signica que, para m = 1, 2, 3, . . ., los conjuntos de seguidores de FX (abm ) son dos
a dos diferentes, de modo que CX consta de innitos conjuntos.
2. CARACTERIZACIONES DE SHIFTS SFICOS 53
Supongamos que X es un espacio shift sobre A tal que CX es un conjunto nito. Construi-
remos un grafo rotulado G = (G, L) como explicamos a continuacin. Los vrtices de G son los
elementos en CX . Sea I = FX (w) un vrtice en G y a una letra en A. Si wa es un bloque en
B(X), entonces J = FX (wa) est en CX , y en consecuencia es un vrtice en G; poner en este
caso una arista rotulada a desde I hasta J . Si wa / B(X), no habr ninguna arista en G que
lleve rtulo a saliendo de I . Ejecutando esta accin para cada vrtice en G y cada letra en el
alfabeto, obtenemos el grafo rotulado G , que denominaremos el grafo de los conjuntos de
seguidores para X .
Por ejemplo, Sea X el shift par, de modo que CX = {C0 , C1 , C2 } segn el ejemplo 3.17. Ya
que C0 = FX (0), el grafo de los conjuntos de seguidores para X tiene una arista rotulada 0
desde C0 hasta FX (00) = C0 y una arista rotulada 1 desde C0 hasta FX (01) = C1 . El grafo
completo de los conjuntos de seguidores para X se muestra en la gura 6.
Al denir el grafo de los conjuntos de seguidores, hemos pasado por alto un punto esencial:
0 0 0
supongamos que I = FX (w) = FX (w ) para otra palabra w , y que hubisemos usado w en
lugar de w
al construir el grafo. Producira sto un grafo diferente? Para ver que no, notar
0 0
primero que wa B(X) si, y slo si, a FX (w) = FX (w ) si, y slo si, w a B(X). Adems,
Teorema 3.20. Un espacio shift es sco si, y slo si, posee una cantidad nita de conjuntos
de seguidores.
Demostracin. Para la ida, supongamos que X es un espacio shift sco, y, por lo tanto,
tiene una presentacin G = (G, L), con G = (V, , i, t). Para cada w B(X), designemos por
T (w) al conjunto de todos los vrtices de G en los que terminan todas las presentaciones de w .
Es decir,
T (w) = {t() : L() = w}
Es casi directo chequear que el conjunto de seguidores de w en X es el formado por los rtulos
de todos los caminos de G que comienzan en algn vrtice en T (w), es decir,
Por ejemplo, los grafos rotulados (a), (b) y (d) mostrados en la gura 2 son presentaciones
resolventes a derecha del full shift sobre {0, 1}, mientras que el (c) de esa misma gura es una
presentacin de {0, 1} que no es resolvente a derecha.
Z
3. PRESENTACIONES RESOLVENTES A DERECHA 55
Hemos denido resolvente a derecha en trminos de aristas salientes desde los vrtices.
Existe la propiedad dual de resolvente a izquierda, en la cual todas las aristas entrantes a un
mismo vrtice llevan rtulos diferentes. El grafo rotulado (c) de la gura 2 es una presentacin
resolvente a izquierda de {0, 1} . Hay presentaciones de {0, 1} que no son resolventes ni a
Z Z
H.
0 0
Observar que, por la construccin realizada, para cada vrtice I V y cada a A, hay a
0
lo sumo una arista en H arrancando en I con rtulo a, por lo que el grafo de subconjuntos es
resolvente a derecha.
Ejemplo 3.23. Sea X el shift sco presentado por el grafo G de la gura 7 (a). Realizando
la construccin de subconjuntos, se obtiene el grafo H mostrado en (b) de la misma gura.
Notar que, aunque G es irreducible, H no lo es (de hecho, el grafo subyacente ni siquiera es
esencial). Sin embargo, hay un subgrafo irreducible H0 de H, obtenido por eliminar el vrtice
{b} y la arista que sale de l, que tambin presenta a X.
Figura 7. La construccin de subconjuntos
Demostracin. Sea XG un shift sco con G = (G, L), y sea H el grafo de subconjuntos
de G. Como H es resolvente a derecha, el teorema quedar demostrado chequeando que H es
una presentacin de XG , para lo que veremos que B (XG ) = B (XH ).
Sea u = a1 an B (XG ). Entonces hay un camino = e1 en en G tal que L() = u.
0 0 0 0
Sean I = i() V y J0 = {I} V . Hagamos J1 = {t(e) : i(e) J0 L(e) = a1 }, es
0
decir, J1 es el conjunto de vrtices en G alcanzables desde I mediante una arista rotulada a1 .
0
Notar que J1 6= pues 1 sale de I y L(e1 ) = a1 , as que, por construccin de H, hay una
0 0
arista desde J0 hasta J1 con rtulo a1 . Continuando de esta forma, para cada m n denimos
0 0 0 0
Jm = {t(e) : i(e) Jm1 L(e) = am }, siendo Jm 6= pues t(e1 em1 ) Jm1 y, por
0 0
construccin, hay en H una arista rotulada am desde Jm1 hasta Jm . As, queda denido un
0
camino en H que empieza en J0 y lleva rtulo u. Hemos demostrado entonces que cualquier
bloque en B (XG ) es un camino rotulado en H. Luego, por el lema 3.4, B (XG ) B (XH ).
0
Recprocamente, sea u B (XH ). Entonces, hay un camino en H tal que L ( ) = u. Sean
I 0 y J 0 respectivamente los vrtices inicial y nal de . Por el lema 3.24, J 0 es el conjunto de
0
vrtices de G alcanzables desde los vrtices de I mediante caminos rotulados con u. Como
J 0 6= , hay en G un camino cuyo rtulo es u, y entonces, por el lema 3.4, u B (XG ).
3. PRESENTACIONES RESOLVENTES A DERECHA 57
Definicin 3.27. Sea G = (G, L) un grafo rotulado, con G = (V, , i, t), e I un vrtice. El
conjunto de seguidores de I en G , denotado FG (I), es la coleccin de rtulos de caminos
de G que comienzan en I, es decir,
Proposicin 3.29. Una presentacin resolvente a derecha minimal de un espacio shift tiene
seguidores separados.
El recproco, sin embargo, no es cierto en general. Por ejemplo, sea X irreducible y presen-
tado por G. Sea H la unin de dos copias disjuntas de G. Entonces, aunque X es irreducible
y es obviamente presentado por H, el grafo H es reducible. Sin embargo, podemos probar el
recproco para el caso de las presentaciones resolventes a derecha minimales.
Lema 3.30. Sea X un shift sco irreducible, y sea G = (G, L) una presentacin resolvente
a derecha minimal de X. Entonces G es un grafo rotulado irreducible.
Demostracin. Primero veamos que, para cualquier estado I en G, hay una palabra
uI B (XG ) tal que cualquier camino en G que presente a uI pasa por I . Si no fuera se el
caso para algn vrtice I, quitamos I y todas las aristas que se vinculan a l. Obtendramos
as un subgrafo rotulado resolvente a derecha H que satisface claramente que B (XH ) B (XG ),
pero que tambin satisface la otra contencin: por suposicin, el rtulo de cualquier camino que
pasa por I G que no pasa por I y que, por lo tanto,
es tambin el rtulo de algn camino en
no utiliza ninguna de las aristas eliminadas. As, B (XH ) = B (XG ) y, en consecuencia, H es
una presentacin resolvente a derecha de X pero con menos estados que G , lo que contradice
la minimalidad de esta ltima.
Ahora, sean I y J vrtices distintos en G, y sean uI y uJ las palabras correspondientes
a cada uno segn lo dicho previamente. Como X es irreducible, hay una palabra w tal que
uI wuJ B (XG ). Sea un camino que presente en G a uI wuJ , debiendo ser = I J con
L(I ) = uI , L() = w y L(J = uJ ). Pero I pasa por I , y J por J . Por lo tanto, pasa por
ambos vrtices, lo que implica que algn subcamino de va de I a J . Esto muestra que G es
irreducible.
Teorema 3.31. Un shift sco es irreducible si, y slo si, tiene una presentacin irreducible.
EJERCICIOS
1. Dados G1 y G2 de acuerdo a la gura 8, muestre que XG1 es una presentacin del shift
par, y XG2 = {0, 1}Z .
G1 G2
2. Decida si los dos grafos rotulados de la gura 9 denen shifts scos conjugados entre
s. Son isomorfos los grafos subyacentes? Son isomorfos los grafos rotulados?
3. Construya una presentacin de {0, 1}Z que no sea resolvente a derecha ni resolvente a
izquierda.
4. Muestre que si dos grafos rotulados son isomorfos, entonces presentan el mismo shift
sco.
5. Construya un grafo rotulado que sea una presentacin para X{11} , y otro que presente
a X{11,0101} .
6. Construya una familia innita de shifts scos tal que dos shifts distintos de esa familia
no sean conjugados.
7. Recuerde los shifts de lagunas de los ejercicios del captulo 2: dado S N, designamos
por X(S) al conjunto de todos los puntos de {0, 1} tales que la cantidad de 0 entre dos
Z
El objetivo de este captulo es analizar a los espacios shift a travs de sus caractersticas
topolgicas. Mediante la denicin de una manera adecuada para medir distancias entre tirillas
biinnitas, podremos ver al 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 deniciones y propiedades bsicas de los mismos con el nico objetivo de
aplicarlos al estudio de los espacios shift.
En el presente captulo, primero deniremos 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 del full shift. Luego analizaremos la continuidad de acuerdo a la
mtrica denida, 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. 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)
x = 00010.110101110000 y = 10010.110101110010
62
1. UNA MTRICA PARA AZ 63
A n de visualizar mejor, dispongamos ambos puntos uno debajo del otro, y marquemos con
las coordenadas en que xk 6= yk :
5 4 3 2 1 0 1 2 3 4 5 6 7 8 9 10 11
x ... 0 0 0 1 0 1 1 0 1 0 1 1 1 0 0 0 0 ...
y ... 1 0 0 0 0 1 1 0 1 0 1 1 1 0 0 1 0 ...
La marca ms cercana a la coordenada 0 corresponde a k = 2, de modo que d(x, y) =
2|2| = 1/4.
Notemos que, de acuerdo a esta denicin, 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 dieren
en la coordenada 0.
Justiquemos que la funcin d as denida es efectivamente una mtrica para AZ :
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 R0 . 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
t
un mnimo elemento N . Ya que la funcin exponencial 2 es estrictamente positiva
N +
para t R, d(x, y) = 2 R0 . 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 A dos a dos distintos. Llamemos
Z
1
d (x, y) < 2 mn{|k|:xk 6=yk } < mn {|k| : xk 6= yk } > log
1
mn {|k| : xk 6= yk } > log x[blog 1 c,blog 1 c] = y[blog 1 c,blog 1 c]
Juntando esto con el hecho de que dos puntos del full shift que estn a distancia 0 coinciden
en el bloque central de tamao 2k + 1 cualquiera sea k N, tenemos el siguiente resultado.
Definicin 4.5. Dado un subconjunto E de un espacio mtrico (X, d), se dice que un punto
xE 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 en-
tornos, y viceversa. Adems, la unin arbitraria de conjuntos abiertos es un conjunto abierto,
y la interseccin nita de conjuntos abiertos es tambin un conjunto abierto.
En el caso particular del full shift, a partir de la denicin de conjunto abierto y de la
caracterizacin de los entornos, se deduce que un subconjunto X de A es abierto si, y slo si,
Z
para cada x X , existe K N tal que cualquier punto y A que satisface y[K,K] = x[K,K]
Z
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 nita
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
(n)
mtrico en cuestin sea un espacio shift, denotaremos x 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 biinnita x.
Definicin 4.7. Una sucesin {xn }nN en el espacio (X, d) se dice convergente en X si
pX
existe tal que lmn d (xn , p) = 0. En este caso, escribimos lmn xn = p, o tambin
xn p
n
Demostracin. Dado que la funcin exponencial a tasa menor que 1 tiende asinttica-
mente a 0, por la proposicin 4.3 tenemos que:
K N, N N : n N, d x(n) , x < 2K
(n)
K N, N N : n N, x[K,K] = x[K,K]
(n)
Ejemplo 4.9. Estudiar la convergencia de la sucesin x nN
en {0, 1} Z
denida por
(n) 1 si |i| = n
xi =
0 si |i| =
6 n
Veamos el siguiente cuadro:
4 3 2 1 0 1 2 3 4
(0)
x 0 0 0 0 1 0 0 0 0
x(1) 0 0 0 1 0 1 0 0 0
x(2) 0 0 1 0 0 0 1 0 0
x(3) 0 1 0 0 0 0 0 1 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 .
Ejemplo 4.10. Estudiar la convergencia de la sucesin x(n) nN
en {0, 1}Z denida por
(0001) si n es par
x(n) =
(01) si n es impar
Dispongamos los trminos encolumnados, como antes:
4 3 2 1 0 1 2 3 4
x(0) 0 0 0 1 0 0 0 1 0
x(1) 0 1 0 1 0 1 0 1 0
x(2) 0 0 0 1 0 0 0 1 0
x(3) 0 1 0 1 0 1 0 1 0
.
.
.
Proposicin 4.13. Sea X un espacio shift con la mtrica usual. Entonces X es un sub-
conjunto compacto de A Z
.
Demostracin. Sea
nN
x(n)
una sucesin en X . Ya que A es un conjunto nito, debe
existir a0 A y un subconjunto innito B0 de nmeros naturales tal que para todo n B0 ,
(n)
x0 = a0 . Elijamos cualquier n0 B0 . Como A3 es nito, deben existir a1 y a1 en A,
(n)
y un subconjunto innito B1 B0 tal que para 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 innito de nme-
ros naturales, y por tanto no acotado). Siguiendo de esta manera, para cada k N, como
A2k+1 es nito, deben existir ak y ak en A, y un subconjunto innito Bk Bk1 tal que
(n)
para todo n Bk , x[k,k] = ak a0 ak . Elijamos nk Bk tal que nk > nk1 . De es-
Teorema 4.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.
veriquemos que X = XF .
c
Si x X , entonces x[K(x),K(x)] F , de donde x / XF . Luego, XF X .
Si x
/ XF , debe existir u F tal que u v x. Por denicin de F , u debe ser de longitud
impar, es decir, |u| = 2n + 1 para algn n N. Entonces u ocurre en x desde alguna
0
posicin m Z, es decir, x[m,m+2n] = u. Llamando x =
m+n
(x), es x0[n,n] = u. Como
u F , hay un y X c tal que y[K(y),K(y)] = u, debiendo entonces ser K(y) = n. Pero
0 0 c 0
entonces x[n,n] = y[n,n] , de donde x B2K(y) (y) X , o sea, x / X . Y, por la shift
invariancia, x
/ X . Luego, X XF .
3. Cilindros. Conexidad
AZ puede ser visto como el producto cartesiano innito XiZ A. Como en cualquier producto
cartesiano, se dene un cilindro como un subconjunto C del producto para el cual un nmero
nito de coordenadas estn jas. En el caso particular de los espacios shift, nos van a interesar
los cilindros en que un nmero nito de coordenadas consecutivas estn jas. Formalmente:
4. Continuidad
Definicin 4.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
lmn (xn ) = (x). Si A X , se dice continua en A si es continua en cada
tiene que
x A. es continua en X , biyectiva y adems su funcin inversa es tambin continua, se
Si
denomina un homeomorsmo 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 do-
minio. La composicin de funciones continuas es tambin una funcin continua.
La denicin de continuidad que hemos dado corresponde en realidad a la denicin de la
continuidad secuencial o sucesional, y equivale a la clsica denicin 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 4.17. Todo cdigo de ventana deslizante entre dos espacios shift es una fun-
cin continua en todo su dominio.
68 4. ASPECTOS TOPOLGICOS Y DINMICOS DE LOS ESPACIOS SHIFT
(n)
Luego, lmn x = (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.
5. Sistemas dinmicos
Los sistemas fsicos pueden usualmente describirse a travs de una cantidad nita de medi-
ciones. Por ejemplo, un pndulo oscilante constituye un sistema que queda totalmente caracteri-
zado 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
lmamos 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
n 0
por T a la composicin de T consigo misma n veces. Es decir, T es la identidad, y, para
n > 0, T n = T T n1 . Notar que T n es continua si T lo es, pues la continuidad se preserva por
composicin.
peridico, el menor de los n > 0 tales que T x = x se llama perodo mnimo de x. Una
n
Lema 4.29. Sean (M, T ) un sistema topolgicamente transitivo, U y V dos conjuntos abier-
n
tos no vacos y m un natural arbitrario. Existe n > m tal que (T U ) V 6= .
Demostracin. Sean (M, T ) y (N, S) sistemas dinmicos conjugados, con (M, T ) topo-
lgicamente transitivo, y : M N una conjugacin. Sean U y V abiertos en N . Denotemos
U 0 = 1 (U ) y V 0 = 1 (V ). Como es continua, U 0 y V 0 son abiertos en M , por lo que existe
n > 0 tal que (T n U 0 ) V 0 6= , es decir, (T n (1 (U ))) 1 (V ) 6= . Por lo tanto, siendo una
biyeccin, tenemos que
T n 1 (U ) 1 (V ) = T n 1 (U ) 1 (V )
=
6
= S n 1 (U ) V = (S n U ) V
Teorema 4.33. Sean X e Y espacios shift conjugados. Entonces o ambos son irreducibles
o ninguno lo es.
EJERCICIOS
1. En el espacio mtrico AZ , d con A = {0, 1} y d la mtrica usual de los espacios shift,
considere
X = X{01} {0 }
a ) Muestre que X no es un subconjunto cerrado de AZ .
b ) Muestre que X no tiene puntos interiores.
c ) Es X un espacio shift?
d ) Determine X , la clausura de X . Es X un espacio shift?
c
e ) Para x X , encuentre r > 0 tal que el entorno de radio r con centro en x est
c
contenido en X . (Sugerencia: x contiene al bloque 01 en alguna posicin k Z.)
En el espacio mtrico A , d con A = {0, 1} y d la mtrica usual de los espacios shift,
Z
2.
(n) (n)
considere las sucesiones x y z denidas por:
nN nN
(n) 1 si n es factor de i (n) 0 si n e i son ambos pares
xi = zi =
0 c. o. c. 1 c. o. c.
ENTROPA
1
h(X) = lm log |Bn (X)|
n n
an
Lema 5.2. Sea {an }nN una sucesin subaditiva de reales no negativos. Entonces lmn n
a
existe y vale nf n1 nn .
73
74 5. ENTROPA
an a
Demostracin. Designemos = nf n1 n
, tenindose entonces que n
n
para todo
n 1. Debemos ver que
an
> 0, N : n N, <
n
Consideremos entonces >0 k 1 tal que akk + 2 .
jo. Por propiedad de nmo, existe
Por otro lado, sea m cualquier entero positivo mayor que 2a1 /. Hagamos N = mk . Sea n N .
Por el teorema de la divisin, existen naturales c y r tales que n = ck + r con 0 r < k . Ya
que (c + 1)k > n N = mk , tenemos que (c + 1) > m, por lo que c m 1. Si fuese r = 0,
tendremos
an ack cak ak
= = + < + ,
n ck ck k 2
mientras que si fuese r > 0, tendremos
an ack+r ack + ar cak + ra1 ak a1 ak a1
= < + + <+ + =+
n ck + r ck ck k c k m 2 2
a
a
Es decir, se cumple en cualquier caso que n = n < .
n n
Aplicando el lema 5.2 al hecho de que {log |Bn (X)|}nN es una sucesin subaditiva de reales
no negativos, se deduce inmediatamente que la entropa de cualquier espacio shift es un nmero
real no negativo bien denido.
X e Y son espacios shift con X Y , tendremos
De la denicin, resulta inmediato que si
que h(X) h(Y ), pues, para todo n N, es Bn (X) Bn (Y ), de modo que |Bn (X)| |Bn (Y )|;
aplicando logaritmos, dividiendo por n y tomando lmite cuando n tenemos el resultado.
Combinado con lo que ya sabemos de la entropa de los full shifts, esto nos dice que la entropa
de un espacio shift X A no supera a log |A|.
Z
1 1
h(Y ) = lmlog |Bn (Y )| lm log |Bm+n+k (X)|
n n n n
m+n+k 1
= lm log |Bm+n+k (X)|
n n m+n+k
m+n+k 1
= lm lm log |Bm+n+k (X)| = h(X)
n n n m+n+k
Corolario 5.4. La entropa es un invariante por conjugacin. Es decir, si X e Y son
espacios shift conjugados, entonces h(X) = h(Y ).
Demostracin. Siendo X e Y conjugados, cada uno de ellos es un factor del otro, as que
h(X) h(Y ) y h(Y ) h(X), de donde se sigue el resultado.
Esto permite ver rpidamente que dos full shifts con distinta cantidad de letras en sus
alfabetos no pueden ser conjugados, pues sus entropas son diferentes. Debe notarse que, sin
embargo, la entropa no es un invariante completo. Por ejemplo, si X = {0 } e Y = {0 , 1 },
ambos tienen entropa 0 (prubelo) pero no son conjugados pues no poseen la misma cantidad
de puntos jos para .
Corolario 5.5. Si X es un espacio shift inmerso en un espacio shift Y, entonces h(X)
h(Y ).
2. CLCULO DE LA ENTROPA DE SHIFTS SFICOS IRREDUCIBLES 75
Proposicin 5.6. Sea G = (G, L) un grafo rotulado, con L resolvente a derecha. Entonces,
h (XG ) = h (XG ).
Demostracin. Como L es cdigo factor de XG a XG , tenemos que h (XG ) h (XG ).
Supongamos que G tiene k vrtices. Cualquier bloque en B (XG ) tiene a lo sumo k presenta-
ciones (pues hay a lo sumo una presentacin comenzando en cada vrtice). Luego, |Bn (XG )|
k |Bn (XG )|, as que log |Bn (XG )| log k + log |Bn (XG )|. Dividiendo por n y tomando lmite
cuando n , concluimos que h (XG ) h (XG ), y el resultado queda establecido.
2. Clculo de la entropa de shifts scos irreducibles
Comenzaremos analizando mtodos para calcular la entropa de shifts de aristas que sean
irreducibles. Convendr, a tal efecto, realizar algunas convenciones sobre notacin matricial.
Diremos que una matriz A (no necesariamente cuadrada) es estrictamente positiva (A > 0)
si todos sus coecientes son positivos; similarmente, diremos que A es no negativa (A 0)
si todos sus coecientes son reales no negativos. Ms generalmente, si A y B son matrices de
igual tamao, escribimos A > B cuando cada coeciente de A es estrictamente mayor que el
respectivo coeciente de B ; escribimos A B cuando cada coeciente de A es mayor o igual
que el respectivo coeciente de B . Toda esta notacin se aplica tambin a los vectores (por ser
casos particulares de matrices rectangulares).
Recordemos que un grafo G es esencial si desde cualquier vrtice sale al menos una arista, y a
cualquier vrtice llega al menos una arista. Esto se traduce en que la matriz de adyacencia de G
no tiene las nulas ni columnas nulas. Por otro lado, un grafo G es irreducible si desde cualquier
vrtice hay camino en G hasta cualquier otro vrtice. Esto equivale a que para cualquier pareja
n
de vrtices I, J , existe n 0 tal que (AG )IJ > 0. Todo esto motiva las siguientes deniciones:
Definicin 5.7. Sea A 0 una matriz cuadrada. A se dice esencial si no contiene las
nulas ni columnas nulas. A se dice irreducible si I, J, n 0 : (An )IJ > 0.
Notar que un grafo es esencial si, y slo si, su matriz de adyacencia es esencial. Similarmente,
un grafo es irreducible si, y slo si, su matriz de adyacencia es irreducible.
0
Convendremos que A = Id|A||A| cualquiera sea la matriz cuadrada A. Como caso particu-
0
lar, [0] = [1]; entonces, [0] es irreducible pero no esencial. Cualquier matriz distinta de [0] que
no sea esencial no puede ser irreducible, ya que si A tiene alguna la nula, la correspondiente
n
la de A (cualquiera sea n 1) es tambin nula (y anlogamente si A tiene alguna columna
nula). Dicho de otro modo, toda matriz irreducible debe necesariamente ser esencial (salvo el
caso excepcional de la matriz [0]).
La matriz de adyacencia es una valiosa herramienta para computar la entropa de shifts
G un grafo esencial de r vrtices con matriz de adyacencia A. Sabemos que An
de aristas. Sea
contiene la informacin necesaria para calcular la cantidad de caminos de largo n en G, es decir,
la cantidad de bloques de tamao n en el lenguaje de XG :
r X
X r
|Bn (XG )| = (An )IJ
I=1 J=1
Por lo tanto, para conocer la entropa de XG , debemos averiguar cmo van variando los coe-
cientes deAn conforme crece n. Veremos a continuacin que, para ello, el conocimiento de los
autovalores de A es fundamental.
76 5. ENTROPA
Proposicin 5.8. Sea A0 una matriz rr no nula que posee un autovector v > 0.
Entonces, el correspondiente autovalor es positivo, y existen constantes positivas c0 y d0 tales
que
r X
X r
n
c0 (An )IJ d0 n
I=1 J=1
En consecuencia, si G es un grafo cuya matriz de adyacencia es A, entonces h (XG ) = log .
Demostracin. Como v es autovector correspondiente al autovalor , se cumple que
Av = v. Ya que A posee al menos un coeciente AKL > 0, es (Av)K > 0, es decir, vK > 0,
de donde se deduce que es positivo pues v
tiene todos sus coecientes positivos.
n n
Una simple induccin muestra que, ya que Av = v, se tiene que A v = v para cualquier
Pr
n 1. Entonces, para cualquier ndice I , es (A v)I = ( v)I , de donde J=1 (An )IJ vJ = n vI .
n n
De all que
Xr X r X r
n n
(A )IJ vJ = vI
I=1 J=1 I=1
Designemos c = mn{v1 , . . . , vr } y d = max{v1 , . . . , vr }. Notemos que tanto c como d son
estrictamente positivos.
Si G es un grafo esencial que tiene matriz de adyacencia A, se cumple que |Bn (XG )| =
P r Pr n
I=1 J=1 (A )IJ . Por nuestro resultado anterior, esto signica que
c0 n |Bn (XG )| d0 n
2. CLCULO DE LA ENTROPA DE SHIFTS SFICOS IRREDUCIBLES 77
de donde
1 1 1 1 1
log c0 + n log log |Bn (XG )| log d0 + n log
n n n n n
Tomando lmites cuando n , resulta h (XG )) = log .
Corolario 5.9. Si una matriz no nula A a coecientes enteros admite un autovector
positivo, todos los autovectores positivos de ella corresponden a un mismo autovalor.
0
Demostracin. Sea G
el shift de aristas correspondiente a A. Sean v, v autovectores
0
positivos correspondientes a autovalores , respectivamente. Aplicando la proposicin 5.8,
0 0
concluimos que log = h (XG ) = log , de donde = .
Corolario 5.10. Dada una matriz A0 que admite un autovector positivo v correspon-
diente al autovalor > 0, cualquier autovalor de A cumple que || .
Demostracin. Sea r el tamao de A. Sean un autovalor de A y v0 un autovector
asociado a . Como A v = n v0 y A 0, es, por un lado,
n 0
r
X r
X r
X r
X
n 0 n 0 n
|(A v )I | = |( v )I | = |n vI0 | = || |vI0 |
I=1 I=1 I=1 I=1
Teorema 5.12.
1. Si G h(XG ) = log AG .
es un grafo irreducible, entonces
2. Si Xes un shift de tipo nito irreducible de memoria M y G es el grafo esencial tal que
X [M +1] = XG , entonces h(X) = log AG .
Demostracin.
78 5. ENTROPA
Corolario 5.13. Sea X un shift sco irreducible y G = (G, L) una presentacin irredu-
cible resolvente a derecha de X. Entonces h(X) = log AG .
Demostracin. Por la proposicin 5.6, h(X) = h(XG ) = h(XG ), y, siendo G irreducible,
por el teorema 5.12, h(XG ) = log AG .
1 2 3 4 5 6 7 8
1 0 1 0 0 0 0 1 0
2 1 0 1 1 0 0 0 0
3 0 0 0 1 0 0 0 0
4 0 0 0 0 1 0 0 1
5 0 0 0 2 1 0 0 0
6 0 0 0 0 0 2 0 1
7 0 1 0 0 0 0 0 1
8 0 0 0 0 0 0 0 0
mismo grafo G excepto que con los vrtices de cada clase agrupados segn una lnea discontinua.
Notar que el grafo H que se construye de esta manera no puede tener rulos (pues por
denicin las aristas de transicin vinculan vrtices de clases distintas) ni, ms generalmente,
ciclos, pues, en ese caso, habra nodos de una clase intercomunicados con nodos de otra clase
distinta, lo que no puede ser por la maximalidad de las clases. Esto implica que no todo estado de
H puede tener aristas salientes (si fuera se el caso, se podra generar un ciclo en H ). Entonces,
debe haber al menos un estado en H sin aristas salientes (en nuestro ejemplo anterior, C2 es
80 5. ENTROPA
el nico). Tales nodos se llaman sumideros. Anlogamente debe haber al menos un estado en
H sin aristas entrantes (C3 es el nico del ejemplo anterior) y tales nodos se llaman fuentes.
Si quitamos los sumideros de H (y las aristas conectadas a ellos) de a uno por vez, recursi-
vamente, hasta que no quede ninguno, obtendremos una manera de renombrar los vrtices de
H de acuerdo al orden en que se fueron quitando los vrtices; as, el primer nodo quitado ser
C10 , el segundo C20 , y as sucesivamente. De este modo, las clases de intercomunicacin quedarn
0 0
ordenadas de manera tal que slo puede haber camino en H desde Ci hasta Cj cuando i > j .
En nuestro ejemplo, el procedimiento anteriormente descripto tiene varias alternativas; una
de ellas esC10 = C2 = {8}, C20 = C1 = {5, 4}, C30 = C4 = {6}, C40 = C5 = {3} y C50 = C3 =
{1, 2, 7}.
Este orden nos permite reescribir la matriz de adyacencia G usando el orden en que aparecen
0 0
los vrtices de G en C1 , C2 , etc. Al hacer este reordenamiento, la matriz asume una forma
triangular inferior por bloques que puede esquematizarse de la siguiente manera:
8 5 4 6 3 1 2 7
8 0 0 0 0 0 0 0 0
5 0 1 2 0 0 0 0 0
4 1 1 0 0 0 0 0 0
6 1 0 0 2 0 0 0 0
3 0 0 1 0 0 0 0 0
1 0 0 0 0 0 0 1 1
2 0 0 1 0 1 1 0 0
7 1 0 0 0 0 0 1 0
Ya que el polinomio caracterstico de una matriz no cambia por una permutacin simultnea
de las y columnas, podemos calcular el polinomio caracterstico A (t) de la matriz A original
ms fcilmente usando la forma triangular por bloques. Al realizar la expansin (de Laplace)
para obtener el determinante, cualquier producto que involucre un trmino de la porcin por
debajo de la diagonal involucrar tambin un trmino 0 de la porcin por encima de la diagonal.
Por ello, slo los bloques Ai sobre la diagonal importan al calcular el polinomio caracterstico
de A, resultando ste ser el producto de los determinantes de las componentes irreducibles de
A:
A (t) = A1 (t)A2 (t) Ak (t)
En consecuencia, los autovalores de A son exactamente los autovalores de las Ai . En particular,
el mayor de los Ai (en valor absoluto) ser tambin un autovalor de A. Esto sugiere la siguiente
denicin.
Luego,
|Bn (XG )| (M n)k dk nAG = (M d)k nk nAG
Aplicando logaritmos, dividiendo por n y tomando lmite cuando n , resulta h (XG )
log AG .
Con el resultado previo, ya estamos en condiciones de calcular la entropa de cualquier
espacio shift sco (posiblemente reducible).
Corolario 5.18. Sea X un shift sco, y G = (G, L) una presentacin resolvente a derecha
para X. Entonces, h(X) = log AG .
Demostracin. Por la proposicin 5.6, sabemos que h (XG ) = h (XG ) = log AG . Como
X = XG , se concluye el resultado.
4. Los puntos peridicos y la entropa
Queremos ahora investigar cmo crece la cantidad de puntos peridicos de perodo n que
hay en un espacio shift X, a medida que crece n. Veremos que existe una vinculacin entre la
tasa de crecimiento de esa cantidad y la entropa de X.
Definicin 5.19. Sea X un espacio shift y n un entero positivo. Designamos por pn (X) a
la cantidad de puntos peridicos (para ) de perodo n que hay en X.
82 5. ENTROPA
Ejemplo 5.20. Sea X un shift de aristas con conjunto de vrtices {I, J, K} teniendo un
total de 6 aristas, de las cuales una es un rulo en I, 2 van de J a K y 3 de K a J . Su matriz
de adyacencia es
1 0 0
A= 0 0 2
0 3 0
Por la proposicin 2.25, sabemos que pn (X) es la traza de An . An y sumamos
Si computamos
n/2
en cada paso los coecientes de su diagonal, obtenemos que, para n par, es pn (X) = 1 + 2 6
1
y, para n impar, es pn (X) = 1, as que la subsucesin de log pn (X) correspondiente a los
n
trminos pares tiende a log 6, y la correspondiente a los impares tiende a 0. Por lo tanto,
1
n
log pn (X) carece de lmite.
1
Ya que
n
log pn (X) puede no existir, consideraremos lm supn n1 log pn (X), recor-
lmn
dando que el lmite superior de una sucesin es el mayor de sus puntos de acumulacin, y
siempre existe (y coincide con el lmite de la sucesin si ste existe).
1
Proposicin 5.21. Sea X un espacio shift. Entonces, lm supn n
log pn (X) h(X).
Demostracin. Cada punto x X de perodo n est determinado por x[0,n1] Bn (X),
por lo que pn (X) |Bn (X)|. En consecuencia,
1 1 1
lm sup log pn (X) lm sup log |Bn (X)| = lm log |Bn (X)| = h(X)
n n n n n n
La proposicin anterior muestra que la tasa de crecimiento de pn (X) tiene a la entropa de
X como cota superior. Sin embargo, para muchos espacios shift esa tasa iguala a h(X).
Proposicin 5.22. Si X es un shift de aristas irreducible, entonces lm sup n1 log pn (X) =
n
h(X).
Demostracin. Sea G = (V, , i, t) un grafo irreducible tal que X = XG . Como hay
camino desde I hasta J en G cualesquiera sean los vrtices I, J , sea
por lo que
1 1 1
log |Bn (X)| log(N + 1) + log pn+kn (X)
n n n
En consecuencia,
1 1
h(X) = lm log |Bn (X)| = lm sup log |Bn (X)|
n n n n
1 1 n + kn 1
lm sup log(N + 1) + lm sup log pn+kn (X) = lm sup log pn+kn (X)
n n n n n n n + kn
n + kn 1 1
= lm sup lm sup log pn+kn (X) lm sup log pn (X)
n n n n + kn n n
1
Es decir, h(X) lm supn n
log pn (X). Entonces, aplicando la proposicin 5.21, tenemos la
igualdad deseada.
Corolario 5.23. Si X es un shift de tipo nito irreducible, entonces lm sup n1 log pn (X) =
n
h(X).
Demostracin. Supongamos que X tiene memoria M . Entonces existe un grafo irredu-
cible G XG = X [M +1] . Siendo X y X [M +1] conjugados, es
tal que
1 1
h(X) = h X [M +1] = h(XG ) = lm sup log pn (XG ) = lm sup log pn (X)
n n n n
pues, siendo la cantidad de puntos peridicos invariante por conjugacin, es pn (XG ) = pn (X)
para todo n.
1
Corolario 5.24. Si X es un shift sco irreducible, entonces lm supn n
log pn (X) =
h(X).
Demostracin. Sea G = (G, L) una presentacin resolvente a derecha para X , con G
irreducible. Sabemos que h(X) = h(XG ) (prop. 5.6). Supongamos que G tiene r vrtices. Por
ser una presentacin resolvente a derecha, cada punto en XG tiene a lo sumo r presentaciones
en XG . Como L es cdigo de ventana deslizante, transforma puntos de perodo n de XG en
puntos de perodo n de XG , por lo que
pn (XG ) r pn (XG )
Entonces,
1 1
lm sup log pn (X) = lm sup log pn (XG )
n n n n
1 1 1 1
lm sup log + lm sup log pn (XG ) = lm sup log pn (XG )
n n r n n n n
= h(XG ) = h(X)
1
Es decir, h(X) lm supn n
log pn (X). Entonces, aplicando la proposicin 5.21, tenemos la
igualdad deseada.
84 5. ENTROPA
EJERCICIOS
1. Muestre que el full A-shift es factor del full A0 -shift si, y slo si, |A| |A0 |.
2. Aplicando la denicin, encuentre la entropa de X{111} .
3. Para cualquier espacio shift X y cualquier entero positivo
N, muestre que h X [N ] =
h(X) y que h X N = N h(X).
4. Pruebe que si X e Y h(X Y ) = max{h(X), h(Y )}.
son dos espacios shift,
5. Sea G un grafo con matriz de adyacencia A, r la menor de las sumas de sus las, y s la
mayor. Muestre que log r h (XG ) log s.
6. Encuentre dos shifts de tipo nito irreducibles de igual entropa, pero que no sean
conjugados.
7. Sean X1 = X{11} y X2 = X1 {1 }. Muestre que h (X1 ) = h (X2 ).
8. Analice el valor de verdad de la siguiente proposicin para matrices a coecientes no
negativos:
a b
es irreducible si, y slo si, b y c son ambos positivos
c d
9. Muestre que la intercomunicacin establece una relacin de equivalencia entre los vr-
tices de un grafo.
10. Encuentre la entropa de los shifts de aristas cuyas matrices de adyacencia son las
siguientes:
2 1 0 1 0 3
1 1 1 0 2 0
11. Para un grafo irreducible G, muestre que h (XG ) = 0 si, y slo si, G consiste de un nico
ciclo.
12. Considere los nmeros log 2, log 32 , log 3 2 y log . Cules de ellos corresponden
a la entropa de algn shift de tipo nito irreducible?
13. Encuentre la entropa de XF , siendo F = {aac, aba, acb, baa, bbb, bca, cac, cba, cca}.
14. Sea X un shift de aristas sobre el alfabeto A, con matriz de adyacencia T indexada
sobre A con entradas slo 0 y 1.
0
a ) Sea a A jo, y T la matriz que resulta de borrar de T la la y columna que
0 0
corresponden a a. Sea X el shift de aristas con matriz de adyacencia T . Muestre
0
que si T es irreducible y h(X) > 0, entonces h(X) > h (X ). (Sugerencia: use un
resultado clsico de la teora espectral de matrices, que enuncia que si E, F son
matrices a coecientes no negativos con F irreducible, Eij Fij para todos i, j , y
es el radio espectral de F , entonces cualquier autovalor de E verica || ,
con igualdad si, y slo si, E = F .)
[k]
b ) Para k 1, sea X la presentacin de X en k -bloques con solape. Muestre que
[k]
X es un shift de aristas con matriz de adyacencia de 0 y 1 con ndices en Bk (X),
denida por
1 si i2 ik = j1 jk1 y i1 ik jk Bk+1 (X)
T (k)[i1 ik ],[j1 jk ] =
0 en caso contrario
Por diversos motivos, puede interesar codicar sucesiones arbitrarias sobre un alfabeto A en
sucesiones de algn shift sco X , y hacerlo de tal manera que exista algn modo de recuperar
la sucesin original conociendo su imagen (recordar la discusin acerca del almacenamiento
magntico de datos digitales al nal del captulo 2). Lo primero que interesa es saber si es
posible tal operacin. Por ejemplo, si A = {0, 1} y X = {0 } es evidente que no. En caso de
ser posible, de los mtodos disponibles investigaremos en este captulo uno que se denomina
cdigo de estados nitos, en el que los smbolos de la sucesin imagen se obtienen de a uno por
vez, a medida que se van leyendo uno por uno los smbolos de la sucesin original, los que son
interpretados como una suerte de instrucciones. El mtodo usa grafos rotulados con dos clases
especiales de rotulaciones, una resolvente a derecha que adems cumple otras condiciones, y
una un poco ms dbil que resolvente a derecha.
La gura 1 muestra un ejemplo de grafo coloreable con A = {0, 1}, y un ejemplo de coloreo.
Vemos entonces que, en un coloreo de rutas, por cada vrtice I de G y cada letra a A,
sale exactamente una arista desde I cuyo rtulo es a. Esto obliga a que desde cada vrtice
deban salir exactamente |A| aristas. Entonces, G es coloreable si, y slo si, tiene grado de salida
constante desde sus vrtices, lo que, en trminos de la matriz de adyacencia, signica que las
las suman todas lo mismo. Un grafo con r estados y n aristas saliendo desde cada vrtice
r
admite (n!) posibles coloreos de rutas (pues para cada uno de los r vrtices hay que elegir
una forma de asignar a n aristas las n letras del alfabeto, que es como ordenar las letras del
alfabeto).
86
1. COLOREO DE RUTAS Y PRESENTACIONES CERRANTES A DERECHA 87
Definicin 6.2. Un grafo rotulado se dice cerrante a derecha con demora D si cualquier
pareja de caminos de longitud D+1 arrancando desde un mismo vrtice y llevando el mismo
rtulo usan la misma primera arista. Un grafo rotulado se dice cerrante a derecha si es
cerrante a derecha con alguna demora D 0.
Informalmente hablando, un grafo rotulado puede no ser resolvente a derecha (lo cual crear
ambigedad sobre cul arista rotulada tomar para salir desde algunos estados) pero es cerrante
a derecha si esa ambigedad queda salvada mirando anticipadamente una cierta cantidad D
de smbolos adicionales que vendrn despus. Para los grafos resolventes a derecha, no hay que
mirar anticipadamente nada, correspondiendo al caso en que la demora es D = 0.
Ejemplo 6.3. Consideremos los grados rotulados (a)(d) mostrados en la gura 2.
El grafo (a) tiene demora D = 1. Para verlo, consideremos el estado I. Ya que hay dos
aristas rotuladas a comenzando en I, el grafo no es resolvente a derecha. Sin embargo,
el bucle en I slo puede ser seguido por una arista rotulada a, mientras que la arista de
I a J slo puede ser seguida por una arista rotulada b o c. Luego, el rtulo de un camino
de longitud 2 empezando en I determina su arista inicial. Un anlisis similar permite
concluir lo mismo para el estado J, y el estado K es ms fcil, dado que las aristas que
salen de l llevan rtulos distintos.
De manera anloga al inciso anterior, se puede vericar que el grafo rotulado (b) tambin
es cerrante a derecha con demora 1.
En el grafo rotulado (c), hay dos caminos con diferentes aristas iniciales rotulados ab,
por lo que este grafo no tiene demora 1. Sin embargo, el siguiente smbolo determina
cul de los dos caminos debe tomarse, por lo que el grafo es cerrante a derecha con
demora D = 2.
En el grafo rotulado (d), para cualquier m, hay dos caminos comenzando en J que
m
presentan al bloque ab ; ya que estos caminos tienen distinta arista inicial, el grafo no
es cerrante a derecha.
Una manera equivalente, y a veces cmoda, de visualizar la propiedad de una rotuladora de
ser cerrante a derecha con demora D es pensar que dos caminos de largo D+1 arrancando en
un mismo vrtice pero usando distinta primera arista no pueden llevar el mismo rtulo.
Obviamente, as como el concepto de rotulacin resolvente a derecha tiene su dual, que es el
de resolvente a izquierda (todas las aristas que llegan a un mismo nodo tienen rtulos diferentes),
se puede denir la nocin dual de cerrante a derecha que es la de rotulacin cerrante a izquierda:
todos los caminos de largo D+1 que terminan en un mismo nodo y llevan el mismo rtulo
usan la misma ltima arista. Pero en el presente captulo usaremos slo la nocin de cerrante
a derecha.
La propiedad de ser cerrante a derecha con demora D tiene una consecuencia sobre los
caminos de largo D + 1: todos los caminos de esa longitud que arrancan en un mismo vrtice
y llevan igual rtulo, tienen la misma primera arista. La gura 3 ilustra ese hecho. Esto puede
generalizarse a caminos ms largos diciendo que todos los caminos de largo mayor que D
arrancando de un mismo nodo y teniendo el mismo rtulo usan las mismas aristas, excepto
88 6. CDIGOS DE ESTADOS FINITOS
Figura 4. Cierre de todas excepto las ltimas D aristas de caminos con igual rtulo
Usando esta idea para caminos cada vez ms largos, vemos que la ambigedad se traslada
cada vez ms hacia la derecha; en un caso lmite de caminos innitamente largos hacia la
1. COLOREO DE RUTAS Y PRESENTACIONES CERRANTES A DERECHA 89
derecha, esa ambigedad queda entonces expulsada al innito (o sea, no subsiste la ambigedad).
Es decir, veremos que, en un grafo rotulado cerrante a derecha, cualquier pareja de caminos
innitos a derecha que empiezan en el mismo estado y llevan el mismo rtulo corresponden en
realidad a un nico camino en el grafo. Para formalizar esto, dado un espacio shift X cualquiera
denimos su shift unilateral
X + como el conjunto de todas las sucesiones innitas a derecha
que aparecen en X. Es decir,
X+
G = {e0 e1 e2 . . . : k N, ek t(ek ) = i(ek+1 )}
Si I es un estado de G, designamos por X+
G,I como el conjunto de caminos innitos a derecha
que pueden ser recorridos en el grafo empezando en I:
X+ X+
G,I = e0 e1 e2 . . . G : i(e0 ) = I
Si G = (G, L) es un grafo rotulado, X+ G es la familia de los rtulos de todos los caminos innitos
+
a derecha en G. Si para cada e0 e1 e2 . . . XG designamos
Proposicin 6.4. Un grafo rotulado (G, L) es cerrante a derecha si, y slo si, para cada
+
vrtice I del grafo, L |X+ es inyectiva.
G,I
Demostracin. Supongamos primero que (G, L) es cerrante a derecha, digamos con de-
mora D. Sea I
un vrtice cualquiera del grafo, y sean x = e0 e1 e2 . . . e y = f0 f1 f2 . . . caminos
+ + +
innitos en XG,I tales que L (x) = L (y). Entonces i(e0 ) = I = i(f0 ) y L(e0 )L(e1 ) . . . L(eD ) =
L(e0 )L(e1 ) . . . L(eD ). Por ser el grafo rotulado cerrante a derecha con demora D, debe ser e0 = f0
y, en consecuencia, e1 y f1 comienzan en el mismo vrtice t(e0 ). Como L(e1 )L(e2 ) . . . L(eD+1 ) =
L(f1 )L(f2 ) . . . L(fD+1 ) y el grafo es cerrante a derecha, es e1 = f1 . Aplicando sucesivamente
el mismo razonamiento, se cumple que para todo k N es ek = fk , es decir, x = y , y de este
+ +
modo L es inyectiva si se la restringe a XG,I .
Ahora probemos la vuelta por contrarreciprocidad. Supongamos entonces que (G, L) no es
cerrante a derecha. Esto signica que para cada D 0, existe una pareja de caminos de largo
D + 1, digamos y , que comienzan en un mismo vrtice, tienen distinta primera arista y
2
llevan ambos el mismo rtulo. Elijamos tales caminos para el caso en que D = |V | . Ser
= e0 e1 . . . eD = f0 f1 . . . fD
con i(e0 ) = i(f0 ), e0 6= f0 y L(e0 )L(e1 ) . . . L(eD ) = L(f0 )L(f1 ) . . . L(fD ). Como D + 1 > |V |2 ,
debe haber ndices i < j tales que la pareja ei , fi coincide con ej , fj , por lo que ei . . . ej y fi . . . fj
son ambos ciclos en G comenzando en un mismo nodo; llammosles y respectivamente,
0 0
siendo || = ||. Hagamos = e0 . . . ei1 y = f0 . . . fi1 , siendo || = | |. Notar que
L() = L(0 ) por ser ambos subcaminos iniciales de y con igual longitud; y, similarmente,
L() = L(). Entonces y 0 son dos caminos innitos a derecha arrancando en i(e0 ),
+
ambos distintos (pues e0 6= f0 ) y con rotulaciones iguales. Luego, L |X+ no es inyectiva.
G,i(e0 )
Una situacin en la que podemos garantizar que un grafo rotulado es cerrante a derecha es
aquella en la que la funcin rotuladora, como cdigo de ventana deslizante que es, resulta ser
una conjugacin.
Recordemos que, en un grafo rotulado, la entropa del shift de aristas del grafo subyacente
y la del sco coinciden si la rotulacin es resolvente a derecha. Lo mismo es cierto para las
rotulaciones cerrantes a derecha.
2. CDIGOS DE ESTADOS FINITOS 91
Proposicin 6.8. Sea G = (G, L) un grafo rotulado cerrante a derecha. Entonces, h (XG ) =
h (XG ).
Demostracin. Ya que XG es factor de XG , h (XG ) h (XG ).
tenemos que
Para probar la desigualdad en el otro sentido, supongamos que G es cerrante a derecha con
demora D . Entonces, cada estado I de G y cada bloque de largo n + D en el lenguaje de XG
determinan a lo sumo un camino de largo n en G, y todos los caminos en Bn (XG ) surgen de
esta forma. Luego, |Bn (XG )| |V | |Bn+D (XG )|. Aplicando logaritmos, dividiendo por n y
tomando lmite cuando n , resulta h (XG ) h (XG ).
Definicin 6.9. Un cdigo de estados nitos (CEF) es una terna (G, I, O), donde G
es un grafo llamado grafo codicador, I es un coloreo de rotulacin
rutas de G llamado
de entradas y O es una rotulacin cerrante a derecha de G llamada rotulacin de salidas.
Si todos los vrtices de G tienen grado de salida n y si X es un espacio shift que contiene a
O (XG ), decimos que la terna (G, I, O) es un (X, n)-cdigo de estados nitos.
Representaremos grcamente a los CEF mediante el dibujo del correspondiente grafo y
una leyenda de la forma a/b en cada arista e, en donde a representa I(e) y b representa O(e).
Ejemplo 6.10. El grafo rotulado (b) de la gura 2 tiene grado de salida constante 4, de
modo que proporciona una rotulacin de salida para un CEF. La gura 6 muestra una posible
eleccin de rotulacin de entradas con alfabeto {0, 1, 2, 3}.
En la prctica slo podemos manejar sucesiones nitas de smbolos. En tal caso, a partir
de una sucesin nita arbitraria a0 a1 . . . ak podemos generar, por el mtodo arriba descripto,
r0 r1 . . . rk . Pero el conocimiento de sta slo nos permite recuperar a0 a1 . . . akD (pues O es
cerrante a derecha con demora D). Si bien esto parece alarmante, una solucin posible es agregar
D smbolos arbitrarios a la derecha de a0 a1 . . . ak y codicar mediante el CEF esta sucesin
ms grande; obtendremos as una r0 r1 . . . rk . . . rk+D que nos permitir recuperar a0 a1 . . . ak
completamente y sin ambigedades.
Ahora bien, dado un alfabeto de n smbolos para las sucesiones arbitrarias de entrada y un
shift sco X , resta ver bajo qu condiciones existe un (X, n)-CEF. El teorema principal de los
cdigos de estados nitos establece cul es exactamente esa condicin: que X tenga suciente
capacidad de almacenamiento de informacin, o complejidad, la que es medida por la entropa.
Teorema 6.11. (Teorema de los Cdigos de Estados Finitos) Sean X un shift sco
y n un entero positivo. Entonces, hay un (X, n)-cdigo de estados nitos si, y slo si, h(X)
log n.
La direccin fcil de la demostracin es la directa: si (G, I, O) es un (X, n)-CEF, por
la proposicin 6.8, que establece que las rotulaciones cerrantes a derecha preservan entropa,
tenemos que h (I (XG )) = h(XG ) = h (O (XG )). Como (G, I) es una presentacin del full
shift de n smbolos, y adems O (XG ) X , tenemos que
log n = h (I (XG )) = h (O (XG )) h(X)
La demostracin de la implicacin recproca es mucho ms delicada, y requiere de nuevas ideas
que desarrollaremos en las secciones posteriores del captulo.
3. Autovectores aproximados
Supongamos que n es un entero positivo y que X es un shift sco. Sabemos que X admite
una presentacin resolvente a derecha (H, L). Si tenemos la suerte de que, en esa presentacin,
salen al menos n (X, n)-CEF simplemente
aristas desde cada vrtice, podemos disear un
eligiendo exactamente n aristas salientes desde cada estado (borrando las otras) y restringiendo
L a esas aristas elegidas (llamemos O a esa restriccin). Obtenemos as un subgrafo G coloreable,
al que dotamos de cualquier coloreo de rutas I . Tenemos que (G, I, O) constituye un (X, n)-
CEF, pues I y O son ambas resolventes a derecha (y entonces O es cerrante a derecha con
demora D = 0) y O (XG ) = L (XG ) L (XH ) = X .
El problema sera que H no tuviese al menos n aristas saliendo desde cada estado. Veremos,
sin embargo, que si X satisface la condicin h(X) log n, una cadena de desdoblamientos de
estados convenientemente elegidos, aplicados sucesivamente a partir de (H, L), producir una
presentacin de X en la que hay al menos n aristas saliendo desde cada vrtice. A ella le apli-
caremos nuestras consideraciones previas, y de esta manera quedar completa la demostracin
del Teorema de los Cdigos de Estados Finitos, que se har en la seccin posterior.
Nos dedicaremos ahora a presentar la herramienta precisa que nos servir de gua para elegir
convenientemente la sucesin de desdoblamientos de estados a realizar, a partir de (H, L), para
llegar a la presentacin buscada. Esa herramienta recibe el nombre de autovector aproximado,
y, para motivar su nombre y su denicin, notemos que si un grafo con matriz de adyacencia
A tiene al menos n aristas saliendo desde cada vrtice, cada la de A suma al menos n. Esa
condicin equivale a la desigualdad matricial A1 n1, en donde 1 es el vector columna de
dimensin igual al tamao de A y que tiene todos sus coecientes valiendo 1. Cualquier vector
columna v 6= 0 que, reemplazado en cuenta de 1 en esa desigualdad, la siga satisfaciendo,
recibir un nombre especial.
1 3
Ejemplo 6.13. Sean A = y n = 5. De la denicin de autovector aproximado,
6 1
resulta que cualquier (A, 5)-AA u = (u1 , u2 ) debe satisfacer
u1 + 3u2 5u1
6u1 + u2 5u2
o, equivalentemente,
4u1 + 3u2 0
6u1 4u2 0
Este sistema determina un cono en el primer cuadrante; los puntos de ese cono que tienen
ambas coordenadas enteras son precisamente los (A, 5)-autovectores aproximados. Entre ellos,
tenemos
2 3 4 5 6 6 7
, , , , , , ,...
3 4 6 7 8 9 10
El ejemplo anterior es generalizable de manera directa al hecho de que dada una matriz A
de tamao r y un n > 0, el conjunto de los (A, n)-AA es el conjunto de vectores (u1 , . . . , ur )
a coordenadas enteras no negativas que se encuentran en el cono polidrico de dimensin r (o
Pr
menor) determinado por el sistema de inecuaciones { J=1 AIJ uJ nuI : 1 I r}.
v es (A, n)-AA k N, Ak v nk v
Sea A la matriz de adyacencia de un grafo G = (V, , i, t), y v 6= 0 un vector a coe-
cientes enteros no negativos de dimensin igual al tamao de A. Consideremos cualquier
J V . Como J es la unin disjunta LV LJ , se tiene que
S
X X XX XX X X
vt(e) = vt(e) = vt(e) = vL = LJ vL = AJL vL
eJ L LV eL LV eL LV LV
S
e LV J J J
Dado un grafo G tal que existe un (AG , n)-AA, hay un subgrafo irreducible H de G tal que
existe un (AH , n)-autovector aproximado estrictamente positivo.
Lema 6.15. Sean G = (V, , i, t) un grafo con matriz de adyacencia A. Existe un (A, n)-AA
si, y slo si, G posee un subgrafo irreducible H con matriz de adyacencia B tal que existe un
(B, n)-AA estrictamente positivo.
Demostracin.
) Sea v un (A, n)-AA. Designemos por K al subgrafo de G que resulta de quitar todos los
vrtices I (y, obviamente, sus aristas incidentes) para los cuales vI = 0. Sea H una componente
conexa de K que sea un sumidero, es decir, que no contenga aristas que terminen en un estado
que no est en H . Tal H es un subgrafo de G. Llamando VH al conjunto de vrtices de H y B
a su matriz de adyacencia, sea w la restriccin de v a VH . Por su denicin, es w > 0.
Adems, podemos observar que:
94 6. CDIGOS DE ESTADOS FINITOS
Para cualquier
P J VH
P, es wJ = vJ y AIJ = BIJ , por lo que BIJ wJ = AIJ vJ . De all
que JVH BIJ wJ = JVH AIJ vJ .
Para cualquier J V VH , puede ocurrir una de dos alternativas:
1. O bien J no es un vrtice en el subgrafo K , lo que ocurre por ser vJ = 0.
2. O bien J es un vrtice de K . En tal caso, todas las aristas de G incidentes con I y
con J subsisten en K , y, por denicin de H , no hay arista en K desde I hasta J ,
de donde se deduce que no hay arista en G desde I hasta J . Entonces, en este caso,
AIJ = 0.
Cualquiera sea esa alternativa, resulta entonces que AIJ vJ = 0. Siendo J arbitrario en
P
V VH , tenemos que JV VH AIJ vJ = 0.
Entonces,
X X X X
BIJ wJ = AIJ vJ + AIJ vJ = AIJ vJ nvI = nwI
JVH JVH JV VH JV
Demostracin. Los sucesivos vectores que se van produciendo tienen coecientes enteros
no negativos y montonamente decrecientes componente a componente. Luego, el proceso debe
terminar, pues el vector nulo 0 satisface la condicin
1
0 = mn 0, A0
n
si es que sta no se produce antes.
Sea v la respuesta. Se tiene que v es un vector a coecientes enteros no negativos. Si v = 0,
se cumple el enunciado. Si no, notemos que
1 1
v = mn v, Av Av
n n
por lo que Av nv con v 6= 0, es decir, v es un (A, n)-AA.
Tpicamente, el algoritmo anterior se emplea del siguiente modo: comenzar con v siendo el
vector cuyas componentes son todas 1 y aplicar el algoritmo; si la respuesta es un vector no
nulo, ya tenemos el autovector aproximado que buscamos. En caso contrario, tomar v siendo
el vector cuyas componentes son todas 2, y as sucesivamente. El teorema 6.17 asegura que en
algn momento terminaremos con este procedimiento, pues existe un (A, n)-AA v. Si hacemos
p = maxI vI , aplicando el algoritmo comenzando con el vector cuyas componentes son todas p,
se obtendr como respuesta un vector no nulo (ejercicio).
96 6. CDIGOS DE ESTADOS FINITOS
1 3
Ejemplo 6.18. Apliquemos el algoritmo anterior a la matriz A= y el n=5 del
6 1
1
ejemplo 6.13. Comenzando con v= , obtenemos sucesivamente
1
1 0 0 0
1 1 0 0
2
Comenzando con v= , obtenemos sucesivamente
2
2 1 1 0 0 0
2 2 1 1 0 0
3
Comenzando con v= , obtenemos sucesivamente
3
3 2 2
3 3 3
y hemos obtenido el ms pequeo de los (A, 5)-autovectores aproximados.
n
Lema 6.19. Sea {mP i }i=1 una sucesin de n enteros positivos. Entonces, existe S {1, . . . , n}
tal que n es factor de iS mi .
P
N
Demostracin. Para cada N {1, . . . , n}, sea pN = i=1 m i mod n.
Si los pN son todos distintos, debe haber algn N tal que pN = 0 (pues los posibles restos
PN
de una divisin por n son 0, 1, . . . , n 1) y, en ese caso n es factor de i=1 mi ; luego, basta
tomar S = {1, . . . , N } para ver que el enunciado es cierto.
Si no son todos distintos, debe haber N1 < N2 tales que pN1 = pN2 . Eso signica que
PN1 P
N2 PN2 PN2
i=1 m i = i=1 mi mod n , es decir, i=N1 +1 mi = 0 mod n . De aqu que i=N1 +1 mi es
mltiplo de n; luego, basta tomar S = {N1 + 1, . . . , N2 } para ver que el enunciado es cierto.
1I y 2I tal que si G0 es el grafo que resulta de desdoblar I en I 1 , I 2 usando esa particin, hay un
(AG0 , n)-autovector aproximado v0 > 0 con vI0 1 +vI0 2 = vI 0
y vJ = vJ para todo J V {I , I }.
1 2
Demostracin. Denotemos A = AG
p = maxJV vJ .
y
Primero vamos a demostrar que debe haber una arista e tal que vi(e ) = p y vt(e ) < p.
Para ello, notemos que debe haber algn estado K tal que vK < p, pues, de lo contrario,
P P
tendramos que K V, vK = p y entonces L AK L vL = p L AK L = p |K |; como v
es (A, n)-AA, tendramos que p |K | nvK = np, es decir, |K | n, contradiciendo la
0
hiptesis de que desde K salen menos de n aristas. Elijamos entonces I , K V tales que
vK < p y vI 0 = p. Como G es irreducible, hay camino en G desde I 0 hasta K . Sea I el ltimo
estado en el recorrido de ese camino tal que vI = p, y e la arista de ese camino que sale del
estado I . sa es la arista buscada, pues vi(e ) = vI = p y vt(e ) < p.
Habiendo entonces elegido una arista e con la caracterstica arriba descripta, y llamando
I = i(e ), veamos que desde P I deben salir ms de n aristas. En efecto, designemos m = |I |.
Como v es (A, n)-AA, es eP
I
vt(e) nvI = np (observacin 6.14). Adems, e I , vt(e) p
y e I : vt(e ) < p. Luego, eI vt(e) < p |I | = pm. De lo anterior, concluimos que m > n,
es decir, hay ms de n aristas saliendo de I .
Ahora, enumeremos las aristas de G que salen de I como e1 , . . . , en , . . . , em con e1 = e .
Aplicando el lema 6.19 a la sucesin vt(e1 ) , . . . , vt(en ) , vemos que existe S {1, . . . , n} tal que
+ 1 2 1
P
iS vt(ei ) = qn para algn q Z . Designemos I = {ei : i S} y I = I I . Tendremos
1
que I 6= = 6 2I (pues |I | > |1I |). Sea G0 = (V 0 , 0 , i0 , t0 ) el grafo que resulta de hacer un
1 2
desdoblamiento elemental de G por el estado I usando la particin I = {I , I }, y llamemos
0 0
A a su matriz de adyacencia. Denamos v mediante:
q si J = I1
vJ0 = vI q si J = I2
v
J si J V {I 1 , I 2 }
0 2 0
Veamos que v as denido es positivo. Para J 6= I , vJ > 0 pues q > 0 y vJ > 0. Y para
0
P P n
ver que vI 2 > 0, notemos que nq = e1I vt(e) i=1 vt(ei ) < np, pues vt(e1 ) = vt(e ) < p y
P n
vt(ei ) p para i {2, . . . , n} (as que i=1 vt(ei ) < np); de all que q < p y, en consecuencia,
vI0 2 = vI q = p q > 0.
0
Tengamos presente que cada arista e de G que no termina en I es tambin arista en G y
0
cumple que vt0 (e) = vt(e) ; en tanto, cada arista e de G que termina en I (incluidos los rulos en
I ) aparece desdoblada en G0 como e1 y e2 , siendo vt0 0 (e1 ) + vt0 0 (e2 ) = vI0 1 + vI0 2 = vI = vt(e) .
0 0
Resta ver que v es (A , n)-AA. Lo haremos por la segunda caracterizacin dada en la
observacin 6.14.
Si J = I 1: 1 1 2 1 2
Designemos a los rulos en I , a las aristas que van de I a I y a
1 1 2 1 0
las que salen de I y no terminan ni en I ni en I (siendo I ). Se tiene que I 1
1 2 1
es la unin disjunta , y adems I es la unin disjunta de con los rulos
1 1 1
en I que estn en I . Por lo dicho ms arriba, por cada arista e hay una arista
2 2 1 2 I
e y viceversa; y cada pareja e , e proviene de un rulo e I 1I . Entonces,
X X X X X X
vt0 0 (e) = vt0 0 (e) + vt0 0 (e) + vt0 0 (e) = vt0 0 (e) + vt0 0 (e)
vt(e) +
e0 1 e e1 e2 e eII 1I
I
X X X
= vt(e) + vt(e) = vt(e) = nq = nvI0 1
e eII 1I e1I
98 6. CDIGOS DE ESTADOS FINITOS
J = I 2: vt0 0 (e) =
P
Si Por anlisis similar al realizado en el caso anterior, resulta e0 2
I
2I = I 1I ,
P
e2I vt(e) , y, como se tiene que
!
X X X
0
vt(e) = vt(e) = vt(e) nq nvI nq = n(vI q) = nvI0 2
e0 2 eI 1I eI
I
G0 G1
G2 G3
EJERCICIOS
1. Una palabra sincronizante para un grafo rotulado G = (G, L) es un camino rotulado
tal que todas sus presentaciones en G terminan en un mismo vrtice. Es decir, w es
palabra sincronizante para G si existe un estado I tal que, para cualquier camino en
G, L() = w t() = I .
Considere el grafo G subyacente al grafo rotulado de la gura 1.
a ) Decida si el grafo, con la rotulacin mostrada en la misma gura, tiene una palabra
sincronizante.
b ) Encuentre una rotulacin de G tal que el grafo rotulado tiene alguna palabra sin-
cronizante.
c ) Cuantos coloreos de rutas admite G? Cuntos de ellos tienen alguna palabra
sincronizante?
d ) Hay algn coloreo de rutas para G tal que toda palabra sucientemente larga es
sincronizante?
2. Muestre que si G = (G, L) es una presentacin irreducible resolvente a derecha de un
full shift, entonces L debe ser un coloreo de rutas. (Sugerencia: muestre que el grafo
fusionado a partir de G tiene un solo estado.)
3. En la tabla que sigue, se dan las funciones inicial y terminal de un grafo con vrtices
{A, B, C, D, E} y aristas {a, b, c, d, e, f, g, h, i, j}; tambin se especican tres funciones
rotuladoras sobre {0, 1}:
arista a b c d e f g h i j
inicial A A D C B C D D E E
terminal A B B A C D D A B E
L1 0 1 0 0 0 1 0 1 1 0
L2 0 1 0 0 1 1 0 1 1 0
L3 1 1 0 1 0 0 1 1 1 0
10. Sean n un entero positivo, A 0 una matriz cuadrada a coecientes enteros con A n,
y 1 el vector de dimensin igual al tamao de A cuyas componentes valen todas 1.
Suponga que w es un (A, n)-AA. Sea p = max wI . Muestre que el Algoritmo del
I
Autovector Aproximado contesta un (A, n)-AA cuando el vector inicial
1 para aplicar
muestre que si v w, entonces Av w.)
n p1. (Sugerencia:
el algoritmo es
o n
Sea p = mn max wI : w es (A, n)-AA . Muestre que el Algoritmo del Autovector
I
Aproximado contesta el vector nulo cuando el vector inicial para aplicar el algoritmo
es k1 con k < p .
Disee una estrategia para encontrar rpidamente el p del tem anterior. (Sugeren-
i
cia: use el algoritmo del ejercicio 9 con v = 2 1 para i = 0, 1, 2, . . . hasta que el
i
algoritmo conteste un (A, n)-AA; el correspondiente 2 ser una cota superior para
p . Si i > 1, realice una bsqueda binaria de p en el rango {2i1 + 1, . . . , 2i }).
Use la estrategia del tem anterior y el algoritmo del ejercicio 9 para implementar en
computadora otro algoritmo que recibe como argumentos A y n, chequea si A n,
y, en tal caso, contesta un (A, n)-AA pequeo.
11. Encuentre un (X, 5)-CEF, donde X es el shift sco presentado por un grafo rotulado
cuya matriz de adyacencia simblica es la siguiente:
a b+c+d
e+f +g+h+i+j a
12. Sean A = {0, 1, . . . , n 1} y X un shift sco con h(X) < log n.
p log n
Muestre que si p y q son enteros positivos tales que h(X) , entonces existe un
q
q p
(X , n )-CEF. En consecuencia, si bien no existe un (X, n)-CEF, se puede codicar
bloques de tamao p sobre A en bloques de tamao q del lenguaje de X . (Sugerencia:
h (X q ) = qh(X).)
El cdigo de estados nitos de la gura 9 usa la idea del tem anterior para codicar
2-bloques binarios en 3-bloques del shift de paso limitado (0, 1). selo para codicar
el bloque 011100100010 (no olvide agregar algunos smbolos de acuerdo a la demora,
para que la decodicacin sea completa). Decodique el bloque as obtenido, y
verique que corresponde al bloque original.
Sea X el shift de paso limitado (1, 2). Construya una presentacin resolvente a dere-
cha de X (X 5 , 22 )-CEF, y construya
y calcule as su entropa. Verique que existe un
uno. selo para codicar el bloque 011100100010101. Decodique el bloque as ob-
tenido y verique que recupera casi todo el bloque original.