Espacios de Corrimiento Sistemas Textiles Teorema de Descomposici on

Sistemas Textiles y Teorema de Descomposici on para Espacios de Corrimiento de Tipo Finito Bidimensionales
Dar o Alatorre Guzm an (FC-UNAM)
Reporte de Tesis

Asesor: Ricardo G omez A za (IMATE UNAM)

XXIV Coloquio Victor Neumann Lara de Teor a de Gr acas, Combinatoria y sus Aplicaciones. Hermosillo, Son. Marzo 2009
Dar o Alatorre Guzm an (FC-UNAM) Sistemas Textiles y Teorema de Descomposici on para Espacios

Espacios de Corrimiento Sistemas Textiles Teorema de Descomposici on

Espacio de Corrimiento Completo

A es un alfabeto nito.

Dar o Alatorre Guzm an (FC-UNAM)

Sistemas Textiles y Teorema de Descomposici on para Espacios

Espacios de Corrimiento Sistemas Textiles Teorema de Descomposici on

Espacio de Corrimiento Completo

A es un alfabeto nito. AZ = {x = (xi )i Z : xi A, i Z}, x = . . . x2 x1 .x0 x1 x2 . . . AZ .

Dar o Alatorre Guzm an (FC-UNAM)

Sistemas Textiles y Teorema de Descomposici on para Espacios

Espacios de Corrimiento Sistemas Textiles Teorema de Descomposici on

Espacio de Corrimiento Completo

A es un alfabeto nito. AZ = {x = (xi )i Z : xi A, i Z}, x = . . . x2 x1 .x0 x1 x2 . . . AZ . La funci on de corrimiento (x ) = y cuyo i - esimo t ermino es yi = xi +1 , i Z. y = (x ) = . . . x3 x2 .x1 x0 x1 . . .

Dar o Alatorre Guzm an (FC-UNAM)

Sistemas Textiles y Teorema de Descomposici on para Espacios

Espacios de Corrimiento Sistemas Textiles Teorema de Descomposici on

Ejemplo
Si A = {0, 1}

Dar o Alatorre Guzm an (FC-UNAM)

Sistemas Textiles y Teorema de Descomposici on para Espacios

Espacios de Corrimiento Sistemas Textiles Teorema de Descomposici on

Ejemplo
Si A = {0, 1}

"

Figura: {0, 1}Z por v ertices

Dar o Alatorre Guzm an (FC-UNAM)

Sistemas Textiles y Teorema de Descomposici on para Espacios

Espacios de Corrimiento Sistemas Textiles Teorema de Descomposici on

Ejemplo
Si A = {0, 1}

"

Figura: {0, 1}Z por v ertices

"

Figura: {0, 1}Z por aristas

Dar o Alatorre Guzm an (FC-UNAM) Sistemas Textiles y Teorema de Descomposici on para Espacios

Espacios de Corrimiento Sistemas Textiles Teorema de Descomposici on

Espacio de Corrimiento

Dar o Alatorre Guzm an (FC-UNAM)

Sistemas Textiles y Teorema de Descomposici on para Espacios

Espacios de Corrimiento Sistemas Textiles Teorema de Descomposici on

Espacio de Corrimiento
Un bloque (o palabra) es una subsucesi on nita de s mbolos consecutivos en x AZ .

Dar o Alatorre Guzm an (FC-UNAM)

Sistemas Textiles y Teorema de Descomposici on para Espacios

Espacios de Corrimiento Sistemas Textiles Teorema de Descomposici on

Espacio de Corrimiento
Un bloque (o palabra) es una subsucesi on nita de s mbolos consecutivos en x AZ . Un espacio de corrimiento es un subconjunto del espacio de corrimiento completo descrito por una colecci on F de bloques prohibidos.

Dar o Alatorre Guzm an (FC-UNAM)

Sistemas Textiles y Teorema de Descomposici on para Espacios

Espacios de Corrimiento Sistemas Textiles Teorema de Descomposici on

Espacio de Corrimiento
Un bloque (o palabra) es una subsucesi on nita de s mbolos consecutivos en x AZ . Un espacio de corrimiento es un subconjunto del espacio de corrimiento completo descrito por una colecci on F de bloques prohibidos. Si A = {0, 1} y F = {11} entonces X = XF queda descrito por

