Spațiu de probă

În calculul probabilităților, spațiul eșantionului sau universul setat (în general indicat de litere $S.$ ${\ displaystyle S}$ $S.$ , $\Omega$ ${\ displaystyle \ Omega}$ $\Omega$ sau $U$ ${\ displaystyle U}$ $U$ ) este ansamblul posibilelor rezultate ale unui experiment aleatoriu. De exemplu, atunci când aruncați o matriță cu șase fețe, spațiul eșantionului este setul $\{1,2,3,4,5,6\}$ ${\ displaystyle \ {1,2,3,4,5,6 \}}$ ${\ displaystyle \ {1,2,3,4,5,6 \}}$ , în aruncarea unei monede este întregul $\Omega \equiv \{testa,croce\}$ ${\ displaystyle \ Omega \ equiv \ {capete, cozi \}}$ ${\ displaystyle \ Omega \ equiv \ {capete, cozi \}}$ (cu excepția faptului că moneda poate plasa pe margine) și așa mai departe. Spațiul eșantionului poate avea, de asemenea, elemente infinite: dacă, de exemplu, suntem interesați de studiul căderii unei bile pe o podea, spațiul eșantionului va corespunde setului de puncte de pe podea, toate considerate ca fiind posibile puncte de impactul mingii.

Definiții formale

Spațiu de probă

Având în vedere un experiment aleatoriu, se numește eveniment elementar $\omega$ ${\ displaystyle \ omega}$ $\omega$ unul dintre posibilele rezultate ale experimentului în sine. Ansamblul tuturor evenimentelor elementare $\Omega \equiv \{\omega _{1},\ldots ,\omega _{n},\ldots \}$ ${\ displaystyle \ Omega \ equiv \ {\ omega _ {1}, \ ldots, \ omega _ {n}, \ ldots \}}$ ${\ displaystyle \ Omega \ equiv \ {\ omega _ {1}, \ ldots, \ omega _ {n}, \ ldots \}}$ se numește spațiu eșantion ( spațiu eșantion în literatura anglo-saxonă); evenimentele elementare reprezintă punctele acestui spațiu.

Conceptele de spațiu eșantion și eveniment elementar sunt concepte primitive în teoria probabilității , precum cele ale unui punct sau linie în geometrie , și nu sunt definite în continuare din alte concepte. Prin urmare, nu există indicații sau limitări cu privire la natura evenimentelor elementare; în restul intrării vom da câteva exemple în care evenimentele elementare iau o natură matematică specifică.

Evenimente

Același subiect în detaliu: Eveniment (teoria probabilității) .

În timp ce un eveniment elementar indică unul dintre rezultatele posibile ale unui experiment aleatoriu, un eveniment este orice subset $A\subseteq \Omega$ ${\ displaystyle A \ subseteq \ Omega}$ $A \ subseteq \ Omega$ a spațiului eșantion $\Omega$ ${\ displaystyle \ Omega}$ $\Omega$ a evenimentelor elementare. Prin urmare, un eveniment nu este altceva decât un grup de unul sau mai multe evenimente elementare. Prin urmare, expresiile eveniment elementar și eveniment fără alte specificații se referă la entități de altă natură: primele sunt puncte ale unui spațiu, a căror natură nu este definită în continuare în general, în timp ce acestea din urmă sunt seturi, prin urmare tratabile cu toate instrumentele teorie omonimă .

Setul corespunzător întregului spațiu eșantion $\Omega$ ${\ displaystyle \ Omega}$ $\Omega$ este în sine un eveniment, ca un set de evenimente elementare; se numește un anumit eveniment, deoarece include toate evenimentele elementare, adică toate rezultatele posibile ale unui experiment. Evenimentul corespunzător setului gol $\varnothing$ ${\ displaystyle \ varnothing}$ $\ varnothing$ , care nu include niciun eveniment elementar, se numește eveniment imposibil.

Având în vedere un spațiu eșantion asociat cu un experiment, este posibil ca analiza care trebuie efectuată să nu implice toate evenimentele posibile, ci doar o parte din acestea. Evenimentele care joacă un rol într-o analiză specifică sunt numite evenimente de interes.

Sigma-algebră

Același subiect în detaliu: Sigma-algebră .

