Juegos topológicos

Grupo fundamental de 2-complejos

Posted on: enero 30, 2018

Captura_de_pantalla_14_

Si queremos hallar el grupo fundamental de un 2-complejo X basado en un punto x0, lo primero que debemos hacer es elegir dicho punto y enumerar todos los vértices.  A continuación, hallaremos un árbol maximal. (Recordemos que un árbol es un grafo conexo que no contiene caminos de aristas cerrados. Por otro  lado, se dice que es maximal cuando contiene todos los vértices del grafo). Lo siguiente es determinar los generadores. Esto se hace partiendo del punto x0 y volviendo a él tras recorrer una de las aristas que quedan fuera del árbol maximal (sólo podemos salir del árbol maximal para recorrer dicha arista). Por último, se obtienen las relaciones, que se corresponden con las 2-celdas del 2-complejo; el borde de cada 2-celdas es un lazo equivalente al lazo constante en x0.

Nota: El número de generadores coincide con el número de aristas que no pertenecen al árbol maximal y el número de relaciones coincide con el número de 2-celdas que tiene el 2-complejo.

A continuación vamos a ver algunos ejemplos:

Ejemplo 1

Captura_de_pantalla_14_

Como sólo hay un vértice, el árbol maximal está formado por el punto x_0 unicamente. Los generadores serán a y b y las relaciones son:

bb-1=1, aa-1=1, aba-1b-1=1

de la última relación obtenemos que ab = ba, es decir, el grupo es conmutativo.

Por tanto, el grupo fundamental es: π(X,x0) = <a,b | ab = ba>, que es isomorfo a Z x Z.

Ejemplo 2:

Captura_de_pantalla_13_

De nuevo, el árbol maximal está formado por un solo vértice, x_0. Los generadores son a, b y c y las relaciones son:

acb = 1, abc-1= 1, ab-1 = 1, de donde obtenemos que a=b, a2=c, a4=1.

Por tanto, el grupo fundamental es: π(X,x0) = <a |a4=1>, que es isomorfo a Z_4.

Ejemplo 3:

Captura_de_pantalla_12_

No hay árbol maximal. Los generadores son a y b y las relaciones son:

a2=1, b2=1, aba-1b-1=1

de la última relación obtenemos que ab = ba, es decir, es conmutativo.

Por tanto, el grupo fundamental es: π(X,x0) = <a,b |a2=1, b2=1, ab=ba>, que es isomorfo a Z2 x Z2.

Alumnos:

Aurelio González Molina

Juan Francisco Alonso Martinez

Anuncios

Responder

Introduce tus datos o haz clic en un icono para iniciar sesión:

Logo de WordPress.com

Estás comentando usando tu cuenta de WordPress.com. Cerrar sesión /  Cambiar )

Google+ photo

Estás comentando usando tu cuenta de Google+. Cerrar sesión /  Cambiar )

Imagen de Twitter

Estás comentando usando tu cuenta de Twitter. Cerrar sesión /  Cambiar )

Foto de Facebook

Estás comentando usando tu cuenta de Facebook. Cerrar sesión /  Cambiar )

w

Conectando a %s

Estadísticas del blog

  • 801,231 visitas

Síguenos en

Google translator

Enjoy geometry with our new Virtual Reality game

App Surface Projection

A new app to play topology. Get it for free filling https://goo.gl/ZxAkga

Sierpinski carpet project

Juego alicatado con hilos.

3D POLYFELT – POLIFIELTROS 3D

Premiados en 2012, 2013, 2014, 2015, 2017

Enlaces

Escribe tu dirección de correo electrónico para suscribirte a este blog, y recibir notificaciones de nuevos mensajes por correo.

Únete a otros 83 seguidores

Actualizaciones de Twitter

Anuncios
A %d blogueros les gusta esto: