UNIVERSIDAD PEDAGOGICA NACIONAL INSTITUTO PEDAGOGICO NACIONAL ENFSIS EN MATEMTICAS

ACTIVIDAD ESCOLAR: Presentacin del Polinomio de Alexander, como Invariante de Nudos.

Por: Andrs Hernando Borda Muoz.

RESUMEN
En este trabajo se desarrolla un ejercicio propuesto en la asignatura de Tpicos de Calculo dentro de la temtica de los NUDOS, la cual busca desarrollar, comprobar, y caracterizar el polinomio de Alexander como invariante de nudos, orientada por el licenciado William Alfredo Jimnez dentro del programa de nfasis de matemticas para grado undcimo del Instituto Pedaggico Nacional. En el desarrollo de este documento veremos la definicin bsica de nudo, caractersticas y problemas, adems abordaremos la demostracin del Polinomio de Alexander con el nudo de Trbol adquiriendo nociones bsicas, las cuales nos permitirn, desarrollar un nudo propuesto en el desarrollo del curso para lograr llegar al Polinomio. A continuacin, se caracterizara el Polinomio de Alexander y se desarrollaran dos ejemplos mas de nudos utilizando la calculadora TI 92 como herramienta tecnolgica y de aplicacin para el desarrollo del Polinomio.

CONCEPTOS BSICOS, CARACTERISTICAS Y PROBLEMAS.

El concepto matemtico de nudo es una abstraccin de la siguiente imagen fsica: Se toma un trozo de cuerda, se anuda, y despus se identifican los extremos de tal manera que no podamos distinguir donde se ha realizado ese pegado. El resultado es una cuerda circular anudada (Lozano, 1998, p.5), con esto se concluye que para un toplogo un nudo es una circunferencia en el espacio, es por ello que encuentra la siguiente definicin matemtica: El subconjunto es un nudo si existe un homeomorfismo (misma forma, biyeccin de dos espacios topolgicos) del crculo unitario S1 en R3 cuya imagen es K. Donde S1 es el conjunto de puntos (x, y) en el plano R2 que satisfacen la ecuacin (Cisneros, 2011, p.8). Es por ello que de all, entendamos la nocin de nudo como termino indefinido dentro del curso de Tpicos, ya que su definicin se compone principalmente de las nociones bsicas de la geometra euclidiana las cuales son trminos indefinidos. Ahora, mediante el razonamiento de actividades propuesta en clase como el trozo de lana, identificamos que cualquier movimiento que se haga sin cortar ni volver a pegar el nudo nos proporciona un nudo equivalente. Gracias a esto surge la teora de los nudos la cual hace parte de las matemticas en la rama de la Topologa, la cual ignora por completo la textura, el tamao y la forma de estos. A partir de esta rama se desencadena una serie de problemas como el de la nomenclatura de los nudos, la cual ha sido tan discutida a lo largo de nuestras sesiones de Tpicos, ya que la actual nomenclatura (o la proporcionada por el profesor) solo los discrimina por orden cronolgico de aparicin, es por ello que sugerir un tipo de nomenclatura nueva es un ejercicio dinmico y en la mayora de casos complejo, pero que logra poner a prueba el intelecto.

Fig. No. 1 Nudos de la tabla de Tait.

La anterior tabla fue desarrollada por el seor Tait, la cual fue muy discutida debido a que sus fundamentos matemticos no son fuertes ni solidos, para mostrar que un nudo era diferente de otro, solo se basaba en demostraciones empricas. Por ello se empieza a trabajar en cosas ms formales. Desde este punto, se han tenido diversas propuestas para solucionar el problema. Para comenzar a verlas es necesario diagramar el nudo, esto significa pasar el nudo a una proyeccin sobre el plano (ya que, el nudo es una representacin tridimensional). De esta forma aparece en 1932 Reidmeister, el cual publica unas transformaciones (las cuales denominaremos Axiomas) y a estas se les denomina Desplazamientos de Reidmeister. Con ello el teorema que se postula es que dos nudos son equivalentes, si sus diagramas se pueden convertir uno en otro a travs de una sucesin de pasos con los Axiomas.

Fig. No.2 Axiomas de Reidmeister.

Aplicando estas transformaciones a un nudo, se podr reducir a un nudo isomorfo. Como en la Actividad No. 1 de Tpicos, se aplican los movimientos de Reidmeister a un nudo para reducirlo a su diagrama mnimo, en este ejemplo, el nudo se reduce al nudo trivial.

Fig. No. 3 Aplicacin de los Movimientos de Reidmeister para reducir un nudo a un diagrama mnimo.