Este $\Omega$ ${\ displaystyle \ Omega}$ $\Omega$ un spațiu arbitrar atâta timp cât nu este gol. O familie ${\mathcal {A}}$ ${\ displaystyle {\ mathcal {A}}}$ ${\ mathcal {A}}$ a evenimentelor de $\Omega$ ${\ displaystyle \ Omega}$ $\Omega$ (adică orice colecție de subseturi $A_{i}\subseteq \Omega$ ${\ displaystyle A_ {i} \ subseteq \ Omega}$ ${\ displaystyle A_ {i} \ subseteq \ Omega}$ ) se spune $\sigma$ ${\ displaystyle \ sigma}$ $\ sigma$ -algebra ( sigma -algebra) dacă conține $\Omega$ ${\ displaystyle \ Omega}$ $\Omega$ și este închisă în raport cu operațiile setate de unire și complementare numărabile, adică dacă îndeplinește următoarele trei proprietăți:

$\Omega \in {\mathcal {A}}$ ${\ displaystyle \ Omega \ in {\ mathcal {A}}}$ ${\ displaystyle \ Omega \ in {\ mathcal {A}}}$
$A\in {\mathcal {A}}\Rightarrow A^{c}\in {\mathcal {A}}$ ${\ displaystyle A \ in {\ mathcal {A}} \ Rightarrow A ^ {c} \ in {\ mathcal {A}}}$ ${\ displaystyle A \ in {\ mathcal {A}} \ Rightarrow A ^ {c} \ in {\ mathcal {A}}}$
$A_{i}\in {\mathcal {A}}\;\forall i\in \mathbb {N} \Rightarrow \bigcup _{i=1}^{\infty }{A_{i}}\in {\mathcal {A}}$ ${\ displaystyle A_ {i} \ in {\ mathcal {A}} \; \ forall i \ in \ mathbb {N} \ Rightarrow \ bigcup _ {i = 1} ^ {\ infty} {A_ {i}} \ în {\ mathcal {A}}}$ ${\ displaystyle A_ {i} \ in {\ mathcal {A}} \; \ forall i \ in \ mathbb {N} \ Rightarrow \ bigcup _ {i = 1} ^ {\ infty} {A_ {i}} \ în {\ mathcal {A}}}$

Prin urmare: (1) evenimentul cert este un eveniment (ca să spunem: „se întâmplă ceva”); (2) negarea oricărui eveniment este ea însăși un eveniment; (3) orice unire de evenimente este un eveniment (de exemplu, evenimentul "are loc $ȘI$ ${\ displaystyle E}$ $ȘI$ sau $F.$ ${\ displaystyle F}$ $F.$ „este unirea evenimentului” are loc $ȘI$ ${\ displaystyle E}$ $ȘI$ apare „cu eveniment” $F.$ ${\ displaystyle F}$ $F.$ ").

Proprietatea 1. este complet echivalentă cu:

1 '.

\varnothing \in {\mathcal {A}}

{\ displaystyle \ varnothing \ în {\ mathcal {A}}}

{\ displaystyle \ varnothing \ în {\ mathcal {A}}}

Proprietatea 3. este complet echivalentă cu:

3 '.

A_{i}\in {\mathcal {A}}\;\forall i\in \mathbb {N} \Rightarrow \bigcap _{i=1}^{\infty }{A_{i}}\in {\mathcal {A}}

{\ displaystyle A_ {i} \ in {\ mathcal {A}} \; \ forall i \ in \ mathbb {N} \ Rightarrow \ bigcap _ {i = 1} ^ {\ infty} {A_ {i}} \ în {\ mathcal {A}}}

{\ displaystyle A_ {i} \ in {\ mathcal {A}} \; \ forall i \ in \ mathbb {N} \ Rightarrow \ bigcap _ {i = 1} ^ {\ infty} {A_ {i}} \ în {\ mathcal {A}}}

adică o sigma-algebră este de asemenea închisă în raport cu intersecțiile numărabile.

O sigma-algebră este cea mai potrivită metodă pentru a descrie un set de evenimente pornind de la un set de evenimente elementare și se numește și spațiul evenimentelor. Reprezintă un concept larg acoperit în teoria măsurătorilor și derivă dintr-o generalizare a algebrei de mulțimi . Acest lucru, care necesită stabilitate numai pentru uniunile finite (și nu pentru cele numărabile), nu este totuși adecvat pentru a descrie toate evenimentele posibile, precum cele de tipul „mai devreme sau mai târziu, plouă”. De fapt, acest eveniment poate fi tradus într-un limbaj stabilit ca „plouă azi” sau „plouă mâine” sau „plouă poimâine” și așa mai departe; acesta este evenimentul $\ E$ ${\ displaystyle \ E}$ $\ ȘI$ este descris de unirea evenimentelor infinite, $E=\bigcup _{i=1}^{\infty }{E_{i}}$ ${\ displaystyle E = \ bigcup _ {i = 1} ^ {\ infty} {E_ {i}}}$ ${\ displaystyle E = \ bigcup _ {i = 1} ^ {\ infty} {E_ {i}}}$ , din care derivă faptul că pentru definiția algebrei ar putea fi $\ \bigcup _{i=1}^{\infty }{E_{i}}\notin {\mathcal {A}}$ ${\ displaystyle \ \ bigcup _ {i = 1} ^ {\ infty} {E_ {i}} \ notin {\ mathcal {A}}}$ ${\ displaystyle \ \ bigcup _ {i = 1} ^ {\ infty} {E_ {i}} \ notin {\ mathcal {A}}}$ ; asa de $\ E$ ${\ displaystyle \ E}$ $\ ȘI$ nu ar fi un eveniment inclus într-un model bazat pe algebra setată. Pentru a depăși acest lucru, se introduce noțiunea de sigma-algebră.

