Sigma-algebră

În matematică , o σ-algebră (pronunțată sigma-algebră ) sau un trib (termen introdus de grupul Bourbaki ) pe un set $\Omega$ ${\ displaystyle \ Omega}$ $\Omega$ , este o familie de subseturi de $\Omega$ ${\ displaystyle \ Omega}$ $\Omega$ care are proprietăți de închidere în ceea ce privește unele operații setate, în special operația de unire numărabilă și trecerea la complementar . Structura σ-algebrei este deosebit de utilă în teoriile măsurii și probabilității și stă la baza tuturor noțiunilor de măsurabilitate, atât a mulțimilor, cât și a funcțiilor . Este un caz particular al algebrei setate și, în comparație cu aceasta din urmă, este utilizat mult mai larg în analiză (datorită numeroaselor proprietăți pe care le au măsurile definite pe σ-algebre cu privire la operațiile de trecere la limită ).

Σ-algebrele care apar cel mai des în matematică sunt σ-algebrele boreliene și eb-algebra Lebesgue . Și din punct de vedere istoric, aceste două clase de σ-algebre au motivat dezvoltarea însuși conceptului de σ-algebră, născut la începutul secolelor al XIX -lea și al XX-lea, cu scopul de a formaliza teoria măsurii. De fapt, specifică ideea euristică a unui eveniment sau ansamblu măsurabil. Multe structuri abstracte importante, la baza progreselor matematice din secolul trecut, pot fi definite prin intermediul algebrelor σ. ^[1]

Definiție și primele proprietăți

Având un set $\Omega$ ${\ displaystyle \ Omega}$ $\Omega$ , definim σ-algebra pe $\Omega$ ${\ displaystyle \ Omega}$ $\Omega$ o familie ${\mathfrak {F}}$ ${\ displaystyle {\ mathfrak {F}}}$ ${\ mathfrak {F}}$ de subseturi de $\Omega$ ${\ displaystyle \ Omega}$ $\Omega$ astfel încât: ^[2]

Întregul $\Omega$ ${\ displaystyle \ Omega}$ $\Omega$ aparține lui ${\mathfrak {F}}$ ${\ displaystyle {\ mathfrak {F}}}$ ${\ mathfrak {F}}$ .
Dacă un set $LA$ ${\ displaystyle A}$ $LA$ este in ${\mathfrak {F}}$ ${\ displaystyle {\ mathfrak {F}}}$ ${\ mathfrak {F}}$ , atunci complementul său este în ${\mathfrak {F}}$ ${\ displaystyle {\ mathfrak {F}}}$ ${\ mathfrak {F}}$ .
Dacă elementele $A_{i}$ ${\ displaystyle A_ {i}}$ $Către}$ dintr-o familie numărabilă de seturi $\{A_{i}\}_{i\in \mathbb {N} }$ ${\ displaystyle \ {A_ {i} \} _ {i \ in \ mathbb {N}}}$ $\ {A_ {i} \} _ {{i \ in {\ mathbb {N}}}}$ sunt în ${\mathfrak {F}}$ ${\ displaystyle {\ mathfrak {F}}}$ ${\ mathfrak {F}}$ , apoi unirea lor:

A=\bigcup _{i=1}^{\infty }A_{i}

{\ displaystyle A = \ bigcup _ {i = 1} ^ {\ infty} A_ {i}}

A = \ bigcup _ {{i = 1}} ^ {\ infty} A_ {i}

aparține lui

{\mathfrak {F}}

{\ displaystyle {\ mathfrak {F}}}

{\ mathfrak {F}}

.

De sine ${\mathfrak {F}}$ ${\ displaystyle {\ mathfrak {F}}}$ ${\ mathfrak {F}}$ este o su σ-algebră $\Omega$ ${\ displaystyle \ Omega}$ $\Omega$ , asa de $\Omega$ ${\ displaystyle \ Omega}$ $\Omega$ spunem spațiul măsurabil și elementele ${\mathfrak {F}}$ ${\ displaystyle {\ mathfrak {F}}}$ ${\ mathfrak {F}}$ sunt numite seturi măsurabile în $\Omega$ ${\ displaystyle \ Omega}$ $\Omega$ . ^[2]

O σ-algebră, în special, este o algebră a mulțimilor , deoarece a treia condiție indicată mai sus implică stabilitatea pentru uniunea finită necesară în definiția structurii algebrei. În acest caz, stabilitatea este necesară și pentru uniunile numărabile, de unde și identificatorul σ, o prescurtare pentru succesiune .

Din definiție rezultă că: ^[3]

