Conjunto Gδ

En el campo matemático de la topología , un conjunto G _δ es un subconjunto de un espacio topológico que es una intersección contable de conjuntos abiertos . La notación se originó a partir de los sustantivos alemanes Gebiet ' conjunto abierto ' y Durchschnitt ' intersección ' . ^[1] Históricamente, los conjuntos G _δ también se llamaban conjuntos límite internos , ^[2] pero esa terminología ya no se usa. Los conjuntos G _δ y sus conjuntos duales, F _𝜎 , son el segundo nivel de la jerarquía de Borel .

En un espacio topológico, un conjunto G _δ es una intersección contable de conjuntos abiertos . Los conjuntos G _δ son exactamente del nivel Π⁰
₂conjuntos de la jerarquía de Borel .

• Cualquier conjunto abierto es trivialmente un conjunto G _{δ .}
• Los números irracionales son un conjunto G _δ de los números reales . Se pueden escribir como la intersección contable de los conjuntos abiertos (el superíndice que denota el complemento ) donde es racional .${\displaystyle \mathbb {R}}$${\displaystyle \{q\}^{c}}$${\estilo de visualización q}$
• El conjunto de números racionales no es un conjunto G _δ en . Si fuera la intersección de conjuntos abiertos, cada uno sería denso en porque es denso en . Sin embargo, la construcción anterior dio los números irracionales como una intersección contable de subconjuntos densos abiertos. Tomando la intersección de ambos conjuntos da el conjunto vacío como una intersección contable de conjuntos densos abiertos en , una violación del teorema de la categoría de Baire .${\displaystyle \mathbb {Q}}$${\displaystyle \mathbb {R}}$${\displaystyle \mathbb {Q}}$$Estilo de visualización A_{n}$$Estilo de visualización A_{n}$${\displaystyle \mathbb {R}}$${\displaystyle \mathbb {Q}}$${\displaystyle \mathbb {R}}$${\displaystyle \mathbb {R}}$
• El conjunto de continuidad de cualquier función de valor real es un subconjunto G _δ de su dominio (consulte la sección "Propiedades" para obtener una declaración más general).
• El conjunto cero de una derivada de una función real diferenciable en todas partes en es un conjunto G _δ ; puede ser un conjunto denso con interior vacío, como lo demuestra la construcción de Pompeiu .${\displaystyle \mathbb {R}}$
• El conjunto de funciones no diferenciables en ningún punto dentro de [0, 1] contiene un subconjunto denso G _δ del espacio métrico . (Véase Función de Weierstrass § Densidad de funciones no diferenciables en ninguna parte .)${\displaystyle C([0,1])}$${\displaystyle C([0,1])}$

La noción de conjuntos G _{δ en espacios} métricos (y topológicos ) está relacionada con la noción de completitud del espacio métrico, así como con el teorema de categorías de Baire . Véase el resultado sobre espacios completamente metrizables en la lista de propiedades a continuación. Los conjuntos y sus complementos también son importantes en el análisis real , especialmente en la teoría de la medida .${\displaystyle \mathrm {G_{\delta }} }$

• El complemento de un conjunto G _δ es un conjunto F _σ , y viceversa.
• La intersección de un número contable de conjuntos G _δ es un conjunto G _δ .
• La unión de un número finito de conjuntos G _δ es un conjunto G _δ .
• Una unión contable de conjuntos G _δ (que se llamaría un conjunto G _δσ ) no es un conjunto G _δ en general. Por ejemplo, los números racionales no forman un conjunto G _δ en .${\displaystyle \mathbb {Q}}$${\displaystyle \mathbb {R}}$
• En un espacio topológico, el conjunto cero de cada función continua de valor real es un conjunto G _δ (cerrado) , ya que es la intersección de los conjuntos abiertos , .${\estilo de visualización f}$$estilo de visualización f^{-1}(0)}$${\displaystyle \{x\en X:-1/n<f(x)<1/n\}}$${\displaystyle (n=1,2,\lpuntos)}$
• En un espacio metrizable , todo conjunto cerrado es un conjunto G _δ y, dualmente, todo conjunto abierto es un conjunto F _{σ .} ^[3] En efecto, un conjunto cerrado es el conjunto cero de la función continua , donde indica la distancia de un punto a un conjunto . Lo mismo ocurre en los espacios pseudometrizables .${\displaystyle F\subseteq X}$${\displaystyle f(x)=d(x,F)}$${\estilo de visualización d}$
• En un primer espacio contable T ₁ , cada singleton es un conjunto G _{δ .} ^[4]
• Un subespacio de un espacio completamente metrizable es en sí mismo completamente metrizable si y sólo si es un conjunto G _δ en . ^{[5] [6]}${\estilo de visualización X}$${\estilo de visualización X}$
• Un subespacio de un espacio polaco es en sí mismo polaco si y solo si es un conjunto G _δ en . Esto se desprende del resultado anterior sobre subespacios completamente metrizables y del hecho de que todo subespacio de un espacio métrico separable es separable.${\estilo de visualización X}$${\estilo de visualización X}$
• Un espacio topológico es polaco si y sólo si es homeomorfo a un subconjunto G _{δ de un} espacio métrico compacto . ^{[7] [8]}${\estilo de visualización X}$

