Metrik av mått

Metrik av mått är en metrik mellan mått. Metrik av mått är en viktig struktur när man undersöker svag konvergens av mått.

Definitioner

Först behövs några definitioner för metriken.

Mängden av Radonmått är mängden av alla Radonmått i ${ℝ}^n$ begränsade till Borelmängder $\mathrm{B}\mathrm{o}\mathrm{r}{ℝ}^n$:

$𝔐({ℝ}^n):=\{\mu :\mathrm{B}\mathrm{o}\mathrm{r}{ℝ}^n\to [0,\mathrm{\infty }]|\mu \text{ är ett Radonmått }\}.$

Mängden av Lipschitzfunktioner är mängden av alla Lipschitzfunktioner definierad i en mängd $A\subset {ℝ}^n$ (se också $\mathrm{\infty }$-Sobolevrummet):

$W^{1,\mathrm{\infty }}(A):=\{f:A\to ℝ|f\text{ är en Lipschitzfunktion }\}.$

i-klass metriken av Radonmått, där $i\in \mathbb{N}$, är en funktion $d_i:𝔐({ℝ}^n)\times 𝔐({ℝ}^n)\to ℝ$ definierad som:

$d_i(\mu ,\nu ):=\sup \{|\int fd\mu -\int fd\nu |:f\in W^{1,\mathrm{\infty }}(B_i(0))\},$

dvs supremum av distansen för måttintegraler av mått $\mu ,\nu \in 𝔐({ℝ}^n)$ över Lipschitzfunktioner i bollen $B_i(0)$.

Det går att visa att $(𝔐({ℝ}^n),d_i)$ är ett metriskt rum för alla $i\in \mathbb{N}$. Tyvärr det är inte ett fullständigt metriskt rum. Så istället definierar man en annan metrik med hjälp av metrikerna $d_i$, $i\in \mathbb{N}.$

Formell definition

Metrik av mått, $d$, är en formellt funktion $𝔐({ℝ}^n)\times 𝔐({ℝ}^n)\to ℝ$ definierad som:

$d(\mu ,\nu ):=\sum _{i=1}^{\mathrm{\infty }}{2}^{-i}\min \{1,d_i(\mu ,\nu )\},$

för $\mu ,\nu \in 𝔐({ℝ}^n).$

Det går att visa att rummet $(𝔐({ℝ}^n),d)$, rummet av mått, är ett fullständigt metriskt rum och dessutom separabelt. Den täta och uppräkneliga delmängden av Radonmått i $𝔐({ℝ}^n)$ är summan av Diracmått över mittpunkter av dyadiska kuber i ${ℝ}^n$.

Svag konvergens av mått

Eftersom $(𝔐({ℝ}^n),d)$ är ett metriskt rum man kan definiera konvergensMall:Särskiljning behövs av mått: en följd av mått $({\mu }_i)$ konvergera till $\mu$ om

$d({\mu }_i,\mu )\to 0$, när $i\to \mathrm{\infty }$.

Man kallar den här typen av konvergens för svag konvergens av mått och skriver:

${\mu }_i\rightharpoonup \mu ,{\mu }_i\stackrel{\mathrm{w}}{\to }\mu ,$ eller ${\mu }_i\stackrel{\mathrm{*}}{\to }\mu ,$

där w (eng. weak) och $\ast$ (eng. star) antyder på svaga stjärnatopologin av Radonmått.

Det går att visa att

${\mu }_i\rightharpoonup \mu ,$

om och endast om

$\int fd{\mu }_i\to \int fd\mu$, när $i\to \mathrm{\infty }$.

för alla $f\in C_c({ℝ}^n)$ där $C_c({ℝ}^n)$ är mängden av alla kontinuerliga funktioner i ${ℝ}^n$ med kompakt stöd.

Anmärkning: det finns exempel av mängder $A\subset {ℝ}^n$ när ${\mu }_i\rightharpoonup \mu$ men ${\mu }_i(A)\nrightarrow \mu (A)$. Å andra sidan om $A$ är begränsad och $\mu (\partial A)=0$ så är ${\mu }_i(A)\to \mu (A)$ om ${\mu }_i\rightharpoonup \mu$.

Se även

• Måttrum
• Tangentmått