Având în vedere un spațiu arbitrar $\Omega$ ${\ displaystyle \ Omega}$ $\Omega$ și o familie ${\mathcal {A}}$ ${\ displaystyle {\ mathcal {A}}}$ ${\ mathcal {A}}$ din subseturile sale este posibil, întotdeauna și în diferite moduri, să extindem familia până când devine sigma-algebră. Cea mai mică sigma-algebră care conține familia ${\mathcal {A}}$ ${\ displaystyle {\ mathcal {A}}}$ ${\ mathcal {A}}$ este indicat cu $\sigma ({\mathcal {A}})$ ${\ displaystyle \ sigma ({\ mathcal {A}})}$ ${\ displaystyle \ sigma ({\ mathcal {A}})}$ și numită sigma-algebră generată de familie.

Spațiul probabilității

Același subiect în detaliu:Spațiul probabilității .

Conceptele de spațiu eșantion $\Omega$ ${\ displaystyle \ Omega}$ $\Omega$ și spațiu pentru evenimente ${\mathcal {A}}$ ${\ displaystyle {\ mathcal {A}}}$ ${\ mathcal {A}}$ definit până acum, considerat împreună cu cel al unei măsuri $\mathbb {P} (A)$ ${\ displaystyle \ mathbb {P} (A)}$ ${\ mathbb {P}} (A)$ , numită exact măsură de probabilitate , contribuie la definirea conceptului de spațiu de probabilitate $(\Omega ,{\mathcal {A}},\mathbb {P} )$ ${\ displaystyle (\ Omega, {\ mathcal {A}}, \ mathbb {P})}$ ${\ displaystyle (\ Omega, {\ mathcal {A}}, \ mathbb {P})}$ , care reprezintă baza dezvoltării axiomatice a teoriei probabilităților .

Observații

Elementele setului de părți ale $\Omega$ ${\ displaystyle \ Omega}$ $\Omega$ sunt subseturile din $\Omega$ ${\ displaystyle \ Omega}$ $\Omega$ ; deci o familie ${\mathcal {A}}$ ${\ displaystyle {\ mathcal {A}}}$ ${\ mathcal {A}}$ de subseturi de $\Omega$ ${\ displaystyle \ Omega}$ $\Omega$ este un subset al setului de părți ale $\Omega$ ${\ displaystyle \ Omega}$ $\Omega$ , ${\mathcal {P}}\left(\Omega \right)$ ${\ displaystyle {\ mathcal {P}} \ left (\ Omega \ right)}$ ${\ displaystyle {\ mathcal {P}} \ left (\ Omega \ right)}$ .

Un eveniment $LA$ ${\ displaystyle A}$ $LA$ este un subset de $\Omega$ ${\ displaystyle \ Omega}$ $\Omega$ , și nu un element al acestuia. Prin urmare, un eveniment, ca întreg, nu aparține spațiului eșantion, ci este inclus în spațiul eșantion. Dimpotrivă, un eveniment elementar $\omega$ ${\ displaystyle \ omega}$ $\omega$ , ca punct, aparține spațiului eșantion și evenimentului $\left\{\omega \right\}$ ${\ displaystyle \ left \ {\ omega \ right \}}$ ${\ displaystyle \ left \ {\ omega \ right \}}$ , un set format dintr-un singur punct (și, prin urmare, numit singlet ), este inclus în spațiul de probă. Apoi puteți scrie $\omega \in \Omega$ ${\ displaystyle \ omega \ in \ Omega}$ ${\ displaystyle \ omega \ in \ Omega}$ în timp ce scria $A\in \Omega$ ${\ displaystyle A \ in \ Omega}$ ${\ displaystyle A \ in \ Omega}$ nu are sens.

Dacă cardinalitatea de $\Omega$ ${\ displaystyle \ Omega}$ $\Omega$ s-a terminat, apoi $\sigma$ ${\ displaystyle \ sigma}$ $\ sigma$ -algebra poate coincide cu setul de piese; cu toate acestea, nu este neapărat necesar să se ia în considerare o familie atât de mare de evenimente.

