Míra (matematika)

Z Multimediaexpo.cz

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“. 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.

Obsah 1 Definice 2 Vlastnosti 3 Příklady 4 Související články 5 Literatura 6 Externí odkazy

Definice

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) \ge 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

• \(A \subseteq B \Rightarrow \mu(A) \le \mu(B)\)
• Pro posloupnost množin \((A_i)_{i=1}^\infty\) platí: \(\mu(\bigcup_{i=1}^\infty A_{i}) \le \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\)

Příklady

• Lebesgueova míra
• Hausdorffova míra
• Diracova míra
• Aritmetická míra

Související články

• Cramérova–Woldova věta
• Lebesgueův integrál
• Měřitelný kardinál
• Neměřitelná množina

Literatura

• Walter Rudin, Analýza v reálném a komplexním oboru
• J. Lukeš, J. Malý: Míra a integrál (Measure and integral), skripta MFF

Externí odkazy

Commons nabízí fotografie, obrázky a videa k tématu Míra (matematika)

Náklady na energie a provoz naší encyklopedie prudce vzrostly. Potřebujeme vaši podporu... Kolik ?? To je na Vás. Náš FIO účet — 2500575897 / 2010
Informace o článku. Článek je převzat z Wikipedie, otevřené encyklopedie, do které přispívají dobrovolníci z celého světa. Tento text je dostupný za podmínek Creative Commons 3.0 Unported – creativecommons.org. Originální článek na české Wikipedii