Conjunto abierto

Intuitivamente, un conjunto abierto proporciona un método para distinguir dos puntos. Por ejemplo, si sobre uno de dos puntos de un espacio topológico, existe un conjunto abierto que no contiene al otro punto (distinto), los dos puntos se denominan topológicamente distinguibles. De esta manera, se puede hablar de si dos puntos, o más generalmente dos subconjuntos, de un espacio topológico están "cerca" sin definir concretamente una distancia. Por lo tanto, los espacios topológicos pueden verse como una generalización de los espacios dotados de una noción de distancia, que se denominan espacios métricos.

En el conjunto de todos los números realess, se tiene la métrica euclídea natural; es decir, una función que mide la distancia entre dos números reales: d(x, y) = |x - y|. Por lo tanto, dado un número real x, se puede hablar del conjunto de todos los puntos cercanos a ese número real; es decir, dentro de ε de x. En esencia, los puntos dentro de ε de x se aproximan a x con una precisión de grado ε. Nótese que ε > 0 siempre, pero a medida que ε se hace más y más pequeño, se obtienen puntos que se aproximan a x con un grado de precisión cada vez mayor. Por ejemplo, si x = 0 y ε = 1, los puntos dentro de ε de x son precisamente los puntos del intervalo (-1, 1); es decir, el conjunto de todos los números reales entre -1 y 1. Sin embargo, con ε = 0,5, los puntos dentro de ε de x son precisamente los puntos de (-0,5, 0,5). Claramente, estos puntos se aproximan a x con un mayor grado de precisión que cuando ε = 1.

La discusión anterior muestra, para el caso x = 0, que se puede aproximar x a grados de precisión cada vez mayores definiendo ε cada vez más pequeño. En particular, los conjuntos de la forma (-ε, ε) nos dan mucha información sobre los puntos cercanos a x = 0. Así, en lugar de hablar de una métrica euclidiana concreta, se pueden utilizar conjuntos para describir los puntos cercanos a x. Esta idea innovadora tiene consecuencias de gran alcance; en particular, al definir diferentes colecciones de conjuntos que contienen 0 (distintos de los conjuntos (-ε, ε)), se pueden encontrar diferentes resultados sobre la distancia entre 0 y otros números reales. Por ejemplo, si definimos R como el único conjunto de este tipo para "medir la distancia", todos los puntos están cerca de 0, ya que sólo hay un grado posible de exactitud que se puede alcanzar en la aproximación a 0: ser un miembro de R. Así, nos encontramos con que, en cierto sentido, todo número real está a una distancia 0 de 0. En este caso, puede ayudar pensar que la medida es una condición binaria: todas las cosas en R están igualmente cerca de 0, mientras que cualquier elemento que no esté en R no está cerca de 0.

En general, nos referimos a la familia de conjuntos que contienen 0, utilizada para aproximar 0, como una base de vecindad; un miembro de esta base de vecindad se denomina conjunto abierto. De hecho, uno puede generalizar estas nociones a un conjunto arbitrario (X); en lugar de sólo los números reales. En este caso, dado un punto (x) de ese conjunto, se puede definir una colección de conjuntos "alrededor" (es decir, que contengan) x, utilizados para aproximar x. Por supuesto, esta colección tendría que satisfacer ciertas propiedades (conocidas como axiomas), ya que de otro modo no podríamos disponer de un método bien definido para medir la distancia. Por ejemplo, cada punto de X debería aproximarse a x con cierto grado de precisión. Por tanto, X debería pertenecer a esta familia. Una vez que empezamos a definir conjuntos "más pequeños" que contienen x, tendemos a aproximar x con un mayor grado de precisión. Teniendo esto en cuenta, se pueden definir los axiomas restantes que la familia de conjuntos sobre x debe satisfacer.

El concepto de conjunto abierto se puede formalizar con varios grados de generalidad, entre ellos:

Un subconjunto U perteneciente al conjunto ${\displaystyle R^{n}}$  se llama abierto cuando todos los puntos P de U son interiores.

Un subconjunto U de un espacio euclídeo n-dimensional Eⁿ se llama abierto si, dado cualquier punto x en U, existe un número real ε > 0 tal que, dado cualquier punto y en Eⁿ cuya distancia euclidiana de x sea más pequeña que ε, y también pertenece a U. De forma equivalente, U es abierto si cada punto en U tiene un entorno contenido en U.

Intuitivamente, la ε mide el tamaño de los "meneos permitidos".

