6
$\begingroup$

Can anyone show me how to solve this question extracted from Michael Taylor's book:

If $\{\mathcal{F}_{\alpha} : \alpha \in A\}$ is the collection of all $\sigma$-algebras of subsets of $X$ that contain $\mathcal{C}$, show that $\bigcap_{\alpha \in A} \mathcal{F}_{\alpha} = \mathcal{F}$ is a $\sigma$-algebra of subsets of $X$, containing $\mathcal{C}$, and is in fact the smallest such $\sigma$-algebra. One says $\mathcal{F}$ is the $\sigma$-algebra generated by $\mathcal{C}$ and writes $\mathcal{F} = \sigma(\mathcal{C})$

  • 0
    As I spell out below, it is not only for sigma-algebras that you use the technique that gets you the answer to this question; it's for many other things as well.2012-05-29

2 Answers 2

9

Recall the definition of a $\sigma$-algebra: it is a collection of subsets of some particular $X$, such that:

  1. It is closed under countable unions;
  2. It is closed under taking complement (relative to $X$).

From this, countable intersections follow by DeMorgan's Laws.

Now suppose that $X_i\in\mathcal F$ for $i\in\mathbb N$. So for all $\alpha\in A$ we have $X_i\in\mathcal F_\alpha$. Since $\mathcal F_\alpha$ is a $\sigma$-algebra we have that $\bigcap X_i\in\mathcal F_\alpha$ for all $\alpha\in A$ and therefore $\bigcap X_i\in\bigcap\mathcal F_\alpha=\mathcal F$.

For complements, the principle is the same.

Furthermore, the same idea works to show that $\mathcal F$ contains $\mathcal C$. Lastly we need to show that this is indeed the smallest:

Suppose that $\mathcal S$ is a $\sigma$-algebra which contains $\mathcal C$, then for some $\alpha\in A$ we have $\mathcal S=\mathcal F_\alpha$, so it took part in the intersection which generated $\mathcal F$, therefore $\mathcal F\subseteq\mathcal S$.


Further Reading:

  1. The $\sigma$-algebra of subsets of $X$ generated by a set $\mathcal{A}$ is the smallest sigma algebra including $\mathcal{A}$
1

If an XXXXX is defined as a set closed under certain operations, then any intersection of XXXXXs is another XXXXX. The proof is as follows. Suppose $\{A_\alpha : \alpha\in I\}$ is a set of XXXXXs and $u,v\in \bigcap\limits_{\alpha\in I}A_\alpha$. Then for every $\alpha\in I$, $u,v\in A_\alpha$. Performing the operations on $u,v$ under which every XXXXX is closed, we conclude that what we get is in $A_\alpha$. Since that's true of every value of $\alpha$, what we get is in $\bigcap\limits_{\alpha\in I}A_\alpha$. Therefore $\bigcap\limits_{\alpha\in I}A_\alpha$ is an XXXXX.

DO NOT take "$u,v$" to mean just two things; construe it if necessary as a countably infinite or even bigger class of things, if the operations under which every XXXXX is closed require that.

Now instead of "an XXXXX", just say "an XXXXX of which $\mathcal{C}$ is a subset", and apply that argument.

That's the answer to your first question. But if it's homework, it should be spelled out in more detail than what appears above.

Now what about "smallest"? Now we need the assumption that $\{A_\alpha : \alpha\in I\}$ is not just a collection of XXXXs containing $\mathcal{C}$ as a subset, but is the collection of all XXXXXs containing $\mathcal{C}$ as a subset.

It's the smallest simply because for every $\alpha_0$, $\displaystyle A_{\alpha_0}\supseteq \bigcap_{\alpha\in I}A_\alpha$. "Smallest" means simply that it's a subset of all others.

  • 0
    How about some ZZZZZ instead?2012-05-29