s-finites Maß

Als s-finite Maße oder s-endliche Maße bezeichnet man eine gewisse Klasse von Maßen in der Maßtheorie, einem Teilgebiet der Mathematik. Sie lassen sich als abzählbare Summe von endlichen Maßen darstellen und erlauben somit die Verallgemeinerung gewisser Beweise. Die s-finiten Maße sind den σ-endlichen Maßen ähnlich, sollten aber nicht mit ihnen verwechselt werden.

Definition

Gegeben sei ein Messraum $(X,{\mathcal {A}})$ . Dann heißt ein Maß $\mu$ auf diesem Messraum ein s-finites Maß, wenn es eine abzählbare Folge $(\nu _{n})_{n\in \mathbb {N} }$ von endlichen Maßen gibt, so dass

\mu =\sum _{i=1}^{\infty }\nu _{i}

gilt.^[1]

Beispiel

Das Lebesgue-Maß $\lambda$ ist ein s-finites Maß. Definiere dazu

I_{n}:=[-n,n]

und

B_{n}:=I_{n}\setminus I_{n-1}

.

Bezeichnet nun $\lambda |_{B}$ die Einschränkung des Lebesgue-Maßes auf die Menge $B$ , so sind die Maße

\nu _{n}=\lambda |_{B_{n}}

alle endlich und summieren sich aufgrund ihrer Konstruktion zu $\lambda$ .

Eigenschaften

Beziehung zur σ-Endlichkeit

Jedes σ-endliche Maß ist immer s-finit. Denn ist $\nu$ σ-endlich und sind $B_{1},B_{2},B_{3},\dots$ messbare disjunkte Mengen mit $\mu (B_{i})<\infty$ für alle $i\in \mathbb {N}$ wie in der Definition der σ-Endlichkeit gefordert, so sind $\nu _{n}:=\mu |_{B_{n}}$ endliche Maße, die sich wie im obigen Beispiel wieder zu $\mu$ aufsummieren. Umgekehrt ist nicht jedes s-finite Maß auch σ-endlich. Betrachtet man als Messraum die Menge $X=\{a,b\}$ , versehen mit der Potenzmenge als σ-Algebra und definiert die Maße $\nu _{n}$ alle als das Zählmaß auf $X$ , so ist

\mu :=\sum _{i=1}^{\infty }\nu _{i}

per Konstruktion s-finit. Aber $\mu$ ist nicht σ-endlich, denn es ist

\mu (\{a\})=\sum _{i=1}^{\infty }\nu _{i}(\{a\})=\sum _{i=1}^{\infty }1=\infty

,

der Fall für $\{b\}$ folgt analog.

Äquivalenz

Jedes s-finite Maß $\mu$ ist äquivalent zu einem Wahrscheinlichkeitsmaß $\nu$ . Das bedeutet, dass es ein Maß $\nu$ mit $\nu (X)\leq 1$ gibt, so dass $\nu \sim \mu$ . Hier bedeutet $\nu \sim \mu$ , dass $\nu \ll \mu$ und $\nu \gg \mu$ , sprich es ist $\nu$ absolut stetig bezüglich $\mu$ und $\mu$ absolut stetig bezüglich $\nu$ . Denn sind $(\nu _{i})_{i\in \mathbb {N} }$ endliche Maße wie in der Definition der s-Finitheit gefordert, so ist ein mögliches $\nu$ gegeben durch