"

Dar o Alatorre Guzm an (FC-UNAM)

Sistemas Textiles y Teorema de Descomposici on para Espacios

Espacios de Corrimiento Sistemas Textiles Teorema de Descomposici on

Espacios de Corrimiento Bidimensionales

Dar o Alatorre Guzm an (FC-UNAM)

Sistemas Textiles y Teorema de Descomposici on para Espacios

Espacios de Corrimiento Sistemas Textiles Teorema de Descomposici on

Espacios de Corrimiento Bidimensionales

AZ es el conjunto de todas las redes (latices, arreglos) innitas de s mbolos de A, es decir AZ = {x = (xa )aZ2 : xa A, a Z2 },
2 2

Dar o Alatorre Guzm an (FC-UNAM)

Sistemas Textiles y Teorema de Descomposici on para Espacios

Espacios de Corrimiento Sistemas Textiles Teorema de Descomposici on

Espacios de Corrimiento Bidimensionales

AZ es el conjunto de todas las redes (latices, arreglos) innitas de s mbolos de A, es decir AZ = {x = (xa )aZ2 : xa A, a Z2 }, si x AZ , entonces . . . x1,1 x0,1 x1,1 2 x0,0 x1,0 . . . AZ . x = . . . x1,0 x1,1 x0,1 x1,1 . . .
2 2 2

Dar o Alatorre Guzm an (FC-UNAM)

Sistemas Textiles y Teorema de Descomposici on para Espacios

Espacios de Corrimiento Sistemas Textiles Teorema de Descomposici on

Espacios de Corrimiento Bidimensionales

AZ es el conjunto de todas las redes (latices, arreglos) innitas de s mbolos de A, es decir AZ = {x = (xa )aZ2 : xa A, a Z2 }, si x AZ , entonces . . . x1,1 x0,1 x1,1 2 x0,0 x1,0 . . . AZ . x = . . . x1,0 x1,1 x0,1 x1,1 . . . La funci on de corrimiento a manda al punto x al punto y = a (x ) cuyo b- esimo t ermino es yb = xb+a , b Z2 .
Dar o Alatorre Guzm an (FC-UNAM) Sistemas Textiles y Teorema de Descomposici on para Espacios 2 2 2

Espacios de Corrimiento Sistemas Textiles Teorema de Descomposici on

Qu e es esto?

Dar o Alatorre Guzm an (FC-UNAM)

Sistemas Textiles y Teorema de Descomposici on para Espacios

Espacios de Corrimiento Sistemas Textiles Teorema de Descomposici on

Dar o Alatorre Guzm an (FC-UNAM)

Sistemas Textiles y Teorema de Descomposici on para Espacios

Espacios de Corrimiento Sistemas Textiles Teorema de Descomposici on

Sistemas Textiles (Nasu, 1995)

Un Sistema Textil consiste de:

Dar o Alatorre Guzm an (FC-UNAM)

Sistemas Textiles y Teorema de Descomposici on para Espacios

Espacios de Corrimiento Sistemas Textiles Teorema de Descomposici on

Sistemas Textiles (Nasu, 1995)

Un Sistema Textil consiste de: Una gr aca de esencial ,

Dar o Alatorre Guzm an (FC-UNAM)

Sistemas Textiles y Teorema de Descomposici on para Espacios

Espacios de Corrimiento Sistemas Textiles Teorema de Descomposici on

Sistemas Textiles (Nasu, 1995)

Un Sistema Textil consiste de: Una gr aca de esencial , Una gr aca de un solo v ertice G ,

Dar o Alatorre Guzm an (FC-UNAM)

Sistemas Textiles y Teorema de Descomposici on para Espacios

Espacios de Corrimiento Sistemas Textiles Teorema de Descomposici on

Sistemas Textiles (Nasu, 1995)

Un Sistema Textil consiste de: Una gr aca de esencial , Una gr aca de un solo v ertice G , Dos homomorsmos de gr acas p , q : G

Dar o Alatorre Guzm an (FC-UNAM)

Sistemas Textiles y Teorema de Descomposici on para Espacios

