Camino (topología)

En matemáticas y, en particular, en análisis complejo y topología, un camino es, intuitivamente, una sucesión continua de puntos desde un punto inicial hacia un punto final. También hablamos de camino orientado para distinguir, para la misma representación geométrica de un camino (véase el dibujo de arriba, por ejemplo), el camino que la recorre desde hasta del que lo hace desde hasta .

Puntos de un camino de a en .

Definiciones

editar

Sea   un espacio topológico. Llamamos camino o arco[1][2]​ en   a cualquier   continua. Una manera intuitiva de imaginarse un camino es entender   como un intervalo de tiempo (un minuto, por ejemplo) y que   da las posiciones que sigue un punto de   en ese tiempo. El camino sería la trayectoria que ha recorrido ese punto.

El punto inicial del camino es   (el punto de partida del recorrido en  ) y el punto final es   (el punto al que llega pasado el tiempo). Estos dos puntos se llaman indistintamente los extremos del camino. Cuando   designa el punto inicial y   el punto final del camino (ver figura arriba), hablamos de "camino que conecta   con  " o "camino de   a  ".

Cabe recalcar que un camino no es sólo un subconjunto de   "parecido a una curva", sino que también incluye una "parametrización". Esto es, un camino no es sólo la representación geométrica del camino sino cómo lo recorre. Dos caminos que recorran la misma trayectoria pero a velocidades distintas se consideran caminos distintos, por ejemplo. Por dar un ejemplo concreto, las aplicaciones   y   representan dos caminos diferentes en la recta real  , aunque ambos vayan desde el 0 hasta el 1: el primero lo hace a velocidad constante y el segundo acelerando. Del mismo modo, si consideramos una lemniscata de Bernoulli, ésta puede ser "recorrida" (desde el centro hasta el centro) de dos maneras diferentes yendo ambas a velocidad constante, una que empieza por el lado izquierdo y otra por el derecho, mientras que la lemniscata como conjunto de puntos recorrido es igual en ambos casos.[1]​Si  , recorre el círculo unitario completo, pero cada punto de este círculo se obtiene para   valores distintos de  , es decir,   "recorre el círculo unitario   veces” (las veces se cuentan en positivo si se recorre en el sentido contrario de las agujas del reloj y negativo en caso contrario).[3]

El conjunto de todos los caminos en   forma un espacio topológico con una fibración en  .

Un camino cerrado en   es un camino cuyos dos extremos son idénticos (acaba donde empezó). En particular, si   es constante,   es un camino cerrado que se reduce a un solo punto (lo llamamos el camino constante en  ). [3]

Un espacio topológico en   en el que cualquier par de puntos   se pueden conectar por un camino (existe un camino con punto inicial   y punto final  ) se denomina conexo por caminos. Cualquier espacio se puede descomponer en un conjunto de componentes conexas por caminos (las clases de equivalencia por la relación   camino de   a  ). El conjunto de componentes conexas por caminos de un espacio   se suele denotar   .

Homotopía de caminos

editar
 
Una homotopía entre dos caminos.

Los caminos son un tema central de estudio para la rama de topología algebraica llamada teoría de la homotopía. Una homotopía de caminos es, a grandes rasgos, una transformación continua de un camino en otro sin mover los extremos.

Formalmente, una homotopía de caminos en   es una familia de caminos   indexados por   tal que

  •   y   son fijos;
  • la aplicación   definida por   es continua.

Podemos entender una homotopía como una aplicación que transforma un camino   en un camino   continuamente sin cambiar sus extremos en el intervalo de tiempo  . Esto justifica que la aplicación   anterior se denomine homotopía de   a  . Cada uno de los caminos   es el camino en el   se ha transformado en el tiempo   a medida que se transforma en  .

Los dos caminos   y   conectados por una homotopía se llaman homótopos. También podemos definir una homotopía de caminos cerrados dejando fijo el punto base (el punto inicial y final, que son el mismo).

La relación de homotopía (dos caminos están relacionados si son homótopos) es una relación de equivalencia entre los caminos de un espacio topológico. La clase de equivalencia del camino   por esta relación se llama clase de homotopía de   y a menudo se denota  .

Concatenación de caminos

editar

Podemos concatenar caminos en un espacio topológico de forma obvia. La idea de lo que representa la concatenación de dos caminos es el camino resultante de hacer primero uno y, al acabar, hacer el siguiente. Es necesario para la continuidad que el segundo camino empiece donde acabó el primero.

Sea   un camino de   a   y   un camino de   a  . Denotamos su concatenación como   definido como sigue:

 

La forma natural de definir la concatenación habría sido recorrerlo en dos unidades de tiempo, la primera para recorrer   y la segunda para recorrer  . Sin embargo, la definición de camino impone que se recorran en una unidad de tiempo, por lo que tenemos que recorrer   y   al doble de velocidad en la concatenación.

Está bien definido, pues es continuo por el lema del pegado:   y   son continuas y coinciden en la intersección de los trozos cerrados donde se define cada una en la concatenación. No es asociativo, por las diferencias en la parametrización (  recorre los caminos en tiempos  , respectivamente, mientras que   lo hace en tiempos  ) Sin embargo, sí es asociativo salvo homotopía, es decir,   (existe una homotopía entre ambos caminos que consiste intuitivamente en reajustar continuamente los tiempos dedicados a cada tramo). Las clases de homotopía de caminos en   forman con esta operación un grupoide, llamado grupoide de Poincaré de   y denotado  .

Para cualquier punto   de  , el subgrupoide de las clases de homotopía de bucles cerrados en   es por lo tanto un grupo, llamado grupo fundamental de   en el punto   y denotado por  . Es de gran importancia en topología, pues se conserva, salvo isomorfismo, por homeomorfismo, es decir, impone una condición necesaria (su conservación) para que dos espacios sean homeomorfos.

Caminos en un espacio vectorial normado

editar

En el caso de que el espacio topológico   sea un espacio vectorial normado, o un espacio afín asociado a un espacio vectorial normado, podemos distinguir más tipos de caminos según las nuevas estructuras disponibles.

  • Segmento: se dice que un camino es un segmento si se puede escribir como   para todo  . el vector   se llama vector director de  . El "soporte" del camino (es decir, su imagen) es entonces un segmento de recta.
  • Camino poligonal: se dice que un camino es poligonal si se escribe como la concatenación de un número finito de segmentos. Por ejemplo, una ruta en Manhattan es un camino poligonal.
  • Camino de clase  : un camino puede ser clase   con  . Por definición, cualquier camino es continuo y por tanto de clase  , pero también podemos tener mayores niveles de regularidad. Un camino de clase   con   se dice que es regular si   para todo  . Un camino regular de clase   se llama camino suave.

Referencias

editar
  1. a b Laurent Schwartz (1995). Analyse I. Hermann. p. 255. ISBN 978-2-7056-6161-8. OCLC 439120175. .
  2. Jacques Dixmier (1981). Topologie générale. Paris: Gauthier-Villars. p. 148. .
  3. a b Jean Dieudonné (1980). Calcul infinitésimal. Hermann. p. 198. ISBN 978-2-7056-5907-3. OCLC 6787042. .

Bibliografía

editar

Enlaces externos

editar