Un ejemplo de un conjunto abierto en E² (en un plano) sería todos los puntos dentro de un círculo de radio r, que satisfacen la ecuación ${\displaystyle r>{\sqrt {x^{2}+y^{2}}}}$ .

Porque la distancia de cualquier punto p en este conjunto al borde del conjunto es mayor que cero: ${\displaystyle r-{\sqrt {x^{2}+y^{2}}}>0}$ , podemos fijar el ε a la mitad de esta distancia, que significa que el ε es también mayor de cero, y todos los puntos que están a una distancia ε de p estén también en el conjunto, satisfaciendo así las condiciones para un conjunto abierto.

Un subconjunto U de un espacio métrico (M, d) se llama abierto si, dado cualquier punto x en U, existe un número real ε > 0 tales que, dado cualquier punto y en M con d(x, y) < ε, y también pertenece a U. (equivalente, U es abierto si cada punto en U tiene una vecindad contenida en U)

Esto generaliza el ejemplo euclidiano del espacio, puesto que el espacio euclidiano con la distancia euclidiana es un espacio métrico.

En espacios topológicos, el concepto de apertura se toma como fundamental. Uno comienza con un conjunto arbitrario X y una familia de subconjuntos de X que satisfacen ciertas propiedades que cada noción "razonable" de apertura se supone tener. (específicamente: la unión de conjuntos abiertos es abierta, la intersección finita de conjuntos abiertos es abierta, y en particular el conjunto vacío y X mismo son abiertos.) Tal familia T de subconjuntos se llama una topología en X, y se llama a los miembros de la familia los conjuntos abiertos del espacio topológico (X, T).Un conjunto se llama cerrado si su complemento en X es abierto.

Sea X un conjunto no vacío y T una familia de subconjuntos de X. T es una topología en X si cumple los siguientes axiomas.

• X y el conjunto vacío {} están en T.
• La intersección de un número finito de miembros de T está en T.
• La unión de cualquier número de elementos de T está en T.

Con estas precisiones, al par (X,T) se denomina espacio topológico y a los miembros de T se los nombra abiertos en el espacio topológico (X,T). Ver el libro Topología de un conjunto de autores de la Facultad de Ciencias de la Universidad Complutense.^[4]​

Esto generaliza la definición métrica del espacio: si se comienza con un espacio métrico y define conjuntos abiertos como antes, entonces la familia de todos los conjuntos abiertos formará una topología en el espacio métrico. Cada espacio métrico es por lo tanto de una manera natural un espacio topológico. (Hay sin embargo espacios topológicos que no son espacios métricos).

Un conjunto puede ser abierto, cerrado, ambos o ninguno. En particular, los conjuntos abiertos y cerrados no son mutuamente excluyentes, lo que significa que en general es posible que un subconjunto de un espacio topológico sea simultáneamente un subconjunto abierto y un subconjunto cerrado. Tales subconjuntos se conocen como Conjunto clopens. Explícitamente, un subconjunto ${\displaystyle S}$  de un espacio topológico ${\displaystyle (X,\tau )}$  se llama «clopen» si tanto ${\displaystyle S}$  como su complemento ${\displaystyle X\setminus S}$  son subconjuntos abiertos de ${\displaystyle (X,\tau )}$ ; o equivalentemente, si ${\displaystyle S\in \tau }$  y ${\displaystyle X\setminus S\in \tau .}$ 

En cualquier espacio topológico ${\displaystyle (X,\tau ),}$  el conjunto vacío ${\displaystyle varnada}$  y el propio conjunto ${\displaystyle X}$  son siempre cerrados. Estos dos conjuntos son los ejemplos más conocidos de subconjuntos cerrados y demuestran que existen subconjuntos cerrados en todos los espacios topológicos. Para ver por qué ${\displaystyle X}$  es cerrado, empecemos recordando que los conjuntos ${\displaystyle X}$  y${\displaystyle \varnothing }$ > son, por definición, subconjuntos siempre abiertos (de ${\displaystyle X}$ ). También por definición, un subconjunto ${\displaystyle S}$  se llama cerrado si (y sólo si) su complemento en ${\displaystyle X,}$  que es el conjunto ${\displaystyle X\setminus S,}$  es un subconjunto abierto. Dado que el complemento (en ${\displaystyle X}$ ) del conjunto ${\displaystyle S:=X}$  es el conjunto vacío (i.e. ${\displaystyle X\setminus S=\varnothing }$ ), que es un subconjunto abierto, esto significa que ${\displaystyle S=X}$  es un subconjunto cerrado de ${\displaystyle X}$  (por definición de "subconjunto cerrado"). Por tanto, no importa qué topología se ponga en ${\displaystyle X,}$  todo el espacio ${\displaystyle X}$  es simultáneamente un subconjunto abierto y también un subconjunto cerrado de ${\displaystyle X}$ ; dicho de otro modo, ${\displaystyle X}$  es siempre un subconjunto cerrado de ${\displaystyle X.}$  Dado que el complemento del conjunto vacío es ${\displaystyle X\setminus \varnothing =X,}$  que es un subconjunto abierto, se puede utilizar el mismo razonamiento para concluir que ${\displaystyle S:=\varnothing }$  también es un subconjunto cerrado de ${\displaystyle X.}$ 