Espacios de Corrimiento Sistemas Textiles Teorema de Descomposici on

Sistemas Textiles (Nasu, 1995)

Un Sistema Textil consiste de: Una gr aca de esencial , Una gr aca de un solo v ertice G , Dos homomorsmos de gr acas p , q : G E (i (), t (), p (), q ()) es 1-1.

Dar o Alatorre Guzm an (FC-UNAM)

Sistemas Textiles y Teorema de Descomposici on para Espacios

Espacios de Corrimiento Sistemas Textiles Teorema de Descomposici on

Sistemas Textiles (Nasu, 1995)

Un Sistema Textil consiste de: Una gr aca de esencial , Una gr aca de un solo v ertice G , Dos homomorsmos de gr acas p , q : G E (i (), t (), p (), q ()) es 1-1.

Dar o Alatorre Guzm an (FC-UNAM)

Sistemas Textiles y Teorema de Descomposici on para Espacios

Espacios de Corrimiento Sistemas Textiles Teorema de Descomposici on

Sistemas Textiles (Nasu, 1995)

Un Sistema Textil consiste de: Una gr aca de esencial , Una gr aca de un solo v ertice G , Dos homomorsmos de gr acas p , q : G E (i (), t (), p (), q ()) es 1-1.

Dar o Alatorre Guzm an (FC-UNAM)

Sistemas Textiles y Teorema de Descomposici on para Espacios

Espacios de Corrimiento Sistemas Textiles Teorema de Descomposici on

Ejemplo
Sea A = {0, 1} y X = XF con F= 1 1 1 1 ,

Construimos el sistema textil tal que X = XT :

Dar o Alatorre Guzm an (FC-UNAM)

Sistemas Textiles y Teorema de Descomposici on para Espacios

Espacios de Corrimiento Sistemas Textiles Teorema de Descomposici on

Ejemplo
Sea A = {0, 1} y X = XF con F= 1 1 1 1 ,

Construimos el sistema textil tal que X = XT : E = {bloques de 2 2 permitidos en XF },

Dar o Alatorre Guzm an (FC-UNAM)

Sistemas Textiles y Teorema de Descomposici on para Espacios

Espacios de Corrimiento Sistemas Textiles Teorema de Descomposici on

Ejemplo
Sea A = {0, 1} y X = XF con F= 1 1 1 1 ,

Construimos el sistema textil tal que X = XT : E = {bloques de 2 2 permitidos en XF }, V = {columnas de bloques de 2 2 permitidos en XF },

Dar o Alatorre Guzm an (FC-UNAM)

Sistemas Textiles y Teorema de Descomposici on para Espacios

Espacios de Corrimiento Sistemas Textiles Teorema de Descomposici on

Ejemplo
Sea A = {0, 1} y X = XF con F= 1 1 1 1 ,

Construimos el sistema textil tal que X = XT : E = {bloques de 2 2 permitidos en XF }, V = {columnas de bloques de 2 2 permitidos en XF }, EG = {las de bloques de 2 2 permitidos en XF },

Dar o Alatorre Guzm an (FC-UNAM)

Sistemas Textiles y Teorema de Descomposici on para Espacios

Espacios de Corrimiento Sistemas Textiles Teorema de Descomposici on

Ejemplo
Sea A = {0, 1} y X = XF con F= 1 1 1 1 ,

Construimos el sistema textil tal que X = XT : E = {bloques de 2 2 permitidos en XF }, V = {columnas de bloques de 2 2 permitidos en XF }, EG = {las de bloques de 2 2 permitidos en XF }, Los morsmos p , q : G est an dados por a b a b p = ab y q = cd . c d c d
Dar o Alatorre Guzm an (FC-UNAM) Sistemas Textiles y Teorema de Descomposici on para Espacios

Espacios de Corrimiento Sistemas Textiles Teorema de Descomposici on

!#! !#! ! ! !#" !#! " ! "#" !#!

!#! !#"

! " "#! "#" " "

!#! "#"

"#" "#!

Figura: la gr aca .

Dar o Alatorre Guzm an (FC-UNAM)

Sistemas Textiles y Teorema de Descomposici on para Espacios