Setul gol aparține ${\mathfrak {F}}$ ${\ displaystyle {\ mathfrak {F}}}$ ${\ mathfrak {F}}$ , fiind complementul $\Omega$ ${\ displaystyle \ Omega}$ $\Omega$ .
O σ-algebră ${\mathfrak {F}}$ ${\ displaystyle {\ mathfrak {F}}}$ ${\ mathfrak {F}}$ este stabil prin intersecție numărabilă. De fapt, dacă $A_{i}\in {\mathfrak {F}}$ ${\ displaystyle A_ {i} \ în {\ mathfrak {F}}}$ $A_ {i} \ în {\ mathfrak {F}}$ pentru fiecare $i\in \mathbb {N}$ ${\ displaystyle i \ in \ mathbb {N}}$ $i \ in {\ mathbb {N}}$ , asa de:

\bigcap _{i\in \mathbb {N} }A_{i}=\left(\bigcup _{i\in \mathbb {N} }A_{i}^{c}\right)^{c}\in {\mathfrak {F}}

{\ displaystyle \ bigcap _ {i \ in \ mathbb {N}} A_ {i} = \ left (\ bigcup _ {i \ in \ mathbb {N}} A_ {i} ^ {c} \ right) ^ { c} \ in {\ mathfrak {F}}}

\ bigcap _ {{i \ in {\ mathbb {N}}}} A_ {i} = \ left (\ bigcup _ {{i \ in {\ mathbb {N}}}} A_ {i} ^ {c} \ right) ^ {c} \ in {\ mathfrak {F}}

Dacă seturile $LA$ ${\ displaystyle A}$ $LA$ Și $B.$ ${\ displaystyle B}$ $B.$ apartine ${\mathfrak {F}}$ ${\ displaystyle {\ mathfrak {F}}}$ ${\ mathfrak {F}}$ , asa de:

A-B=B^{c}\cap A\in {\mathfrak {F}}

{\ displaystyle AB = B ^ {c} \ cap A \ in {\ mathfrak {F}}}

A-B = B ^ {c} \ cap A \ in {\ mathfrak {F}}

Dați două σ-algebre ${\mathfrak {F}}$ ${\ displaystyle {\ mathfrak {F}}}$ ${\ mathfrak {F}}$ , ${\mathfrak {G}}$ ${\ displaystyle {\ mathfrak {G}}}$ ${\ mathfrak {G}}$ pe același set $\Omega$ ${\ displaystyle \ Omega}$ $\Omega$ , se spune că ${\mathfrak {F}}$ ${\ displaystyle {\ mathfrak {F}}}$ ${\ mathfrak {F}}$ este mai puțin fin decât ${\mathfrak {G}}$ ${\ displaystyle {\ mathfrak {G}}}$ ${\ mathfrak {G}}$ de sine ${\mathfrak {F}}$ ${\ displaystyle {\ mathfrak {F}}}$ ${\ mathfrak {F}}$ este cuprins în ${\mathfrak {G}}$ ${\ displaystyle {\ mathfrak {G}}}$ ${\ mathfrak {G}}$ , adică dacă fiecare subset $E\subset \Omega$ ${\ displaystyle E \ subset \ Omega}$ $Și \ subset \ Omega$ aparținând ${\mathfrak {F}}$ ${\ displaystyle {\ mathfrak {F}}}$ ${\ mathfrak {F}}$ aparține și ${\mathfrak {G}}$ ${\ displaystyle {\ mathfrak {G}}}$ ${\ mathfrak {G}}$ . Relația fiind mai puțin fină decât definește o ordonare parțială pe setul de σ-algebre pe un set dat $\Omega$ ${\ displaystyle \ Omega}$ $\Omega$ .

Având două seturi $(\Omega _{1},{\mathfrak {F}})$ ${\ displaystyle (\ Omega _ {1}, {\ mathfrak {F}})}$ $(\ Omega _ {1}, {\ mathfrak {F}})$ Și $(\Omega _{2},{\mathfrak {G}})$ ${\ displaystyle (\ Omega _ {2}, {\ mathfrak {G}})}$ $(\ Omega _ {2}, {\ mathfrak {G}})$ , unde este ${\mathfrak {F}}$ ${\ displaystyle {\ mathfrak {F}}}$ ${\ mathfrak {F}}$ Și ${\mathfrak {G}}$ ${\ displaystyle {\ mathfrak {G}}}$ ${\ mathfrak {G}}$ sunt sigma-algebrele respective, sigma-algebra ${\mathfrak {F}}\otimes {\mathfrak {G}}$ ${\ displaystyle {\ mathfrak {F}} \ otimes {\ mathfrak {G}}}$ ${\ mathfrak {F}} \ otimes {\ mathfrak {G}}$ constă din subseturi ale produsului cartezian $\Omega _{1}\times \Omega _{2}$ ${\ displaystyle \ Omega _ {1} \ times \ Omega _ {2}}$ $\ Omega _ {1} \ times \ Omega _ {2}$ , și este cea mai mică sigma-algebră pe care o conține $\{R\times F:R\in {\mathfrak {F}},F\in {\mathfrak {G}}\}$ ${\ displaystyle \ {R \ times F: R \ in {\ mathfrak {F}}, F \ in {\ mathfrak {G}} \}}$ $\ {R \ times F: R \ in {\ mathfrak {F}}, F \ in {\ mathfrak {G}} \}$ .

