Singulärt mått

Ett singulärt mått är ett begrepp inom matematisk måtteori. Ett mått är singulärt med avseende på ett annat mått om det finns en mängd som är nollmängd med avseende på det första måttet och vars komplement är nollmängd med avseende på det andra måttet.

Formell definition

Låt $(X,{\mathcal {F}})$ vara ett mätbart rum och låt $\mu :{\mathcal {F}}\rightarrow [0,\infty ]\,$ och $\nu :{\mathcal {F}}\rightarrow [0,\infty ]\,$ vara mått.

Måttet $\mu \,$ är singulärt med avseende på måttet $\nu \,$ om det finns $S\in {\mathcal {F}}$ så att

$\mu (S)=0=\nu (X\setminus S)$,

dvs S är en $\mu \,$-nollmängd och X \ S är en $\nu \,$-nollmängd.

Om $\mu \,$ är singulärt med avseende på $\nu \,$ skriver man

$\mu \perp \nu$.

Operatorn $\perp$ är kommutativ:

$\mu \perp \nu =\nu \perp \mu$.

Exempel

Lebesguemåttet är singulärt med avseende på Diracmåttet. Låt $\delta _{x}\,$ vara Diracmåttet i punkten $x\in \mathbb {R} ^{n}$. Eftersom $\{x\}\,$ är en sluten mängd, är det en Borelmängd och därför en Lebesguemätbara mängd. Å andra sidan

${\mathcal {L}}_{n}(\{x\})=0=\delta _{x}(\mathbb {R} ^{n}\setminus \{x\})$,

dvs {x} är en ${\mathcal {L}}_{n}\,$-nollmängd och Rⁿ\{x} är en $\delta _{x}\,$-nollmängd. Så att

${\mathcal {L}}_{n}\perp \delta _{x}$

för alla $x\in \mathbb {R} ^{n}$.

Tillämpningar

• Man kan dela upp alla sigma-ändligt mått till singulära och absolutkontinuerliga bitar med Lebesgues uppdelningsats.