87
II Encuentro Álgebra y Teoría de Nudos Teoría de Nudos: Invariantes y generalizaciones Un encuentro entre la combinatoria, el álgebra y la topología O’Bryan Cárdenas Andaur Universidad de Valparaíso

Teoría de Nudos: Invariantes y generalizaciones

  • Upload
    others

  • View
    17

  • Download
    0

Embed Size (px)

Citation preview

Page 1: Teoría de Nudos: Invariantes y generalizaciones

II Encuentro Álgebra y Teoría de Nudos

Teoría de Nudos:Invariantes y generalizaciones

Un encuentro entre la combinatoria, el álgebra y latopología

O’Bryan Cárdenas AndaurUniversidad de Valparaíso

Page 2: Teoría de Nudos: Invariantes y generalizaciones

1Índice

I - Historia y definiciones fundamentalesTopologíaCombinatoriaÁlgebra

II - Invariantes No polinomiales

III - Invariantes PolinomialesPolinomio de Alexander-ConwayReceta de JonesMétodo de KauffmanPolinomio HOMFLYPTRelaciones y problemas abiertos

IV - Generalizaciones de la Teoría de NudosVirtual LinksSingular LinksTied Links

|

Page 3: Teoría de Nudos: Invariantes y generalizaciones

2Homenaje

John Conway (1937 - 2020) Vaughan Jones (1952 - 2020)

|

Page 4: Teoría de Nudos: Invariantes y generalizaciones

3Historia y definiciones fundamentales

Nudos y Links

Un nudo es una incrustación de S2 en R3.Un link o enlace es la incrustación de varias copias disjuntas de S2

en R3.

|

Page 5: Teoría de Nudos: Invariantes y generalizaciones

3Historia y definiciones fundamentales

Nudos y Links

Un nudo es una incrustación de S2 en R3.

Un link o enlace es la incrustación de varias copias disjuntas de S2

en R3.

|

Page 6: Teoría de Nudos: Invariantes y generalizaciones

3Historia y definiciones fundamentales

Nudos y Links

Un nudo es una incrustación de S2 en R3.Un link o enlace es la incrustación de varias copias disjuntas de S2

en R3.

|

Page 7: Teoría de Nudos: Invariantes y generalizaciones

3Historia y definiciones fundamentales

Nudos y Links

Un nudo es una incrustación de S2 en R3.Un link o enlace es la incrustación de varias copias disjuntas de S2

en R3.

|

Page 8: Teoría de Nudos: Invariantes y generalizaciones

4Historia y definiciones fundamentales

Teoría atómica (1860)

Lord Kelvin y Peter Tait: "Los átomos son eter anudados"

|

Page 9: Teoría de Nudos: Invariantes y generalizaciones

5Historia y definiciones fundamentales

Tablas de Tait

Tabla períodica de Tait

|

Page 10: Teoría de Nudos: Invariantes y generalizaciones

6Historia y definiciones fundamentales

¿Cómo se clasificaban los nudos en las tablas de Tait?

Respuesta: Mediante Primalidad, Quiralidad (... y 3 conjeturas)

|

Page 11: Teoría de Nudos: Invariantes y generalizaciones

6Historia y definiciones fundamentales

¿Cómo se clasificaban los nudos en las tablas de Tait?

Respuesta: Mediante Primalidad, Quiralidad (... y 3 conjeturas)

|

Page 12: Teoría de Nudos: Invariantes y generalizaciones

7Historia y definiciones fundamentales

Equivalencia de Nudos y Links en R3

Dos nudos (o links) se dicen equivalentes si es posible llevar uno enel otro mediante una deformación continua.

|

Page 13: Teoría de Nudos: Invariantes y generalizaciones

7Historia y definiciones fundamentales

Equivalencia de Nudos y Links en R3

Dos nudos (o links) se dicen equivalentes si es posible llevar uno enel otro mediante una deformación continua.

|

Page 14: Teoría de Nudos: Invariantes y generalizaciones

7Historia y definiciones fundamentales

Equivalencia de Nudos y Links en R3

Dos nudos (o links) se dicen equivalentes si es posible llevar uno enel otro mediante una deformación continua.

|