Structuri definite folosind σ-algebre

Noțiunea de σ-algebră oferă posibilitatea construirii unor structuri matematice mai complexe pornind de la aceasta. Următoarele structuri fundamentale, studiate pe larg în secolul XX , stau la baza teoriei măsurii și integrale a lui Lebesgue.

Spațiu măsurabil

Același subiect în detaliu: Spațiu măsurabil .

Un spațiu măsurabil este o pereche $(\Omega ,{\mathfrak {F}})$ ${\ displaystyle (\ Omega, {\ mathfrak {F}})}$ $(\ Omega, {\ mathfrak {F}})$ format dintr-un set ne-gol $\Omega$ ${\ displaystyle \ Omega}$ $\Omega$ și o σ-algebră ${\mathfrak {F}}$ ${\ displaystyle {\ mathfrak {F}}}$ ${\ mathfrak {F}}$ pe $\Omega$ ${\ displaystyle \ Omega}$ $\Omega$ . Elementele ${\mathfrak {F}}$ ${\ displaystyle {\ mathfrak {F}}}$ ${\ mathfrak {F}}$ se numesc seturi măsurabile de $\Omega$ ${\ displaystyle \ Omega}$ $\Omega$ . ^[2] Spațiile măsurabile formează o categorie , ale cărei morfisme sunt funcții măsurabile . Întregul $\Omega$ ${\ displaystyle \ Omega}$ $\Omega$ este uneori numit spațiu eșantion , în special în aplicații statistice și de probabilitate .

Spațiul de măsurare

Același subiect în detaliu: Spațiul de măsurare .

Un spațiu de măsurare este definit ca un spațiu măsurabil $(X,{\mathfrak {F}})$ ${\ displaystyle (X, {\ mathfrak {F}})}$ $(X, {\ mathfrak {F}})$ echipat cu o măsură $\mu$ ${\ displaystyle \ mu}$ $\ mu$ pozitiv definit pe σ-algebră ${\mathfrak {F}}$ ${\ displaystyle {\ mathfrak {F}}}$ ${\ mathfrak {F}}$ format din subseturi măsurabile de $X$ ${\ displaystyle X}$ $X$ . ^[4] Un astfel de spațiu este reprezentat cu un triplu $(X,{\mathfrak {F}},\mu )$ ${\ displaystyle (X, {\ mathfrak {F}}, \ mu)}$ $(X, {\ mathfrak {F}}, \ mu)$ .

De sine $|\mu |(X)<\infty$ ${\ displaystyle | \ mu | (X) <\ infty}$ $| \ mu | (X) <\ infty$ se spune că spațiul de măsurare este finit . Dacă și $X$ ${\ displaystyle X}$ $X$ poate fi scris ca o uniune numărabilă de seturi:

X=\bigcup _{i\in \mathbb {N} }X_{i}

{\ displaystyle X = \ bigcup _ {i \ in \ mathbb {N}} X_ {i}}

X = \ bigcup _ {{i \ in {\ mathbb {N}}}} X_ {i}

de măsură finită, adică astfel încât $|\mu |(X_{i})<\infty$ ${\ displaystyle | \ mu | (X_ {i}) <\ infty}$ $| \ mu | (X_ {i}) <\ infty$ , atunci spațiul măsurabil se numește σ-finit .

„Completarea” unui spațiu de măsură se obține prin adăugarea tuturor subseturilor lor la seturile de măsură zero. Completarea σ-algebrei ${\mathfrak {F}}$ ${\ displaystyle {\ mathfrak {F}}}$ ${\ mathfrak {F}}$ al unui spațiu de măsurare este cea mai mică σ-algebră pe care o conține ${\mathfrak {F}}$ ${\ displaystyle {\ mathfrak {F}}}$ ${\ mathfrak {F}}$ și toate subseturile seturilor de ${\mathfrak {F}}$ ${\ displaystyle {\ mathfrak {F}}}$ ${\ mathfrak {F}}$ care nu au măsură nimic.

Funcții măsurabile

