Grupo fundamental


Grupo fundamental
Mediante lazos con base en un punto fijo podemos explorar el espacio topológico al que pertenece. Las clases de equivalencia de estos lazos formarán el grupo fundamental.

En topología, podemos asociar a cada punto p de un espacio topológico X un grupo que nos informa sobre la estructura 1-dimensional de la porción de espacio que rodea a este punto. Los elementos de este grupo, llamado grupo fundamental, son clases de equivalencia de lazos (curvas cerradas) con origen en el punto p.

Existen generalizaciones a dimensión superior de este grupo, que reciben el nombre de grupos de homotopía. El grupo fundamental recibe también el nombre de primer grupo de homotopía. De ahí la forma común de notarlo como \pi_1(X,p) \,.

Contenido

Definiciones

Lazo

Sea X un espacio topológico, y p un punto fijo de X. Un lazo con base en p es una aplicación continua \gamma : [0,1] \to X que verifica γ(0) = γ(1) = p.

El producto α * β de dos lazos α y β se define como (\alpha * \beta)(t)= \begin{cases}\alpha(2t)& 0\leq t \leq \frac{1}{2}\\\beta(2t-1)& \frac{1}{2} \leq t \leq 1\end{cases} Esto es, el lazo α * β primero recorre el camino de α, pero a "doble velocidad" y después el de β, también a doble velocidad.

Clases de homotopía

Las clases de homotopía son las clases de equivalencia debidas a la relación de ser homotópico. Dos lazos \alpha,\beta:[0,1]\to X \, con base en un punto común p son homotópicos si existe una aplicación continua H:[0,1]\times [0,1]\to X\, tal que

H(s,0)=\alpha(s) \,
H(s,1)=\beta(s) \,
H(0,t)=p \,.

Intuitivamente una clase de homotopía representa un paquete de curvas que son deformables entre sí.

Grupo fundamental

El producto de dos clases de homotopía de lazos [f] y [g] se define como [f ∗ g]. Puede demostrarse que este producto está bien definido al ser independiente de la elección de representantes. Este producto nos permite obtener una estructura de grupo: el elemento neutro será la clase [γ] del lazo trivial definido como γ(t) = p para todo t; el inverso de la clase de un lazo [f] será la clase del mismo lazo recorrido en sentido contrario (es decir, f − 1(t) = f(1 − t))

El grupo fundamental de un espacio topológico X \, basado en un punto p\in X, notado como \pi_1(X,p) \,, es el conjunto de clases de homotopía de curvas cerradas con la operación yuxtaponer clases.

Propiedades

  • Si el espacio es arco-conexo, los diferentes grupos \pi_1(X,p) \, y \pi_1(X,q) \, para dos puntos p,q \in X son isomorfos. Siendo posible hablar de el grupo fundamental del espacio: \pi_1(X) \,.
  • Una aplicación continua f:X \to Y entre dos espacios topológicos induce una aplicación del conjunto de lazos de X sobre el de lazos de Y. Esta aplicación se induce también sobre las clases respectivas y se convierte en un homomorfismo f * entre los grupos fundamentales definido de este modo: f_*[\alpha]=[f\circ\alpha].
  • La asignación dada por X\to\pi_1(X) \, que va de la categoría de espacios topológicos a la categoría de grupos es un functor.
  • Este invariante puede ser calculado mediante la técnica de grafo de grupos conocida como el Teorema de Seifert-van Kampen. Con este resultado basta descomponer el espacio en 2 espacios más simples donde el grupo fundamental sea conocido.

Ejemplos

  • En muchos espacios sólo existe una clase de homotopía de lazos, y en consecuencia, el grupo fundamental es trivial. Un espacio topológico con grupo fundamental trivial se dice simplemente conexo. Rn, o cualquier subconjunto convexo de Rn lo son. La esfera de dimensión n con n mayor o igual que 2 también lo es.
  • El espacio topológico más simple no simplemente conexo es la circunferencia: su grupo fundamental es isomorfo al grupo aditivo de los números enteros Z. El número entero asociado a cada lazo de S1 es el número de vueltas que ese lazo da en torno a ella.
  • Si X e Y son dos espacios topológicos arcoconexos, el grupo fundamental del producto X x Y es isomorfo al producto de los grupos de ambos espacios. Por ejemplo, si para la circunferencia, \pi_1(S^1)=\mathbb{Z}. Para el toro, homeomorfo a un producto de circunferencias,\pi_1(T^2)=\mathbb{Z}\oplus \mathbb{Z}.
  • El grupo fundamental no tiene por qué ser conmutativo. Por ejemplo, el grupo fundamental del plano privado de dos puntos  \mathbb R^2-\{a;b\} es isomorfo al grupo libre con dos generadores F2. Estos dos generadores son las clases de los lazos que pasando por un punto p rodean a cada uno de los puntos eliminados.

Bibliografía


Wikimedia foundation. 2010.

Mira otros diccionarios:

  • Fundamental — puede hacer referencia a: Lo relativo a los fundamentos de alguna cuestión, es decir:[1] a lo que sea su principio o parte principal (véase también origen (desambiguación), esencia, y otros términos relacionados). a lo que sea su base o cimientos …   Wikipedia Español

  • Grupo — (del italiano gruppo), la pluralidad de elementos que forman un conjunto, puede hacer referencia a: Contenido 1 En matemáticas 2 En astronomía 3 En física …   Wikipedia Español

  • Grupo ortogonal — En matemática, el grupo ortogonal de grado n sobre un cuerpo F (escrito como O(n, F)) es el grupo de matrices ortogonales n por n con las entradas en F, con la operación de grupo dada por la multiplicación de matrices. Éste es un subgrupo del… …   Wikipedia Español

  • Grupo lineal general — En matemáticas, el grupo lineal general (GL) de un espacio vectorial , denotdo como , es el grupo formado por todos los isomorfismos de ese espacio. Cuando el espacio vectorial es siendo un cuerpo F (tal como o …   Wikipedia Español

  • Grupo libre — grafo de Cayley del grupo libre de dos generadores, a y b. En teoría de grupos, un grupo G se dice libre si hay un subconjunto S de G, tal que todo elemento de G puede escribirse en una forma única como producto de finitos elementos de S y sus… …   Wikipedia Español

  • Grupo de homeotopía — En la topología el concepto de grupo de homeotopía de una superficie, S, consiste en el grupo de las clases de isotopía de los auto homeomorfismos de S donde se factorizan los auto homeomorfismos isotópicos al mapeo identidad de S. Este concepto… …   Wikipedia Español

  • Grupo Empresarial Ángeles — Tipo Privada Administración Olegario Vázquez Raña Presidente Olegario Vázquez Aldir Director general …   Wikipedia Español

  • Grupo Pachuca — es uno de los grupos empresariales más importantes de México. Ubicado en la ciudad de Pachuca de Soto en el Estado de Hidalgo, este grupo empresarial es dueño del equipo de fútbol profesional Club de Fútbol Pachuca, así como de varios niveles de… …   Wikipedia Español

  • Grupo P.I Mabe — Tipo Privada Fundación 1977 Sede …   Wikipedia Español

  • Grupo de Operaciones Policiales Especiales — Activa 7 de junio de 1979 presente País …   Wikipedia Español