Page 15: Teoría de Nudos: Invariantes y generalizaciones

8Historia y definiciones fundamentales

Diagrama de nudos o links

Dado un nudo o link, es posible obtener (no de forma única) un dia-grama, realizando una proyección en un plano de este, de forma talque en cada cruce se distinga que arco está más lejos del plano.

|

Page 16: Teoría de Nudos: Invariantes y generalizaciones

8Historia y definiciones fundamentales

Diagrama de nudos o links

Dado un nudo o link, es posible obtener (no de forma única) un dia-grama, realizando una proyección en un plano de este, de forma talque en cada cruce se distinga que arco está más lejos del plano.

|

Page 17: Teoría de Nudos: Invariantes y generalizaciones

8Historia y definiciones fundamentales

Diagrama de nudos o links

Dado un nudo o link, es posible obtener (no de forma única) un dia-grama, realizando una proyección en un plano de este, de forma talque en cada cruce se distinga que arco está más lejos del plano.

|

Page 18: Teoría de Nudos: Invariantes y generalizaciones

9Historia y definiciones fundamentales

Equivalencia de diagramas de Nudos y Links en R2

Dos diagramas de nudos (o links) se dicen equivalentes si es posiblellevar uno en el otro mediante una cantidad finita de los siguientesmovimientos:

Teorema de Reidemeister (1927)

Dos diagramas de nudos (o links) provienen del mismo nudo (o link)si existe una sucesión finita de movimientos R1,R2,R3 que lleve unoen el otro.

|

Page 19: Teoría de Nudos: Invariantes y generalizaciones

9Historia y definiciones fundamentales

Equivalencia de diagramas de Nudos y Links en R2

Dos diagramas de nudos (o links) se dicen equivalentes si es posiblellevar uno en el otro mediante una cantidad finita de los siguientesmovimientos:

Teorema de Reidemeister (1927)

Dos diagramas de nudos (o links) provienen del mismo nudo (o link)si existe una sucesión finita de movimientos R1,R2,R3 que lleve unoen el otro.

|

Page 20: Teoría de Nudos: Invariantes y generalizaciones

9Historia y definiciones fundamentales

Equivalencia de diagramas de Nudos y Links en R2

Dos diagramas de nudos (o links) se dicen equivalentes si es posiblellevar uno en el otro mediante una cantidad finita de los siguientesmovimientos:

Teorema de Reidemeister (1927)

Dos diagramas de nudos (o links) provienen del mismo nudo (o link)si existe una sucesión finita de movimientos R1,R2,R3 que lleve unoen el otro.

|

Page 21: Teoría de Nudos: Invariantes y generalizaciones

9Historia y definiciones fundamentales

Equivalencia de diagramas de Nudos y Links en R2

Dos diagramas de nudos (o links) se dicen equivalentes si es posiblellevar uno en el otro mediante una cantidad finita de los siguientesmovimientos:

Teorema de Reidemeister (1927)

Dos diagramas de nudos (o links) provienen del mismo nudo (o link)si existe una sucesión finita de movimientos R1,R2,R3 que lleve unoen el otro.

|

Page 22: Teoría de Nudos: Invariantes y generalizaciones

10Historia y definiciones fundamentales

Diagrama reducido

Un diagrama de nudo (o link) se dice reducido si no existen cruces delsiguiente tipo

|

Page 23: Teoría de Nudos: Invariantes y generalizaciones

10Historia y definiciones fundamentales

Diagrama reducido

Un diagrama de nudo (o link) se dice reducido si no existen cruces delsiguiente tipo

|

Page 24: Teoría de Nudos: Invariantes y generalizaciones

11Historia y definiciones fundamentales

Suma conexa de Nudos

1.- Dadas las proyeccionesno conexas de cada nu-do, determinar un rectángu-lo en que un par de ladosopuestos sean segmentosde arco de nudos distintos.

2.-Eliminar los segmentosde arcos anteriores y agre-gar los segmentos de arcoque forman el otro par de la-dos del rectángulo.

Ejemplo

|

Page 25: Teoría de Nudos: Invariantes y generalizaciones

11Historia y definiciones fundamentales