Același subiect în detaliu: Funcția măsurabilă .

Lasa-i sa fie $(X,{\mathfrak {F}})$ ${\ displaystyle (X, {\ mathfrak {F}})}$ $(X, {\ mathfrak {F}})$ Și $(Y,{\mathfrak {G}})$ ${\ displaystyle (Y, {\ mathfrak {G}})}$ $(Y, {\ mathfrak {G}})$ două spații măsurabile . O funcție $f\colon X\to Y$ ${\ displaystyle f \ colon X \ to Y}$ ${\ displaystyle f \ colon X \ to Y}$ se numește măsurabilă sau $({\mathfrak {F}},{\mathfrak {G}})$ ${\ displaystyle ({\ mathfrak {F}}, {\ mathfrak {G}})}$ $({\ mathfrak {F}}, {\ mathfrak {G}})$ -măsurabil dacă $f^{-1}(V)\in {\mathfrak {F}}$ ${\ displaystyle f ^ {- 1} (V) \ în {\ mathfrak {F}}}$ ${\ displaystyle f ^ {- 1} (V) \ în {\ mathfrak {F}}}$ pentru fiecare $V\in {\mathfrak {G}},$ ${\ displaystyle V \ in {\ mathfrak {G}},}$ ${\ displaystyle V \ in {\ mathfrak {G}},}$ adică dacă pentru fiecare set măsurabil $V.$ ${\ displaystyle V}$ $V.$ din $Da$ ${\ displaystyle Y}$ $Da$ imaginea contra $f^{-1}(V)$ ${\ displaystyle f ^ {- 1} (V)}$ $f ^ {{- 1}} (V)$ este un set măsurabil de $X .$ ${\ displaystyle X.}$ ${\ displaystyle X.}$ : ^[2]

f^{-1}(A)\in {\mathfrak {F}}\qquad \forall A\in {\mathfrak {G}}

{\ displaystyle f ^ {- 1} (A) \ in {\ mathfrak {F}} \ qquad \ forall A \ in {\ mathfrak {G}}}

f ^ {{- 1}} (A) \ in {\ mathfrak {F}} \ qquad \ forall A \ in {\ mathfrak {G}}

Folosind limbajul teoriei categoriilor , o funcție măsurabilă poate fi definită ca un morfism al spațiilor măsurabile.

Sistem dinamic

Același subiect în detaliu: Sistem dinamic .

Este $(\Omega ,{\mathfrak {F}})$ ${\ displaystyle (\ Omega, {\ mathfrak {F}})}$ $(\ Omega, {\ mathfrak {F}})$ un spațiu măsurabil, $S.$ ${\ displaystyle S}$ $S.$ un semigrup și, pentru fiecare $s\in S$ ${\ displaystyle s \ în S}$ $s \ în S$ , este $T_{s}:\Omega \mapsto \Omega$ ${\ displaystyle T_ {s}: \ Omega \ mapsto \ Omega}$ $T_ {s}: \ Omega \ mapsto \ Omega$ o aplicație măsurabilă cu proprietatea care $T_{s}\circ T_{t}=T_{st}$ ${\ displaystyle T_ {s} \ circ T_ {t} = T_ {st}}$ $T_ {s} \ circ T_ {t} = T _ {{st}}$ . Cu alte cuvinte, $T.$ ${\ displaystyle T}$ $T.$ este o acțiune măsurabilă a $S.$ ${\ displaystyle S}$ $S.$ pe $\Omega$ ${\ displaystyle \ Omega}$ $\Omega$ . Buldoexcavatorul $(\Omega ,{\mathfrak {F}},T)$ ${\ displaystyle (\ Omega, {\ mathfrak {F}}, T)}$ $(\ Omega, {\ mathfrak {F}}, T)$ se numește sistem dinamic.

Principalele rezultate

Având o familie $\left\{{\mathfrak {F}}_{\alpha }\right\}_{\alpha \in {\mathcal {A}}}$ ${\ displaystyle \ left \ {{\ mathfrak {F}} _ {\ alpha} \ right \} _ {\ alpha \ in {\ mathcal {A}}}}$ ${\ displaystyle \ left \ {{\ mathfrak {F}} _ {\ alpha} \ right \} _ {\ alpha \ in {\ mathcal {A}}}}$ oricare dintre σ-algebre, se verifică că intersecția lor:

{\mathfrak {F}}_{\mathcal {A}}:=\bigcap _{\alpha \in {\mathcal {A}}}{\mathfrak {F}}_{\alpha }

{\ displaystyle {\ mathfrak {F}} _ {\ mathcal {A}}: = \ bigcap _ {\ alpha \ in {\ mathcal {A}}} {\ mathfrak {F}} _ {\ alpha}}

