Estoy haciendo este ejercicio.
No estoy seguro de lo que tengo que demostrar aquí. ¿Los procedimientos son mapas o son otra cosa?
Respuesta
¿Demasiados anuncios?
Dada una topología, para cada $x$ en X, definir los nhoods de $x$ para ser todos los conjuntos $A$ para el que existe un conjunto abierto $U$ con $x \in U$ , $U \subset A$ .
Dado un sistema de nhoods, definir un nhood abierto $U$ de $x$ para ser un nhood de $x$ que es la unión de todas las nhoods $V$ de $a$ por cada $a \in U$ con $V \subset U$ .
Para demostrar que esos nhoods abiertos son una topología se utiliza si $x$ en $U$ $\cap$ V entonces existe nhood W de $x$ con $W \subset U \cap V$ .
Los espacios de la infancia tienen más interés histórico que utilidad.
