Introducción al concepto de topología

Para comenzar a trabajar la materia, evidentemente viene siendo útil conocer la definición de topología.

(Def. Topología) Para un conjunto no vacío X, un subconjunto τP(X) se dice topología en X (o lo que es lo mismo: (X,τ) es espacio topológico) cuando se verifican las siguientes propiedades:
  • ,Xτ.
  • La unión arbitraria de elementos de τ permanece en τ. Es decir, si {Ai}iIτ, ha de verificarse: iIAiτ.
  • La intersección de dos elementos arbitrarios de τ sigue en τ. Matemáticamente: A1A2τ,A1,A2τ.

Observar que la tercera propiedad es equivalente, a partir de un argumento inductivo; a tener que la intersección finita de elementos de τ es de nuevo un elemento de τ. Se introducen los siguientes conceptos básicos a la hora de hablar de un espacio topológico:

Siendo (X,τ) espacio topológico, a los elementos de τ se les hace denominar abiertos de la topología. A aquellos elementos AX tales que XAτ, se les denomina cerrados de la topología. Como notación:
Cτ:={AX:XAτ}

Teniendo estos pilares a mano, veamos algunos ejemplos de topologías. Es importante pillar las justificaciones posteriores pues las topologías que mencionaremos ahora se trabajan a lo largo de todo el curso, y como tal: se darán por conocidas.

(Topologías básicas) Para un conjunto X, los siguientes conjuntos son topologías en X:
  1. (Topología indiscreta o trivial) τ1={,X}.
  2. (Topología discreta) τ2=P(X)={A:AX}.
  3. (Topología cofinita) τ3={AX:XA es finito}{}.

Demostración: Respecto a la topología trivial, es evidentemente que cualquier unión e intersección de abiertos de τ1 es el total o el vacío, y como tal: son elementos de τ1. La primera propiedad se verifica trivialmente así que τ1 es claramente una topología en X.

En cuanto a la topología discreta, evidentemente: ,XP(X); la unión arbitraria de subconjuntos de X sigue siendo un subconjunto de X; y la intersección finita de abiertos tiene todos sus elementos en X, verificando entonces (X,τ2) ser espacio topológico.

Finalmente, escribamos bien las propiedades respecto a la topología cofinita. La primera de todas es cierta pues τ3 y, partiendo de que es finito: XX=Xτ3. En cuanto a la unión arbitraria de abiertos: Sean {Ai}iIτ3, queriendo ver: iIAiτ3 Si Ai=,iI; la unión claramente es el conjunto vacío, incluído en τ3. De lo contrario: i0I:Ai0XAi0 es finito. Se tiene: XiIAi=XiIAiAiXAi0 conjunto finito Por estar contenido en un conjunto finito, necesariamente XiIAi es finito, lo cual implica, dada la definición: iIAiτ3. En cuanto a la intersección de dos abiertos A1,A2τ3 cualesquiera, si alguno de estos es vacío, la intersección de ambos es vacía y como tal permanece en τ3. En cualquier otro supuesto: A1,A2τ3{}XA1,XA2 son ambos conjuntos finitos. Se tiene: X(A1A2)=Ley de De Morgan(XA1)(XA2) conjunto finito Por tanto: X(A1A2) es finito A1A2τ3. Se concluye la demostración. 

Como comentario final, observar que los abiertos de la topología discreta se pueden escribir como XA:A es finito (pues ello asegura que X(XA)=A sea finito). Puede ser útil en algunas demostraciones.

Problemas propuestos

  1. (Métricas) Dado un conjunto X no vacío, se dice que d:X×XR es métrica (equivalentemente: (X,d) es espacio métrico) cuando se verifican las tres propiedades siguientes: d(x,y)0,x,yXd(x,y)=d(y,x),x,yXd(x,y)d(x,z)+d(z,y),x,y,zX (i) Demuestra que las aplicaciones siguientes son métricas en R: (Usual) dU:R2R;dU(x,y)=|xy|,x,yR(Taxi) dT:R2R;dT(x,y)=|x|+|y|,x,yR Teniendo (X,d) espacio métrico, es costumbre definir las bolas abiertas: B(x0,ρ)={xX:d(x,x0)<ρ} , y las cerradas: ˉB(x0,ρ)={xX:d(x,x0)ρ} (ii) Haz un esbozo de las bolas abiertas y cerradas respectivas a la métrica usual y la métrica taxi.
  2. (Topología métrica) Sea (X,d) un espacio métrico cualquiera, demuestra que: τd:={xAρxIB(x,ρx), tal que AX,IR+} , conforma una topología de X. Con la métrica dU definida de Rn en R similarmente como se hizo en el enunciado previo, a la topología métrica (R,Tu) se le acostumbra a denominar topología usual de R.
  3. Sean a<b números reales. Muestra explícitamente que el intervalo (a,b) es un abierto de la topología usual de R. Muestra que (a,b] no lo es.
  4. (Examen) Siendo X={0}([1,2]Q)]3,+[R, se define: T={AX:0AA]3,+[}{} Pruébese que (X,T) es espacio topológico.
  5. Sea X un conjunto no vacío y xX. Muestra que: Tx={UX:xU}{} es una topología de X.


Comentarios