Problem:
Suppose $\tilde{X}=(X_1,X_2,\dots)$ is a sequence of RVs on $(\Omega,\mathcal{B})$. Prove that $\sigma(\tilde{X})$ is generated by events of the form:
$$\bigcap_{i=1}^m \{X_i\leq x_i\}\mbox{ for }x_1,\dots,x_n \in\mathbb{R}, n\geq 1.$$
Thoughts/work:
I do know that if $X:(\Omega,\mathcal{B})\rightarrow(\Omega',\mathcal{B}')$ then $\sigma(X) = \{\{X\in B\}:B\in\mathcal{B}'\}$.
I also worked in the past to prove that if I take a $\pi$-class $\mathcal{P}=\{(-\infty,a]:a\in\mathbb{R}\}$ and the class of cylinder events in $\mathbb{R}^{\infty}$ determined by $\mathcal{P}$. That is:
$\mathcal{C}=\{\omega=(x_1,x_2,\dots):x_i\leq b_i,i\leq n\}$ for some $b_i\in\mathbb{R},i\leq n, n\geq 1$ is a $\pi$-class and $\sigma(\mathcal{C})=\mathcal{B}(\mathbb{R}^{\infty})$.
Attempted solution:
$\mathcal{C}=\{\bigcap_{i=1}^n\{X_i\le x_i\},x_1,\dots,x_n\in\mathbb{R},n\ge 1\};\quad \sigma(\tilde{X})=\{X_n\le a\},n\in\mathbb{N},a\in\mathbb{R}\\\{X_n\le a\}=\bigcup_{k=1}^\infty \left ( (\{X_n\le a\}) \cap(\bigcap_{i=1}^{n-1}\{X_n\le k\})\right )\\\\k\in\mathbb{N}:k>\max_{1\le i\le n-1}X_i(\omega)\Rightarrow\omega\in \{X_n\le k\},\forall i\in\{1,...,n-1\}\\\Rightarrow\{X_n\le a\}\in\sigma(\mathcal{C})\\\Rightarrow\{X_n\le a\}\subset\sigma(\tilde{X})\Rightarrow \sigma(\tilde{X})\subset\sigma(\mathcal{C})$
Problems, etc.:
A critique of my solution: You have the general idea but it seems you are confusing classes of events. 1st, you have a sigma-field on the left and a single event on the right. But even if you meant the class of all such events, it would not come anywhere close to being a sigma-field. For example, it does not include $\{\limsup X_n \le a\}$.2nd, the object is to show that inverse images of all sets in $B(R^\infty)$ are in the sigma-field generated by $C$. However, it suffices to consider inverse images of cylinder sets. Finally, cylinder sets are not finite dimensional; they are subsets of $R^\infty$. They do have obvious finite-dimensional counterparts, but don't confuse the two kinds of sets.