Evident, nimic nu ne împiedică să luăm ansamblul părților ca spațiu pentru evenimente. Acest lucru se datorează faptului că, în cazul cardinalității finite, este întotdeauna posibil să se ia ca $\sigma$ ${\ displaystyle \ sigma}$ $\ sigma$ -algebră întregul set de piese, fără riscul de a se confrunta cu evenimente $LA$ ${\ displaystyle A}$ $LA$ căruia nu se poate atribui o probabilitate $P(A)$ ${\ displaystyle P (A)}$ $P (A)$ .

Dacă, pe de altă parte, cardinalitatea lui $\Omega$ ${\ displaystyle \ Omega}$ $\Omega$ este infinit, s-ar putea să nu fie neapărat posibil să-l definim $P(A)\quad \forall A\in {\mathcal {P}}\left(\Omega \right)$ ${\ displaystyle P (A) \ quad \ forall A \ in {\ mathcal {P}} \ left (\ Omega \ right)}$ ${\ displaystyle P (A) \ quad \ forall A \ în {\ mathcal {P}} \ left (\ Omega \ right)}$ . În acest caz, s-ar putea ca alegerea setului de părți ca sigma-algebră să nu fie fericită: în virtutea celei de-a treia proprietăți a sigmei-algebre, atunci când trecem la probabilitate, sunt implicate serii care nu se spun a converge.

În general, încercăm întotdeauna să alegem o sigma-algebră mică, deoarece este mai ușor de utilizat. Faptul că o sigma-algebră nu coincide cu întregul set de părți nu înseamnă că unele evenimente elementare pot fi excluse din aceasta; de fapt, prin definiția sigmei-algebre, trebuie să fie $\forall \omega \in \Omega \quad \exists A\in {\mathcal {A}}:\omega \in A$ ${\ displaystyle \ forall \ omega \ in \ Omega \ quad \ există A \ in {\ mathcal {A}}: \ omega \ in A}$ ${\ displaystyle \ forall \ omega \ in \ Omega \ quad \ există A \ in {\ mathcal {A}}: \ omega \ in A}$ . Cu alte cuvinte, sigma-algebrele definite pe $\Omega$ ${\ displaystyle \ Omega}$ $\Omega$ Sunt o copertă a $\Omega$ ${\ displaystyle \ Omega}$ $\Omega$ .

Tipuri de spațiu eșantion

Alegerea spațiului eșantion pentru un anumit fenomen aleatoriu trebuie să echilibreze cumva nevoia de a fi fidel realității fizice examinate cu comoditate matematică.

În practică, majoritatea spațiilor eșantion se încadrează în următoarele tipuri:

Totul este gata

Cele mai simple experimente aleatorii constau în aruncarea unei monede sau zaruri, sau scoaterea unei mingi dintr-o urnă. În orice caz, spațiul eșantion va fi un set format dintr-un număr finit de evenimente elementare. În general, dar nu neapărat, ele vor fi reprezentate de primele n numere întregi: $\{0,1,\ldots ,n-1\}$ ${\ displaystyle \ {0,1, \ ldots, n-1 \}}$ ${\ displaystyle \ {0,1, \ ldots, n-1 \}}$ sau $\{1,\ldots ,n\}$ ${\ displaystyle \ {1, \ ldots, n \}}$ ${\ displaystyle \ {1, \ ldots, n \}}$ .

Numărabile

Multe modele probabilistice importante, cum ar fi cea Poissoniană folosită pentru a număra numărul de evenimente care apar într-un interval de timp fix, se bazează pe un spațiu eșantion contabil și coincident, deci cu tot $\mathbb {N}$ ${\ displaystyle \ mathbb {N}}$ ${\ displaystyle \ mathbb {N}}$ sau cu $\mathbb {Z}$ ${\ displaystyle \ mathbb {Z}}$ ${\ displaystyle \ mathbb {Z}}$ .

Continuu

De obicei, modelul continuu prin excelență este linia reală, ca în cazul erorilor de măsurare din observațiile științifice al căror studiu sistematic a fost inițiat de Karl Friedrich Gauss în 1809. Alte modele, utile pentru reprezentarea timpilor de viață ai componentelor electronice, au adevăratul pozitiv raza ca model.

Vector terminat

