2
$\begingroup$

I'm trying to figure this out, and I feel I'm pretty close to why it's the case. I just can't quite get the details to work.

Let $X$ be an adapted process on $(\Omega,\mathcal{F},\mathbb{P})$ and $T$ a finite stopping time. Show that $X_T$ is $\mathcal{F}$-measurable.

As I understand it, the process $X_T = \{X^T_n\}_{n\geq1}$ is defined as $X^T_n(\omega) := X_{T(\omega) \wedge n}(\omega)$. Since $X$ is an adapted process we have that $X_n$ is $\mathcal{F}_n$-measurable for all $n$, and since $\mathcal{F}_n \subset \mathcal{F}$ this intuitively should carry over to $X_T$. The $\mathcal{F}_n's$ are from the filtration of $X$. My problem is with $T(\omega)$ being dependant on $\omega$, and that $T$ isn't necessarily bounded which means you can't bound $T(\omega)\wedge n$.

Any tips on how I should approach this?

EDIT: some clarification

  • 0
    Ah, I see what you mean. I'm still getting to terms with all the notation, it can be a little confusing.2012-10-21

2 Answers 2

6

Hint Show that everything in the RHS of the formula below is measurable with respect to $\mathcal F$: $ X_T=\sum_n\mathbf 1_{T=n}\cdot X_n $ Note If really the object of interest is the process $X^T=(X_{T\wedge n})_n$, use the formula $ X^T_n=X_{T\wedge n}=\mathbf 1_{T\geqslant n}\cdot X_n+\sum_{k\lt n}\mathbf 1_{T=k}\cdot X_k $ and show that everything in the RHS is measurable with respect to $\mathcal F_n$.

  • 0
    I finally had some time to look at your reply properly. It seems I was looking at the wrong definition of $X_T$. Since $\{T=n\} \in \mathcal{F}_n$ by the definition of $T$, we have that $1_{\{T=n\}}$ is measurable. And since $X_n$ is also per definition $\mathcal{F}_n$-measurable, the product is also $\mathcal{F}_n$-measurable. Since $\mathcal{F}_n \subset \mathcal{F}$ for all $n \in \mathbb{N}$, we have that $X_T$ is $\mathcal{F}$-measurable.2012-10-22
2

The idea is to decompose over the sets on which we know $T(\omega)$. Write $\small (X^T_n)^{-1}(B)=\bigcup_{k\geq 0}(X_{k\wedge n}^{-1}(B)\cap \{\omega\mid T(\omega)=k\})=\bigcup_{k=0}^{n-1}(X_k^{-1}(B)\cap\{\omega\mid T(\omega)=k\}) \cup (X_n^{-1}(B)\cap \{\omega\mid T(\omega)\leq n\}^c)\in\mathcal F_n.$