Conjunto clopen

De Wikipedia, la enciclopedia libre
Saltar a: navegación, búsqueda

En topología, un conjunto clopen —del inglés closed-open set, literalmente 'conjunto cerrado-abierto' o 'conjunto cerrabierto'—, en un espacio topológico es un conjunto que es a la vez abierto y cerrado.

Ejemplos[editar]

En cualquier espacio topológico X, el conjunto vacío y todo el espacio X son ambos clopen.

Ahora considere el espacio X que consiste en la unión de los dos intervalos (0, 1) y (2, 3). La topología en X se hereda como la topología del subespacio de la topología ordinaria en la recta real R. En X, el conjunto (0, 1) es clopen, al igual que el conjunto (2, 3). Esto es un ejemplo absolutamente típico: siempre que un espacio se componga de un número finito de componentes conexos disjuntos de esta manera, los componentes serán clopen.

Como ejemplo menos trivial, considérese el espacio Q de todos los números racionales con su topología usual, y el conjunto A de todos los números racionales más grandes que la raíz cuadrada de 2. Usar el hecho de que √2 no está en Q, se puede demostrar fácilmente que A es un subconjunto clopen de Q. (nótese también que A no es un subconjunto clopen de la recta real R; no es ni abierto ni cerrado en R.)

Hechos[editar]

  • Un espacio topológico X es conexo si y sólo si los únicos conjuntos clopen son el conjunto vacío y X.
  • Cualquier conjunto clopen es una unión de componentes conexos (posiblemente infinitamente muchos).
  • Si todos los componentes conexos de X son abiertos (que sea por ejemplo el caso si X tiene solamente finitos componentes, o si X es localmente conexo), entonces un conjunto es clopen en X si y solamente si es una unión de componentes conexos.
  • Un espacio topológico X es discreto si y solamente si cada uno de sus subconjuntos es clopen.