Como se ha señalado, la noción de "abierto" y "cerrado" no es absoluta, sino que depende de un topología . Por lo tanto, para responder a su pregunta hay que preguntarse primero qué topología está considerando.
Un espacio topológico es un par, $(X,\tau)$ , donde $X$ es un conjunto no vacío, y $\tau$ es una colección de subconjuntos de $X$ tal que:
- $\emptyset$ y $X$ son ambos elementos de $\tau$ ;
- Si $A$ y $B$ son elementos de $\tau$ entonces $A\cap B$ es un elemento de $\tau$ ;
- Si $\{A_i\}_{i\in I}$ es una familia arbitraria de elementos de $\tau$ entonces $\bigcup_{i\in I}A_i$ es un elemento de $\tau$ .
Los elementos de $\tau$ se dice que son "abiertas" (en $X$ en la topología $\tau$ ), y un conjunto $C\subseteq X$ se dice que es "cerrado" si y sólo si $X-C\in\tau$ (es decir, si el complemento está abierto).
En $\mathbb{R}$ podemos dejar que $\tau$ sea la colección de todos los subconjuntos que son uniones de intervalos abiertos; equivalentemente, un conjunto $\mathcal{O}\subseteq\mathbb{R}$ es Abrir si y sólo si para cada $x\in\mathcal{O}$ existe $\epsilon\gt 0$ tal que $(x-\epsilon,x+\epsilon)\subseteq\mathcal{O}$ . Es posible que quiera convencerse de que la colección de todos esos conjuntos satisface las tres condiciones anteriores y, por tanto, hace $\mathbb{R}$ un espacio topológico. Esta topología es lo que se llama la topología "habitual" (o "métrica") sobre $\mathbb{R}$ .
Si está trabajando dentro de $\mathbb{R}$ con esta topología, entonces los singletons $\{x\}$ son ciertamente cerrados, porque sus complementos son abiertos: dado cualquier $a\in \mathbb{R}-\{x\}$ , dejemos que $\epsilon=|a-x|$ . Entonces $x\notin (a-\epsilon,a+\epsilon)$ Así que $(a-\epsilon,a+\epsilon)\subseteq \mathbb{R}-\{x\}$ Por lo tanto $\mathbb{R}-\{x\}$ está abierto, por lo que $\{x\}$ está cerrado.
La razón que da para $\{x\}$ para ser abierto no tiene realmente sentido. Cada es un subconjunto de sí mismo, por lo que si ese argumento fuera válido, todo conjunto sería siempre "abierto"; pero sabemos que no es así en cada espacio topológico (ciertamente no en $\mathbb{R}$ con la "topología habitual"). Así que ese argumento ciertamente no funciona.
Entonces: ¿es $\{x\}$ abrir en $\mathbb{R}$ en la topología habitual? Bueno, $x\in\{x\}$ . ¿Existe un $\epsilon\gt 0$ tal que $(x-\epsilon,x+\epsilon)\subseteq \{x\}$ ? Si es así, enhorabuena, has demostrado que el conjunto está abierto. Si no hay tal $\epsilon$ y lo demuestran, entonces, enhorabuena, han demostrado que $\{x\}$ no está abierto.
0 votos
Mi pregunta era con la métrica habitual. Perdón por no mencionarlo.
17 votos
Esto le parecerá divertido: youtube.com/watch?v=SyD4p8_y8Kw
2 votos
Umm... cada conjunto es un subconjunto de sí mismo, ¿no?
2 votos
"Los conjuntos simples son abiertos porque {x} es un subconjunto de sí mismo. " um... ¿entonces? Todos los conjuntos son subconjuntos de sí mismos. ¿Qué tiene eso que ver con ser abierto? "No hay puntos en la vecindad de x". Um, sí hay $(x - \epsilon, x + \epsilon)$ tienen puntos. Pero $(x - \epsilon, x + \epsilon)$ no tiene ningún punto de ${x}$ que no sea $x$ mismo por lo que $(x- \epsilon, x + \epsilon)$ que debería decirte que ${x}$ puede !!!! ¡¡¡NO!!! estar abierto.
1 votos
@JackD'Aurizio Este vídeo me reconforta al saber que no soy el único que lucha por entender las matemáticas avanzadas... Pero si esto es tan difícil, me pregunto qué hace que los matemáticos se interesen tanto por este tema. También me gusta esa sensación de logro de resolver por fin un problema que parecía imposible de resolver, pero tiene que haber algo más que eso por lo que me debo estar perdiendo. Sinceramente, elegí la carrera de matemáticas sin valorar lo que es, sino sólo un título que me hará más empleable en el futuro. Me temo que no soy lo suficientemente inteligente como para haber elegido esta carrera.
0 votos
$\mathbb R$ con la topología estándar es conectado, esto significa que los únicos subconjuntos que son tanto abiertos como cerrados son $\phi$ y $\mathbb R$ .