2
$\begingroup$

Assume that $X,\{Y_\alpha\}$ (where $\alpha \in A$, $A$ can be uncountable) are random variables. If $X$ and $Y_\alpha$ are independent for all $\alpha \in A$, i.e., $\sigma(X)$ and $\sigma(Y_\alpha)$ are independent for all $\alpha \in A$, then it need not be true (I was unable to prove so!) that $\sigma(X)$ and $\sigma(\{Y_\alpha\}, \alpha\in A)$ are also independent.

Now, let $X=B(t)-B(s)$ (where $B$ is the standard brownian motion and $t>s$) and $Y_\alpha= B(\alpha)$ with $A = [0,s]$. $X$ is independent of $Y_\alpha$ for all $\alpha \in A$ from the properties of Brownian Motion.

However, it seems that $X$ is also independent of $\sigma(\{Y_\alpha\}, \alpha\in A)$, as the textbook I am following (Introduction to Stochastic Integration by Hui-Hsiung Kuo page 18) uses this result. I am wondering if the properties of Gaussian Random Variables make this plausible. However, I would like to see a proof of this result.

Any help is much appreciated.

Thanks, Phanindra

  • 0
    You probably need $t \gt s$2012-05-01
  • 1
    The question is empty since the fact that $B(t)-B(s)$ is independent of $\sigma(B(u),u\in[0,s])$, for every $t\geqslant s$, is part of the **definition** of standard Brownian motion.2012-05-01
  • 0
    @Didier : The book referred in the question defines a Brownian Motion as a stochastic process sastisfying the three properties: 1) $B(0)=0~a.s.$ 2) $B(t)-B(s) \sim N(0,t-s), t > s$ 3) all increments are independent i.e. if $0 \leq t_1 < t_2 < \cdots then $B(t_1), B(t_2) - B(t_1), \cdots B(t_n) - B(t_{n-1})$ are independent. I am not sure how the sigma algebras defined in the question become independent by this definition.2012-05-01
  • 1
    And since the sigma-algebra $\sigma(B(u),u\in[0,s])$ is the smallest one such that $B(u)$ is measurable, for every $u\in[0,s]$, it is generated by the collection of vectors $(B(t_1),B(t_2)-B(t_1),\ldots,B(t_n)-B(t_{n-1}))$ for every $n$ and every $t_1\leqslant\cdots\leqslant t_n\leqslant s$, hence all is well. You could check the definition of $\sigma(Y_a,a\in A)$ when $A$ is infinite.2012-05-01
  • 0
    @Didier: Thanks for your reply. However, I am still unable to resolve the issue. Even if I assume that the $\sigma(B(u), u \in [0,s])$ is the same as the $\sigma$-algebra generated by all the vectors of the form $(B(t_1), B(t_2)-B(t_1),\cdots,B(t_n)-B(t_{n-1}))$ I still need to prove that $B(t)-B(s)$ is independent of this new $\sigma$-algebra. I surely know that $B(t)-B(s)$ is independent of the $\sigma$-algebra generated by each of these vectors individually but I want to prove that $B(t)-B(s)$ is independent of the $\sigma$-algebra generated by all of these vectors put together.2012-05-02
  • 0
    Which definition of a Brownian motion do you use?2012-05-02
  • 0
    I want to use the definition given in my first comment. Thanks.2012-05-02

1 Answers 1