stringtranslate.com

Conjunto abierto

En topología , un conjunto clopen (una combinación de conjunto cerrado-abierto ) en un espacio topológico es un conjunto que es tanto abierto como cerrado . Que esto sea posible puede parecer contraintuitivo, ya que los significados comunes de abierto y cerrado son antónimos, pero sus definiciones matemáticas no son mutuamente excluyentes . Un conjunto es cerrado si su complemento es abierto, lo que deja la posibilidad de un conjunto abierto cuyo complemento también sea abierto, lo que hace que ambos conjuntos sean abiertos y cerrados, y por lo tanto clopen. Como lo describe el topólogo James Munkres , a diferencia de una puerta , "¡un conjunto puede ser abierto, o cerrado, o ambos, o ninguno!" [1] enfatizando que el significado de "abierto"/"cerrado" para las puertas no está relacionado con su significado para los conjuntos (y por lo tanto la dicotomía de puerta abierta/cerrada no se transfiere a los conjuntos abiertos/cerrados). Este contraste con las puertas dio a la clase de espacios topológicos conocidos como " espacios de puerta " su nombre.

Ejemplos

En cualquier espacio topológico, tanto el conjunto vacío como el espacio total son ambos clo-abiertos. [2] [3]

Consideremos ahora el espacio que consiste en la unión de los dos intervalos abiertos y de La topología en se hereda como la topología de subespacio de la topología ordinaria en la línea real En el conjunto es abierto y cerrado, como lo es el conjunto Este es un ejemplo bastante típico: siempre que un espacio esté formado por un número finito de componentes disjuntos y conectados de esta manera, los componentes serán abiertos y cerrados.

Sea ahora un conjunto infinito bajo la métrica discreta  , es decir, dos puntos tienen una distancia de 1 si no son el mismo punto y de 0 en caso contrario. Bajo el espacio métrico resultante , cualquier conjunto singular es abierto; por lo tanto, cualquier conjunto, al ser la unión de puntos singulares, es abierto. Como cualquier conjunto es abierto, el complemento de cualquier conjunto también es abierto y, por lo tanto, cualquier conjunto es cerrado. Por lo tanto, todos los conjuntos en este espacio métrico son cloabiertos.

Como ejemplo menos trivial, considere el espacio de todos los números racionales con su topología ordinaria, y el conjunto de todos los números racionales positivos cuyo cuadrado es mayor que 2. Usando el hecho de que no está en uno se puede mostrar con bastante facilidad que es un subconjunto clopen de ( no es un subconjunto clopen de la recta real ; no es ni abierto ni cerrado en )

Propiedades

Véase también

Notas

  1. ^ Munkres 2000, pág. 91.
  2. ^ Bartle, Robert G. ; Sherbert, Donald R. (1992) [1982]. Introducción al análisis real (2.ª ed.). John Wiley & Sons, Inc. pág. 348.(con respecto a los números reales y el conjunto vacío en R)
  3. ^ Hocking, John G.; Young, Gail S. (1961). Topología . Nueva York: Dover Publications, Inc. pág. 56.(con respecto a los espacios topológicos)
  4. ^ Mendelson, Bert (1990) [1975]. Introducción a la topología (tercera edición). Dover. pág. 87. ISBN 0-486-66352-3Sea un subconjunto de un espacio topológico. Demuestre que si y solo si es abierto y cerrado.(Dado como Ejercicio 7)

Referencias