Sigma okruh

Systém množin ${\displaystyle {\mathcal {R}}}$ je ${\displaystyle \sigma }$-okruh, pokud splňuje následující vlastnosti:

1. ${\displaystyle {\mathcal {R}}\neq \emptyset }$
2. jestliže ${\displaystyle (\forall n\in \mathbb {N} )(A_{n}\in {\mathcal {R}})}$, pak ${\displaystyle \bigcup _{n=1}^{\infty }A_{n}\in {\mathcal {R}}}$
3. jestliže ${\displaystyle A,B\in {\mathcal {R}}}$, pak ${\displaystyle A\setminus B\in {\mathcal {R}}}$

Někdy se jako ${\displaystyle \sigma }$-okruh označuje uspořádaná dvojice ${\displaystyle (\Omega ,{\mathcal {R}})}$, kde ${\displaystyle \Omega }$ je libovolná množina a ${\displaystyle {\mathcal {R}}\subseteq {\mathcal {P}}(\Omega )}$ je nějaký systém jejích podmnožin, který splňuje výše uvedené vlastnosti.

• Každý ${\displaystyle \sigma }$-okruh obsahuje prázdnou množinu
• ${\displaystyle \sigma }$-okruh je uzavřený na spočetný průnik svých prvků: jestliže ${\displaystyle (\forall n\in \mathbb {N} )(A_{n}\in {\mathcal {R}})}$, pak ${\displaystyle \bigcap _{n=1}^{\infty }A_{n}\in {\mathcal {R}}}$

Koncept ${\displaystyle \sigma }$-okruhu je důležitý především v teorii míry, kde se používá místo ${\displaystyle \sigma }$-algebry, pokud není potřeba, aby univerzální množina byla měřitelná.