Sigma-algebra

A Sigma-algebra of sets, or $\sigma$-algebra is very similar to a $\sigma$-ring of sets.

Like how ring of sets and algebra of sets differ, the same applies to $\sigma$-ring compared to $\sigma$-algebra

Definition

A non empty class of sets $S$ is a $\sigma$-algebra if

• if $$A\in S$$ then $$A^c\in S$$
• if $$\{A_n\}_{n=1}^\infty\subset S$$ then $$\cup^\infty_{n=1}A_n\in S$$

That is it esd Theorem}}

[<collapsible-expand>]

• $\emptyset\in\mathcal{A}$

---

$\forall A\in\mathcal{A}$ we have $A-A\in\mathcal{A}$ (by closure under set subtraction), as $A-A=\emptyset$, $\emptyset\in\mathcal{A}$

[<collapsible-expand>]

• $X\in\mathcal{A}$

---

As $\emptyset\in\mathcal{A}$ and it is closed under complement we see that $\emptyset^c\in\mathcal{A}$ (by closure under complement) and $\emptyset^c=X$ - the claim follows.

[<collapsible-expand>]

• $\mathcal{A}$ is a $\sigma$-algebra $\implies$ $\mathcal{A}$ is a $\sigma$-ring

---

To prove this we must check:

1. {{M|\mathcalyes} is closed under set subtraction
   • We've already shown this, so this is true too.

This completes the proof.

Important theorems

[<collapsible-expand>]

The intersection of $\sigma$-algebras is a $\sigma$-algebra

---

---

TODO: Proof - see PTACC page 5, also in Halmos AND in that other book

---

Common $\sigma$-algebras

See also: Index of common $\sigma$-algebras

• $\sigma$-algebra generated by
• Trace $\sigma$-algebra
• Pre-image $\sigma$-algebra

See also

• Types of set algebras
• $\sigma$-algebra generated by
• $\sigma$-ring