Definition:G-Delta Set

From ProofWiki
Jump to: navigation, search

Definition

Let $\left({X, \tau}\right)$ be a topological space.

A $G_\delta$ set (G-delta set) is a set which can be written as a countable intersection of open sets of $X$.


Linguistic Note

The name $G_\delta$ originates from the German:

  • G for Gebiet, which is German for area or neighborhood (here used in the sense open set in this case)
  • $\delta$ (Greek d) for Durchschnitt, which is German for intersection.


Also see


Sources