Utilisateur:Airwouane/Brouillon

• Gérer mon brouillon
• Demander une relecture (voir les demandes)
• Publier mon brouillon

Cette page est un brouillon appartenant à Airwouane

Conseils de rédaction

• → N'hésitez pas à publier sur le brouillon un texte inachevé et à le modifier autant que vous le souhaitez.
• → Pour enregistrer vos modifications au brouillon, il est nécessaire de cliquer sur le bouton bleu : « Publier les modifications ». Il n'y a pas d'enregistrement automatique.

Si votre but est de publier un nouvel article, votre brouillon doit respecter les points suivants :

• Respectez le droit d'auteur en créant un texte spécialement pour Wikipédia en français (pas de copier-coller venu d'ailleurs).
• Indiquez les éléments démontrant la notoriété du sujet (aide).
• Liez chaque fait présenté à une source de qualité (quelles sources  – comment les insérer).
• Utilisez un ton neutre, qui ne soit ni orienté ni publicitaire (aide).
• Veillez également à structurer votre article, de manière à ce qu'il soit conforme aux autres pages de l'encyclopédie (structurer – mettre en page).

• → Si ces points sont respectés, pour transformer votre brouillon en article, utilisez le bouton « publier le brouillon » en haut à droite. Votre brouillon sera alors transféré dans l'espace encyclopédique.

En mathématiques, un π-système (ou pi-système) sur un ensemble $X$ est un ensemble de parties de $X$ stable par intersection. Les π-systèmes font parties des familles d'ensembles que l'on rencontre en théorie de la mesure et théorie des probabilités. On sait par exemple grâce au lemme de classe monotone que deux mesures finies, et en particulier deux mesures de probabilités, dont les valeurs coïncident sur un π-système, coïncident également sur la tribu engendré par le dit π-système. Les π-systèmes offrent donc une famille d'ensembles de prédilection, et relativement simple, pour vérifier l'égalité de deux mesures ou bien l'unicité de la construction d'une mesure.

Définition

Définition — Soit $X$ un ensemble. On appelle π-système sur $X$, un ensemble ${\mathcal {C}}$ de parties de $X$ qui vérifie la propriété suivante :

$A,\,B\in {\mathcal {C}}\Rightarrow A\cap B\in \Pi \,.$

Il est important de remarquer que certains auteurs requièrent dans la definition la condition supplémentaire que ${\mathcal {C}}$ ne soit pas vide , ou bien encore que $X$ appartienne a ${\mathcal {C}}$ . Ceci évitant la manipulation du π-système vide dans les preuves. On peut remonter à l'usage du terme π-système au moins jusqu'au mathématicien Eugene Dynkin en 1961.

Exemples

• Une algèbre d'ensemble est un π-système, et par conséquent une tribu l'est aussi.
• Une topologie est un π-système.
• L'ensemble des intervalles semi-ouvert à droite, $\{[a,b)\mid a,\,b\in \mathbf {R} ,\,a<b\}$, est un π-système. Il en va de même pour les autres familles d'intervalles même non bornés.

Propriétés

Dans cette section établissons quelques propriétés des π-systèmes qui ne sont pas étrangères à celle des tribus.

Propriété — L'intersection d'une famille quelconque de π-systèmes sur un même ensemble est un π-système.

Démonstration

Soit $\Lambda$ un index non-vide et $(P_{\lambda })_{\lambda \in \Lambda }$ une famille de π-systèmes sur un ensemble $X$. Si $A$ et $B$ appartiennent à l'intersection de cette famille, ils appartiennent à chacun de ses membres et donc l'intersection $A\cap B$ appartient aussi à chacun de ses membres. On conclu aisement que l'intersection $A\cap B$ appartient à l'intersection de cette famille de π-système. Dans le cas où $\Lambda$ est l'ensemble vide, l'intersection correspond à l'ensemble des parties de $X$ qui forment un π-système.