Consideremos la recta real ${\displaystyle \mathbb {R} }$  dotada de su habitual topología euclídea, cuyos conjuntos abiertos se definen como sigue: todo intervalo ${\displaystyle (a,b)}$  de números reales pertenece a la topología, toda unión de tales intervalos, e. g. ${\displaystyle (a,b)\cup (c,d),}$  pertenece a la topología, y como siempre, tanto ${\displaystyle \mathbb {R} }$  como ${\displaystyle S:=\varnothing }$  pertenecen a la topología.

• El intervalo ${\displaystyle I=(0,1)}$  es abierto en ${\displaystyle \mathbb {R} }$  porque pertenece a la topología euclídea. Si ${\displaystyle I}$  tuviera un complemento abierto, significaría por definición que ${\displaystyle I}$  fuera cerrado. Pero ${\displaystyle I}$  no tiene complemento abierto; su complemento es ${\displaystyle R\setminus I=(-\infty ,0]\cup [1,\infty ),}$  que no pertenece a la topología euclídea ya que no es una unión de intervalos abiertos de la forma ${\displaystyle (a,b).}$  Por tanto, ${\displaystyle I}$  es un ejemplo de conjunto abierto pero no cerrado.
• Por un argumento similar, el intervalo ${\displaystyle J=[0,1]}$  es un subconjunto cerrado pero no abierto.
• Finalmente, como ni ${\displaystyle K=[0,1)}$  ni su complemento ${\displaystyle R\setminus K=(-\infty ,0)\cup [1,\infty )}$  pertenecen a la topología euclídea (porque no se pueden escribir como unión de intervalos de la forma ${\displaystyle (a,b)}$ ), esto significa que ${\displaystyle K}$  no es ni abierto ni cerrado.

• En un espacio métrico o topológico X, el conjunto vacío y X son abiertos y cerrados a la vez. Si el espacio es conexo, estos dos son los únicos conjuntos cerrados y abiertos a la vez.
• La unión de cualquier número de conjuntos abiertos es abierta.
• La intersección de un número finito de conjuntos abiertos es abierta.

Cada subconjunto A de un espacio topológico X contiene a un (tal vez vacío) conjunto abierto; el más grande de tales conjuntos abiertos se llama el interior de A. Puede ser construido tomando la unión de todos los conjuntos abiertos contenidos en A.

Dados espacios topológicos X y Y, una función f de X a Y es función continua si la preimagen de cada conjunto abierto en Y es abierto en X. La función f se llama función abierta si la imagen de cada conjunto abierto en X es abierta en Y.

Un conjunto abierto en la recta real, según la topología usual, se caracteriza por la propiedad de ser una unión contable de intervalos abiertos disjuntos.

Una variedad se llama abierta si es una variedad sin borde y si no es compacta. Esta noción se diferencia algo de la apertura discutida más arriba.

• Mansfield, M.J.(1974) Indroducción a la Topología, Editorial Alhambra, Madrid.
• Chinn,W.G.; Steenrod,N.E. (1975) Primeros conceptos de Topología), Editorial Alhambra, Madrid.
• García Marrero et all.(1975) Topología, Editorial Alhambra, Madrid.
• Hart, Klaas (2004). Encyclopedia of general topology. Amsterdam Boston: Elsevier/North-Holland. ISBN 0-444-50355-2. OCLC 162131277. 
• Hart, Klaas Pieter; Nagata, Jun-iti; Vaughan, Jerry E. (2004). Encyclopedia of general topology. Elsevier. ISBN 978-0-444-50355-8. 

• Conjunto
• Conjunto cerrado
• Teoría de conjuntos

• Hazewinkel, Michiel, ed. (2001), «Conjunto abierto», Encyclopaedia of Mathematics (en inglés), Springer, ISBN 978-1556080104 .