¿Cómo puede un conjunto matemático estar abierto y cerrado simultáneamente?

Esta es una pregunta topológica y se basa en definiciones y resultados de “Topología” o “Espacios topológicos”.

Un espacio / estructura topológica se puede definir en al menos tres formas equivalentes:

a través de conjuntos abiertos, a través de barrios y a través de conjuntos cerrados.

Un espacio topológico es un conjunto X junto con una colección T de sus subconjuntos (llamada “una estructura topológica sobre X”). Por definición, los elementos (conjuntos) de T se denominan conjuntos abiertos. También, por definición, un subconjunto F de X se llama “un conjunto cerrado” si su complemento (es decir, el conjunto X \ F) es un conjunto abierto.

Un axioma (de la definición a través de conjuntos abiertos) dice que el conjunto vacío y X están abiertos. Esto, junto con el hecho de que el conjunto vacío es el complemento del conjunto total, asegura que tanto el conjunto vacío como el conjunto total estén al mismo tiempo abiertos y cerrados.

En conclusión, siempre tienes tales conjuntos (tal vez incorrectos); a veces, también tiene “conjuntos cerrados y abiertos” adecuados y esto significa diferentes cosas en diferentes contextos.

Y para responder a su pregunta: por definición y por convención.

Para más información, Espacio topológico – Wikipedia y la bibliografía.

Un conjunto se cierra si y solo si contiene todos sus “puntos límite”. Y un conjunto está abierto si y solo si todos sus puntos son “interiores”.

No voy a definir “interior” o “punto límite”, pero te diré que

  1. El conjunto vacío no tiene ningún punto límite.
  2. El vacío no tiene ningún punto en absoluto.
  3. El conjunto de números reales (como un ejemplo) contiene todos sus puntos límite. (De hecho, este es a menudo un punto crucial sobre la definición de números reales).
  4. El conjunto de números reales (en el espacio de números reales) no tiene puntos de límite, por lo que todos los puntos son interiores.

Por “complemento del conjunto vacío” me refiero a algo como el conjunto de números reales dentro del espacio de números reales o el conjunto de números complejos dentro del espacio de números complejos.

Entonces, desde (1) el conjunto vacío está cerrado, ya que contiene todos sus puntos límite (no hay ninguno). Y desde (2) cada punto en el conjunto vacío (no hay ninguno) son interiores. Entonces el conjunto vacío está cerrado y abierto.

El conjunto de números reales (en el espacio de los números reales) contiene todos los puntos y, por lo tanto, también contiene cualquier punto límite que pueda tener (tiene muchos). Y el conjunto de números reales (en un espacio de números reales) no tiene puntos en su límite (no tiene límite), por lo que está abierto.

Una forma es ser trivial. Los conjuntos triviales (como el conjunto vacío) generalmente tienen muchas propiedades aparentemente contradictorias, ya que no tienen elementos que representen un contraejemplo, y muchas propiedades matemáticas se definen con la cuantificación universal.

La otra forma es explotando los “agujeros” en el espacio ambiente; de ​​esa forma, los contraejemplos son imposibles no porque el conjunto tenga pocos puntos, sino porque no son elegibles. Si tiene <0,1> U <2,3> como su espacio ambiental, es obvio que dentro de él, <0,1> está abierto, pero también está cerrado, ya que su complemento, <2,3> también está abierto . En cierto modo, no tiene borde, donde podría “ver” si está cerrado o abierto, descubriendo si contiene su borde o si está separado de él.

Un subconjunto A de (X, t) está abierto si y solo si no contiene ningún punto límite y está cerrado si y solo si contiene todos sus puntos límite.

Por lo tanto, A es clopen (abierto y cerrado al mismo tiempo) si y solo si su límite en X está vacío.

Como cualquier subespacio de desconexión de X, tiene un subconjunto de clopen adecuado no vacío. Solo la negación de la definición de Jordan.

Fácilmente. Un conjunto es abierto y cerrado si se ajusta a la definición de conjuntos abiertos y cerrados. En R, tanto R como el conjunto vacío son abiertos y cerrados, por lo que las definiciones no tienen que ser mutuamente excluyentes.