La sigma-algèbre engendrée par les ouverts d’un espace topologique ; ses éléments sont appelés ensembles de Borel et s’obtiennent à partir des ouverts par unions dénombrables, intersections dénombrables et compléments.

Principe

Principe d’économie et de génération minimale : la sigma-algèbre de Borel est la plus petite sigma-algèbre contenant la topologie, donc elle contient tous les ouverts et est stable par les opérations dénombrables exigées d’une sigma-algèbre.

Démonstration

Sur la droite réelle avec la topologie usuelle, les intervalles ouverts (a,b) engendrent la sigma-algèbre de Borel : des ensembles de Borel typiques sont les intervalles fermés, les unions dénombrables d’intervalles fermés et d’autres ensembles construits par opérations dénombrables sur des ouverts.

Mauvaise application

Présumer que tout sous-ensemble d’un espace est un ensemble de Borel (par exemple croire que toutes les parties de R sont boréliennes) ou confondre la sigma-algèbre de Borel avec sa complétion pour une mesure donnée sans vérification.

Conséquence

Fixée la sigma-algèbre de Borel, on peut définir des mesures boréliennes et étudier les fonctions mesurables ; de nombreux résultats en analyse et probabilité s’énoncent par rapport à elle.

Inversion

Remplacer la sigma-algèbre de Borel par la sigma-algèbre triviale {∅,X} appauvrit la structure descriptive, tandis que la remplacer par l’ensemble des parties supprime les contraintes topologiques et brouille la notion de mesurabilité.

Limite

Dépend de la topologie choisie ; elle peut être strictement contenue dans la sigma-algèbre de Lebesgue pour R et exclut les ensembles non boréliens lorsqu’ils existent.

Tension sémantique

Souvent opposée à la sigma-algèbre de Lebesgue (sa complétion) ou aux sigma-algèbres engendrées par des collections particulières (fermés, éléments de base) : tension entre génération topologique et complétion mesurable.

Synthèse

La sigma-algèbre de Borel est la structure mesurable canonique issue d’une topologie : la plus petite collection stable par opérations dénombrables contenant les ouverts, fournissant le cadre mesurable pour l’analyse informée par la topologie.