La plus petite sigma‑algèbre sur un espace topologique engendrée par ses ouverts (équivalente à celle engendrée par ses fermés ou par une base de la topologie), dont les éléments sont appelés ensembles boréliens et qui fournit la structure mesurable minimale compatible avec la topologie.

Principe

Prendre les ouverts de la topologie et fermer par unions dénombrables, intersections dénombrables et compléments pour obtenir une sigma‑algèbre reflétant la mesurabilité topologique tout en restant la plus petite collection possédant ces propriétés.

Démonstration

Sur la droite réelle munie de la topologie usuelle, la sigma‑algèbre borélienne est engendrée par les intervalles ouverts ; elle contient tous les intervalles, leurs unions et intersections dénombrables, et de nombreux autres ensembles construits par opérations dénombrables.

Mauvaise application

Considérer que tout ensemble mesurable au sens de Lebesgue est borélien ; en réalité, les ensembles mesurables de Lebesgue forment la complétion de la sigma‑algèbre borélienne par rapport à la mesure de Lebesgue et peuvent contenir des ensembles non boréliens.

Conséquence

Munir un espace topologique de sa sigma‑algèbre borélienne permet de définir des mesures boréliennes et des applications mesurables compatibles avec la continuité topologique, autorisant l'intégration et la modélisation probabiliste cohérentes avec la structure d'ouverts.

Inversion

La sigma‑algèbre discrète (ensemble des parties) ou la sigma‑algèbre triviale {∅, X}, qui représentent les extrêmes : mesurabilité maximale contre mesurabilité minimale non triviale, sans refléter la structure fine de la topologie.

Limite

Définie relativement à une topologie donnée et valable pour tout espace topologique ; elle n'inclut pas nécessairement toutes les parties (sauf si la topologie est discrète) et peut être strictement plus petite que des sigma‑algèbres complétées ou engendrées pour des mesures particulières.

Tension sémantique

Souvent confondue avec les complétions (par exemple la sigma‑algèbre de Lebesgue) ou avec des sigma‑algèbres arbitraires ; la tension porte sur la mesurabilité engendrée topologiquement (borélienne) versus les complétions métriques qui ajoutent des modifications par ensembles de mesure nulle.

Synthèse

La sigma‑algèbre borélienne est la collection minimale d'ensembles fermée par opérations dénombrables qui contient les ouverts de la topologie, fournissant une structure mesurable canonique liée à la topologie de l'espace.