AnalyseNotion · Glossaire
F-delta
« F-delta » n'est pas une notation standard du premier niveau de la hiérarchie borélienne. Les notations usuelles sont Fσ pour une réunion dénombrable de fermés et Gδ pour une intersection dénombrable d'ouverts. Dans un espace métrique, tout fermé est un Gδ et tout ouvert est un Fσ, mais les deux classes ne se confondent pas en général. La fiche doit présenter le libellé comme une entrée héritée conduisant à cette distinction et ne jamais inventer une définition autonome de F-delta.
Sommaire
Ce que vous allez apprendre
- Identifier pourquoi F-delta n'est pas une notation standard.
- Distinguer une réunion dénombrable de fermés d'une intersection dénombrable d'ouverts.
- Vérifier la représentation Fσ de l'intervalle (0,1) dans ℝ.
- Repérer le rôle des hypothèses métriques.
En clair
Imaginez une collection de points ou de régions dans un espace où les distances sont définies. On peut parfois la décrire en réunissant une suite d'ensembles fermés, ou en gardant seulement les points présents dans chaque ensemble ouvert d'une suite. Ces deux gestes produisent respectivement une classe Fσ et une classe Gδ. Le nom « F-delta » mélange leurs lettres et n'est pas une classe reconnue : il sert ici de porte d'entrée vers la distinction correcte.
Dans un espace métrique, un ensemble fermé peut se lire comme une intersection dénombrable d'ouverts, tandis qu'un ensemble ouvert peut se lire comme une réunion dénombrable de fermés. Ces propriétés rapprochent Fσ et Gδ sans les rendre identiques en général.
Définition
La notation « F-delta » n'est pas standard. Le premier niveau pertinent distingue deux types d'ensembles dans un espace topologique. Un ensemble Fσ est une réunion dénombrable d'ensembles fermés. Un ensemble Gδ est une intersection dénombrable d'ensembles ouverts. Les lettres σ et δ indiquent respectivement une réunion et une intersection dénombrables dans cette notation.
Si Fn désigne le n-ième fermé d'une suite, la classe Fσ contient les ensembles de la forme :
Si On désigne le n-ième ouvert d'une suite, la classe Gδ contient les ensembles de la forme :
Ces classes appartiennent aux premiers étages de la hiérarchie borélienne, construite à partir des ouverts par des opérations dénombrables. Dans un espace métrique, tout ouvert est Fσ et tout fermé est Gδ. Cette double propriété ne permet toutefois pas d'identifier les deux classes.
Un exemple, pas à pas
Dans ℝ muni de sa distance usuelle, considérons l'intervalle ouvert (0,1). Pour chaque entier n ≥ 2, posons Fn = [1/n, 1 − 1/n]. Chaque Fn est fermé, et la réunion de ces intervalles donne exactement (0,1).
D'abord, 1/n est strictement positif et 1 − 1/n est strictement inférieur à 1. Ensuite, quand n augmente, les intervalles s'élargissent vers les deux extrémités. Enfin, tout x situé entre 0 et 1 appartient à Fn dès que n est assez grand. On obtient donc une réunion dénombrable de fermés, c'est-à-dire une représentation Fσ de (0,1).
Le contrôle consiste à vérifier les deux inclusions : chaque Fn est contenu dans (0,1), et chaque x de (0,1) est finalement contenu dans l'un des Fn. Cet exemple montre la propriété « ouvert donc Fσ » dans un espace métrique.
En pratique
Pour décrire une réunion dénombrable de fermés, on emploie Fσ. Le geste consiste à exhiber une suite de fermés et à vérifier que leur réunion est exactement l'ensemble étudié.
Pour décrire une intersection dénombrable d'ouverts, on emploie Gδ. Il faut alors donner une suite d'ouverts et contrôler les points qui restent dans chacun d'eux.
Lorsqu'une source affiche « F-delta », la bonne pratique est de vérifier le contexte plutôt que de définir ce terme. Si le texte parle de réunions de fermés et d'intersections d'ouverts, il faut rétablir séparément Fσ et Gδ.
À ne pas confondre
« F-delta » et Fσ ne sont pas deux classes à comparer : le premier libellé n'est pas une notation standard, tandis que le second désigne une réunion dénombrable de fermés. Le critère qui tranche est l'opération annoncée : réunion pour Fσ, intersection pour Gδ.
Fσ et Gδ ne sont pas synonymes. Dans un espace métrique, un ouvert appartient à Fσ et un fermé appartient à Gδ, mais une classe ne se réduit pas à l'autre. La présence de σ ou de δ indique la nature de l'opération dénombrable, pas une simple variante typographique.
Limites et pièges
Le premier piège est de traiter F-delta comme une classe supplémentaire. Le symptôme est une définition qui attribue à cette graphie une opération précise. Il faut revenir au texte et nommer séparément Fσ ou Gδ selon qu'il s'agit d'une réunion de fermés ou d'une intersection d'ouverts.
Le mot « dénombrable » autorise une suite finie ou infinie, mais il impose une famille indexée par les entiers. Une réunion ou une intersection quelconque de fermés ou d'ouverts ne devient donc pas automatiquement Fσ ou Gδ.
Les deux propriétés annoncées dans la fiche dépendent du cadre métrique : tout ouvert y est Fσ et tout fermé y est Gδ. Dans un espace topologique général, ces conclusions peuvent échouer. Il faut alors vérifier les hypothèses avant de les utiliser.
Enfin, le fait qu'un ensemble soit à la fois Fσ et Gδ dans un exemple particulier ne signifie pas que les classes coïncident. Une propriété d'un ensemble donné ne suffit pas à établir une égalité entre deux familles d'ensembles.
Pour aller plus loin
La distinction Fσ–Gδ ouvre sur la hiérarchie borélienne. Les ensembles boréliens sont obtenus à partir des ouverts par des opérations dénombrables répétées ; les deux classes étudiées constituent ainsi des repères pour situer des ensembles plus complexes.
Elle intervient aussi dans l'analyse des fonctions : les ensembles de points où une fonction réelle est continue peuvent être décrits à l'aide de structures de type Gδ. Cette perspective explique pourquoi une notation exacte compte, même lorsque la graphie héritée semble presque familière.
Explorez les mathématiques autrement
Retrouvez nos magazines, podcasts et jeux pour explorer les mathématiques autrement.
Découvrir les offres