Adesea, un experiment constă dintr-o secvență finită a altor experimente, cum ar fi, de exemplu, aruncarea unui zar repetat de n ori. În acest caz, dacă $\Omega _{0}\equiv \{\omega \in \mathbb {N} :1\leq \omega \leq 6\}$ ${\ displaystyle \ Omega _ {0} \ equiv \ {\ omega \ in \ mathbb {N}: 1 \ leq \ omega \ leq 6 \}}$ ${\ displaystyle \ Omega _ {0} \ equiv \ {\ omega \ in \ mathbb {N}: 1 \ leq \ omega \ leq 6 \}}$ este spațiul eșantion al lansării unice, spațiul eșantionului global va fi dat de produsul cartezian al spațiilor individuale: $\Omega =\Omega _{0}\times \cdots \times \Omega _{0}\equiv \{(\omega _{1},\ldots ,\omega _{n}):\omega _{i}\in \Omega _{0}\quad \forall i=1,\ldots ,n\}$ ${\ displaystyle \ Omega = \ Omega _ {0} \ times \ cdots \ times \ Omega _ {0} \ equiv \ {(\ omega _ {1}, \ ldots, \ omega _ {n}): \ omega _ {i} \ in \ Omega _ {0} \ quad \ forall i = 1, \ ldots, n \}}$ ${\ displaystyle \ Omega = \ Omega _ {0} \ times \ cdots \ times \ Omega _ {0} \ equiv \ {(\ omega _ {1}, \ ldots, \ omega _ {n}): \ omega _ {i} \ in \ Omega _ {0} \ quad \ forall i = 1, \ ldots, n \}}$ .

Spațiul eșantion al experimentului unic poate fi atât finit, cât și numărabil, precum și continuu.

Vector numărabil

Ca și în cazul vectorului finit, singura diferență este că secvența experimentelor individuale nu este finită, deci poate fi numărată: $\Omega =\Omega _{0}\times \Omega _{0}\times \cdots \equiv \{(\omega _{1},\omega _{2},\ldots ):\omega _{i}\in \Omega _{0}\quad \forall i\in \mathbb {N} \}$ ${\ displaystyle \ Omega = \ Omega _ {0} \ times \ Omega _ {0} \ times \ cdots \ equiv \ {(\ omega _ {1}, \ omega _ {2}, \ ldots): \ omega _ {i} \ in \ Omega _ {0} \ quad \ forall i \ in \ mathbb {N} \}}$ ${\ displaystyle \ Omega = \ Omega _ {0} \ times \ Omega _ {0} \ times \ cdots \ equiv \ {(\ omega _ {1}, \ omega _ {2}, \ ldots): \ omega _ {i} \ in \ Omega _ {0} \ quad \ forall i \ in \ mathbb {N} \}}$ .

Acest model apare, de exemplu, în analizele de calitate ale pieselor care părăsesc o linie de producție $\Omega _{0}=\{0,1\}$ ${\ displaystyle \ Omega _ {0} = \ {0,1 \}}$ ${\ displaystyle \ Omega _ {0} = \ {0,1 \}}$ sau mersul întâmplător (random walk) cu $\Omega _{0}=\{-1,1\}$ ${\ displaystyle \ Omega _ {0} = \ {- 1,1 \}}$ ${\ displaystyle \ Omega _ {0} = \ {- 1,1 \}}$ .

Funcţional

În unele experimente aleatorii de fizică, rezultatele experimentului sunt căile sau traiectoriile unei particule pe un anumit interval de timp. Deci, fiecare rezultat, în acest caz, este o funcție. Acest model apare insistent în procesele stochastice .

Exemple

Pentru multe experimente poate exista mai mult de o alegere plauzibilă atât pentru spațiul eșantion cât și pentru spațiul evenimentelor, iar alegerea lor este o parte cheie în construirea unui model probabilistic. O alegere corectă în această etapă conferă un avantaj care devine clar atunci când se atribuie o măsură de probabilitate . Câteva exemple sunt enumerate aici.

Un pachet de cărți

De exemplu, în cazul extragerii unei cărți dintr-un pachet, se poate alege să reprezinte scorul ( $\Omega \equiv$ ${\ displaystyle \ Omega \ equiv}$ ${\ displaystyle \ Omega \ equiv}$ {Ace, Two, Three, ..., King}), sau costumul ( $\Omega \equiv$ ${\ displaystyle \ Omega \ equiv}$ ${\ displaystyle \ Omega \ equiv}$ {Hearts, Diamonds, Clubs, Spades}) sau la alegere $\Omega \equiv$ ${\ displaystyle \ Omega \ equiv}$ ${\ displaystyle \ Omega \ equiv}$ {Cu fața în sus, cu fața în jos} dacă doriți să luați în considerare posibila răsturnare a unor cărți din pachet. O descriere mai completă a rezultatelor ar putea apoi specifica toate aceste elemente prin construirea unui spațiu eșantion ca produs cartezian din exemplele făcute mai sus.

O foaie în bucăți

