# Dichtefunktion

Eine Dichtefunktion, kurz Dichte, ist eine spezielle reellwertige Funktion, die hauptsächlich in den mathematischen Teilgebieten der Stochastik und der Maßtheorie vorkommt. Dort dienen Dichtefunktionen zur Konstruktion von Maßen oder signierten Maßen über Integrale.
Bekanntestes Beispiel von Dichtefunktionen sind die Wahrscheinlichkeitsdichtefunktionen aus der Wahrscheinlichkeitstheorie. Mit ihrer Hilfe lassen sich viele Wahrscheinlichkeitsmaße konstruieren, ohne auf tiefliegendere maßtheoretische Methoden und Strukturen zurückgreifen zu müssen.

## Definition

Gegeben sei ein Maßraum $(X,{\mathcal {A}},\mu )$ sowie eine positive $\mu$-quasiintegrierbare Funktion
    $f\colon X\to \mathbb {R}$.
Dann lässt sich durch
    $\mu _{f}(A):=\int _{A}f(x)\,\mathrm {d} \mu (x)$ für alle $A\in {\mathcal {A}}$
ein Maß definieren. Die Funktion $f$ heißt dann die Dichtefunktion des Maßes.
Sind umgekehrt $\mu$ und $\nu$ Maße auf $(X,{\mathcal {A}})$ und ist
    $\nu (A)=\int _{A}f_{\nu }(x)\,\mathrm {d} \mu (x)$ für eine positive quasiintegrierbare Funktion $f_{\nu }$ und alle $A\in {\mathcal {A}}$,
so heißt $f_{\nu }$ die Dichtefunktion des Maßes $\nu$ bezüglich des Maßes $\mu$. Die Funktion wird dann auch als Radon-Nikodým-Dichte oder Radon-Nikodým-Ableitung bezeichnet und als ${\tfrac {\mathrm {d} \nu }{\mathrm {d} \mu }}$ notiert.
Die Definition für signierte Maße ist in beiden Fällen identisch, lediglich die Positivität der quasiintegrierbaren Funktionen wird fallengelassen.

## Beispiele
### Wahrscheinlichkeitsdichtefunktionen

Typisches Beispiel von Dichtefunktionen sind Wahrscheinlichkeitsdichtefunktionen. Dies sind Dichtefunktionen bezüglich des Lebesgue-Maßes $\lambda$ bzw. des Lebesgue-Integrals, bei denen das Maß des Grundraumes eins ist. Die Vorgabe solch einer Funktion $f_{P}$ ist eine einfache Möglichkeit, Wahrscheinlichkeitsmaße über
    $P(A)=\int _{A}f_{P}(x)\,\mathrm {d} \lambda (x)$
zu definieren. Wahrscheinlichkeitsmaße, die sich so definieren lassen, werden absolutstetige Wahrscheinlichkeitsmaße genannt. Sie ermöglichen einen elementaren Zugang zur Wahrscheinlichkeitstheorie, häufig wird dann auch auf die Verwendung des Lebesgue-Integrals verzichtet und stattdessen das Riemann-Integral benutzt. Dann findet sich entsprechend die Notation $\mathrm {d} x$ anstelle von $\mathrm {d} \lambda (x)$.

### Zähldichten

Ein weiteres Beispiel für Dichtefunktionen sind Zähldichten, auch Wahrscheinlichkeitsfunktionen genannt. Sie ordnen im einfachsten Fall jeder natürlichen Zahl eine positive Zahl zu:
    $f\colon \mathbb {N} \to [0,\infty )$.
Dabei summieren sich die Funktionswerte zu eins auf und definieren damit über
    $P(\{k\}):=f(k)$
eine diskrete Wahrscheinlichkeitsverteilung. Wählt man als Maß nun das Zählmaß $\mu$ auf $\mathbb {N}$, so ist
    $P(A)=\sum _{k\in A}f(k)=\int _{A}f(k)\,\mathrm {d} \mu (k)$.
Zähldichten sind somit Dichtefunktionen bezüglich des Zählmaßes.

## Existenz

Per Definition lässt sich jede positive quasiintegrierbare Funktion in Kombination mit einem Maß zur Definition eines weiteren Maßes heranziehen und damit zur Dichtefunktion erklären.
Sind jedoch zwei Maße $\mu ,\nu$ gegeben, so stellt sich die Frage, ob $\nu$ eine Dichtefunktion bezüglich $\mu$ besitzt oder umgekehrt. Diese Frage beantwortet der Satz von Radon-Nikodým:
    Ist $\mu$ σ-endlich und ist $\nu$ absolut stetig bezüglich $\mu$, so besitzt $\nu$ eine Dichtefunktion bezüglich $\mu$.