Atom (Maßtheorie)

Ein μ-Atom, manchmal auch einfach ein Atom genannt, ist ein Begriff der Maßtheorie, einem Teilgebiet der Mathematik, das sich mit verallgemeinerten Längen- und Volumenbegriffen beschäftigt. Anschaulich ist eine Menge mit positivem (abstraktem) Volumen ein μ-Atom, wenn jede Teilmenge entweder dasselbe Volumen wie das μ-Atom hat oder das Volumen 0 hat.

Definition

Gegeben sei ein Maßraum $(\mathrm{\Omega },𝒜,\mu )$. Eine Menge $A\in 𝒜$ heißt ein μ-Atom genau dann wenn $\mu (A)>0$ und für jedes $B\in 𝒜$ mit $B\subset A$ gilt, dass entweder $\mu (B)=0$ oder $\mu (A\setminus B)=0$.

Verwandte Begriffsbildungen

Atomloses Maß

Ein Maß $\mu$ heißt atomlos, wenn keine $\mu$-Atome existieren, d. h. für jedes $A\in 𝒜$ mit $\mu (A)>0$ existiert ein $B\subset A$ mit $0<\mu (B)<\mu (A)$. Das Lebesgue-Maß ist atomlos.

Rein atomares Maß

Ein Maß heißt rein atomar, wenn Atome $A_n$ existieren, und für die (endliche oder unendliche) Vereinigung aller Atome

$A:=\bigcup _n{A}_n$

gilt, dass $\mu (\mathrm{\Omega }\setminus A)=0$ ist.

Beispiel

Wählt man als Grundraum $\mathrm{\Omega }=\mathbb{N}=\{0,1,2,\dots \}$ und wählt als σ-Algebra die Potenzmenge $𝒫(\mathbb{N})$ und definiert das Maß auf den Punktmengen als Erzeuger der σ-Algebra durch

$\mu (\{n\})=\{\begin{array}{cc}0& \text{ wenn }n=0\\ \frac{1}{n}& \text{ wenn }n\ne 0\end{array}$, so gilt:

• Die Menge $\{0\}$ ist kein $\mu$-Atom, da $\mu (\{0\})=0$.
• Alle einelementigen Mengen $\{n\},n>0$, sind Atome.
• Jede Menge $\{0,n\}$ ist für $n\ge 1$ ein $\mu$-Atom. Es ist $\mu (\{0,n\})=\frac{1}{n}>0$, echte, nicht-leere Teilmengen sind $\{0\}$ und $\{n\}$ und es ist $\mu (\{0\})=0$ sowie $\mu (\{0,n\}\setminus \{n\})=\mu (\{0\})=0$. Also ist $\{0,n\}$ ein Atom.
• Das Maß ist rein atomar, da die Vereinigung der Atome $A_n=\{n\}$ mit $n\ge 1$ die Menge $A=\mathbb{N}\setminus \{0\}$ ergibt und $\mu (\mathbb{N}\setminus A)=\mu (\{0\})=0$ gilt. Bei anderer Wahl der Atome kann ihre Vereinigung auch die gesamte Grundmenge ergeben.

Verwendung

Atome werden zum Beispiel in der Wahrscheinlichkeitstheorie genutzt, um Kriterien anzugeben, unter denen aus der Konvergenz in Wahrscheinlichkeit die fast sichere Konvergenz folgt. Konvergiert eine Folge von Zufallsvariablen in Wahrscheinlichkeit gegen die Zufallsvariable $X$ und lässt sich der Grundraum $\mathrm{\Omega }$ des Wahrscheinlichkeitsraumes als disjunkte Vereinigung von Atomen darstellen, so konvergieren die $X_n$ auch fast sicher gegen $X$.

Solch eine Darstellung der Grundmenge als disjunkte Vereinigung von Atomen ist bei Wahrscheinlichkeitsräumen mit höchstens abzählbarer Grundmenge immer möglich.

Literatur

• Vorlage:Literatur