Suma conexa de Nudos1.- Dadas las proyeccionesno conexas de cada nu-do, determinar un rectángu-lo en que un par de ladosopuestos sean segmentosde arco de nudos distintos.

2.-Eliminar los segmentosde arcos anteriores y agre-gar los segmentos de arcoque forman el otro par de la-dos del rectángulo.

Ejemplo

|

Page 26: Teoría de Nudos: Invariantes y generalizaciones

11Historia y definiciones fundamentales

Suma conexa de Nudos1.- Dadas las proyeccionesno conexas de cada nu-do, determinar un rectángu-lo en que un par de ladosopuestos sean segmentosde arco de nudos distintos.

2.-Eliminar los segmentosde arcos anteriores y agre-gar los segmentos de arcoque forman el otro par de la-dos del rectángulo.

Ejemplo

|

Page 27: Teoría de Nudos: Invariantes y generalizaciones

11Historia y definiciones fundamentales

Suma conexa de Nudos1.- Dadas las proyeccionesno conexas de cada nu-do, determinar un rectángu-lo en que un par de ladosopuestos sean segmentosde arco de nudos distintos.

2.-Eliminar los segmentosde arcos anteriores y agre-gar los segmentos de arcoque forman el otro par de la-dos del rectángulo.

Ejemplo

|

Page 28: Teoría de Nudos: Invariantes y generalizaciones

11Historia y definiciones fundamentales

Suma conexa de Nudos1.- Dadas las proyeccionesno conexas de cada nu-do, determinar un rectángu-lo en que un par de ladosopuestos sean segmentosde arco de nudos distintos.

2.-Eliminar los segmentosde arcos anteriores y agre-gar los segmentos de arcoque forman el otro par de la-dos del rectángulo.

Ejemplo

|

Page 29: Teoría de Nudos: Invariantes y generalizaciones

11Historia y definiciones fundamentales

Suma conexa de Nudos1.- Dadas las proyeccionesno conexas de cada nu-do, determinar un rectángu-lo en que un par de ladosopuestos sean segmentosde arco de nudos distintos.

2.-Eliminar los segmentosde arcos anteriores y agre-gar los segmentos de arcoque forman el otro par de la-dos del rectángulo.

Ejemplo

|

Page 30: Teoría de Nudos: Invariantes y generalizaciones

12Historia y definiciones fundamentales

Nudos Primos

Un nudo se dice primo si no existen 2 nudos no triviales tales que lasuma conexa de estos forme el nudo original.

Ejemplos

|

Page 31: Teoría de Nudos: Invariantes y generalizaciones

12Historia y definiciones fundamentales

Nudos PrimosUn nudo se dice primo si no existen 2 nudos no triviales tales que lasuma conexa de estos forme el nudo original.

Ejemplos

|

Page 32: Teoría de Nudos: Invariantes y generalizaciones

12Historia y definiciones fundamentales

Nudos PrimosUn nudo se dice primo si no existen 2 nudos no triviales tales que lasuma conexa de estos forme el nudo original.

Ejemplos

|

Page 33: Teoría de Nudos: Invariantes y generalizaciones

13Historia y definiciones fundamentales

Nudos Quirales y Anfiquirales

Un nudo se dice quiral si no es equivalente a su imagen reflejada.Análogamente se puede dar la definición considerando su diagramaen lugar del nudo. En caso contrario, se dice anfiquiral.

Ejemplos

|

Page 34: Teoría de Nudos: Invariantes y generalizaciones

13Historia y definiciones fundamentales

Nudos Quirales y Anfiquirales

Un nudo se dice quiral si no es equivalente a su imagen reflejada.Análogamente se puede dar la definición considerando su diagramaen lugar del nudo. En caso contrario, se dice anfiquiral.

Ejemplos

|

Page 35: Teoría de Nudos: Invariantes y generalizaciones

13Historia y definiciones fundamentales

Nudos Quirales y Anfiquirales

Un nudo se dice quiral si no es equivalente a su imagen reflejada.Análogamente se puede dar la definición considerando su diagramaen lugar del nudo. En caso contrario, se dice anfiquiral.

Ejemplos

|

Page 36: Teoría de Nudos: Invariantes y generalizaciones

14Historia y definiciones fundamentales

Nudos Alternantes

Un nudo se dice alternante si posee un diagrama, el cual, al ser orien-tado, se recorre alternadamente con cruces positivos y negativos.

Ejemplos

|

Page 37: Teoría de Nudos: Invariantes y generalizaciones

14Historia y definiciones fundamentales

Nudos AlternantesUn nudo se dice alternante si posee un diagrama, el cual, al ser orien-tado, se recorre alternadamente con cruces positivos y negativos.

Ejemplos

|

Page 38: Teoría de Nudos: Invariantes y generalizaciones

14Historia y definiciones fundamentales

Nudos AlternantesUn nudo se dice alternante si posee un diagrama, el cual, al ser orien-tado, se recorre alternadamente con cruces positivos y negativos.

Ejemplos

|

Page 39: Teoría de Nudos: Invariantes y generalizaciones

15Historia y definiciones fundamentales

Writhe

Para un nudo o link K orientado, el writhe se define como

w(K ) =∑

sig(ci)

donde, cada ci toma ±1 según la siguiente convención

Movimientos Flype

|

Page 40: Teoría de Nudos: Invariantes y generalizaciones

15Historia y definiciones fundamentales

WrithePara un nudo o link K orientado, el writhe se define como

w(K ) =∑

sig(ci)

donde, cada ci toma ±1 según la siguiente convención

Movimientos Flype

|

Page 41: Teoría de Nudos: Invariantes y generalizaciones

15Historia y definiciones fundamentales

WrithePara un nudo o link K orientado, el writhe se define como

w(K ) =∑

sig(ci)

donde, cada ci toma ±1 según la siguiente convención

Movimientos Flype

|

Page 42: Teoría de Nudos: Invariantes y generalizaciones

15Historia y definiciones fundamentales

WrithePara un nudo o link K orientado, el writhe se define como

w(K ) =∑

sig(ci)

donde, cada ci toma ±1 según la siguiente convención

Movimientos Flype

|

Page 43: Teoría de Nudos: Invariantes y generalizaciones

16Historia y definiciones fundamentales

Conjeturas de Tait (sXIX)

1. Cualquier diagrama reducido alternante de un nudo o link tieneel menor número de cruces posibles. (Probada por L.Kauffman,K.Murasugi y M.Thistlethwaite en 1987)

2. Todo nudo o link alternante anfiqueral tiene writhe nulo.(Probada por L.Kauffman en 1987 y M.Thistlethwaite en 1988)

3. Todos los diagramas alternantes de un mismo nudo (o link)tienen igual número de cruces. (Probada por M.Thistlethwaite yW.Menasco en 1991)

|

Page 44: Teoría de Nudos: Invariantes y generalizaciones

16Historia y definiciones fundamentales

Conjeturas de Tait (sXIX)

1. Cualquier diagrama reducido alternante de un nudo o link tieneel menor número de cruces posibles. (Probada por L.Kauffman,K.Murasugi y M.Thistlethwaite en 1987)

2. Todo nudo o link alternante anfiqueral tiene writhe nulo.(Probada por L.Kauffman en 1987 y M.Thistlethwaite en 1988)

3. Todos los diagramas alternantes de un mismo nudo (o link)tienen igual número de cruces. (Probada por M.Thistlethwaite yW.Menasco en 1991)

|

Page 45: Teoría de Nudos: Invariantes y generalizaciones

16Historia y definiciones fundamentales

Conjeturas de Tait (sXIX)

1. Cualquier diagrama reducido alternante de un nudo o link tieneel menor número de cruces posibles. (Probada por L.Kauffman,K.Murasugi y M.Thistlethwaite en 1987)

2. Todo nudo o link alternante anfiqueral tiene writhe nulo.(Probada por L.Kauffman en 1987 y M.Thistlethwaite en 1988)

3. Todos los diagramas alternantes de un mismo nudo (o link)tienen igual número de cruces. (Probada por M.Thistlethwaite yW.Menasco en 1991)

|

Page 46: Teoría de Nudos: Invariantes y generalizaciones

16Historia y definiciones fundamentales

Conjeturas de Tait (sXIX)

