Un subespacio $A \subset X$ se llama un repliegue de $X$ si hay un mapa $r: X \rightarrow A$ tal que $r(a) = a$ para todos $a \in A$ . (Este mapa se denomina repliegue).
Prueba. Dejemos que $x \notin A$ y $a =r(x) \in A$ . Desde $X$ es Hausdorff, $x$ y $a$ tienen vecindades disjuntas $U$ y $V$ respectivamente. Entonces $r^{−1}(V \cap A) \cap U$ es una vecindad de $x$ disjuntos de $A$ . (*) Por lo tanto, $A$ está cerrado.
No entiendo cómo " $r^{−1}(V \cap A) \cap U$ es una vecindad de $x$ disjunta de $A$ " implica que $A$ está cerrado. Agradecería que alguien me indicara la dirección correcta.
5 votos
En realidad, creo que es más natural demostrarlo observando que $A$ es el conjunto de puntos fijos de $r$ .
4 votos
Y el conjunto de puntos fijos de $r$ es necesariamente cerrado en $X$ ?
16 votos
Sí. El conjunto de puntos fijos es la imagen inversa de la diagonal en $X\times X$ bajo el mapa continuo $x\mapsto(x,r(x))$ y la diagonal es cerrada. (También hay más pruebas directas, ninguna de ellas realmente difícil).
0 votos
¿Alguien excepto yo tiene el problema de entender por qué $r^{-1}(V\cap A)$ está abierto en primer lugar?
3 votos
@mathreader: Dado que la imagen de $r$ está (contenido en) $A$ ya, $r^{-1}(V\cap A)=r^{-1}(V)$ .
0 votos
¿Cómo puede $V \cap A = V$ ? Si $V$ no es más que una vecindad abierta de $r(x)$ entonces ¿cómo puedes estar seguro de que no hay puntos en $V$ que se encuentran en $X$ \ $A$ ?
1 votos
@OliverG No creo que $V \cap A=V$ está implícito. Claramente, $LHS \subseteq RHS$ . A la inversa, $x \in RHS \Rightarrow r(x) \in V$ . Pero la imagen de $r$ está en $A$ Así que $r(x) \in V \cap A$ y $x \in r^{-1}(V \cap A)$ .
0 votos
El conjunto $V \cap A$ es un conjunto abierto en la topología del subespacio para $A$ . Desde $r : X \to A$ es continua, eso implica que la imagen inversa es abierta.