Measure Theory Q's wrt Stochastic Processes

[X89codered89X]

Hello there.

The stochastic calc book I'm going through ( and others I've seen ) uses the phrase "\mathscr{F}-measurable" random variable Y in the section on measure theory. What does this mean? I'm aware that \mathscr{F} is a \sigma-field over all possible values for the possible values of Y, but the language throws me.

A tougher thing that confuses is me is in the stochastic context it defines a filtration as the increasing family of sigma algebras indexed by t, like this \mathscr{F}_t = \sigma{\lbrace X_s; s \leq t \rbrace } for a stochastic process X_t. I take it \sigma is an operator here? I realize this is a theoretical construct, but is it possible to see an example (not given in the book). From what I understand \mathscr{F}_s \subset \mathscr{F}_t \forall s < t, but again what do either of these look like. Or a simpler, yet nontrivial example of a filtration? Maybe it would be easier in discrete stochastic process case. I can understand how most of this works simply by the fact that no definitions seem conflict with each other and everything is logically consistent but I'm just wondering if there is some more practical ground here ...

 

[jbunniii]

Hello there.

The stochastic calc book I'm going through ( and others I've seen ) uses the phrase "\mathscr{F}-measurable" random variable Y in the section on measure theory. What does this mean? I'm aware that \mathscr{F} is a \sigma-field over all possible values for the possible values of Y, but the language throws me.

I'm very surprised if they use that terminology without defining it. A measurable function ("random variable" in probability theory) is simply a function $f$ for which $f^{-1}(A)$ is measurable whenever $A$ is measurable.

Your random variable $Y$ is defined on some space, let's call it $S$, and it is equipped with a sigma algebra $\mathcal{F}$. You didn't specify the target space, so let's call it $T$ and assume it is also a measure space with some sigma algebra $\mathcal{G}$. Then $Y : S \rightarrow T$, and "$Y$ is measurable" means that for any set $A \in \mathcal{G}$, we have $f^{-1}(A) \in \mathcal{F}$.

 

[camillio]

For an example, let's have a probability space (\Omega, \mathcal{F}, \mathbb{P}) and a stochastic process (coin tossing) X adapted to a filtration (\mathcal{F}_t)_{t=1,2}, \mathcal{F}_t\subset \mathcal{F}.

Then, in the beginning, one knows nothing but possible results,
\mathcal{F}_0 = \{\emptyset, \Omega\} where \Omega=\{[HH], [HT], [TH], [TT]\}.

After the first toss, the division becomes finer, one can say more about the history,
\mathcal{F}_1 = \{\emptyset, \Omega, [HH, HT], [TH, TT]\} \supset \mathcal{F}_0,

After the second toss,
\mathcal{F}_2 = \{\emptyset, \Omega, [HH, HT], [TH, TT], [HH], [HT], [TH], [TT]\} \supset{F}_1.

You can exchange 2 tosses of a coin by m tosses of a dice, \Omega=\{1,...,6\}^m, or even to move to continuous cases.

 

[X89codered89X]

Both of your answers were incredibly helpful. Thank you.