Semi-anneau d'ensembles

Semi-anneau d'ensembles
Page d'aide sur l'homonymie Ne doit pas être confondu avec semi-anneau.

Un semi-anneau d'ensembles (généralement abrégé en semi-anneau) est une classe de parties d'un ensemble X à partir de laquelle on construit facilement un anneau d'ensembles. C'est un cadre commode pour commencer plusieurs constructions classiques de mesures.

Sommaire

Définition

Définition — Un semi-anneau d'ensembles est un ensemble \mathcal S de parties d'un ensemble X qui vérifie :

  • L'ensemble vide est élément de \mathcal S ;
  • Pour tous A, B éléments de \mathcal S, la différence ensembliste A\setminus B est une réunion disjointe (finie) d'éléments de \mathcal S ;
  • \mathcal S est stable par intersection (finie).

Lorsque de surcroît l'ensemble X est élément de \mathcal S, on dit que \mathcal S est une semi-algèbre d'ensembles.

Exemples

  • L'ensemble des intervalles de \R est une semi-algèbre de parties de \R (la différence ensembliste de deux intervalles pouvant être décrite, selon leur position relative, comme réunion disjointe de zéro, un ou deux intervalles).
  • L'ensemble des intervalles bornés de \R est un semi-anneau mais pas une semi-algèbre.
  • L'ensemble des intervalles vides ou de la forme ]a,b] (a < b) est un semi-anneau inclus dans le précédent.
  • Étant donnés deux semi-anneaux \mathcal{S}_1 et \mathcal{S}_2 sur des ensembles X1 et X2, l'ensemble des produits A_1\times A_2, A_i\in \mathcal{S}_i est un semi-anneau sur le produit X_1\times X_2. Même lorsque X1 et X2 sont des algèbres, ce peut ne pas être un anneau (mais c'est bien sûr alors une semi-algèbre)[1]. Ainsi l'ensemble des produits de n intervalles bornés, ou l'ensemble des produits de la forme ]a_1,b_1]\times\cdots\times]a_n,b_n] sont-ils des semi-anneaux de parties de \R^n.

Extension d'une mesure d'un semi-anneau à un anneau

L'anneau d'ensembles engendré par un semi-anneau se décrit facilement[2] :

Proposition — Le plus petit anneau d'ensembles qui contienne un semi-anneau \mathcal{S} donné est l'ensemble des unions finies d'éléments de \mathcal{S}. C'est aussi l'ensemble des unions finies disjointes d'éléments de \mathcal{S}.

Dans l'énoncé d'extension qui suit, on entend par « mesure » sur une classe \mathcal{C} contenant le vide une application de \mathcal{C} vers [0,+\infty] nulle sur le vide et σ-additive[3].

Proposition[4] — Soit \mathcal{S} un semi-anneau et μ une mesure sur \mathcal{S}. Alors μ admet un prolongement et un seul en une mesure définie sur l'anneau d'ensembles engendré par \mathcal{S}.

L'unicité est claire, vu l'additivité des mesures et la description des éléments de l'anneau engendré par \mathcal{S} : nécessairement si un élément A de cet anneau s'écrit A_1\cup\cdots\cup A_n pour des Ai éléments du semi-anneau \mathcal{S}, on doit avoir \mu(A)=\mu(A_1)+\cdots+ \mu(A_n). Pour l'existence, on prend cette formule pour définition de l'extension, en vérifiant préalablement qu'elle ne dépend pas du découpage de A utilisé, puis on s'assure qu'elle définit bien une mesure sans rencontrer d'obstacle significatif.

Les énoncés analogues utilisant des semi-algèbres au lieu des semi-anneaux et des algèbres d'ensembles au lieu des anneaux d'ensembles sont également vrais, et se déduisent aussitôt de ceux qui sont donnés ici[5]. L'usage des uns ou des autres est souvent indifférent : travailler sur des semi-algèbres est cohérent avec l'objectif terminal de construire une mesure sur une σ-algèbre et évite d'avoir à introduire le concept supplémentaire d'« anneau » ; travailler sur des semi-anneaux permet d'alléger la vérification initiale de σ-additivité et se justifie par ailleurs pleinement quand on a pour objectif de construire des mesures sur des σ-anneaux ou δ-anneaux.

Exemples d'utilisation de semi-anneaux

Construction de la mesure de Lebesgue sur l'espace à n dimensions

Un des modes de construction de la mesure de Lebesgue sur \R^n consiste à définir le volume d'un pavé droit P produit d'intervalles bornés (fermés, ouverts ou semi-ouverts) d'extrémités notées ai et bi. Le volume est simplement le produit des longueurs des côtés :

\mu(P)=\prod_{i=1}^n(b_i-a_i).

On étend ensuite cette définition à la classe des ensembles Lebesgue-mesurables.

