En el examen de febrero pregunté por tres espacios que no son homeomorfos entre sí. Dichos espacios son subconjuntos del plano euclídeo: A=\{(x,y)\in {\mathbb R}^2:x^2+y^2\leq 1\}, B=A-\{(1,0)\} y C={\mathbb S}^1. Se preguntaba que cualquier par de dichos espacios no son homeomorfos. Para ello se usa conexión y compacidad.
- A es compacto por ser cerrado y acotado. Es cerrado ya que A=f^{-1}([0,1]) donde f:{\mathbb R}^2\rightarrow{\mathbb R} es la aplicación continua f(x,y)=x^2+y^2.
- B no es compacto ya que no es cerrado, pues su adherencia es A: toda bola centrada en (1,0) interseca a B.
- C es compacto por ser acotado y cerrado: es cerrado ya que C=f^{-1}(\{1\}).