$\sigma$ algebra of collection of random variables Im doing a course on measure theory and I'm stuck on one of the exercises.
Take $\{Y_{\gamma}:\gamma \in C\}$ as an arbitrary collection of random variables and $\{X_{n}: n \in N\}$ to be a countable collection of random variables
I now want to show that $$\sigma \{Y_{\gamma} : \gamma \in C\}=\sigma\{Y^{-1}_{\gamma}(B): \gamma \in C, B \in Borel\}$$
So i need to show that both $\sigma \{Y_{\gamma} : \gamma \in C\}\subset\sigma\{Y^{-1}_{\gamma}(B): \gamma \in C, B \in Borel\}$ and $\sigma\{Y^{-1}_{\gamma}(B): \gamma \in C, B \in Borel\}\subset\sigma \{Y_{\gamma} : \gamma \in C\}$ hold.
I know that for a single random variable X you have $\sigma(X)=\{X^{-1}(B): B \in Borel\}$. How do I expand this for the collection of random variables?
I then also have to show that if $Fn=\sigma\{X_{1},...,X_{n}\}$ and $A=\cup_{n=1}^{\infty}F_{n}$ then $$\sigma(A)=\sigma\{X_{n}: n \in N\}$$
Can anyone help me with this?
 A: $\def\Bor{\mathrm{Borel}}$
Write $\mathcal A = \sigma\{Y_\gamma^{-1}(B) : \gamma \in C, B \in \Bor\}$. Then every $Y_\gamma$ is $(\mathcal A, \Bor)$-measurable (as $Y_\gamma^{-1}(B) \in \mathcal A$ for each $B\in\Bor$), hence $\sigma\{Y_\gamma : \gamma \in C\} \subseteq \mathcal A$, since the former is the smallest $\sigma$-algebra making the $Y_\gamma$ measurable. On the other hand, all $Y_\gamma$ are $(\sigma\{Y_\gamma:\gamma\in C\}, \Bor)$-measurable, then for $B \in \Bor$ we have $Y_\gamma^{-1}(B) \in \sigma\{Y_\gamma:\gamma \in C\}$. This shows that $\mathcal A \subseteq \mathcal \sigma\{Y_\gamma : \gamma \in C\}$, and hence equality.
For the second claim, let $\mathcal B = \{X_n^{-1}(B) : n \ge 1, B \in \Bor\}$. We now from the first part that $\sigma (\mathcal B) = \sigma\{X_n : n \ge 1\}$.
But as $X_n$ is $F_n$-measurable
\[ \mathcal B = \bigcup_{n \ge 1} \{X_n^{-1}(B) : B \in \Bor\} \subseteq \bigcup_{n \ge 1} F_n =A \subseteq \sigma\{X_n : n \ge 1 \}. \]
This implies 
\[\sigma\{X_n : n\ge 1 \} =
 \sigma\mathcal B \subseteq \sigma A \subseteq \sigma\{X_n : n \ge 1\}. \]
