En matemáticas , un conjunto abierto es una generalización de un intervalo abierto en la recta real .
En un espacio métrico (un conjunto con una distancia definida entre cada dos puntos), un conjunto abierto es un conjunto que, con cada punto P en él, contiene todos los puntos del espacio métrico que están suficientemente cerca de P (es decir, todos puntos cuya distancia a P es menor que algún valor dependiendo de P ).
De manera más general, un conjunto abierto es miembro de una colección dada de subconjuntos de un conjunto dado, una colección que tiene la propiedad de contener cada unión de sus miembros, cada intersección finita de sus miembros, el conjunto vacío y el conjunto completo mismo. . Un conjunto en el que se da tal colección se llama espacio topológico y la colección se llama topología . Estas condiciones son muy flexibles y permiten una enorme flexibilidad en la elección de conjuntos abiertos. Por ejemplo, cada subconjunto puede ser abierto (la topología discreta ), o ningún subconjunto puede estar abierto excepto el espacio mismo y el conjunto vacío (la topología indiscreta ). [1]
En la práctica, sin embargo, se suelen elegir conjuntos abiertos para proporcionar una noción de cercanía similar a la de los espacios métricos, sin tener definida una noción de distancia. En particular, una topología permite definir propiedades como continuidad , conectividad y compacidad , que originalmente se definían mediante una distancia.
El caso más común de una topología sin distancia alguna está dado por las variedades , que son espacios topológicos que, cerca de cada punto, se asemejan a un conjunto abierto de un espacio euclidiano , pero sobre los cuales no se define ninguna distancia en general. En otras ramas de las matemáticas se utilizan topologías menos intuitivas; por ejemplo, la topología de Zariski , que es fundamental en geometría algebraica y teoría de esquemas .
Intuitivamente, un conjunto abierto proporciona un método para distinguir dos puntos . Por ejemplo, si alrededor de uno de dos puntos en un espacio topológico existe un conjunto abierto que no contiene el 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 tanto, los espacios topológicos pueden verse como una generalización de espacios dotados de una noción de distancia, que se denominan espacios métricos .
En el conjunto de todos los números reales , se tiene la métrica euclidiana natural ; es decir, una función que mide la distancia entre dos números reales: d ( x , y ) = | x − y | . Por 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 ε . Tenga en cuenta que ε > 0 siempre, pero a medida que ε se hace cada vez más pequeño, se obtienen puntos que se aproximan a x con un grado cada vez mayor de precisión. 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 con grados cada vez mayores de precisión definiendo ε como cada vez más pequeño. En particular, los conjuntos de la forma (− ε , ε ) nos dan mucha información sobre puntos cercanos a x = 0. Por lo tanto, en lugar de hablar de una métrica euclidiana concreta, se pueden usar conjuntos para describir 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 con respecto a la distancia entre 0 y otros números reales. Por ejemplo, si tuviéramos que definir R como el único conjunto de este tipo para "medir distancias", todos los puntos están cerca de 0 ya que sólo hay un grado posible de precisión que se puede lograr al aproximarse a 0: ser miembro de R. Por lo tanto, encontramos que, en cierto sentido, todo número real está a una distancia de 0 de 0. En este caso puede ser útil pensar en la medida como una condición binaria: todas las cosas en R están igualmente cercanas a 0, mientras que cualquier elemento que no está en R no está cerca de 0.
En general, se hace referencia a la familia de conjuntos que contienen 0, utilizados para aproximar 0, como base de vecindad ; un miembro de esta vecindad se denomina conjunto abierto. De hecho, se pueden 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 contienen) x , utilizados para aproximar x . Por supuesto, esta colección tendría que satisfacer ciertas propiedades (conocidas como axiomas ) porque de lo contrario es posible que no tengamos un método bien definido para medir la distancia. Por ejemplo, cada punto en X debería aproximarse a x con cierto grado de precisión. Por tanto, X debería estar en esta familia. Una vez que comenzamos 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 alrededor de x debe satisfacer.
Aquí se dan varias definiciones, en un orden creciente de tecnicismos. Cada uno es un caso especial del siguiente.
Un subconjunto del espacio n euclidiano R n es abierto si, para cada punto x en , existe un número real positivo ε (dependiendo de x ) tal que cualquier punto en R n cuya distancia euclidiana a x sea menor que ε pertenece a . [2] De manera equivalente, un subconjunto de R n es abierto si cada punto es el centro de una bola abierta contenida en
Un ejemplo de un subconjunto de R que no es abierto es el intervalo cerrado [0,1] , ya que ni 0 - ε ni 1 + ε pertenecen a [0,1] para cualquier ε > 0 , sin importar cuán pequeño sea.
Un subconjunto U de un espacio métrico ( M , d ) se llama abierto si, para cualquier punto x en U , existe un número real ε > 0 tal que cualquier punto que satisfaga d ( x , y ) < ε pertenece a U . De manera equivalente, U es abierto si cada punto de U tiene una vecindad contenida en U.
Esto generaliza el ejemplo del espacio euclidiano, ya que el espacio euclidiano con la distancia euclidiana es un espacio métrico.
Una topología en un conjunto X es un conjunto de subconjuntos de X con las siguientes propiedades. Cada miembro de se llama conjunto abierto . [3]
X junto con se llama espacio topológico .
No es necesario que las intersecciones infinitas de conjuntos abiertos sean abiertas. Por ejemplo, la intersección de todos los intervalos de la forma donde es un número entero positivo, es el conjunto que no está abierto en la recta real.
Un espacio métrico es un espacio topológico, cuya topología consiste en la colección de todos los subconjuntos que son uniones de bolas abiertas. Sin embargo, existen 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. Estos subconjuntos se conocen como conjuntos abiertos . Explícitamente, un subconjunto de un espacio topológico se llama abierto si ambos y su complemento son subconjuntos abiertos de ; o equivalente, si y
En cualquier espacio topológico el conjunto vacío y el conjunto mismo son siempre abiertos. Estos dos conjuntos son los ejemplos más conocidos de subconjuntos abiertos y muestran que existen subconjuntos abiertos en todos los espacios topológicos. Para ver, basta señalar que, por definición de topología, y son ambos abiertos, y que también son cerrados, ya que cada uno es el complemento del otro.
Los conjuntos abiertos de la topología euclidiana habitual de la recta real son el conjunto vacío, los intervalos abiertos y toda unión de intervalos abiertos.
Si un espacio topológico está dotado de topología discreta (de modo que, por definición, cada subconjunto de es abierto), entonces cada subconjunto de es un subconjunto abierto. Para un ejemplo más avanzado que recuerda a la topología discreta, supongamos que es un ultrafiltro en un conjunto no vacío. Entonces la unión es una topología con la propiedad de que cada subconjunto propio no vacío de es un subconjunto abierto o un subconjunto cerrado. , pero nunca ambos; es decir, si (dónde ), entonces exactamente una de las siguientes dos afirmaciones es verdadera: (1) o (2) Dicho de otra manera, cada subconjunto es abierto o cerrado, pero los únicos subconjuntos que son ambas (es decir, que están abiertos) son y
Un subconjunto de un espacio topológico se llama conjunto abierto regular si o equivalentemente, si , donde , y denotan, respectivamente, el límite topológico , el interior y el cierre de en . Un espacio topológico para el cual existe una base que consta de conjuntos abiertos regulares se llama espacio semirregular . Un subconjunto de es un conjunto abierto regular si y sólo si su complemento en es un conjunto cerrado regular, donde por definición un subconjunto de se llama conjunto cerrado regular si o equivalentemente, si Todo conjunto abierto regular (resp. conjunto cerrado regular) es un subconjunto abierto (resp. es un subconjunto cerrado) aunque en general, [nota 1] lo contrario no es cierto.
La unión de cualquier número de conjuntos abiertos, o de una infinidad de conjuntos abiertos, es abierta. [4] La intersección de un número finito de conjuntos abiertos es abierta. [4]
Un complemento de un conjunto abierto (relativo al espacio en el que se define la topología) se llama conjunto cerrado . Un conjunto puede ser tanto abierto como cerrado (un conjunto abierto ). El conjunto vacío y el espacio lleno son ejemplos de conjuntos abiertos y cerrados. [5]
Los conjuntos abiertos tienen una importancia fundamental en topología . El concepto es necesario para definir y dar sentido al espacio topológico y otras estructuras topológicas que tratan con las nociones de cercanía y convergencia para espacios como los espacios métricos y los espacios uniformes .
Cada subconjunto A de un espacio topológico X contiene un conjunto abierto (posiblemente vacío); el máximo (ordenado bajo inclusión) de dicho conjunto abierto se llama interior de A . Se puede construir tomando la unión de todos los conjuntos abiertos contenidos en A. [6]
Una función entre dos espacios topológicos y es continua si la preimagen de cada conjunto abierto está abierta en [7] La función se llama abierta si la imagen de cada conjunto abierto está abierta en
Un conjunto abierto sobre la recta real tiene la propiedad característica de ser una unión contable de intervalos abiertos disjuntos.
Que un conjunto sea abierto depende de la topología que se considere. Habiendo optado por una mayor brevedad en lugar de una mayor claridad , nos referimos a un conjunto X dotado de una topología como "el espacio topológico X " en lugar de "el espacio topológico ", a pesar de que todos los datos topológicos están contenidos en Si hay dos topologías. en el mismo conjunto, un conjunto U que está abierto en la primera topología podría no estarlo en la segunda topología. Por ejemplo, si X es cualquier espacio topológico e Y es cualquier subconjunto de X , al conjunto Y se le puede dar su propia topología (llamada 'topología subespacial') definida por "un conjunto U está abierto en la topología subespacial en Y si y sólo si U es la intersección de Y con un conjunto abierto de la topología original en X. " [8] Esto potencialmente introduce nuevos conjuntos abiertos: si V está abierto en la topología original en X , pero no está abierto en la topología original en X , entonces está abierto en la topología subespacial en Y.
Como ejemplo concreto de esto, si U se define como el conjunto de números racionales en el intervalo, entonces U es un subconjunto abierto de los números racionales , pero no de los números reales . Esto se debe a que cuando el espacio circundante son los números racionales, para cada punto x en U , existe un número positivo a tal que todos los puntos racionales dentro de la distancia a de x también están en U. Por otro lado, cuando el espacio circundante es real, entonces para cada punto x en U no hay un a tal que todos los puntos reales dentro de una distancia a de x estén en U (porque U no contiene números no racionales).
En todo momento, habrá un espacio topológico.
Un subconjunto de un espacio topológico se llama:
El complemento de un conjunto preabierto se llama precerrado .
El complemento de un conjunto β-abierto se llama β-cerrado .
El complemento de un conjunto secuencialmente abierto se llama secuencialmente cerrado . Un subconjunto está secuencialmente cerrado si y solo si es igual a su cierre secuencial , que por definición es el conjunto que consta de todo para lo cual existe una secuencia en que converge a (en ).
Usando el hecho de que
Siempre que dos subconjuntos cumplan se podrá deducir lo siguiente:
Además, un subconjunto es un conjunto abierto regular si y sólo si es preabierto y semicerrado. [10] La intersección de un conjunto α-abierto y un conjunto semi-preabierto (resp. semiabierto, preabierto, b-abierto) es un conjunto semipreabierto (resp. semiabierto, preabierto, b-abierto). [10] Los conjuntos preabiertos no necesitan ser semiabiertos y los conjuntos semiabiertos no necesitan ser preabiertos. [10]
Las uniones arbitrarias de conjuntos preabiertos (resp. α-abierto, b-abierto, semi-preabierto) son nuevamente preabiertos (resp. α-abierto, b-abierto, semi-preabierto). [10] Sin embargo, las intersecciones finitas de conjuntos preabiertos no necesitan ser preabiertos. [13] El conjunto de todos los subconjuntos α-abiertos de un espacio forma una topología que es más fina que [9]
Un espacio topológico es Hausdorff si y sólo si todo subespacio compacto de es θ-cerrado. [13] Un espacio está totalmente desconectado si y sólo si cada subconjunto cerrado regular está preabierto o, de manera equivalente, si cada subconjunto semiabierto está preabierto. Además, el espacio está totalmente desconectado si y sólo si el cierre de cada subconjunto preabierto está abierto. [9]