Comme conséquence direct de cette propriété, on obtient que pour toute famille ${\mathcal {E}}$ de parties d'un ensemble $X$ il existe un plus petit π-système qui la contient, au sens de l'inclusion des ensembles. On pourrait l'appelé le π-système engendré par ${\mathcal {E}}$ par analogie avec les tribus engendrées. Il est unique et ce construit comme l'intersection de tous les π-systèmes qui contiennent ${\mathcal {E}}$.

Propriété — L'image réciproque d'un π-système sur un ensemble $X$ par une fonction d'un ensemble $Y$ dans $X$ est un π-système sur $Y$.

Démonstration

Cette propriété est évidente de part les propriétés élémentaires des fonctions réciproques, cependant on rappel que si $P$ est le π-système et $f$ la fonction, l'image réciproque du π-système est constitué des ensembles $f^{-1}(A)$ pour $A$ dans $P$.

Dans le cas remarquable d'une variable aléatoire réelle $X$ définie sur un espace de probabilité $\Omega$, les ensembles $\{X\leq a\}=\{\omega \mid X(\omega )\leq a\}$ pour $a$ réel est un π-système. Par ailleurs on obtient la fonction de répartition $F_{X}$ de $X$ comme les probabilités des ensembles de ce π-système en posant $F_{X}(x)=\mathbf {P} (\{X\leq x\})$ pour tout $x$ réel où $\mathbf {P}$ désigne la mesure de probabilité considéré sur $\Omega$. Celle-ci permet de caractériser la loi de la variable aléatoire $X$.

Propriété — Soit $(X_{t})_{t\in T}$ une famille d'ensemble indexée par un ensemble $T$. Si l'on se donne pour chaque $t$ dans $T$ un π-système $P_{t}$ sur $X_{t}$ alors, sur le produit cartésien $\Pi _{t\in T}X_{t}$, la famille de tous les ensembles cylindriques

$C_{t_{1},\ldots ,t_{n}}(A_{t_{1}},\ldots ,A_{t_{n}})=\left\{x\in \Pi _{t\in T}X_{t}\mid x(t_{i})\in A_{t_{i}},\,i=1,\ldots ,n\right\}$

où $n$ est un entier, $t_{1},\ldots ,t_{n}$ sont éléments de $T$ et pour chaque entier $j$ jusqu'à $n$, $A_{t_{j}}$ est un élément de $P_{t_{j}}$, forme un π-système.

Démonstration

La démonstration de ce fait consiste essentiellement en un changement de l'indexation du cylindre formé par l'intersection de deux cylindres. Soit deux cylindres $C_{t_{1},\ldots ,t_{n}}(A_{t_{1}},\ldots ,A_{t_{n}})$ et $C_{s_{1},\ldots ,s_{m}}(B_{s_{1}},\ldots ,B_{s_{m}})$, leur intersection est un cylindre $C_{r_{1},\ldots ,r_{k}}(D_{r_{1}},\ldots ,D_{r_{k}})$ où $k\leq n+m$ et les ensembles $D_{r_{i}}$ sont de la forme $A_{t_{j}}$ ou $B_{s_{j}}$ ou $A_{t_{j}}\cap B_{t_{j}}$ pour un certain $j$.

En particulier, lorsque $T=\{1,\ldots ,n\}$ est fini, respectivement. $T=\mathbb {N}$, on obtient une construction plus simple de tel manière que l'on peut écrire le π-système comme suit : $\{A_{1}\times \cdots \times A_{n}\mid A_{i}\in P_{i}{\text{ ou }}A_{i}=X_{i},\,i=1,\ldots n\}$, respectivement $\{\Pi _{i\in \mathbb {N} }A_{i}\mid A_{i}\in P_{i}{\text{ ou }}A_{i}=X_{i},\,i\in \mathbb {N} \}$. On remarque aisément en supposant $X_{i}$ dans $P_{i}$ pour chaque $i$ que l'on peut simplifier encore ces expressions.

De tel système se rencontre bien souvent lorsque $P_{t}$ est en fait une tribu sur $X_{t}$, et donc en particulier un π-système. Dans ce cas la famille des cylindres est génératrice de la tribu cylindrique sur l'espace produit qui est une tribu d'usage classique dans l'étude des processus stochastiques .