Classe de Baire

Un article de Wikipédia, l'encyclopédie libre.
Cet article est une ébauche concernant la topologie.
Vous pouvez partager vos connaissances en l’améliorant. (Comment ?).

Un sous ensemble A d'un espace topologique E est

  • de classe Gδ s'il est une intersection dénombrable d'ouverts.
  • de classe Fσ s'il est une réunion dénombrable de fermés
  • de classe Fσδ s'il est une intersection dénombrable d'éléments de classe Fσ
  • de classe Gδσ s'il est une réunion dénombrable d'éléments de classe Gδ
  • on peut poursuivre par récurrence

Tous ces sous ensembles de E sont inclus dans la tribu borélienne de E. La terminologie, due à Felix Hausdorff, emploie les lettres F et G respectivement au sens de fermés et ouverts et les lettres grecques σ et δ représentent respectivement les mots allemands désignant la réunion (Summe) et l'intersection (Durchschnitt)[1].

[modifier] Généricité

Une propriété satisfaite par tous les éléments d'un Gδ dense est dite générique. Il arrive qu'on qualifie de « génériques » les éléments de l'ensemble eux-mêmes.

[modifier] Notes

  1. ↑ Walter Rudin, Analyse réelle et complexe : cours et exercices [détail des éditions]