1. Cualquier diagrama reducido alternante de un nudo o link tieneel menor número de cruces posibles. (Probada por L.Kauffman,K.Murasugi y M.Thistlethwaite en 1987)

2. Todo nudo o link alternante anfiqueral tiene writhe nulo.(Probada por L.Kauffman en 1987 y M.Thistlethwaite en 1988)

3. Todos los diagramas alternantes de un mismo nudo (o link)tienen igual número de cruces. (Probada por M.Thistlethwaite yW.Menasco en 1991)

|

Page 47: Teoría de Nudos: Invariantes y generalizaciones

17Historia y definiciones fundamentales

Trenzas

Consideremos dos planos paralelos en el espacio y fijemos 2n pun-tos en ellos {p1, . . . ,pn} en el primero y {p′1, . . . ,p′n} en el segun-do).Llamaremos n-trenza o trenza de n hebras al objeto que resultade unir los puntos pi con los puntos p′i mediante n curvas simples ydisjuntas con la condición de que cualquier plano paralelo a los ante-riores ubicado entre ellos intersecte a cada curva una sola vez.

|

Page 48: Teoría de Nudos: Invariantes y generalizaciones

17Historia y definiciones fundamentales

TrenzasConsideremos dos planos paralelos en el espacio y fijemos 2n pun-tos en ellos {p1, . . . ,pn} en el primero y {p′1, . . . ,p′n} en el segun-do).

Llamaremos n-trenza o trenza de n hebras al objeto que resultade unir los puntos pi con los puntos p′i mediante n curvas simples ydisjuntas con la condición de que cualquier plano paralelo a los ante-riores ubicado entre ellos intersecte a cada curva una sola vez.

|

Page 49: Teoría de Nudos: Invariantes y generalizaciones

17Historia y definiciones fundamentales

TrenzasConsideremos dos planos paralelos en el espacio y fijemos 2n pun-tos en ellos {p1, . . . ,pn} en el primero y {p′1, . . . ,p′n} en el segun-do).Llamaremos n-trenza o trenza de n hebras al objeto que resultade unir los puntos pi con los puntos p′i mediante n curvas simples ydisjuntas con la condición de que cualquier plano paralelo a los ante-riores ubicado entre ellos intersecte a cada curva una sola vez.

|

Page 50: Teoría de Nudos: Invariantes y generalizaciones

17Historia y definiciones fundamentales

TrenzasConsideremos dos planos paralelos en el espacio y fijemos 2n pun-tos en ellos {p1, . . . ,pn} en el primero y {p′1, . . . ,p′n} en el segun-do).Llamaremos n-trenza o trenza de n hebras al objeto que resultade unir los puntos pi con los puntos p′i mediante n curvas simples ydisjuntas con la condición de que cualquier plano paralelo a los ante-riores ubicado entre ellos intersecte a cada curva una sola vez.

|

Page 51: Teoría de Nudos: Invariantes y generalizaciones

18Historia y definiciones fundamentales

Diagramas de trenzas

De forma similar al caso de los nudos y links, podemos definir losdiagramas de n-trenzas

NotaciónAl conjunto de n−trenzas se le denotará por Bn.

|

Page 52: Teoría de Nudos: Invariantes y generalizaciones

18Historia y definiciones fundamentales

Diagramas de trenzas

De forma similar al caso de los nudos y links, podemos definir losdiagramas de n-trenzas

NotaciónAl conjunto de n−trenzas se le denotará por Bn.

|

Page 53: Teoría de Nudos: Invariantes y generalizaciones

18Historia y definiciones fundamentales

Diagramas de trenzas

De forma similar al caso de los nudos y links, podemos definir losdiagramas de n-trenzas

NotaciónAl conjunto de n−trenzas se le denotará por Bn.

|

Page 54: Teoría de Nudos: Invariantes y generalizaciones

19Historia y definiciones fundamentales

Producto de trenzas

Dadas dos trenzas de n hebras, es posible definir un producto de ellasuniendo el final de las hebras de la primera con el comienzo de lashebras de la segunda.

Ejemplo

|

Page 55: Teoría de Nudos: Invariantes y generalizaciones