Să luăm orice foaie: în întregime va reprezenta spațiul nostru de probă. Particulele unice ale foii vor corespunde punctelor din spațiul eșantionului sau evenimentelor elementare. Dacă acum rupem foaia în bucăți, fiecare dintre piese va reprezenta un eveniment care, ca agregat de particule, va fi un subset al foii originale și, ca piesă, va fi un element al setului de bucăți din foaie (setul de piese). Observăm că o foaie ruptă în bucăți constituie o partiție a foii originale. Piesele în care am rupt foaia nu epuizează întregul set de părți, ci constituie doar o familie a acesteia. Această familie poate fi extinsă la o sigmă-algebră prin adăugarea la aceasta și a tuturor compozițiilor posibile care pot fi obținute cu operațiile setate de unire numărabilă, intersecție numărabilă și complementare. De exemplu, va trebui să adăugăm familiei unirea tuturor pieselor (întreaga foaie). Alături de fiecare piesă a familiei va trebui să adăugăm complementaritatea acesteia (adică unirea tuturor celorlalte piese) și așa mai departe.

Observăm că această procedură ne conduce la o sigmă-algebră, dar nu la ansamblul părților, pentru a ajunge la care ar trebui să repetăm procedura și pentru toate celelalte moduri în care putem rupe foaia originală.

Aruncarea unei matrițe echilibrate

Să luăm în considerare un experiment care constă în aruncarea unei matrițe comune (un cub ale cărui fețe sunt numerotate din $1$ ${\ displaystyle 1}$ $1$ la $6$ ${\ displaystyle 6}$ $6$ ) pe o suprafață plană cu frecare și delimitată de pereți proiectați să conțină mișcarea piuliței (adică o cutie!) și să presupunem că piulița este echilibrată (adică distribuția sa de masă este uniformă și nu favorizează o față față de celelalte) .

Rezultatele acestui experiment sunt măsurabile. De fapt, după ce și-a consumat energia, matrița se va opri inexorabil plasând una dintre fețele sale pe suprafață și arătând astfel partea opusă faței de susținere a experimentatorului.

Numărul imprimat pe fața expusă poate fi folosit pentru a reprezenta rezultatul experimentului care, în general, va avea șase rezultate posibile distincte (la fel de multe ca fețele morții). Vom codifica aceste rezultate cu primele șase numere întregi.

Apoi evenimentele elementare vor fi primele șase numere întregi și spațiul eșantion asociat cu acest experiment va fi $\Omega \equiv \left\{\omega \in \mathbb {N} :1\leq \omega \leq 6\right\}$ ${\ displaystyle \ Omega \ equiv \ left \ {\ omega \ in \ mathbb {N}: 1 \ leq \ omega \ leq 6 \ right \}}$ ${\ displaystyle \ Omega \ equiv \ left \ {\ omega \ in \ mathbb {N}: 1 \ leq \ omega \ leq 6 \ right \}}$ care are cardinalitate $\#\Omega =6$ ${\ displaystyle \ # \ Omega = 6}$ ${\ displaystyle \ # \ Omega = 6}$ evident terminat.

Deoarece fiecare eveniment este un subset al spațiului eșantion care este un element al setului de părți ale $\Omega$ ${\ displaystyle \ Omega}$ $\Omega$ Sunt $2^{6}$ ${\ displaystyle 2 ^ {6}}$ ${\ displaystyle 2 ^ {6}}$ evenimente posibile incluzând, evident, setul gol, întregul $\Omega$ ${\ displaystyle \ Omega}$ $\Omega$ , cele șase singole, ${6 \choose 2}$ ${\ displaystyle {6 \ alege 2}}$ ${\ displaystyle {6 \ alege 2}}$ perechi posibile, colegii $\left\{2,4,6\right\}$ ${\ displaystyle \ left \ {2,4,6 \ right \}}$ ${\ displaystyle \ left \ {2,4,6 \ right \}}$ si asa mai departe.

Alegerea $\sigma$ ${\ displaystyle \ sigma}$ $\ sigma$ -algebra de utilizat depinde de obiective. Dacă, de exemplu, suntem interesați să calculăm probabilitatea ca un număr par să iasă, singurele evenimente de interes vor fi $LA$ ${\ displaystyle A}$ $LA$ = "a ieșit o cravată" și complementar. Cea mai mică sigma-algebră care conține evenimentul $LA$ ${\ displaystyle A}$ $LA$ Sara: $\left\{\varnothing ,A,A^{c},\Omega \right\}$ ${\ displaystyle \ left \ {\ varnothing, A, A ^ {c}, \ Omega \ right \}}$ ${\ displaystyle \ left \ {\ varnothing, A, A ^ {c}, \ Omega \ right \}}$ . Nu este singura, ci, printre toate algebrele sigma care conțin evenimentul $LA$ ${\ displaystyle A}$ $LA$ , prin urmare, este cel mai mic care generează mai puțină muncă și mai puține probleme.