{\ mathfrak {F}} _ {{{\ mathcal {A}}}}: = \ bigcap _ {{\ alpha \ in {\ mathcal {A}}}} {\ mathfrak {F}} _ {\ alpha }

este încă o σ-algebră. Este cea mai mare σ-algebră conținută în toate algebrele ${\mathfrak {F}}_{\alpha }$ ${\ displaystyle {\ mathfrak {F}} _ {\ alpha}}$ ${\ mathfrak {F}} _ {\ alpha}$ , adică dacă ${\mathfrak {F}}\subset {\mathfrak {F}}_{\alpha }$ ${\ displaystyle {\ mathfrak {F}} \ subset {\ mathfrak {F}} _ {\ alpha}}$ ${\ mathfrak {F}} \ subset {\ mathfrak {F}} _ {\ alpha}$ pentru fiecare $\alpha \in {\mathcal {A}}$ ${\ displaystyle \ alpha \ in {\ mathcal {A}}}$ $\ alpha \ în {\ mathcal {A}}$ , asa de ${\mathfrak {F}}\subset {\mathfrak {F}}_{\mathcal {A}}$ ${\ displaystyle {\ mathfrak {F}} \ subset {\ mathfrak {F}} _ {\ mathcal {A}}}$ ${\ mathfrak {F}} \ subset {\ mathfrak {F}} _ {{\ mathcal {A}}}$ .

Prin urmare, având în vedere orice familie ${\mathfrak {G}}$ ${\ displaystyle {\ mathfrak {G}}}$ ${\ mathfrak {G}}$ de subseturi de $\Omega$ ${\ displaystyle \ Omega}$ $\Omega$ , putem considera σ-algebra generată de ${\mathfrak {G}}$ ${\ displaystyle {\ mathfrak {G}}}$ ${\ mathfrak {G}}$ ca intersecție a tuturor conținând σ-algebre ${\mathfrak {G}}$ ${\ displaystyle {\ mathfrak {G}}}$ ${\ mathfrak {G}}$ . Prin urmare, din însăși definiția σ-algebrei generată de ${\mathfrak {G}}$ ${\ displaystyle {\ mathfrak {G}}}$ ${\ mathfrak {G}}$ rezultă că este cea mai mică care conține σ-algebră ${\mathfrak {G}}$ ${\ displaystyle {\ mathfrak {G}}}$ ${\ mathfrak {G}}$ . Această observație este utilizată pe scară largă pentru construirea măsurilor, deoarece permite definirea unei σ-algebre pur și simplu prin furnizarea unei familii de seturi care o generează. Σ-algebra generată de un set ${\mathfrak {G}}$ ${\ displaystyle {\ mathfrak {G}}}$ ${\ mathfrak {G}}$ este des indicat $\sigma ({\mathfrak {G}})$ ${\ displaystyle \ sigma ({\ mathfrak {G}})}$ $\ sigma ({\ mathfrak {G}})$ .

În cazul familiilor terminate ${\mathfrak {G}}=\{G_{1},...,G_{n}\}$ ${\ displaystyle {\ mathfrak {G}} = \ {G_ {1}, ..., G_ {n} \}}$ ${\ mathfrak {G}} = \ {G_ {1}, ..., G_ {n} \}$ , această σ-algebră poate fi enumerată în mod explicit prin setarea:

\sigma ({\mathfrak {G}})=\{\bigcup _{i=1}^{n}G_{i}^{*},G_{i}^{*}=G_{i},G_{i}^{C},n\in \mathbb {N} \}

{\ displaystyle \ sigma ({\ mathfrak {G}}) = \ {\ bigcup _ {i = 1} ^ {n} G_ {i} ^ {*}, G_ {i} ^ {*} = G_ {i }, G_ {i} ^ {C}, n \ in \ mathbb {N} \}}

\ sigma ({\ mathfrak {G}}) = \ {\ bigcup _ {{i = 1}} ^ {n} G_ {i} ^ {*}, G_ {i} ^ {*} = G_ {i} , G_ {i} ^ {C}, n \ in \ mathbb {N} \}

și închiderea familiei în ceea ce privește operațiunile de unire și complementare.

