Une collection de sous-ensembles d'un ensemble fixé qui contient l'ensemble vide et est fermée par unions dénombrables et compléments (donc aussi par intersections dénombrables), servant de domaine pour la définition des mesures.

Principe

La fermeture par opérations d'ensembles dénombrables assure la stabilité de la mesurabilité pour les limites de suites d'ensembles et fournit le cadre algébrique minimal nécessaire pour définir des fonctions additives (mesures) sur des familles dénombrables d'ensembles.

Démonstration

La sigma-algèbre borélienne d'un espace topologique est engendrée par ses ouverts et constitue le domaine mesurable usuel pour de nombreuses mesures ; la sigma-algèbre discrète sur un ensemble est la puissance entière de cet ensemble, fermée par toutes les opérations d'ensembles.

Mauvaise application

Confondre une algèbre (fermée seulement par unions et compléments finis) avec une sigma-algèbre, ou supposer à tort la fermeture par unions arbitraires (non dénombrables) lorsque seule la fermeture dénombrable est requise.

Conséquence

Une sigma-algèbre permet la définition de mesures, de fonctions mesurables et de l'intégration ; elle garantit que les limites de suites d'ensembles mesurables (unions/intersections dénombrables) restent mesurables, condition essentielle pour les opérations limites en analyse.

Inversion

Une algèbre d'ensembles (corps d'ensembles) affaiblit l'exigence en demandant seulement fermeture par unions/intersections finies ; à l'inverse, un sigma-idéal se concentre sur les ensembles négligeables et joue un rôle dual à l'intérieur d'une sigma-algèbre.

Limite

Une sigma-algèbre est une structure d'ensembles sur un ensemble de base spécifié ; ce n'est pas une topologie (différences de fermetures requises) et elle n'apporte pas, en elle-même, de notions de distance ou de continuité sans structure supplémentaire.

Tension sémantique

Tension entre sigma-algèbres et topologies : les deux sont des collections de sous-ensembles fermées par certaines opérations mais avec des finalités différentes (mesure vs. ouverts) ; tension aussi entre fermeture dénombrable et exigences comme la complétude ou la génération par familles données.

Synthèse

Une sigma-algèbre est la collection minimale fermée par opérations dénombrables nécessaire pour traiter des mesures : elle contient l'ensemble vide, est stable par complément et par unions dénombrables, assurant la stabilité de la mesurabilité sous opérations limites.