Sigma-algebră a lui Borel activată $(0,1]$ ${\ displaystyle (0,1]}$ $(0,1]$

Această sigma-algebră , care își ia numele de la matematicianul francez Émile Borel , nu reprezintă un caz intuitiv, dar este raportată aici pentru că este renumită, deoarece joacă un rol fundamental în mare parte din teoria probabilității și pentru că, în ciuda simplitatea (este suficient să investigăm pe un număr infinit de flipuri ale unei monede pentru a intra într-o algebră sigma Borel), a contestat teoria clasică a probabilității, necesitând reinterpretarea axiomatică a lui Kolmogorov .

Este $\Omega =(0,1]$ ${\ displaystyle \ Omega = (0,1]}$ ${\ displaystyle \ Omega = (0,1]}$ intervalul real unitar deschis spre stânga și închis spre dreapta. Mai mult, lasă ${\mathcal {I}}$ ${\ displaystyle {\ mathcal {I}}}$ ${\ displaystyle {\ mathcal {I}}}$ familia de intervale de $\Omega$ ${\ displaystyle \ Omega}$ $\Omega$ , a formei $(a,b]$ ${\ displaystyle (a, b]}$ $(a, b]$ cu $a<b.$ ${\ displaystyle a <b.}$ ${\ displaystyle a <b.}$ Apoi adăugăm la ${\mathcal {I}}$ ${\ displaystyle {\ mathcal {I}}}$ ${\ displaystyle {\ mathcal {I}}}$ intervalele $A_{i}=(a_{i},b_{i}]$ ${\ displaystyle A_ {i} = (a_ {i}, b_ {i}]}$ ${\ displaystyle A_ {i} = (a_ {i}, b_ {i}]}$ , toate uniunile lor finite și disjuncte $A=\bigcup _{i=1}^{n}A_{i}=\bigcup _{i=1}^{n}(a_{i},b_{i}]$ ${\ displaystyle A = \ bigcup _ {i = 1} ^ {n} A_ {i} = \ bigcup _ {i = 1} ^ {n} (a_ {i}, b_ {i}]}$ ${\ displaystyle A = \ bigcup _ {i = 1} ^ {n} A_ {i} = \ bigcup _ {i = 1} ^ {n} (a_ {i}, b_ {i}]}$ și, în cele din urmă, și setul gol.

Algebra lui Borel ${\mathcal {B}}_{0}$ ${\ displaystyle {\ mathcal {B}} _ {0}}$ $\ mathcal B_0$ obținută în acest mod, deși este foarte numeroasă, nu este încă o sigma-algebră; de exemplu singletele sunt excluse $\{x\}$ ${\ displaystyle \ {x \}}$ $\ {X \}$ care, în virtutea proprietății 3 ', ar trebui să fie în schimb prezentă. Fiecare dintre ele este de fapt intersecție numărabilă a seturilor familiei, în acest sens $\{x\}=\bigcap _{n=1}^{\infty }\left(x-{\frac {1}{n}},x\right]$ ${\ displaystyle \ {x \} = \ bigcap _ {n = 1} ^ {\ infty} \ left (x - {\ frac {1} {n}}, x \ right]}$ ${\ displaystyle \ {x \} = \ bigcap _ {n = 1} ^ {\ infty} \ left (x - {\ frac {1} {n}}, x \ right]}$

Întregul ${\mathcal {B}}$ ${\ displaystyle {\ mathcal {B}}}$ ${\ mathcal B}$ obținută din unirea de ${\mathcal {B}}_{0}$ ${\ displaystyle {\ mathcal {B}} _ {0}}$ $\ mathcal B_0$ cu singletele este sigma-algebră; mai mult, nu coincide cu setul de părți ale $\Omega$ ${\ displaystyle \ Omega}$ $\Omega$ , $\ {\mathcal {P}}(\Omega )$ ${\ displaystyle \ {\ mathcal {P}} (\ Omega)}$ ${\ displaystyle \ {\ mathcal {P}} (\ Omega)}$ și, prin urmare, nu este banal, așa cum va fi demonstrat de Giuseppe Vitali .

Construcția unei sigme-algebre

