Deje $X$ $Y$ ser espacios topológicos y deje $A \subseteq X$ ser un subespacio de $X$. Supongamos $A$ es homeomórficos a algunos subespacio $B \subseteq Y$$Y$. Deje $f$ explícitamente denotar esta homeomorphism.
Si $f : A \to B$ es un homeomorphism, no $f$ extenderse a un homeomorphism entre el$\text{Cl}_X(A)$$\text{Cl}_Y(B)$, yo.e ¿existe un $g : Cl_X(A) \to Cl_Y(B)$, de tal manera que $g|_{A} = f$.
Más generalmente, si $A$ $B$ son homeomórficos, ¿eso implica que $Cl_X(A)$ $Cl_Y(B)$ son homeomórficos?
Si $X$ $Y$ son homeormorphic, esto es cierto, ya que es bien conocido teorema que $f[Cl_X(A)] = Cl_Y(f[A] = B)$ si $f : X \to Y$ es un homeomorphism.
Sin embargo, me parece que no puede venir para arriba con un contraejemplo para mi pregunta, ya que supongo que la implicación es falsa.
Edit : sé un contraejemplo que viene de CW Complejos, donde si $(X, \xi)$ es un CW-Complejo, $\xi$ es una colección de celdas abiertas $e$, los cuales son espacios topológicos homeomórficos a $\mathbb{B}^n$ el abierto de la unidad de pelota en $\mathbb{R}^n$. Cada una de las $e \subseteq X$ es un subespacio de un haursdoff espacio de $X$.
También una de celda cerrada $\bar{e}$ es un espacio topológico homeomórficos a la unidad cerrada balón $\mathbb{\bar{B}}^n \subseteq \mathbb{R}^n$
Ahora, en este ejemplo,$Y = \mathbb{R}^n$. También se sabe que para cualquier $e \in \xi$, $Cl_X(e) \neq \bar{e} \cong {\mathbb{\bar{B}}^n} = Cl_Y(\mathbb{{B}}^n \cong e) $
Por lo tanto $e$ $\mathbb{B}^n$ son homeomórficos, sin embargo $Cl_X(e)$ no es homeomórficos a $Cl_Y(\mathbb{B}^n) = \mathbb{\bar{B}}^n$, ya que el $Cl_X(e) \neq \bar{e}$
Pero usando el ejemplo de arriba se siente como llevar un arma a una lucha del cuchillo, hay más contraejemplos?