Míra (matematika)

Míra je základním pojmem teorie míry. Z neformálního hlediska je míra zobecněním pojmů velikosti (délky, obsahu, objemu, případně kvantity). Míra je zvolený způsob, jakým se měří množiny. Mírou množiny se rozumí již konkrétní výsledek (číslo) přiřazený (naměřený) konkrétní množině. Teorie míry zobecňuje uvedené pojmy na libovolné množiny, kterým lze přiřadit velikost. Má úzkou souvislost s teorií pravděpodobnosti a teorií Lebesgueova integrálu. Například díky teorii míry lze střední hodnotu náhodné veličiny chápat jako integrál určité měřitelné funkce.

Výchozím bodem teorie míry je přesné vymezení oblasti studia na základě axiomatické teorie množin. Banachův-Tarského paradox ukazuje, jaké nebezpečí hrozí, pokud vyjdeme z naivního pojetí „velikosti množiny“, tak z rozumně vypadajících předpokladů je možné dospět k tak paradoxním tvrzením, jako že všechna tělesa mají stejný objem.

Definice[editovat | editovat zdroj]

Mějme měřitelný prostor $(X,{\mathcal {A}})$ . Funkci $\mu :{\mathcal {A}}\rightarrow \langle 0,\infty )$ nazveme mírou, jestliže splňuje:

Míra prázdné množiny je nulová: $\mu (\emptyset )=0$ .
Míra je vždy nezáporná: $\forall A\in {\mathcal {A}}:\mu (A)\geq 0$ .
σ-aditivita: pro libovolnou spočetnou posloupnost po dvou disjunktních množin $(A_{i})_{i=1}^{\infty },\forall A_{i}\in {\mathcal {A}}$ platí: $\mu (\bigcup _{i=1}^{\infty }A_{i})=\sum _{i=1}^{\infty }\mu (A_{i})$ .

Uspořádanou trojici $(X,{\mathcal {A}},\mu )$ nazýváme prostor s mírou.

Vlastnosti[editovat | editovat zdroj]

$A\subseteq B\Rightarrow \mu (A)\leq \mu (B)$
Pro posloupnost množin $(A_{i})_{i=1}^{\infty }$ platí: $\mu (\bigcup _{i=1}^{\infty }A_{i})\leq \sum _{i=1}^{\infty }\mu (A_{i})$
Pro posloupnost podmnožin $A_{1}\subseteq A_{2}\subseteq ...$ platí: $\mu (\bigcup _{i=1}^{\infty }A_{i})=\lim _{i\rightarrow \infty }\mu (A_{i})$ pro $\mu (A_{\infty })<\infty$
Pro posloupnost nadmnožin: $A_{1}\supseteq A_{2}\supseteq ...$ platí: $\mu (\bigcap _{i=1}^{\infty }A_{i})=\lim _{i\rightarrow \infty }\mu (A_{i})$ pro $\mu (A_{1})<\infty$