Un sistem π ${\mathcal {P}}$ ${\ displaystyle {\ mathcal {P}}}$ ${\ mathcal {P}}$ este o familie non-vidă de subseturi de $\Omega$ ${\ displaystyle \ Omega}$ $\Omega$ stabil prin intersecție: dacă $A,B\in {\mathcal {P}}$ ${\ displaystyle A, B \ in {\ mathcal {P}}}$ $A, B \ în {\ mathcal {P}}$ asa de $A\cap B\in {\mathcal {P}}$ ${\ displaystyle A \ cap B \ în {\ mathcal {P}}}$ $A \ cap B \ în {\ mathcal {P}}$ . În mod similar, o familie ${\mathcal {L}}$ ${\ displaystyle {\ mathcal {L}}}$ ${\ mathcal {L}}$ de subseturi de $\Omega$ ${\ displaystyle \ Omega}$ $\Omega$ se numește sistem λ dacă:

$\Omega \in {\mathcal {L}}$ ${\ displaystyle \ Omega \ în {\ mathcal {L}}}$ $\ Omega \ în {\ mathcal {L}}$ .
$\Omega$ ${\ displaystyle \ Omega}$ $\Omega$ este închis pentru trecerea la complementar, adică dacă $A\in {\mathcal {L}}$ ${\ displaystyle A \ in {\ mathcal {L}}}$ $A \ in {\ mathcal {L}}$ asa de $A^{c}\in {\mathcal {L}}$ ${\ displaystyle A ^ {c} \ în {\ mathcal {L}}}$ $A ^ {c} \ în {\ mathcal {L}}$ .
$\Omega$ ${\ displaystyle \ Omega}$ $\Omega$ este stabil pentru uniunile contabile disjune: dacă mulțimile $A_{i}\in {\mathcal {L}}$ ${\ displaystyle A_ {i} \ în {\ mathcal {L}}}$ $A_ {i} \ în {\ mathcal {L}}$ pentru $i\in \mathbb {N}$ ${\ displaystyle i \ in \ mathbb {N}}$ $i \ in {\ mathbb {N}}$ ele sunt două câte două disjuncte, apoi:

\bigcup _{i\in \mathbb {N} }A_{i}\in {\mathcal {L}}

{\ displaystyle \ bigcup _ {i \ in \ mathbb {N}} A_ {i} \ in {\ mathcal {L}}}

\ bigcup _ {{i \ in {\ mathbb {N}}}} A_ {i} \ in {\ mathcal {L}}

În acest context, este posibil să se demonstreze într-un mod elementar teorema lui Dynkin π-λ, care afirmă că pe orice set $\Omega$ ${\ displaystyle \ Omega}$ $\Omega$ nu gol, dacă un sistem π ${\mathcal {P}}$ ${\ displaystyle {\ mathcal {P}}}$ ${\ mathcal {P}}$ este conținut într-un sistem λ ${\mathcal {L}}$ ${\ displaystyle {\ mathcal {L}}}$ ${\ mathcal {L}}$ , apoi întreaga σ-algebră generată de ${\mathcal {P}}$ ${\ displaystyle {\ mathcal {P}}}$ ${\ mathcal {P}}$ este cuprins în ${\mathcal {L}}$ ${\ displaystyle {\ mathcal {L}}}$ ${\ mathcal {L}}$ . Sau ${\mathcal {P}}\subset {\mathcal {L}}$ ${\ displaystyle {\ mathcal {P}} \ subset {\ mathcal {L}}}$ ${\ mathcal {P}} \ subset {\ mathcal {L}}$ implica $\sigma ({\mathcal {P}})\subset {\mathcal {L}}$ ${\ displaystyle \ sigma ({\ mathcal {P}}) \ subset {\ mathcal {L}}}$ $\ sigma ({\ mathcal {P}}) \ subset {\ mathcal {L}}$ .

Această teoremă este foarte des utilizată în teoria măsurătorilor ^[5] . De exemplu, rezultă că este suficient să atribuiți valorile unei măsuri $\mu$ ${\ displaystyle \ mu}$ $\ mu$ pe un sistem λ care conține un sistem π ${\mathcal {P}}$ ${\ displaystyle {\ mathcal {P}}}$ ${\ mathcal {P}}$ pentru a construi spațiul de măsurare $\left(\Omega ,\sigma ({\mathcal {P}}),\mu \right)$ ${\ displaystyle \ left (\ Omega, \ sigma ({\ mathcal {P}}), \ mu \ right)}$ $\ left (\ Omega, \ sigma ({\ mathcal {P}}), \ mu \ right)$ . De fapt, datorită teoremei lui Dynkin π-λ, măsura $\mu$ ${\ displaystyle \ mu}$ $\ mu$ este bine definit pe toate $\sigma ({\mathcal {P}})$ ${\ displaystyle \ sigma ({\ mathcal {P}})}$ $\ sigma ({\ mathcal {P}})$ .

Exemple și aplicații