19Historia y definiciones fundamentales

Producto de trenzasDadas dos trenzas de n hebras, es posible definir un producto de ellasuniendo el final de las hebras de la primera con el comienzo de lashebras de la segunda.

Ejemplo

|

Page 56: Teoría de Nudos: Invariantes y generalizaciones

19Historia y definiciones fundamentales

Producto de trenzasDadas dos trenzas de n hebras, es posible definir un producto de ellasuniendo el final de las hebras de la primera con el comienzo de lashebras de la segunda.

Ejemplo

|

Page 57: Teoría de Nudos: Invariantes y generalizaciones

20Historia y definiciones fundamentales

Propiedades del producto de trenzas

1. Posee neutro2. Posee inverso3. Es asociativo

|

Page 58: Teoría de Nudos: Invariantes y generalizaciones

20Historia y definiciones fundamentales

Propiedades del producto de trenzas

1. Posee neutro

2. Posee inverso3. Es asociativo

|

Page 59: Teoría de Nudos: Invariantes y generalizaciones

20Historia y definiciones fundamentales

Propiedades del producto de trenzas

1. Posee neutro2. Posee inverso

3. Es asociativo

|

Page 60: Teoría de Nudos: Invariantes y generalizaciones

20Historia y definiciones fundamentales

Propiedades del producto de trenzas

1. Posee neutro2. Posee inverso3. Es asociativo

|

Page 61: Teoría de Nudos: Invariantes y generalizaciones

21Historia y definiciones fundamentales

Teorema de Artin (1925)

Sea n un entero positivo. El grupo de n-trenzas, denotado Bn, es elgrupo con la siguiente presentación

Bn :=⟨σ1, σ2, . . . , σn−1 ;

σiσj = σjσi , si |i − j| > 1σiσjσi = σjσiσj , si |i − j| = 1

⟩,

donde los σk son las n-trenzas elementales.

Generadores

|

Page 62: Teoría de Nudos: Invariantes y generalizaciones

21Historia y definiciones fundamentales

Teorema de Artin (1925)

Sea n un entero positivo. El grupo de n-trenzas, denotado Bn, es elgrupo con la siguiente presentación

Bn :=⟨σ1, σ2, . . . , σn−1 ;

σiσj = σjσi , si |i − j| > 1σiσjσi = σjσiσj , si |i − j| = 1

⟩,

donde los σk son las n-trenzas elementales.

Generadores

|

Page 63: Teoría de Nudos: Invariantes y generalizaciones

21Historia y definiciones fundamentales

Teorema de Artin (1925)

Sea n un entero positivo. El grupo de n-trenzas, denotado Bn, es elgrupo con la siguiente presentación

Bn :=⟨σ1, σ2, . . . , σn−1 ;

σiσj = σjσi , si |i − j| > 1σiσjσi = σjσiσj , si |i − j| = 1

⟩,

donde los σk son las n-trenzas elementales.

Generadores

|

Page 64: Teoría de Nudos: Invariantes y generalizaciones

21Historia y definiciones fundamentales

Teorema de Artin (1925)

Sea n un entero positivo. El grupo de n-trenzas, denotado Bn, es elgrupo con la siguiente presentación

Bn :=⟨σ1, σ2, . . . , σn−1 ;

σiσj = σjσi , si |i − j| > 1σiσjσi = σjσiσj , si |i − j| = 1

⟩,

donde los σk son las n-trenzas elementales.

Generadores

|

Page 65: Teoría de Nudos: Invariantes y generalizaciones

21Historia y definiciones fundamentales

Teorema de Artin (1925)

Sea n un entero positivo. El grupo de n-trenzas, denotado Bn, es elgrupo con la siguiente presentación

Bn :=⟨σ1, σ2, . . . , σn−1 ;

σiσj = σjσi , si |i − j| > 1σiσjσi = σjσiσj , si |i − j| = 1

⟩,

donde los σk son las n-trenzas elementales.

Generadores

|

Page 66: Teoría de Nudos: Invariantes y generalizaciones

22Historia y definiciones fundamentales

Ejemplo

