In the mathematical field of topology, a Gδ set is a subset of a topological space that is a countable intersection of open sets. The notation originated from the German nouns Gebiet 'open set' and Durchschnitt 'intersection'. [1] Historically Gδ sets were also called inner limiting sets, [2] but that terminology is not in use anymore. Gδ sets, and their dual, F𝜎 sets, are the second level of the Borel hierarchy.
In a topological space a Gδ set is a
countable
intersection of
open sets. The Gδ sets are exactly the level Π0
2 sets of the
Borel hierarchy.
The notion of Gδ sets in metric (and topological) spaces is related to the notion of completeness of the metric space as well as to the Baire category theorem. See the result about completely metrizable spaces in the list of properties below. sets and their complements are also of importance in real analysis, especially measure theory.
The set of points where a function from a topological space to a metric space is continuous is a set. This is because continuity at a point can be defined by a formula, namely: For all positive integers there is an open set containing such that for all in . If a value of is fixed, the set of for which there is such a corresponding open is itself an open set (being a union of open sets), and the universal quantifier on corresponds to the (countable) intersection of these sets. As a consequence, while it is possible for the irrationals to be the set of continuity points of a function (see the popcorn function), it is impossible to construct a function that is continuous only on the rational numbers.
In the real line, the converse holds as well; for any Gδ subset of the real line, there is a function that is continuous exactly at the points in . [9]
A Gδ space [10] is a topological space in which every closed set is a Gδ set. [11] A normal space that is also a Gδ space is called perfectly normal. For example, every metrizable space is perfectly normal.
In the mathematical field of topology, a Gδ set is a subset of a topological space that is a countable intersection of open sets. The notation originated from the German nouns Gebiet 'open set' and Durchschnitt 'intersection'. [1] Historically Gδ sets were also called inner limiting sets, [2] but that terminology is not in use anymore. Gδ sets, and their dual, F𝜎 sets, are the second level of the Borel hierarchy.
In a topological space a Gδ set is a
countable
intersection of
open sets. The Gδ sets are exactly the level Π0
2 sets of the
Borel hierarchy.
The notion of Gδ sets in metric (and topological) spaces is related to the notion of completeness of the metric space as well as to the Baire category theorem. See the result about completely metrizable spaces in the list of properties below. sets and their complements are also of importance in real analysis, especially measure theory.
The set of points where a function from a topological space to a metric space is continuous is a set. This is because continuity at a point can be defined by a formula, namely: For all positive integers there is an open set containing such that for all in . If a value of is fixed, the set of for which there is such a corresponding open is itself an open set (being a union of open sets), and the universal quantifier on corresponds to the (countable) intersection of these sets. As a consequence, while it is possible for the irrationals to be the set of continuity points of a function (see the popcorn function), it is impossible to construct a function that is continuous only on the rational numbers.
In the real line, the converse holds as well; for any Gδ subset of the real line, there is a function that is continuous exactly at the points in . [9]
A Gδ space [10] is a topological space in which every closed set is a Gδ set. [11] A normal space that is also a Gδ space is called perfectly normal. For example, every metrizable space is perfectly normal.