Cette construction débute par l'invocation, explicite ou implicite, de la proposition énoncée ci-dessus afin d'étendre dans un premier temps la mesure à l'anneau d'ensembles de toutes les unions d'intervalles bornés. L'intérêt des semi-anneaux apparaît nettement ici, car les énoncés qui précèdent, complétés par le théorème d'extension de Carathéodory pour l'étape suivante de l'extension, montrent que la σ-additivité de la mesure découle in fine d'une vérification de σ-additivité où on peut se limiter à manipuler des pavés.

On trouvera ci-dessous en boîte déroulante le détail de cette vérification[6], qui n'est pas triviale et fournit un exemple de manipulations sur un semi-anneau.

Preuve que le volume est sigma-additif sur le semi-anneau des produits d'intervalles bornés


Notons \mathcal{S} le semi-anneau des produits d'intervalles bornés, définit une mesure sur ce semi-anneau.

On montre d'abord que μ est additive, au sens suivant : si P est un pavé dans \mathcal{S} et P est réunion disjointe d'une famille finie (Pi) où chaque Pi est lui aussi dans \mathcal{S}, le volume du gros pavé P est somme des volumes des Pi[7].

On doit ensuite montrer que μ est une mesure, c'est-à-dire qu'elle est σ-additive. Pour le prouver, soit donc un pavé P élément de \mathcal{S}, et supposons qu'on dispose d'une partition de P comme union disjointe dénombrable de pavés de \mathcal{S} :

P=\bigcup_{i=1}^{+\infty}P_i.

On doit montrer l'égalité :

\mu(P)=\sum_{i=1}^{+\infty}\mu(P_i).

L'inégalité dans un sens ne demande pas d'idée particulièrement ingénieuse. Pour r fixé, la différence P\setminus(P_1\cup\cdots\cup P_r) est dans l'anneau engendré par \mathcal{S}, donc est réunion disjointe finie d'éléments F1,...,Fs de \mathcal{S}. Le pavé P est donc réunion disjointe finie de pavés dont tous les Pi pour i variant de 1 à r ; la positivité et l'additivité de μ entraînent alors :

\sum_{i=1}^{r}\mu(P_i)\leq\mu(P).

En faisant tendre r vers l'infini on conclut :

\sum_{i=1}^{+\infty}\mu(P_i)\leq\mu(P).

L'inégalité réciproque repose sur des considérations topologiques touchant à la régularité de la mesure de Lebesgue. On commence par fixer un ε > 0 et inclure chaque Pi dans un pavé Qi produit d'intervalles ouverts dont le volume soit inférieur ou égal à \mu(P_i)+\epsilon/2^i. De la même façon, on considère un pavé Q produit d'intervalles fermés, contenu dans P et dont le volume soit supérieur ou égal à \mu(P)-\epsilon.

Le pavé Q est compact comme fermé borné de \R^n et les ouverts Qi le recouvrent. On peut extraire une sous-famille (Q_{i})_{i\in I_0} qui le recouvre toujours, mais à l'ensemble d'indices I0 fini.

Par additivité finie et positivité de μ sur le semi-anneau \mathcal{S}, l'inclusion ensembliste suivante (dans laquelle la réunion n'a aucune raison d'être disjointe et où n'interviennent qu'un nombre fini d'éléments du semi-anneau) :

Q\subset\bigcup_{i\in I_0}Q_i

fournit l'inégalité :

\mu(Q)\leq\sum_{i\in I_0}\mu(Q_i)

et a fortiori :

\mu(Q)\leq\sum_{i=1}^{+\infty}\mu(Q_i)

qu'on peut incorporer dans la chaîne d'inégalités :

\mu(P)-\epsilon\leq\mu(Q)\leq\sum_{i=1}^{+\infty}\mu(Q_i)\leq\sum_{i=1}^{+\infty}(\mu(P_i)+{\epsilon\over2^i})=\sum_{i=1}^{+\infty}\mu(P_i)+\epsilon.

Il n'y a plus qu'à faire tendre \epsilon vers 0 pour conclure.

 

Construction de mesures sur la droite réelle par le procédé de Stieltjes

Toute mesure localement finie sur la droite réelle peut se construire par un procédé généralisant celui exposé ci-avant. Il est opportun d'utiliser le semi-anneau des intervalles vides ou de la forme ]a,b] (a < b).

Pour toute fonction croissante de \R vers \R, continue à droite, on construit une mesure sur ce semi-anneau en posant :

μ(]a,b]) = F(b) − F(a),

mesure qu'il est ensuite possible d'étendre à la tribu borélienne de \R[8]. Dans le cas particulier des mesures de probabilité, F est appelée fonction de répartition de la mesure.

La méthode se généralise à toute dimension finie[9].