Así, cada trenza puede ser escrita como una palabra sila escribimos como el producto de sus generadores en or-den, por ejemplo, la siguiente imagen corresponde a la trenzaσ1σ3σ1σ

−14 σ2σ

−14 σ2σ

−14 σ3σ

−12 σ−1

4 :

|

Page 67: Teoría de Nudos: Invariantes y generalizaciones

22Historia y definiciones fundamentales

Ejemplo

Así, cada trenza puede ser escrita como una palabra sila escribimos como el producto de sus generadores en or-den, por ejemplo, la siguiente imagen corresponde a la trenzaσ1σ3σ1σ

−14 σ2σ

−14 σ2σ

−14 σ3σ

−12 σ−1

4 :

|

Page 68: Teoría de Nudos: Invariantes y generalizaciones

22Historia y definiciones fundamentales

Ejemplo

Así, cada trenza puede ser escrita como una palabra sila escribimos como el producto de sus generadores en or-den, por ejemplo, la siguiente imagen corresponde a la trenzaσ1σ3σ1σ

−14 σ2σ

−14 σ2σ

−14 σ3σ

−12 σ−1

4 :

|

Page 69: Teoría de Nudos: Invariantes y generalizaciones

23Historia y definiciones fundamentales

Cerradura de una trenza

A cada trenza en Bn es posible hacerle una operación llamada cerra-dura, la cual consiste en conectar los extremos de la trenza por fuerade ella

Al cerrar una trenza, obtenemos un link (o nudo).

|

Page 70: Teoría de Nudos: Invariantes y generalizaciones

23Historia y definiciones fundamentales

Cerradura de una trenzaA cada trenza en Bn es posible hacerle una operación llamada cerra-dura, la cual consiste en conectar los extremos de la trenza por fuerade ella

Al cerrar una trenza, obtenemos un link (o nudo).

|

Page 71: Teoría de Nudos: Invariantes y generalizaciones

23Historia y definiciones fundamentales

Cerradura de una trenzaA cada trenza en Bn es posible hacerle una operación llamada cerra-dura, la cual consiste en conectar los extremos de la trenza por fuerade ella

Al cerrar una trenza, obtenemos un link (o nudo).

|

Page 72: Teoría de Nudos: Invariantes y generalizaciones

23Historia y definiciones fundamentales

Cerradura de una trenzaA cada trenza en Bn es posible hacerle una operación llamada cerra-dura, la cual consiste en conectar los extremos de la trenza por fuerade ella

Al cerrar una trenza, obtenemos un link (o nudo).

|

Page 73: Teoría de Nudos: Invariantes y generalizaciones

24Historia y definiciones fundamentales

