Il lemma di Dynkin, altresì detto teorema delle classi monotone, è un enunciato importante in teoria della misura che ha, tra le varie conseguenze, il teorema di unicità delle probabilità. Deve il suo nome al matematico russo Evgenij Borisovič Dynkin.
Definizioni preliminari
Un
-sistema è una famiglia di parti
di un insieme
con le seguenti caratteristiche:
![{\displaystyle {\mathcal {I}}\neq \varnothing ;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/084a708468f0a1d6b57bce293da23b957d80475e)
![{\displaystyle A,B\in {\mathcal {I}}\Rightarrow A\cap B\in {\mathcal {I}}.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/436f41fb65abbe1a627d91a9bd70fc7930aba8e0)
Una classe monotona (detta anche
-sistema) è una famiglia di parti
di un insieme
con le seguenti caratteristiche:
![{\displaystyle \Omega \in {\mathcal {M}};}](https://wikimedia.org/api/rest_v1/media/math/render/svg/30a8078b92fef60d1391c7bba552e98d39909478)
![{\displaystyle A,B\in {\mathcal {M}},A\subset B\Rightarrow B\setminus A\in {\mathcal {M}};}](https://wikimedia.org/api/rest_v1/media/math/render/svg/932fc200ac8fa5b6f5f3ac47033580276a9648d6)
, ![{\displaystyle A_{n}\subset A_{n+1}\Rightarrow \bigcup _{n=1}^{\infty }{A_{n}}\in {\mathcal {M}}.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/9fac695a7c81aded2d16759c46be9d69481100df)
Si definisce
-algebra generata da una famiglia di parti
, in notazione
la più piccola
-algebra contenente
; analogamente e con la notazione
è definita la classe monotona generata da
.
Enunciato del lemma e dimostrazione
Se
è un
-sistema contenente
, allora si ha l'uguaglianza
.
Infatti, se
contiene
allora è evidente che
è chiusa per passaggio al complementare, perché
e una classe monotona è chiusa rispetto alla differenza insiemistica. Abbiamo dimostrato la prima delle due caratteristiche fondamentali di una
-algebra.
Se una classe di insiemi è chiusa per passaggio al complementare e per intersezioni finite, applicando le leggi di De Morgan, essa è chiusa per unioni finite. Se inoltre una famiglia di insiemi è chiusa per unioni finite e per unioni numerabili crescenti (terza proprietà di classe monotona nell'elenco), allora questa sarà chiusa per tutte le unioni numerabili (altra proprietà fondante delle
-algebre).
Non resta che dimostrare la chiusura di
. La suddetta dimostrazione si articola in due parti:
![{\displaystyle A\in {\mathcal {I}},B\in \lambda ({\mathcal {I}})\Rightarrow A\cap B\in \lambda ({\mathcal {I}});}](https://wikimedia.org/api/rest_v1/media/math/render/svg/c10fabf13d75a8689ac6e629cd409f1ebd4beee5)
![{\displaystyle A\in \lambda ({\mathcal {I}}),B\in \lambda ({\mathcal {I}})\Rightarrow A\cap B\in \lambda ({\mathcal {I}}).}](https://wikimedia.org/api/rest_v1/media/math/render/svg/52f085e888d48f7ca6ae92fa3be9c642c9906bc8)
Non si tratta che di effettuare banali verifiche delle proprietà di
-sistema sulle seguenti classi di insiemi:
![{\displaystyle {\mathcal {M}}:=\{B\in \lambda ({\mathcal {I}})|A\cap B\in \lambda ({\mathcal {I}}),A\in {\mathcal {I}}\};}](https://wikimedia.org/api/rest_v1/media/math/render/svg/531ad906e5e805ac97d235bf21d9dcb33168b2b2)
![{\displaystyle {\mathcal {M}}':=\{B\in \lambda ({\mathcal {I}})|A\cap B\in \lambda ({\mathcal {I}}),A\in \lambda ({\mathcal {I}})\}.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/708000645b38973f27425b2651e8e3d96e58931d)
Bibliografia
- Jean Jacod e Philip E. Protter, Probability Essentials, Berlino, Springer-Verlag, 2004. ISBN 3-540-43871-8.
Voci correlate
- Misura (matematica)
- Sigma-algebra
Portale Matematica: accedi alle voci di Wikipedia che trattano di matematica