# How can an element not be a member of its own equivalence class (or, I need help understanding this proof)?

I'm working my way through these notes on stochastic calculus: http://www.math.nyu.edu/faculty/goodman/teaching/StochCalc2007/notes/l1.pdf

This is from sub-section 2.20 if this isn't enough context:

Can anyone help me understand this proof?

Thanks!

-

The important point to keep in mind is that $B_{\omega^\prime}$ is not the equivalence class of $\omega^\prime$, but is rather an element of the $\sigma$-filter $\mathcal{F}$ that is used to define the equivalence relation $\sim$. Given two outcomes $\omega , \omega^\prime$ we define $\omega \sim \omega^\prime$ iff for each $A \in \mathcal{F}$ we have $\omega \in A$ implies $\omega^\prime \in A$. (Actually, since $\mathcal{F}$ is a $\sigma$-algebra, it follows that $\omega \sim \omega^\prime$ iff $\omega \in A \Leftrightarrow \omega^\prime \in A$ for all $A \in \mathcal{F}$.)

The proof then goes as follows: Let $\omega$ be any outcome. Note that for any outcome $\omega^\prime$ such that $\omega \not\sim \omega^\prime$ there must be a $B_{\omega^\prime} \in \mathcal{F}$ such that $\omega \in B_{\omega^\prime}$ and $\omega^\prime \notin B_{\omega^\prime}$. Consider $A = \bigcap \{ B_{\omega^\prime} : \omega^\prime \not\sim \omega \}$. Since there are countably many such $\omega^\prime$, and $\mathcal{F}$ is a $\sigma$-algebra, it follows that $A \in \mathcal{F}$. Furthermore, it can be shown that $A$ is the equivalence class of $\omega$, i.e., $A = \{ \omega_0 : \omega \sim \omega_0 \}$. (If $\omega \sim \omega_0$, then by definition of $\sim$ it follows, in particular, that $\omega_0 \in B_{\omega^\prime}$ for all $\omega^\prime$ not equivalent to $\omega$, and therefore $\omega_0 \in A$. If $\omega \not\sim \omega_0$, then $\omega_0 \notin B_{\omega_0} \supseteq A$.)

-
Thanks for your explanation of the proof. I get it now! –  Tyler Mar 22 '11 at 2:44
The definition of equivalence is that $w\sim w'$ if and only if for every $A\in\mathcal{F}$, $w\in A\Rightarrow w'\in A$. The equivalence class of $x$ is defined to be $$A_x = \{\omega\mid \omega\sim x\}.$$ That is, it is $A_x$ which is the equivalence class of $x$, not $B_x$ (your title suggests you are confused about this point).
Rather, it's saying: if $\omega\not\sim\omega'$, then it is not true that for every $S\in\mathcal{F}$, $\omega\in S\Rightarrow \omega'\in S$. Therefore, there exists some element of $B\in\mathcal{F}$, which depends on $\omega'$, with the property that $\omega\in B$ and $\omega'\notin B$. To keep track of the different $B$s for different $\omega'$, we put a subindex: $B_{\omega'}$ is the witness to the fact that $\omega\not\sim\omega'$. But $B_{\omega'}$ is not the equivalence class of $\omega'$.
(This notation is not compatible with that in section 2.17 (where $B_x = \{\omega\mid X(\omega)=x\}$) which may be why you are confused.)