Espacios de Corrimiento Sistemas Textiles Teorema de Descomposici on

Escisiones

Figura: Escisi on de un v ertice.

Dar o Alatorre Guzm an (FC-UNAM)

Sistemas Textiles y Teorema de Descomposici on para Espacios

Espacios de Corrimiento Sistemas Textiles Teorema de Descomposici on

1 Figura: Se escinde usando la partici on P dada por Ev = {a}, 2 1 1 2 Ev = {b , c }, Eu = {d }, Ew = {e } y Ew = {f }.

Dar o Alatorre Guzm an (FC-UNAM)

Sistemas Textiles y Teorema de Descomposici on para Espacios

Espacios de Corrimiento Sistemas Textiles Teorema de Descomposici on

Dar o Alatorre Guzm an (FC-UNAM)

Sistemas Textiles y Teorema de Descomposici on para Espacios

Espacios de Corrimiento Sistemas Textiles Teorema de Descomposici on

Denici on
Sea T = (p , q : G ) un sistema textil, deniremos a = ( G ) como la ex-escisi es la T p, q : on textil de T . Donde j j ex-escisi on por v ertices de , p (i ) = p (i ) y q (i ) = q (i ) para j toda i E .

Dar o Alatorre Guzm an (FC-UNAM)

Sistemas Textiles y Teorema de Descomposici on para Espacios

Espacios de Corrimiento Sistemas Textiles Teorema de Descomposici on

Denici on
Sea T = (p , q : G ) un sistema textil, deniremos a = ( G ) como la ex-escisi es la T p, q : on textil de T . Donde j j ex-escisi on por v ertices de , p (i ) = p (i ) y q (i ) = q (i ) para j toda i E .

Lema.
= ( G ) es un sistema textil. T p, q :

Dar o Alatorre Guzm an (FC-UNAM)

Sistemas Textiles y Teorema de Descomposici on para Espacios

Espacios de Corrimiento Sistemas Textiles Teorema de Descomposici on

Denici on
Sea T = (p , q : G ) un sistema textil, deniremos a = ( G ) como la ex-escisi es la T p, q : on textil de T . Donde j j ex-escisi on por v ertices de , p (i ) = p (i ) y q (i ) = q (i ) para j toda i E .

Lema.
= ( G ) es un sistema textil. T p, q :

Lema.
Sea XT un sistema textil y XT on textil de XT la ex(in)-escisi entonces XT = XT

Dar o Alatorre Guzm an (FC-UNAM)

Sistemas Textiles y Teorema de Descomposici on para Espacios

Espacios de Corrimiento Sistemas Textiles Teorema de Descomposici on

Conjugaci on

Figura: Regla local que dene la conjugaci on

Dar o Alatorre Guzm an (FC-UNAM) Sistemas Textiles y Teorema de Descomposici on para Espacios

Espacios de Corrimiento Sistemas Textiles Teorema de Descomposici on

Teorema de Descomposici on
Toda conjugaci on entre espacios de corrimiento es composici on de c odigos de escisi on, fusi on y renombramientos.

Dar o Alatorre Guzm an (FC-UNAM)

Sistemas Textiles y Teorema de Descomposici on para Espacios

Espacios de Corrimiento Sistemas Textiles Teorema de Descomposici on

Teorema de Descomposici on
Toda conjugaci on entre espacios de corrimiento es composici on de c odigos de escisi on, fusi on y renombramientos. XT XT = XT XT

Dar o Alatorre Guzm an (FC-UNAM)

Sistemas Textiles y Teorema de Descomposici on para Espacios

Espacios de Corrimiento Sistemas Textiles Teorema de Descomposici on

Teorema de Descomposici on
Toda conjugaci on entre espacios de corrimiento es composici on de c odigos de escisi on, fusi on y renombramientos. XT XT = XT XT

1 0 1 2 3 . . . 2 1 0 .1 2 . . . . . . 2 1 0 .1 2 . . . = 2 1 0 1 2 . . . 2 1 0 1 .2 . . . . . . 1 0 1 .2 3 . . .
1

Dar o Alatorre Guzm an (FC-UNAM)

Sistemas Textiles y Teorema de Descomposici on para Espacios