1
$\begingroup$

I am having a bit of trouble understanding this definition. "A collection $\Sigma$ of subsets of S is called a $\sigma$-algebra on S if $\Sigma$ is an algebra on S such that whenever $F_n \in\Sigma (n \in N)$, then $\bigcup\limits_{n} F_{n} \in \Sigma$.

The part im not sure with is $\bigcup\limits_{n} F_{n} \in \Sigma$. Lets say n=3, then $F_3 \in\Sigma$, so then $\bigcup\limits_{3} F_{3} \in \Sigma$. Does $\bigcup\limits_{3} F_{3} \in \Sigma$ = $F_1+F_2+F_3$? With $F_1,F_2,F_3 \in \Sigma$?

Im just a bit confused with the union notation. What would $\bigcup\limits_{3} F_{3} \in \Sigma$ equals to? Thanks.

1 Answers 1

1

The statement that ‘whenever $F_n\in\Sigma$ ($n\in N$), then $\bigcup\limits_n F_n\in\Sigma$’ means that if $F_0,F_1,F_2,\dots$ are elements of $\Sigma$, then $F_0\cup F_1\cup F_2\cup\dots$ is also an element of $\Sigma$. In other words, it’s talking about an infinite collection of $F_n$’s, one for each $n\in N$.

This is often expressed by saying that $\Sigma$ is closed under countable unions, meaning simply that the union of any finite or countably infinite collection of elements of $\Sigma$ is again an element of $\Sigma$.

  • 0
    Ahh okay, thanks for clearing it up!2011-11-13