El conjunto de puntos en los que una función de un espacio topológico a un espacio métrico es continua es un conjunto. Esto se debe a que la continuidad en un punto se puede definir mediante una fórmula, a saber: Para todos los números enteros positivos existe un conjunto abierto que contiene tales que para todos en . Si un valor de es fijo, el conjunto de para el que existe tal abierto correspondiente es en sí mismo un conjunto abierto (al ser una unión de conjuntos abiertos), y el cuantificador universal en corresponde a la intersección (contable) de estos conjuntos. En consecuencia, si bien es posible que los irracionales sean el conjunto de puntos de continuidad de una función (véase la función palomita de maíz ), es imposible construir una función que sea continua solo en los números racionales.${\estilo de visualización f}$${\displaystyle \mathrm {G_{\delta }} }$${\estilo de visualización p}$$Estilo de visualización: Pi _{2}^{0}}$${\estilo de visualización n,}$${\estilo de visualización U}$${\estilo de visualización p}$${\displaystyle d(f(x),f(y))<1/n}$${\estilo de visualización x,y}$${\estilo de visualización U}$${\estilo de visualización n}$${\estilo de visualización p}$${\estilo de visualización U}$${\estilo de visualización n}$

En la recta real, también se cumple la inversa: para cualquier subconjunto G _δ de la recta real, hay una función que es continua exactamente en los puntos en . ^[9]${\estilo de visualización A}$${\displaystyle f:\mathbb {R} \a \mathbb {R} }$${\estilo de visualización A}$

Un espacio G _δ ^[10] es un espacio topológico en el que todo conjunto cerrado es un conjunto G _δ . ^[11] Un espacio normal que también es un espacio G _δ se denomina perfectamente normal . Por ejemplo, todo espacio metrizable es perfectamente normal.

• F _σ conjunto , el concepto dual ; contrasta la "G" del alemán Gebiet ' conjunto abierto ' y la "F" del francés fermé ' conjunto cerrado ' .
• P -espacio , cualquier espacio que tenga la propiedad de que todoconjunto _{G δ es abierto}

• Engelking, Ryszard (1989). Topología general . Berlín: Heldermann Verlag. ISBN 3-88538-006-4.
• Fremlin, DH (2003) [2003]. "4, Topología general". Teoría de la medida. Vol. 4. Petersburgo, Inglaterra: Digital Books Logostics. ISBN 0-9538129-4-4Archivado desde el original el 1 de noviembre de 2010 . Consultado el 1 de abril de 2011 .
• Johnson, Roy A. (1970). "Un espacio compacto no metrizable tal que cada subconjunto cerrado es un G-Delta". The American Mathematical Monthly . 77 (2): 172–176. doi :10.2307/2317335. JSTOR  2317335.
• Kelley, John L. (1955). Topología general . van Nostrand . pág. 134.
• Steen, Lynn Arthur ; Seebach, J. Arthur Jr. (1995) [1978]. Contraejemplos en topología ( edición Dover  ). Berlín, Nueva York: Springer-Verlag . ISBN 978-0-486-68735-3.Sr. 0507446  .
• Willard, Stephen (2004) [1970]. Topología general ( ed. Dover  ). Addison-Wesley.