Compactificación por un punto

Sea un espacio compacto X y p un punto suyo. Me pregunto si es cierto que una compactificación de X-\{p\} es X, considerando la inclusión i:X-\{p\}\hookrightarrow X .

Examen del segundo parcial

En el examen del segundo parcial del día 24 no se va a preguntar "arco-conexión". Por tanto, el examen se corresponde con los temas 5 (separación y numerabilidad), 6 (compacidad) y 7 (topologías finales y cocientes).

Axiomas de separación y numerabilidad

En la recta real R, consideramos la topología que tiene como base la familia \beta=\{(a,\infty);a\in R\}.

Estudiar si el espacio topológico satisface los axiomas de numerabilidad ANI y ANII. También si el espacio es normal.

Más sobre compacidad

Sea un espacio topológico (X,\tau) y \beta=\emptyset\cup\{O\in \tau;X - O\mbox{ es compacto en }(X,\tau)\} . Probar que beta es base de una topología \tau' y que está incluida en \tau. Además (X,\tau') es compacto.

Compacidad y adherencia

Probar que en un espacio Haussdorff, la adherencia de conjunto compacto también es compacto.

Poner un contraejemplo de que no es cierto el resultado si el espacio no es Haussdorff.

Ejercicios para el final

Como las clases ya han acabado, he pensado que podemos continuar en blog proponiendo/resolviendo ejercicios. Hasta el examen del segundo parcial, vamos a considerar exámenes de los temas 5, 6 y 7.

Las soluciones tienen que aparecer en el blog, en los comentarios de cada una de las entradas.

El primero es el siguiente: se considera el conjunto [0,1]x R y la relación de equivalencia R que identifica los puntos con lasmismas ordenadas de las rectas {x=0} y {x=1}. Probar que el espacio cociente es homeomorfo a S^1 x R

Cosiendo los intervalos de la recta real

Definimos una relación de equivalencia en la recta de los números reales que identifica cada uno de los intervalos de la forma [2n,2n+1] donde n es un número entero. Es decir, xRy si existe n tal que x e y pertenecen a algún intervalo de la forma [2n,2n+1]. Esta relación lo que hace es que dichos intervalos se convierten en un punto en el conjunto cociente, como si cosiéramos el intervalo; y los intervalos de la forma (2n+1,2n) se dejan tal como están.

Es evidente que el espacio cociente es homeomorfo a R. Para ello basta definir la aplicación f(x)=n, si x está en un intervalo de la forma [2n,2n+1] y f(x)=(x-1)/2, si x está en un intervalo de la forma [2n+1,2n+2]. Esta aplicación es continua y la relación R_f es R. Por otro lado, aparte de ser sobreyectiva, es cerrada (no es abierta). Así f es una identificación, que induce un homeomorfismo entre R/R y R

Clases, tutorías y exámenes

Como ya sabéis, el curso casi ha acabado. Hasta el primer parcial queda casi un mes, y el final, es ya metidos en julio.

Para aquellas personas que tienen alguna duda de la asignatura y quiera consultármela tiene las vías de siempre: correo electrónico, o quedar en el despacho. Mi consejo es que si no es un montón de dudas, un correo electrónico es más rápido y efectivo, ya que la respuesta es rápida.

Si alguien quiere mejor el despacho, porque así se explica más detenidamente, basta con concertar una hora por correo electrónico.