23 votos

Demostrar que un repliegue de un espacio de Hausdorff es cerrado.

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).

12voto

Harald Hanche-Olsen Puntos 22964

La prueba muestra que el complemento de $A$ está abierto.

1 votos

¿Por qué es cierto que $r^{1}(V \cap A) \cap U$ es una vecindad de $x$ disjuntos de $A$ Pero ¿Cómo sabemos que podemos encontrar una vecindad U disjunta de A?

9 votos

@Ryker Es cierto porque si $x$ pertenece a ese conjunto, por definición $x\in U$ y $r(x)\in V$ . Por lo tanto $r(x)\ne x$ Así que $x\notin A$ .

1 votos

Gracias. La verdad es que me las arreglé para averiguarlo por mi cuenta mientras tanto, pero pensé en dejar la pregunta, para que si respondías alguien más pudiera encontrarlo útil también.

2voto

KonstAns Puntos 8

Por qué $r^{-1}(V\cap A)\cap U$ es disjunta de $A$ ?

$$ \begin{array}{rcl} y\in r^{-1}(V\cap A)\cap U & \Leftrightarrow & y\in\{ z\in X: r(z)\in V\cap A \}\cap U \\ & \Leftrightarrow & y\in\{ z\in U: r(z)\in V\cap A \}. \end{array} $$ Así que $y\notin A$ . Si lo contrario fuera cierto $\;$ ( $y\in A$ ) $\;$ debería ser $y\in U \Rightarrow r(y)\in U$ , $\;$ pero $r(y)\in V\cap A\subset V$ y $U\cap V=\varnothing$ .

i-Ciencias.com

I-Ciencias es una comunidad de estudiantes y amantes de la ciencia en la que puedes resolver tus problemas y dudas.
Puedes consultar las preguntas de otros usuarios, hacer tus propias preguntas o resolver las de los demás.

Powered by:

X