Con los Axiomas de Reidmeister, adems de poder ser desarrollados de forma grafica, tambin se puede de forma matemtica, aplicando sus axiomas, se decodifica el nudo teniendo en cuenta el numero de cuerdas y el sentido en contra de las manecillas del reloj del cruce en el que entre la cuerda, adems es de importancia especificar un inicio del nudo para empezar a caminar sobre l.

Fig. No. 4 Nudo de trbol, identificacin de cuerdas.

Ahora se muestra la decodificacin del nudo anterior en una matriz, con la cual, mediante el uso de los axiomas se reducir a tal punto que quede el nudo nulo o trivial el cual le corresponde la matriz [[ ][ ]].

INVARIANTE DE NUDOS.
En esta parte describiremos un tipo nuevo de invariantes de nudos. Esta vez, en lugar de asignar a los nudos un nmero o un grupo, les asignaremos polinomios. En la historia de la teora de nudos hay dos momentos importantes los cuales revitalizaron y ahondaron el entendimiento de dicha rea. Esos momentos son el descubrimiento del polinomio de Alexander en 1928 y el descubrimiento del polinomio de Jones en 1984. (Cisneros 2011) El polinomio de Alexander asocia a cada nudo K un polinomio K (t) en una variable t. Alexander probablemente descubri este polinomio pensando acerca de espacios cubrientes, pero su artculo era estrictamente combinatorio y usaba algebra lineal, determinantes y los movimientos de Reidmeister. Demostr que si dos nudos o enlaces orientados K1 y K2 son equivalentes,

entonces K1 (t) K2 (t), donde significa igualdad salvo un mltiplo de tn, para algn entero n. (Kosniowski, 1989) Desde el curso de Tpicos, el Profesor William nos acerca a este concepto de Polinomio, utilizando el desarrollo del nudo de trbol. Para empezar se debe realizar el diagrama bidimensional del nudo, en este se debe marcar con dos puntos la arista que pasa por arriba. El diagrama de un nudo con n cruces genera un diagrama con n+2 regiones, a cada regin se le asigna un ndice. No existe una indicacin especial para asignar los ndices a las regiones. Una de estas asignaciones se muestra en la Fig. No.5, donde Ri indica las regiones y Ci indica los puntos cruce del diagrama de nudo. Aunque es importante resaltar la forma general del polinomio en cuanto a la relacin de rea y corte.

Fig. No. 5 Nudo de Trbol con su respectiva marcacin.

NOTA: El desarrollo de este nudo se vera en un Documento de

Excel denominado Matrices Nudo de Trbol. En base a este ejemplo surge la necesidad de desarrollar un nudo ms complejo para encontrar el polinomio o por lo menos ver los pasos para llegar hasta un polinomio, es por esto que desarrollamos el nudo de la Figura No. 6.

Fig. No. 6 Nudo a desarrollar.

NOTA: El desarrollo matricial de este nudo se vera en detalle

en un Documento de Excel denominado Matrices Nudo No. 1. Al finalizar el desarrollo de este nudo se concluye una serie de aspectos que lo caracterizan muy especialmente.

CARACTERIZACION DEL POLINOMIO DE ALEXANDER.

Como invariante primordial de ser teora de nudos en denominada bajo el de los nudos, cumple la caracterstica una solucin al problema principal de la topologa saber si dos nudos son iguales o no trmino de isotopa, esta es un conjunto de

deformaciones continuas de un nudo haciendo dobleces, enredos, reducir o aumentar el tamao evitando siempre romper el nudo. Un grupo de nudos son istopos si existe una isotopa entre ellos, a este grupo se le llama clase isotpica y a los miembros de la clase se les llaman proyecciones y son considerados nudos isomorfos o iguales. Este tan famoso polinomio fue descubierto en 1928 por James Waddell Alexander. Este parte de la representacin bidimensional del nudo, el cual debe ser marcado con dos puntos la cuerda que pasa por arriba del cruce. Por esto el diagrama de un nudo con n cruces produce un diagrama con n+2 reas, a cada regin se le asigna un ndice consecutivo y especfico. Debido a esto es posible asignar una serie de ecuaciones a un diagrama de nudo. Estas ecuaciones de un diagrama determinan su estructura. Con estas ecuaciones se genera la matriz de coeficientes, con n filas y v+2 columnas, donde las filas representan los cruces y las columnas representan las regiones. (Vsquez 2005) La matriz generada cumple una propiedad muy especial para nuestro estudio, si se reduce la matriz M a una matriz cuadrada eliminando las dos columnas consecutivas de ndices p y p +1, el determinante de la matriz restante M0 ser independiente de las dos columnas eliminadas, dentro de un factor de la forma nx (Alexander, 1928) El determinante obtenido es el llamado polinomio de Alexander y es un invariante de nudos.

ALGORITMO DEL POLINOMIO

