Intersections of Open Sets and Unions of Closed Sets

The sets ${\mathcal {G}}^{\delta }$ and ${\mathcal {F}}^{\sigma }$ are a subset of the Borel set. The set ${\mathcal {G}}^{\delta }$ is the collection of all sets which are a countable intersections of open sets and the set ${\mathcal {F}}^{\sigma }$ is the collection of all sets which are a countable union of closed sets.

Definitions

Let X be a topological space whose collection of open sets is denoted ${\mathcal {G}}$ and whose collection of closed sets is denoted ${\mathcal {F}}$, then,

${\mathcal {G}}^{\delta }=\{\bigcap _{n=1}^{\infty }O_{n}:O_{n}\in {\mathcal {G}}~~\forall n\in \mathbb {N} \}$

${\mathcal {F}}^{\sigma }=\{\bigcup _{n=1}^{\infty }C_{n}:C_{n}\in {\mathcal {F}}~~\forall n\in \mathbb {N} \}$

The definitions can be extended as follows. Let w be a non-trivial word in the alphabet $\{\delta ,\sigma \}$ of length m. Let u be the first m-1 letters in the word and let $w_{m}$ be the last letter. Then we define,

${\mathcal {G}}^{w}=\{\bigcap _{n=1}^{\infty }P_{n}:P_{n}\in {\mathcal {G}}^{u}~~\forall n\in \mathbb {N} \}$

${\mathcal {F}}^{w}=\{\bigcap _{n=1}^{\infty }P_{n}:P_{n}\in {\mathcal {F}}^{u}~~\forall n\in \mathbb {N} \}$

if $w_{m}=\delta$ and we define

${\mathcal {G}}^{w}=\{\bigcup _{n=1}^{\infty }P_{n}:P_{n}\in {\mathcal {G}}^{u}~~\forall n\in \mathbb {N} \}$

${\mathcal {F}}^{w}=\{\bigcup _{n=1}^{\infty }P_{n}:P_{n}\in {\mathcal {F}}^{u}~~\forall n\in \mathbb {N} \}$

if $w_{m}=\sigma$.

Examples of ${\mathcal {G}}^{\delta }$ Sets

• For any topological space, X, any open set of X is in ${\mathcal {G}}^{\delta }$.

• Consider $\mathbb {R}$ under the standard topology. Then the set of irrational numbers is in ${\mathcal {G}}^{\delta }$.

• Let $f:\mathbb {R} \to \mathbb {R}$ be a function. Let $D\subset \mathbb {R}$ be the set of points for which $f$ is discontinuous. Then the complement of $D$ is in ${\mathcal {G}}^{\delta }$.

Properties of ${\mathcal {G}}^{\delta }$ Sets

• A set S is a ${\mathcal {G}}^{\delta }$ set if and only if its complement is a ${\mathcal {F}}^{\sigma }$ set

• ${\mathcal {G}}^{\delta }$ is closed under finite union and countable intersection