Références

  1. ↑ Vladimir Bogachev, Measure Theory, Springer, 2007 (ISBN 978-3-540-34513-8) , exercice 1.12.53, p. 84
  2. ↑ Bogacev, op. cit., p. 8
  3. ↑ On trouvera cette définition exposée de façon moins concise à l'article « [[mesure (mathématiques)|]] », section « Généralisation ».
  4. ↑ Bogacev, op. cit., p. 12
  5. ↑ L'ouvrage de Bogachev utilisé pour source des deux énoncés qui précèdent mentionne également leur validité pour des semi-algèbres.
  6. ↑ Achim Klenke, Probability theory, a comprehensive course, Springer, 2008 (ISBN 9781848000476) , p. 25-26
  7. ↑ J.H. Williamson juge ce point « élémentaire » (elementary) mais aussi « plutôt ennuyeux » (rather tedious) Lebesgue integration, Holt, Rinehart and Winston, 1962 , p. 18. Pour Frank James, écrire les détails est « extrêmement ennuyeux » (extremely tedious) Lebesgue integration on Euclidean space, Jones & Bartlett Publishers, 2001 (ISBN 9780763717087) , p. 28. On pourra se faire une opinion en écrivant soi-même ces détails ou en les lisant dans Heinz Bauer, Mass- und Integrationstheorie, Walter de Gruyter, 1992 (ISBN 9783110136265) , p. 18-19 ou Allan Weir, Lebesgue integration and measure, Cambridge University Press, 1973 , p. 71-73
  8. ↑ Klenke, op. cit., p. 26-28
  9. ↑ Voir par exemple Malempati Madhusudana Rao, Measure theory and integration, CRC Press, 2004 (ISBN 9780824754013)  , p. 106-107

Wikimedia Foundation. 2010.

Contenu soumis à la licence CC-BY-SA. Source : Article Semi-anneau d'ensembles de Wikipédia en français (auteurs)

Игры ⚽ Нужна курсовая?

Regardez d'autres dictionnaires:

  • Anneau d'ensembles — Un anneau d ensembles est une classe non vide de parties d un ensemble X vérifiant deux propriétés de stabilité. Le concept, très voisin de celui d algèbre d ensembles, est utilisé en théorie de la mesure pour initialiser les constructions de… …   Wikipédia en Français

  • Semi-anneau —  Ne doit pas être confondu avec semi anneau d ensembles. En mathématiques, un semi anneau, ou un demi anneau, est une structure algébrique telle que (E, + ,0) constitue un monoïde commutatif; forme un …   Wikipédia en Français

  • Anneau unitaire — Pour les articles homonymes, voir Anneau. En algèbre générale, un anneau unitaire ou simplement anneau, est un ensemble sur lequel deux opérations satisfont certaines des propriétés de l addition et la multiplication des nombres entiers relatifs …   Wikipédia en Français

  • Anneau Euclidien — Euclide (Juste de Gand ,vers 1474) En mathématiques et plus précisément en algèbre, dans le cadre de la théorie des anneaux, un anneau euclidien est un type particulier d anneau commutatif unitaire intègre. Un anneau est dit euclidien s il est… …   Wikipédia en Français

  • Anneau Commutatif — Dans la théorie des anneaux, un anneau commutatif est un anneau dans lequel la loi de multiplication est commutative. Cela signifie que pour tous les éléments a et b de l’anneau, on a a*b=b*a, en notant * cette loi de multiplication. L’étude des… …   Wikipédia en Français

  • Anneau Noethérien — Emmy Noether formalise les propriétés d une famille particulière d anneaux maintenant appelé anneau noethérien. En mathématique, un anneau noethérien est un cas particulier d anneau, c est à dire d un ensemble munis d une addition et d une… …   Wikipédia en Français

  • Anneau abélien — Anneau commutatif Dans la théorie des anneaux, un anneau commutatif est un anneau dans lequel la loi de multiplication est commutative. Cela signifie que pour tous les éléments a et b de l’anneau, on a a*b=b*a, en notant * cette loi de… …   Wikipédia en Français

  • Anneau noetherien — Anneau noethérien Emmy Noether formalise les propriétés d une famille particulière d anneaux maintenant appelé anneau noethérien. En mathématique, un anneau noethérien est un cas particulier d anneau, c est à dire d un ensemble munis d une… …   Wikipédia en Français

  • Anneau euclidien — Euclide (Juste de Gand, vers 1474) En mathématiques et plus précisément en algèbre, dans le cadre de la théorie des anneaux, un anneau euclidien est un type particulier d anneau intègre. Un anneau est dit euclidien s il est possible d y définir… …   Wikipédia en Français

  • Module Sur Un Anneau — Un module sur un anneau unitaire est une structure algébrique qui généralise celle d espace vectoriel et celle d idéal d un anneau. Dans un espace vectoriel l ensemble des scalaires forme un corps tandis que dans un module, ceux ci sont de… …   Wikipédia en Français

Share the article and excerpts

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