Având în vedere orice set ne-gol $\Omega$ ${\ displaystyle \ Omega}$ $\Omega$ , familia subseturilor ${\mathfrak {F}}_{0}=\{\emptyset ,\Omega \}$ ${\ displaystyle {\ mathfrak {F}} _ {0} = \ {\ emptyset, \ Omega \}}$ ${\ mathfrak {F}} _ {0} = \ {\ emptyset, \ Omega \}$ este o σ-algebră. Chiar și familia ${\mathfrak {F}}_{\mathcal {P}}$ ${\ displaystyle {\ mathfrak {F}} _ {\ mathcal {P}}}$ ${\ mathfrak {F}} _ {{{\ mathcal {P}}}}$ format din toate subseturile de $\Omega$ ${\ displaystyle \ Omega}$ $\Omega$ (set de părți) este o σ-algebră. Acestea sunt, respectiv, cea mai mică și cea mai mare σ-algebră de pe $\Omega$ ${\ displaystyle \ Omega}$ $\Omega$ ; asta dacă ${\mathfrak {F}}$ ${\ displaystyle {\ mathfrak {F}}}$ ${\ mathfrak {F}}$ este o su σ-algebră $\Omega$ ${\ displaystyle \ Omega}$ $\Omega$ , asa de ${\mathfrak {F}}_{0}\subset {\mathfrak {F}}\subset {\mathfrak {F}}_{\mathcal {P}}$ ${\ displaystyle {\ mathfrak {F}} _ {0} \ subset {\ mathfrak {F}} \ subset {\ mathfrak {F}} _ {\ mathcal {P}}}$ ${\ mathfrak {F}} _ {0} \ subset {\ mathfrak {F}} \ subset {\ mathfrak {F}} _ {{{\ mathcal {P}}}}$ . În general, aceste două σ-algebre sunt numite improprii sau banale .
Orice algebră de mulțime compusă dintr-un număr finit de elemente este o σ-algebră, deoarece nu există familii de mulțimi cu un număr infinit de elemente (vezi exemple sub algebră de mulțimi ).
Având în vedere orice set ne-gol $\Omega$ ${\ displaystyle \ Omega}$ $\Omega$ , familia formată din toate subseturile de $\Omega$ ${\ displaystyle \ Omega}$ $\Omega$ care au cardinalitate numărabilă sau a cărei complementaritate are cardinalitate numărabilă este o σ-algebră. Este distinct de toate părțile din $\Omega$ ${\ displaystyle \ Omega}$ $\Omega$ dacă și numai dacă $\Omega$ ${\ displaystyle \ Omega}$ $\Omega$ este de nenumărat.
Luați în considerare setul de numere reale sau, mai general $\mathbb {R} ^{n}$ ${\ displaystyle \ mathbb {R} ^ {n}}$ ${\ mathbb {R}} ^ {n}$ , cu topologia euclidiană obișnuită ${\mathcal {\mathrm {T} }}$ ${\ displaystyle {\ mathcal {\ mathrm {T}}}}$ ${\ mathcal {\ mathrm {T}}}$ (sau ${\mathcal {\mathrm {T} }}$ ${\ displaystyle {\ mathcal {\ mathrm {T}}}}$ ${\ mathcal {\ mathrm {T}}}$ este familia subseturilor deschise de $\mathbb {R} ^{n}$ ${\ displaystyle \ mathbb {R} ^ {n}}$ ${\ mathbb {R}} ^ {n}$ ). Borelian σ-algebra este definită ca σ-algebra generată de ${\mathcal {\mathrm {T} }}$ ${\ displaystyle {\ mathcal {\ mathrm {T}}}}$ ${\ mathcal {\ mathrm {T}}}$ , de obicei notat cu ${\mathfrak {B}}=\sigma ({\mathcal {\mathrm {T} }})$ ${\ displaystyle {\ mathfrak {B}} = \ sigma ({\ mathcal {\ mathrm {T}}})}$ ${\ mathfrak {B}} = \ sigma ({\ mathcal {\ mathrm {T}}})$ . Elementele ${\mathfrak {B}}$ ${\ displaystyle {\ mathfrak {B}}}$ ${\ mathfrak {B}}$ se numesc borelieni și se poate arăta că au cardinalitatea continuumului (prin urmare, subseturile boreliene sunt „puține” în comparație cu toate subseturile liniei reale care au o cardinalitate mai mare decât cea a celor reale). Multe dintre măsurile utilizate în mod obișnuit (pe axa reală) pot fi definite pe algebra σ Boreliană. De asemenea, este interesant de observat că noțiunea de σ-algebră a apărut istoric tocmai din generalizarea acestei construcții.
Mai general, construcția σ-algebrei boreliene poate fi realizată pe orice spațiu topologic $(X,{\mathcal {\mathrm {T} }})$ ${\ displaystyle (X, {\ mathcal {\ mathrm {T}}})}$ $(X, {\ mathcal {\ mathrm {T}}})$ pur și simplu prin plasare ${\mathfrak {B}}=\sigma ({\mathcal {\mathrm {T} }})$ ${\ displaystyle {\ mathfrak {B}} = \ sigma ({\ mathcal {\ mathrm {T}}})}$ ${\ mathfrak {B}} = \ sigma ({\ mathcal {\ mathrm {T}}})$ . Această σ-algebră este utilizată pentru a construi măsuri în spații mai generale decât linia reală. De exemplu, măsura Haar pe grupuri topologice compacte la nivel local este definită exact prin intermediul algebrei σ boreliene a grupului. În mod similar, noțiunea de dualitate între funcții continue și măsuri pe un spațiu topologic este construită (în spații suficient de regulate) tocmai prin dotarea spațiului cu α-algebra Boreliană.
În cazul în care $\Omega =\mathbb {R} ^{n}$ ${\ displaystyle \ Omega = \ mathbb {R} ^ {n}}$ $\ Omega = {\ mathbb {R}} ^ {n}$ , se utilizează uneori o σ-algebră mult mai largă decât cea boreliană: σ-algebra lui Lebesgue . Este definită ca completarea σ-algebrei boreliene în raport cu măsura Borel și este fundamentală pentru construirea celebrei măsuri Lebesgue . Σ-algebra lui Lebesgue are cardinalitate mai mare decât cea a continuumului: în mod firesc este conținută în setul de părți ale numerelor reale (vezi primul exemplu de mai sus). Cu toate acestea, este legitim să ne întrebăm dacă există subseturi de numere reale care nu aparțin σ-algebrei lui Lebesgue. Aceste subseturi sunt, de asemenea, numite seturi nemăsurabile conform lui Lebesgue , iar existența unor astfel de subseturi este legată de axioma de alegere , adică pot fi construite dacă și numai dacă se presupune această axiomă. Un exemplu de astfel de seturi este setul Vitali .