Teorema de Alexander (1923

Cada nudo o link puede obtenerse como la cerradura de una n-trenzapara algún n.

Observación: El teorema de Alexander asegura que la funcióncerradura es sobreyectiva sobre L

|

Page 74: Teoría de Nudos: Invariantes y generalizaciones

24Historia y definiciones fundamentales

Teorema de Alexander (1923

Cada nudo o link puede obtenerse como la cerradura de una n-trenzapara algún n.

Observación: El teorema de Alexander asegura que la funcióncerradura es sobreyectiva sobre L

|

Page 75: Teoría de Nudos: Invariantes y generalizaciones

24Historia y definiciones fundamentales

Teorema de Alexander (1923

Cada nudo o link puede obtenerse como la cerradura de una n-trenzapara algún n.

Observación: El teorema de Alexander asegura que la funcióncerradura es sobreyectiva sobre L

|

Page 76: Teoría de Nudos: Invariantes y generalizaciones

25Historia y definiciones fundamentales

Teorema de Markov (1935

La clausura de dos trenzas α y β se corresponde con el mismo nu-do o links si y solo si α y β son Markov equivalentes (∼M), es decir,es posible obtener una de la otra a partir de un número finito de lossiguientes movimientos (de Markov):

1. Conjugación (M1): Sustituir β por γβγ−1

2. Estabilización (M2): Sustituir β por βσ±1

|

Page 77: Teoría de Nudos: Invariantes y generalizaciones

25Historia y definiciones fundamentales

Teorema de Markov (1935

La clausura de dos trenzas α y β se corresponde con el mismo nu-do o links si y solo si α y β son Markov equivalentes (∼M), es decir,es posible obtener una de la otra a partir de un número finito de lossiguientes movimientos (de Markov):

1. Conjugación (M1): Sustituir β por γβγ−1

2. Estabilización (M2): Sustituir β por βσ±1

|

Page 78: Teoría de Nudos: Invariantes y generalizaciones

25Historia y definiciones fundamentales

Teorema de Markov (1935

La clausura de dos trenzas α y β se corresponde con el mismo nu-do o links si y solo si α y β son Markov equivalentes (∼M), es decir,es posible obtener una de la otra a partir de un número finito de lossiguientes movimientos (de Markov):

1. Conjugación (M1): Sustituir β por γβγ−1

2. Estabilización (M2): Sustituir β por βσ±1

|

Page 79: Teoría de Nudos: Invariantes y generalizaciones

25Historia y definiciones fundamentales

Teorema de Markov (1935

La clausura de dos trenzas α y β se corresponde con el mismo nu-do o links si y solo si α y β son Markov equivalentes (∼M), es decir,es posible obtener una de la otra a partir de un número finito de lossiguientes movimientos (de Markov):

1. Conjugación (M1): Sustituir β por γβγ−1

2. Estabilización (M2): Sustituir β por βσ±1

|

Page 80: Teoría de Nudos: Invariantes y generalizaciones

25Historia y definiciones fundamentales

Teorema de Markov (1935

La clausura de dos trenzas α y β se corresponde con el mismo nu-do o links si y solo si α y β son Markov equivalentes (∼M), es decir,es posible obtener una de la otra a partir de un número finito de lossiguientes movimientos (de Markov):

1. Conjugación (M1): Sustituir β por γβγ−1

2. Estabilización (M2): Sustituir β por βσ±1

|

Page 81: Teoría de Nudos: Invariantes y generalizaciones

26Encuentro entre tres mundos

|

Page 82: Teoría de Nudos: Invariantes y generalizaciones

27Problemas de la Teoría de Nudos

I Dado un nudo K ¿Es K equivalente al no nudo?I Dados dos nudos K1 y K2 ¿Son equivalentes o pertenecen a

clases de equivalencia distintas?

|

Page 83: Teoría de Nudos: Invariantes y generalizaciones

27Problemas de la Teoría de Nudos

I Dado un nudo K ¿Es K equivalente al no nudo?

I Dados dos nudos K1 y K2 ¿Son equivalentes o pertenecen aclases de equivalencia distintas?

|

Page 84: Teoría de Nudos: Invariantes y generalizaciones

27Problemas de la Teoría de Nudos

I Dado un nudo K ¿Es K equivalente al no nudo?I Dados dos nudos K1 y K2 ¿Son equivalentes o pertenecen a

clases de equivalencia distintas?

|

Page 85: Teoría de Nudos: Invariantes y generalizaciones

28Problemas de la Teoría de Nudos

I Para resolver (parcialmente) los problemas anteriores se recurreal estudio y búsqueda de invariantes.

Invariante

Sea A un conjunto con elementos fácilmente comparables. Un inva-riante de links (o nudos) es una función f : D(L) −→ A, tal que siL1 ∼ L2, entonces f (L1) = f (L2).

En particular, revisaremos dos tipos de invariantesI Invariantes no polinomiales (Sesión de ejercicios 1)I Invariantes polinomiales (Charla de mañana)

|

Page 86: Teoría de Nudos: Invariantes y generalizaciones

28Problemas de la Teoría de Nudos

I Para resolver (parcialmente) los problemas anteriores se recurreal estudio y búsqueda de invariantes.

InvarianteSea A un conjunto con elementos fácilmente comparables. Un inva-riante de links (o nudos) es una función f : D(L) −→ A, tal que siL1 ∼ L2, entonces f (L1) = f (L2).

En particular, revisaremos dos tipos de invariantesI Invariantes no polinomiales (Sesión de ejercicios 1)I Invariantes polinomiales (Charla de mañana)

|

Page 87: Teoría de Nudos: Invariantes y generalizaciones

¡Gracias por su atención!

Merci de votre attention !

Thanks for your attention!