Differenze tra le versioni di "Quasi certamente"

6 167 byte aggiunti ,  10 anni fa
Tolgo redirect e traduco pagina dall'inglese
(redirect a Quasi ovunque)
(Tolgo redirect e traduco pagina dall'inglese)
In [[teoria della probabilità]], si dice che un [[evento (teoria della probabilità)|evento]] accade '''quasi certamente''' (in inglese ''almost surely'' o ''a.s.'') se accade con [[probabilità]] uguale a [[1 (numero)|uno]]. Il concetto è analogo a quello di [[quasi ovunque]] in [[teoria della misura]]. Benché non ci sia differenza tra ''quasi certamente'' e ''certamente'' (ossia, che accade di sicuro) in molti basilari esperimenti di probabilità, la distinzione risulta importante in casi più complessi che si riferiscono a qualche tipo di [[infinito (matematica)|infinito]]. Per esempio, il termine si incontra spesso in situazioni che trattano un tempi infiniti, proprietà di regolarità o spazî di [[dimensione]] infinita come gli [[spazio funzionale|spazi funzionali]]. Esempi standard di tale uso includono la [[legge dei grandi numeri|legge forte dei grandi numeri]] o la continuità dei [[moto browniano|percorsi browniani]].
#REDIRECT [[Quasi ovunque]]
 
== Definizione formale ==
Sia (''Ω'', ''F'', ''P'') uno [[spazio di probabilità]]. Si dice che un evento ''E'' in ''F'' accade ''quasi certamente'' se ''P''(''E'') = 1.
Equivalentemente, possiamo dire che un evento ''E'' accade quasi certamente se la probabilità che ''non accada'' è [[0 (numero)|zero]].
 
Una definizione alternativa da una prospettiva di [[teoria della misura]] è che (dato che ''P'' è una [[misura]] su ''Ω'') ''E'' accade quasi certamente se ''E'' = ''Ω'' [[quasi ovunque]].
 
== "Quasi certo" contro "certo" ==
La differenza tra un evento ''quasi certo'' e uno ''certo'' è la stessa, sottile differenza tra un evento che accade ''con probabilità 1'' e uno che accade ''sempre''.
 
Se un evento è ''certo'', allora accadrà sempre, e nessun risultato all'infuori di questo evento può mai accadere. Se un evento è ''quasi certo'', allora i risultati all'infuori di questo evento sono teoricamente possibili; tuttavia, la probabilità che si abbia un simile risultato è minore di qualunque probabilità positiva si possa fissare, e pertanto deve essere 0. Perciò, non si può dire in senso definitivo che questi risultati non avverranno mai, ma ciò può essere assunto vero nella maggioranza dei casi.
 
=== Lanciare una freccetta ===
Per esempio, si immagini di lanciare una freccetta su un quadrato di cui essa colpirà esattamente un punto, e si immagini che questo quadrato sia la sola cosa nell'universo. Non c'è nessun altro luogo fisico su cui possa atterrare la freccetta. Quindi, l'evento "la freccetta colpisce il quadrato" è un evento ''certo''. Non sono immaginabili alternative.
 
Ora, si consideri l'evento: "la freccetta colpisce esattamente la diagonale del quadrato". La probabilità che la freccetta atterri in una qualunque regione del quadrato è proporzionale all'area di tale regione. Tuttavia, poiché l'area della diagonale del quadrato è zero, la probabilità che la freccetta atterri esattamente lì è parimenti nulla. Così, la freccetta ''quasi certamente'' non atterrerà sulla diagonale. Nondimeno l'insieme dei punti sulla diagonale non è [[insieme vuoto|vuoto]], e un punto sulla diagonale non è un bersaglio più improbabile di un qualsiasi altro punto, e quindi è teoricamente possibile che la freccetta colpisca la diagonale.
 
Lo stesso si può dire per qualunque altro punto del quadrato. Qualsiasi punto ''P'' sarà privo di area, e perciò avrà probabilità zero di essere colpito dalla freccetta. Tuttavia, la freccetta deve ovviamente colpire il quadrato in un qualche punto. Perciò, in questo caso, non solo è possibile (o immaginabile) che un evento con zero probabilità avverrà; un tale evento ''deve'' accadere. Per questo motivo, non avremmo motivo di dire che siamo certi che un dato evento non occorrerà, ma piuttosto ''quasi certi''.
 
=== Lanciare una moneta ===
Si supponga che una moneta non truccata e ideale (senza bordi) sia lanciata diverse volte. Dato che una moneta ha due lati, testa e croce, l'evento "esce testa o croce" è un evento ''certo''. Non ci si può aspettare altro risultato da una moneta.
 
La sequenza infinita di sole teste (''T-T-T-T-T-T-...'') è in un certo senso possibile (non viola alcuna legge matematica o fisica il supporre che non esca mai croce), ma è molto, molto improbabile. In effetti, la probabilità che non esca mai croce in una serie infinita è ''zero''. Perciò, benché non possiamo dire senza alcun dubbio che uscirà almeno una croce, possiamo dire che ''quasi certamente'' vi sarà almeno una croce in una sequenza infinita di lanci. (Si noti che, date le asserzioni di questo paragrafo, ''qualunque'' sequenza ordinata di eventi avrà probabilità zero, se la sequenza è infinita. Ciò ha senso perché c'è un numero infinito di possibilità e <math>\scriptstyle \lim\limits_{n\to\infty}\frac{1}{n} = 0</math>.)
 
D'altra parte, se anziché effettuare infiniti lanci smettiamo di lanciare la moneta dopo un tempo finito (diciamo un milione di lanci), allora la sequenza di sole teste ha una probabilità diversa da zero (in effetti, la probabilità è 2<sup>&minus;1,000,000</sup>), e perciò la probabilità di ottenere almeno una testa è 1 - 2<sup>&minus;1,000,000</sup>, e l'evento non è più ''quasi certo''.
 
== Voci correlate ==
* [[Convergenza di variabili casuali]], per "convergenza quasi certa"
* [[Distribuzione degenere]], per "quasi certamente costante"
* [[Quasi ovunque]], il corrispondente concetto in teoria della misura
* [[Teorema della scimmia instancabile]], un teorema che fa uso di tale concetto.
 
== Bibliografia ==
* {{cite book|last=Rogers|first=L. C. G.|coauthors=Williams, David|title=Diffusions, Markov Processes, and Martingales|publisher=Cambridge University Press|date=2000|volume=1}}
* {{cite book|last=Williams|first=David|title=Probability with Martingales|publisher=Cambridge University Press|date=1991}}
 
[[Categoria:Teoria della probabilità]]
[[Categoria:Terminologia matematica]]
 
{{Portale|Matematica}}
 
[[da:Næsten sikkert]]
[[de:Fast sichere Eigenschaften]]
[[en:Almost surely]]
[[es:Casi seguramente]]
[[fa:قریب به یقین]]
[[id:Hampir pasti]]
[[no:Nesten helt sikkert]]
[[pl:Prawie na pewno]]
[[pt:Quase certamente]]
[[vi:Gần như chắc chắn]]