Notă

^ O scurtă relatare a dezvoltării istorice a teoriei măsurii și integrării se găsește în Boyer History of Mathematics , cap. 28. Pentru o introducere în ideile teoriei măsurii vezi Billingsley, Probabilitate și măsură . O prezentare generală, dar mai abstractă, este dată și în Cohn, The Measure Theory . Un text introductiv clasic este Teoria măsurării Halmos.
^ ^a ^b ^c ^d W. Rudin , Pagina 8 .
^ W. Rudin , Pagina 10 .
^ W. Rudin , pagina 16 .
^ Câteva exemple sunt date în Vestrup, Theory of Measures and Integration cap. 3 și cap. 11

Bibliografie

Walter Rudin, Analiză reală și complexă , Mladinska Knjiga, McGraw-Hill, 1970, ISBN 0-07-054234-1 .
Patrick Billingsley, Probabilitate și măsură , ediția a 3-a, New York, John Wiley & Sons , 1995, ISBN 0-471-00710-2 , ..
Carl B. Boyer, History of Mathematics , 2nd edition, New York, John Wiley & Sons , 1989, ISBN 0-471-54397-7 .
Donald L. Cohn, The Measure Theory , Boston, Birkhäuser, 1980, ISBN 0-8493-7157-0 .
Paul R. Halmos , The Measure Theory , New York, Springer-Verlag, 1974, ISBN 0-387-90088-8 .
Eric M. Verstrup, Theory of Measures and Integration , Hoboken, John Wiley & Sons , 2003, ISBN 0-471-24977-7 .

Elemente conexe

linkuri externe

( EN ) VV Sazonov, Algebra of sets , în Encyclopaedia of Mathematics , Springer and European Mathematical Society, 2002.
( EN ) σ-algebra , în PlanetMath .

Controlul autorității	Tezaur BNCF 24182

Portalul de matematică : accesați intrările Wikipedia care se ocupă de matematică

[1] O scurtă relatare a dezvoltării istorice a teoriei măsurii și integrării se găsește în Boyer History of Mathematics , cap. 28. Pentru o introducere în ideile teoriei măsurii vezi Billingsley, Probabilitate și măsură . O prezentare generală, dar mai abstractă, este dată și în Cohn, The Measure Theory . Un text introductiv clasic este Teoria măsurării Halmos.

[def-2] W. Rudin , Pagina 8 .

[3] W. Rudin , Pagina 10 .

[4] W. Rudin , pagina 16 .

[5] Câteva exemple sunt date în Vestrup, Theory of Measures and Integration cap. 3 și cap. 11

[1]

[2]

[3]

[4]

[5]