Filtrazione (matematica)

Template:F Nella teoria delle probabilità una filtrazione, o base stocastica, su uno spazio $(\mathrm{\Omega },𝒜,P)$ è una famiglia crescente $ℱ=({ℱ}_t{)}_{t\in I}$ di sottotribù di $𝒜$, con $I\subseteq {ℝ}_{\mathbb{+}}$. Intuitivamente ogni ${ℱ}_t$ rappresenta l'informazione disponibile all'istante $t\in I$, ossia tutti gli eventi per i quali si può sapere che si siano verificati oppure no.

Tipi di filtrazione

Filtrazione completa

Una filtrazione si dice completa se e solo se appartiene ad uno spazio di probabilità completo e per ogni $t\in I$ la $\sigma$-algebra ${ℱ}_t$ contiene tutti gli eventi di $ℱ$ di probabilità nulla. Dato che lo spazio di probabilità è completo i sottoinsiemi degli eventi di probabilità nulla sono a loro volta degli eventi contenuti in $𝒜$.

Filtrazione continua a destra

Una filtrazione si dice continua a destra se e solo se $\mathrm{\forall }t\in I,{ℱ}_t={ℱ}_{t+}$, con ${ℱ}_{t+}=\bigcap _{u>t}^{\sup I}{ℱ}_{𝓊}$. In base alla definizione si può vedere in modo intuitivo che in una filtrazione continua a destra la $\sigma$-algebra ${ℱ}_{t+}$ contiene tutti gli eventi dei quali si può sapere la verificabilità o meno agli istanti di tempo successivi.

Filtrazione ipotesi standard

Una filtrazione si dice che soddisfa le ipotesi standard se e solo se è completa e continua a destra.

Spazio di probabilità filtrato

Uno spazio di probabilità $(\mathrm{\Omega },𝒜,P)$ munito di una filtrazione $ℱ=({ℱ}_t{)}_{t\in I}$ è chiamato spazio di probabilità filtrato, o spazio filtrato e viene denotato con la quadrupla $(\mathrm{\Omega },𝒜,({ℱ}_t{)}_{t\in I},P)$. Nel caso in cui lo spazio di probabilità sia munito di una filtrazione che soddisfa le ipotesi standard viene detto spazio filtrato standard.

Processo stocastico adattato ad una filtrazione

Un processo stocastico $(X_t{)}_{t\in I}$si dice adattato alla filtrazione $ℱ=({ℱ}_t{)}_{t\in I}$ se $\mathrm{\forall }t\in I,X_t$ è misurabile rispetto a ${ℱ}_t$. Quindi, per ogni $t$ appartenente all'insieme dei valori $I$ la variabile aleatoria $X_t$ deve essere misurabile rispetto a ${ℱ}_t$. In questo caso viene anche detto che $X_t$ è ${ℱ}_t$-misurabile, cioè la variabile aleatoria $X_t$ è definita sullo spazio $(\mathrm{\Omega },{ℱ}_t,P)$ con valori sullo spazio misurabile di arrivo$(E,ℰ)$, ossia $X_t$ è un'applicazione tale che $X_t:(\mathrm{\Omega },{ℱ}_t)⟶(E,ℰ)$. Questo garantisce che per ogni valore $\omega$ di $\mathrm{\Omega }$ appartenente alla filtrazione ${ℱ}_t$, la variabile aleatoria $X_t$, che prende come argomento $\omega$, è definita nell'insieme dei valori dato da $ℰ$. Si ottiene, così, la seguente definizione: $\{\omega \in {ℱ}_{𝓉}:X_t(\omega )\in S\},\mathrm{\forall }S\in ℰ$.

Filtrazione naturale

La filtrazione naturale associata ad un processo stocastico $(X_t{)}_{t\in I}$ è definita come ${ℱ}_t^X=\sigma (X_s:s⩽t)\mathrm{\forall }t\in I$ ed è la più piccola filtrazione che rende $(X_t{)}_{t\in I}$ adattato, in quanto $\sigma (X_s:s⩽t)$ è la più piccola tribù (o $\sigma$-algebra) generata da $(X_s{)}_{s⩽t}$. La filtrazione naturale contiene la storia del processo $(X_t{)}_{t\in I}$ fino all'istante $t$.

Processo stocastico prevedibile

Ponendo $I=\mathbb{N}$, un processo stocastico $(V_n{)}_{n⩾1}$ si dice prevedibile rispetto alla filtrazione $ℱ=({ℱ}_n{)}_{n⩾0}$ se e solo se per ogni $n$ maggiore o uguale di $1$, la variabile aleatoria $V_n$è misurabile rispetto a ${ℱ}_{n-1}$.Template:Portale