Să revenim la exemplul aruncării unui zar. Am văzut deja că, dacă suntem interesați să evaluăm probabilitatea ca acesta să iasă chiar, va trebui să luăm în considerare evenimentul $LA$ ${\ displaystyle A}$ $LA$ = {a ieșit chiar}. Dar $LA$ ${\ displaystyle A}$ $LA$ luate individual nu este suficient; pentru a finaliza partiția, va trebui să adăugați anunț $LA$ ${\ displaystyle A}$ $LA$ complementar. Acum $\left\{A,A^{c}\right\}$ ${\ displaystyle \ left \ {A, A ^ {c} \ right \}}$ ${\ displaystyle \ left \ {A, A ^ {c} \ right \}}$ este o partiție, deoarece este închisă în ceea ce privește complementarea.

Evident, există alte posibile partiții, cum ar fi $\{\{1,2\},\{3,4\},\{5,6\}\}$ ${\ displaystyle \ {\ {1,2 \}, \ {3,4 \}, \ {5,6 \} \}}$ ${\ displaystyle \ {\ {1,2 \}, \ {3,4 \}, \ {5,6 \} \}}$ sau $\{A,\{1\},\{3\},\{5\}\}$ ${\ displaystyle \ {A, \ {1 \}, \ {3 \}, \ {5 \} \}}$ ${\ displaystyle \ {A, \ {1 \}, \ {3 \}, \ {5 \} \}}$ . Cu toate acestea, primul nu face distincție între par și impar, în timp ce al doilea adaugă detalii care nu sunt de interesul nostru, cum ar fi informațiile dacă impar este $1$ ${\ displaystyle 1}$ $1$ sau $3$ ${\ displaystyle 3}$ $3$ sau $5$ ${\ displaystyle 5}$ $5$ . Prin urmare $\left\{A,A^{c}\right\}$ ${\ displaystyle \ left \ {A, A ^ {c} \ right \}}$ ${\ displaystyle \ left \ {A, A ^ {c} \ right \}}$ reprezintă cea mai bună partiție cu privire la problema luată în considerare.

Dacă, dintr-un anumit motiv, trebuie să parcurgem toate cele șase configurații posibile, atunci partiția pe care trebuie să o construim va fi cât mai subțire posibil: $\left\{\{1\},\{2\},\{3\},\{4\},\{5\},\{6\}\right\}$ ${\ displaystyle \ left \ {\ {1 \}, \ {2 \}, \ {3 \}, \ {4 \}, \ {5 \}, \ {6 \} \ right \}}$ ${\ displaystyle \ left \ {\ {1 \}, \ {2 \}, \ {3 \}, \ {4 \}, \ {5 \}, \ {6 \} \ right \}}$ . Odată ce acest spațiu eșantion a fost atribuit, toate uniunile posibile dintre elementele sale și complementarele lor sunt considerate a genera sigma-algebră (procedură valabilă pentru orice set finit). Prin urmare, sigma-algebră va conține, de exemplu: $\{5\}\cup \{6\},\{1\}\cup \{2\}\cup \{3\},\{1\}^{c}\cup \{4\},\ldots$ ${\ displaystyle \ {5 \} \ cup \ {6 \}, \ {1 \} \ cup \ {2 \} \ cup \ {3 \}, \ {1 \} ^ {c} \ cup \ {4 \}, \ ldots}$ ${\ displaystyle \ {5 \} \ cup \ {6 \}, \ {1 \} \ cup \ {2 \} \ cup \ {3 \}, \ {1 \} ^ {c} \ cup \ {4 \}, \ ldots}$

Bibliografie

P. Halmos (1950): Teoria măsurătorilor , D. van Nostrand and Co.
W. Feller (1967): An Introduction to Probability Theory and its Applications , vol. I, III ed., J. Wiley & Sons
P. Billingsley (1995): Probabilitate și măsură , John Wiley & Sons
AF Karr (1993): Probabilitate , Springer-Verlag
G. Dall'Aglio (2003): Calculul probabilităților , ed. III, Zanichelli, ISBN 978-8808176769

Elemente conexe

Alte proiecte

Wikimedia Commons conține imagini sau alte fișiere pe spațiul de probă

linkuri externe

( EN ) Spațiu de probă , în Encyclopedia Britannica , Encyclopædia Britannica, Inc.

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

Spațiu de probă

Definiții formale

Spațiu de probă

Evenimente

Sigma-algebră

Spațiul probabilității

Observații

Tipuri de spațiu eșantion

Totul este gata

Numărabile

Continuu

Vector terminat

Vector numărabil

Funcţional

Exemple

Un pachet de cărți

O foaie în bucăți

Aruncarea unei matrițe echilibrate

Sigma-algebră a lui Borel activată ( 0 , 1 ] {\ displaystyle (0,1]}

Construcția unei sigme-algebre

Bibliografie

Elemente conexe

Alte proiecte

linkuri externe

Sigma-algebră a lui Borel activată $(0,1]$ ${\ displaystyle (0,1]}$ $(0,1]$