Ensemble borélien

Ensemble borélien

Tribu borélienne

La tribu borélienne sur un (ou d'un) espace topologique T est la plus petite σ-algèbre sur T contenant tous les ensembles ouverts. Les éléments de la tribu borélienne sont appelés des boréliens.

La tribu de Borel peut, de manière équivalente, se définir comme la plus petite σ-algèbre qui contient tous les sous-ensembles fermés de T. Un sous-ensemble de T est un borélien s’il peut être obtenu à partir d'ensembles ouverts en effectuant une suite dénombrable d'opérations d'unions, d'intersections et de passage au complémentaire, mais, contrairement à l'intuition première, on n'obtient pas ainsi, loin de là, tous les boréliens (quoiqu'on obtienne tous les boréliens usuels) ; en effet la classe obtenue selon ce schéma de construction n'est pas stable pour les réunions et intersections dénombrables, et il faut, pour obtenir tous les boréliens, itérer transfiniment ce schéma - pour plus de détails, voir Classe de Baire.

Un exemple particulièrement important est la tribu borélienne de l'ensemble des nombres réels. Elle intervient dans la mesure de Borel ou de Lebesgue et aussi dans toute probabilité. La tribu des boréliens sur l'ensemble des nombres réels est la plus petite σ-algèbre sur \mathbb R contenant tous les intervalles. La tribu borélienne est aussi engendrée par les intervalles ouverts de la forme \left]a, +\infty\right[, où a\in \mathbb R ; il suffit même de considérer a dans une partie dense de \mathbb R comme par exemple \mathbb Q l'ensemble des rationnels. On montre qu'un borélien est réunion d'un ensemble dénombrable de fermés et d'un ensemble de mesure nulle pour la mesure de Lebesgue. C'est aussi une intersection dénombrable d'ouverts auquels on retranche un ensemble de mesure nulle[1]

Plus généralement, si la topologie de T est engendrée par une famille dénombrable A, stable par intersection finie, la tribu borélienne associée à T est aussi engendrée par A.

Un espace mesurable est dit lusinien ou standard s'il est isomorphe à une partie borélienne d'un espace polonais muni de la tribu induite par la tribu borélienne. Un théorème de Kuratowski assure que

Tous les espaces mesurables standard non dénombrables sont isomorphes.

Ainsi, du point de vue de la structure borélienne, tous les espaces non-dénombrables usuels sont indistinguables : R est isomorphe à tous les Rn, à l'espace NN, au cube de Hilbert, à l'espace de Cantor, à l'espace de Banach séparable C([0,1]) (ensemble des fonctions continues sur [0,1] muni de la topologie de la convergence uniforme), etc. quoique ces espaces soient très différents du point de vue topologique ou algébrique.

Articles connexes

Notes et références

  1. ↑ Walter Rudin, Analyse réelle et complexe : cours et exercices [détail des éditions]
  • Portail des mathématiques Portail des mathématiques
Ce document provient de « Tribu bor%C3%A9lienne ».

Wikimedia Foundation. 2010.

Contenu soumis à la licence CC-BY-SA. Source : Article Ensemble borélien de Wikipédia en français (auteurs)

Игры ⚽ Поможем написать реферат

Regardez d'autres dictionnaires:

  • borélien — ⇒BORÉLIEN, subst. masc. MATH. Élément de la tribu engendrée par les ouverts d un espace topologique E. Emploi adj. Ensemble borélien, partie borélienne. Étymol. et Hist. 1960 (BOURBAKI, Éléments d hist. des math. p. 177). Dér. du nom du… …   Encyclopédie Universelle

  • Ensemble Négligeable — En théorie de la mesure, un ensemble négligeable ou un ensemble de mesure nulle est une partie d un ensemble mesuré dont la définition dépend de la mesure que l on utilise ou plutôt de sa classe d équivalence. À un niveau élémentaire, il est… …   Wikipédia en Français

  • Ensemble de mesure nulle — Ensemble négligeable En théorie de la mesure, un ensemble négligeable ou un ensemble de mesure nulle est une partie d un ensemble mesuré dont la définition dépend de la mesure que l on utilise ou plutôt de sa classe d équivalence. À un niveau… …   Wikipédia en Français

  • Ensemble negligeable — Ensemble négligeable En théorie de la mesure, un ensemble négligeable ou un ensemble de mesure nulle est une partie d un ensemble mesuré dont la définition dépend de la mesure que l on utilise ou plutôt de sa classe d équivalence. À un niveau… …   Wikipédia en Français

  • Borélien — Tribu borélienne La tribu borélienne sur un (ou d un) espace topologique T est la plus petite σ algèbre sur T contenant tous les ensembles ouverts. Les éléments de la tribu borélienne sont appelés des boréliens. La tribu de Borel peut, de manière …   Wikipédia en Français

  • Ensemble négligeable —  Ne pas confondre avec Négligeable en analyse réelle En théorie de la mesure, un ensemble négligeable ou un ensemble de mesure nulle est une partie d un ensemble mesuré dont la définition dépend de la mesure que l on utilise ou plutôt de sa… …   Wikipédia en Français

  • Mesure De Lebesgue — La mesure de Lebesgue doit son nom au mathématicien français Henri Léon Lebesgue. Elle est d une importance capitale en théorie de l intégration. Sommaire 1 Définition formelle 2 Propriétés de la mesure de Lebesgue 3 Tribu de Lebesgue …   Wikipédia en Français

  • Mesure de lebesgue — La mesure de Lebesgue doit son nom au mathématicien français Henri Léon Lebesgue. Elle est d une importance capitale en théorie de l intégration. Sommaire 1 Définition formelle 2 Propriétés de la mesure de Lebesgue 3 Tribu de Lebesgue …   Wikipédia en Français

  • ENSEMBLES (THÉORIE DES) - Théorie axiomatique — La théorie des ensembles fut créée par Georg Cantor à la fin du XIXe siècle. Cependant, le caractère extrêmement général et abstrait de la notion d’ensemble permit de produire des paradoxes rendant la théorie contradictoire (cf. théorie… …   Encyclopédie Universelle

  • RÉCURSIVITÉ — Les (semi ) fonctions récursives ont été introduites pour donner un équivalent mathématique à la notion métamathématique intuitive de (semi ) fonction effectivement ou mécaniquement calculable (cf. LOGIQUE MATHÉMATIQUE, chap. 4). Par souci de… …   Encyclopédie Universelle

Share the article and excerpts

Direct link
… Do a right-click on the link above
and select “Copy Link”