Sigma algebra: Porovnání verzí

Smazaný obsah Přidaný obsah
+definice slovy
+Měřitelná množina, napřímení odkazů
Řádek 1:
'''<math>\sigma</math>-algebra''' ('''sigma-algebra''', též <math>\sigma</math>-těleso) je v [[matematika|matematice]] libovolný neprázdný [[systém množin]], který je uzavřený na [[spočetná množina|spočetné]] [[sjednocení (matematika)|sjednocení]] a na [[rozdíl množin|rozdíl]] dvou prvků a obsahuje sjednocení všech svých prvků. Prefix <math>\sigma</math> v názvu vyjadřuje uzavřenost na [[Spočetná množina|''spočetné'']] sjednocení.
 
V [[teorie míry|teorii míry]] se <math>\sigma</math>-algebra nazývá '''měřitelný prostor'''.
 
'''Měřitelná množina''' je každá množina ze systému množin tvořících <math>\sigma</math>-algebru (tj. každý prvek <math>\mathcal{A}</math> v níže uvedené definici).
 
== Formální definice ==
 
[[Uspořádaná dvojicen-tice|Uspořádanou dvojici]] <math>(\Omega,\mathcal{A})</math>, kde <math>\Omega</math> je libovolná množina a <math>\mathcal{A} \subseteq \mathcal{P}(\Omega)</math> je nějaký systém jejích podmnožin, nazveme '''<math>\sigma</math>-algebrou''', jestliže <math>\mathcal{A}</math> obsahuje prázdnou množinu a je uzavřený na spočetné sjednocení a doplněk, tj.
 
# <math>\emptyset\in\mathcal{A}</math>