Dentro de su caracterizacin se rescatan ciertos pasos a seguir en su desarrollo. Primero, se elige la orientacin del nudo y se numeran los cruces y los puntos. Luego se obtiene la matriz y finalmente se encuentra el determinante. Y sobresale la siguiente caracterstica Si el polinomio de Alexander para un nudo es calculado utilizando diferentes conjuntos de elecciones de diagramas y etiquetados, los polinomios resultantes difieren por un mltiplo de tk $ k, k . As que no importa la fila y/o columna que se elimine para obtener la matriz de Alexander, tampoco importa el sentido del recorrido del nudo y tampoco importa el etiquetado de las aristas y vrtices. Esta es, justamente, la propiedad de invariantes. (Vsquez, 2005)

Para ir culminando este documento se desarrollaran dos ejercicios mas del polinomio de Alexander con los nudos de las Figuras 7 y 8, pero esta vez se utiliza la calculadora TI92 como herramienta tecnolgica, la cual nos permite obtener resultados instantneos de las matrices, expresados en el polinomio.

Fig. No. 7 Nudo 52

Fig. No. 8 Nudo 934

NOTA:El desarrollo de los dos nudos en su etapa inicial, esdecir

en identificacion de los cortes y matriz de coeficientes se visualizaran en el Documento de Excel denominado Matrices Nudo No. 2 y Matrices Nudo No. 3.

SOLUCION NUDO No.2

En este caso se denomina a la matriz dentro de la calculadora con la letra n, la cual al sacar el determinante da .

Fig. No. 9 Calculadora TI-92

NOTA: Las matrices de este nudo se encuentran en el Documento

de Excel denominado Matrices Nudo No. 2 calculadora para cualquier consulta posterior. y se aade la

SOLUCION NUDO No. 3.

En este caso se denomina a la matriz dentro de la calculadora con la letra m, la cual al sacar el determinante da: ( )

Fig. No. 10 Calculadora TI-92

NOTA: Las matrices de este nudo se encuentran en el Documento

de Excel denominado Matrices Nudo No. 2 calculadora para cualquier consulta posterior. y se aade la

Para redondear el tema utilizamos la calculadora para desarrollar el nudo de la Figura 6, denominando en la calculadora a la matriz con la letra b, la cual al resolver la determinante da: ( )

Fig. No. 11 Calculadora TI-92

APLICACIONES
La teora de nudos comenz con el modelo atmico de Lord Kelvin, en el cual el universo entero estaba hecho de una substancia llamada ter y que la materia poda ser explicada como vrtices tubulares anudados en el. Tiempo despus, dicha teora fue descartada como vlida y la teora de nudos paso a ser nicamente una rama de las matemticas puras. El primer lugar donde la teora de nudos encontr aplicaciones fue en el estudio del ADN. En 1953, James Watson y Francis Crick descubrieron que el material gentico bsico de la vida en la tierra tomaba la forma de una doble hlice. A partir de dicho descubrimiento, las relaciones entre el ADN (cido desoxirribonucleico) y la teora de nudos han sido interminables. Tambin se encontr que el ADN frecuentemente se encuentra anudado, lo cual dificulta que el ADN realice su funcin. Existen enzimas llamadas topoisomerasas que pueden realizar manipulaciones topolgicas en el ADN. Otra rea de aplicacin de la teora de nudos es la mecnica estadstica. Esta aplicacin fue descubierta recientemente. Vaughan Jones descubri dicha conexin cuando descubri el nuevo invariante polinomial de nudos y enlaces que lleva su nombre. En este campo, los nudos pueden representar sistemas y por lo tanto se incrementa su facilidad de estudio. La teora de nudos es uno de los ms fascinantes campos de estudio dentro de las matemticas, por si misma y por las mltiples aplicaciones que se han encontrado ltimamente.(Cisneros 2011)

BIBLIOGRAFA
(Lozano, 1998) Lozano, M.T, Nudos y variedades tridimensionales (Discurso de ingreso en la Real Academia de Ciencias Exactas, Fsicas, Qumicas y Naturales de Zaragoza). Zaragoza: Librera General, 1998. (Cisneros, 2011)Cisneros Molina, Jos Luis. Introduccin a la teora de nudos, v jornadas de fsica y matemticas, Universidad Autnoma de Ciudad Jurez, 2011. (Kosniowski, 1989) C. Kosniowski. Topologa Algebraica. Editorial Revent, 1989. (Vsquez 2005)Vsquez Huerta, Ma. Elena, El polinomio de Alexander como invariante de nudos, Universidad Politcnica de Quertaro, 2005. (Alexander, 1928) Alexander, J.W. Topological Invariants of knots and links, Transactions of the American Mathematical Society, 1928. (Villabn, 2010)Villabn Aldana, Edgar. El Grupo Fundamental de Enlace, Universidad Nacional de Colombia (Sede Medelln), 2010.