Une collection Σ de parties d’un ensemble X fermée par complémentation et par unions dénombrables (équivalemment intersections dénombrables), contenant l’ensemble vide ; elle constitue le domaine sur lequel les mesures sont définies.

Principe

Les σ‑algèbres identifient la famille des ensembles « mesurables » en imposant la stabilité par les opérations nécessaires à l’additivité dénombrable et aux opérations limites : compléments, unions et intersections dénombrables, et inclusion de l’ensemble vide.

Démonstration

La σ‑algèbre borélienne d’un espace topologique est la σ‑algèbre engendrée par les ouverts et sert à définir les mesures de Borel. La σ‑algèbre triviale {∅, X} et la puissance 2^X (lorsqu’elle est utilisée) sont des exemples basiques ; la σ‑algèbre engendrée par une partition ou par des singletons donne les mesures de comptage ou discrètes.

Mauvaise application

Supposer qu’une algèbre (fermée seulement par unions finies) ou un anneau d’ensembles suffit pour tous les arguments qui requièrent des opérations dénombrables ; affirmer que la σ‑algèbre borélienne coïncide avec la σ‑algèbre de Lebesgue sur R sans distinguer la complétion par les ensembles nuls.

Conséquence

Une fois la σ‑algèbre donnée on peut définir fonctions mesurables, variables aléatoires et mesures ; elle détermine quelles limites d’ensembles et de fonctions restent mesurables et quelles opérations sont admissibles pour l’intégration et la probabilité.

Inversion

Une collection fermée seulement par unions ou intersections finies (une algèbre ou un anneau) n’a pas la fermeture par opérations dénombrables et ne soutient donc pas de mesures σ‑additives sans complétion ou extension supplémentaires.

Limite

La σ‑algèbre est une structure purement ensembliste indépendante de la topologie, bien qu’elle soit souvent engendrée par des familles topologiques. Elle ne spécifie pas en soi une mesure, et différentes σ‑algèbres sur le même ensemble entraînent des notions de mesurabilité différentes.

Tension sémantique

Tension entre σ‑algèbres engendrées par la topologie (borélienne) et celles complétées par une mesure (de Lebesgue) : ces dernières diffèrent par des ensembles nuls et influencent quelles fonctions sont intégrables ou considérées mesurables.

Synthèse

Σ‑Algèbre = une famille d’ensembles fermée par complémentation et unions dénombrables qui fixe quels sous‑ensembles sont mesurables, formant l’échafaudage algébrique minimal pour les mesures σ‑additives et les fonctions mesurables.