Convergencia en topología
Hemos visto en el post anterior que sobre un mismo conjunto se pueden definir innumerables topologías diferentes, y que en función de qué topología estemos manejando, ocurrirán unas cosas u otras. Hemos visto que la noción aparentemente sencilla de interior de un conjunto varía completamente según la topología considerada.
Vimos que todos tenemos unas nociones topológicas previas, aunque no lo sepamos, y que éstas hacen referencia a la llamada topología usual ; aquella cuyos abiertos son bolas abiertas o uniones arbitrarias de ellas.
No quiero abandonar el tema sin mencionar un tema importante en el que la topología que definamos en también determinante: la convergencia de una sucesión.
Llamamos sucesión de elementos de un conjunto X a una aplicación del conjunto N de los números naturales en X, de forma que a cada natural i le corresponde el elemento ai.
En la figura siguiente tenemos una sucesión de puntos en espiral que "cae" hacia un punto p. Visualmente comprendemos que dicha sucesión converge al punto p: pero necesitamos una definición basada en conceptos topológicos.
Diremos que la sucesión (ai) converge a un punto p cuando todo entorno de p contiene a todos los elementos de la sucesión a partir de uno dado.
En la figura lo vemos claramente: tenemos dibujado un entorno Up del punto p, y vemos que a partir de A 6 , todos los puntos de la sucesión caen dentro de Up. Si hubiéramos tomado un entorno menor, simplemente tendríamos que haber esperado a un punto de índice más alto, pero la situación sería la misma.
Qué sucede en la topología extraña del post anterior?
Lo vemos en la figura siguiente:
También es convergente la sucesión, pero ahora resulta que tanto converge al punto p de antes como al punto q o al punto r , dibujados en rosa. Esto es así porque los entornos de los tres puntos son los mismos; no estamos en un espacio de Hausdorff , y por lo tanto existen puntos diferentes que no pueden ser separados por entornos diferentes. Parece absurdo admitir que una sucesión como la dada converge a un punto q o r , cuando ni siquiera se acerca a ellos, pero es que en dicha topología la noción de proximidad no es la que a nosotros nos parece normal...
En este espacio, la sucesión converge, pero lo hace a infinitos puntos, todos ellos con la misma componente x.
Aunque no lo demostraremos aquí, que un espacio sea de Hausdorff es tranquilizador: en todo espacio de Hausdorff , si una sucesión converge a un punto, dicho punto es único. En cierto modo un espacio de Hausdorff es un espacio de "buen comportamiento". Pero no siempre; vean el siguiente ejemplo de un espacio de Hausdorff:
Si consideramos la topología discreta , la más fina de las posibles; el espacio resultante es evidentemente de Hausdorff; pues todo subconjunto del plano es un abierto de la misma, y sin embargo resulta que la sucesión del ejemplo NO CONVERGE.
¿Cómo es esto?
Pues muy sencillo:
Repito la definición de sucesión convergente:
Diremos que la sucesión (ai) converge a un punto p cuando todo entorno de p contiene a todos los elementos de la sucesión a partir de uno dado.
Recordemos que un entorno de un punto es todo subconjunto que contiene un abierto que a su vez contiene al punto considerado.En la topología discreta , el propio punto es un abierto que se contiene a sí mismo, y ningún punto de la sucesión es exactamente el punto p, a pesar de que el acercamiento euclidiano al mismo es cada vez mayor, por lo que la sucesión en esta topología no converge.
No les parece todo esto impresionante?
Si la respuesta es NO, mantengan al menos la convicción de que la culpa es de quien esto les cuenta, no del tema en sí.
Vimos que todos tenemos unas nociones topológicas previas, aunque no lo sepamos, y que éstas hacen referencia a la llamada topología usual ; aquella cuyos abiertos son bolas abiertas o uniones arbitrarias de ellas.
No quiero abandonar el tema sin mencionar un tema importante en el que la topología que definamos en también determinante: la convergencia de una sucesión.
Llamamos sucesión de elementos de un conjunto X a una aplicación del conjunto N de los números naturales en X, de forma que a cada natural i le corresponde el elemento ai.
En la figura siguiente tenemos una sucesión de puntos en espiral que "cae" hacia un punto p. Visualmente comprendemos que dicha sucesión converge al punto p: pero necesitamos una definición basada en conceptos topológicos.
Diremos que la sucesión (ai) converge a un punto p cuando todo entorno de p contiene a todos los elementos de la sucesión a partir de uno dado.
En la figura lo vemos claramente: tenemos dibujado un entorno Up del punto p, y vemos que a partir de A 6 , todos los puntos de la sucesión caen dentro de Up. Si hubiéramos tomado un entorno menor, simplemente tendríamos que haber esperado a un punto de índice más alto, pero la situación sería la misma.
Qué sucede en la topología extraña del post anterior?
Lo vemos en la figura siguiente:
También es convergente la sucesión, pero ahora resulta que tanto converge al punto p de antes como al punto q o al punto r , dibujados en rosa. Esto es así porque los entornos de los tres puntos son los mismos; no estamos en un espacio de Hausdorff , y por lo tanto existen puntos diferentes que no pueden ser separados por entornos diferentes. Parece absurdo admitir que una sucesión como la dada converge a un punto q o r , cuando ni siquiera se acerca a ellos, pero es que en dicha topología la noción de proximidad no es la que a nosotros nos parece normal...
En este espacio, la sucesión converge, pero lo hace a infinitos puntos, todos ellos con la misma componente x.
Aunque no lo demostraremos aquí, que un espacio sea de Hausdorff es tranquilizador: en todo espacio de Hausdorff , si una sucesión converge a un punto, dicho punto es único. En cierto modo un espacio de Hausdorff es un espacio de "buen comportamiento". Pero no siempre; vean el siguiente ejemplo de un espacio de Hausdorff:
Si consideramos la topología discreta , la más fina de las posibles; el espacio resultante es evidentemente de Hausdorff; pues todo subconjunto del plano es un abierto de la misma, y sin embargo resulta que la sucesión del ejemplo NO CONVERGE.
¿Cómo es esto?
Pues muy sencillo:
Repito la definición de sucesión convergente:
Diremos que la sucesión (ai) converge a un punto p cuando todo entorno de p contiene a todos los elementos de la sucesión a partir de uno dado.
Recordemos que un entorno de un punto es todo subconjunto que contiene un abierto que a su vez contiene al punto considerado.En la topología discreta , el propio punto es un abierto que se contiene a sí mismo, y ningún punto de la sucesión es exactamente el punto p, a pesar de que el acercamiento euclidiano al mismo es cada vez mayor, por lo que la sucesión en esta topología no converge.
No les parece todo esto impresionante?
Si la respuesta es NO, mantengan al menos la convicción de que la culpa es de quien esto les cuenta, no del tema en sí.
11 comentarios
kari -
Maria -
Sea (X, T ) un espacio 1AN y sea T' otra topologisa sobre X / T' contenida en T ¿ (X, T') 1AN?
josé querales -
mewt -
Y creeme, es mucho mejor usar definiciones que no te obliguen a estar separando casos por si se repiten o no los elementos...
Palimp -
Esto me reafirma en lo que decía antes; sólo un matemático llamaría a 5,5,5,5,5... una sucesión!!
:P
mewt -
y sus primas hermanas las "eventualmente constantes", que son de la forma
p1,p2,p3,...,p_i,p,p,p,p,p...
(esto es, en un determinado momento se hacen constantes). La topología discreta se caracteriza porque las únicas sucesiones convergentes son las eventualmente constantes. La propiedad de Hausdorff, y el asunto de la convergencia están mucho más relacionados de lo que parece, y tenemos incluso algunas similitudes sorprendentes entre los espacios de Hausdorf y los "espacios métricos" (los de toda la vida, donde se puede hablar de distancia entre puntos) cuando sustituimos el concepto de "sucesión" por otra cosa un poco más general, que los topólogos denominan "red". Pero esto es otra historia, y debe ser contada en otra ocasión ;-)
TioPetros -
Corrijo la frase, porque al empezarla con "por ultimo..." parece que estoy hablando de otra cosa, cuando lo que quiero es precisamente poner un ejemplo de lo afirmado justo antes.
Palimp -
Palimp -
Me hace gracia porque cuando estaba leyendo lo de la serie que converge en infinitos puntos pensaba ¡Ala, que curioso! Y luego lo preguntas...
Por cierto, dices vean el siguiente ejemplo de un espacio de Hausdorff: Y yo no veo nada ¿Problema mío o es que falta algo?
TioPetros -
Cluje -