Charakteristische Funktion (Mathematik)

aus Wikipedia, der freien Enzyklopädie
Wechseln zu: Navigation, Suche

Die charakteristische Funktion (auch Indikatorfunktion genannt) ist eine Funktion in der Mathematik die sich dadurch auszeichnet, dass sie nur ein oder zwei Funktionswerte annimmt. Sie ermöglicht es, komplizierte Mengen mathematisch präzise zu fassen und auf ihnen Funktionen wie zum Beispiel die Dirichlet-Funktion zu definieren.

Definition[Bearbeiten]

zweidimensionale Indikatorfunktion einer Untermenge eines Quadrates

In der Literatur finden sich mehrere Schreibweisen für die charakteristische Funktion. Neben der hier verwendeten mittels  \chi_T sind ebenfalls die Schreibweisen \xi_T und \mathbf{1}_T gebräuchlich.[1]

Reellwertige charakteristische Funktion[Bearbeiten]

Gegeben sei eine Grundmenge  X und eine Teilmenge  T \subset X . Die Funktion  \chi_T \colon X \to \{0,1\} definiert durch

 \chi_T (x)=
\begin{cases}
  1, & \text{falls } x \in T,\\
  0  & \text{falls } x \notin T
\end{cases}

heißt dann die charakteristische Funktion oder Indikatorfunktion der Menge  T . Die Zuordnung \mathcal P(X) \to 2^X,\, T\mapsto \mathrm \chi_T, liefert eine Bijektion zwischen der Potenzmenge \mathcal P(X) und der Menge aller Funktionen von X in die Menge \{0, 1\}.

Erweiterte charakteristische Funktion[Bearbeiten]

In der Optimierung wird die charakteristische Funktion teils als erweiterte Funktion definiert. Hier heißt dann die Funktion  \chi_T \colon X \to \{0, + \infty\} definiert durch

 \chi_T (x)=
\begin{cases}
  0, & \text{falls } x \in T,\\
  + \infty & \text{falls } x \notin T
\end{cases}

die charakteristische Funktion oder Indikatorfunktion der Menge  T . Sie ist eine echte Funktion wenn  T nicht leer ist.

Partielle charakteristische Funktion[Bearbeiten]

Bei der Bildung der partiellen charakteristischen Funktion wird die Definitionsmenge auf T eingeschränkt; im Sinne von partiellen Funktionen kann man sie also wie folgt beschreiben:


\chi_T'\colon X \rightsquigarrow \{0,1\},\; x\mapsto 
\begin{cases}
  1, & \text{falls } x \in T,\\
  \text{undefiniert}, & \text{sonst}.
\end{cases}

Verwendung der unterschiedlichen Definitionen[Bearbeiten]

Die reellwertige charakteristische Funktion wird häufig in der Integrationstheorie und in der Stochastik verwendet, da sie es ermöglicht, anstelle der Funktion  f über die Menge  T zu integrieren die Funktion  f \cdot \chi_T über die Grundmenge zu Integrieren. Dies erspart oft die Verwendung von Fallunterscheidungen. Ein Beispiel dieser Anwendung ist einen Abschnitt weiter unten Angegeben.

Die erweiterte charakteristische Funktion wird in der Optimierung verwendet, um Funktion auf Teilbereiche einzuschränken, auf denen sie gewisse gewünschte Eigenschaften wie z.B. konvexität besitzen oder um Restriktionsmengen zu modellieren.

Die partielle charakteristische Funktion findet Verwendung in der Berechenbarkeitstheorie.

Verwendung zur Berechnung von Erwartungswert, Varianz und Kovarianz[Bearbeiten]

Für einen gegebenen Wahrscheinlichkeitsraum \textstyle (\Omega, \mathcal F, \mathrm P) und A \in \mathcal F ist die Indikatorfunktion \chi_A\colon \Omega \rightarrow \Bbb{R}, welche definiert ist durch \chi_A (\omega) = 1, wenn  \omega \in A, und ansonsten ist \chi_A (\omega) = 0, eine Zufallsvariable. Für sie gilt:

Erwartungswert: \operatorname{E}(\chi_A) = \operatorname{P}(A)
Varianz: \operatorname{Var}(\chi_A) = \operatorname{P}(A)(1 - \operatorname{P}(A))^2 + (1 - \operatorname{P}(A))(0 - \operatorname{P}(A))^2 = \operatorname{P}(A)(1 - \operatorname{P}(A))
Kovarianz: \operatorname{Cov}(\chi_A, \chi_B) = \operatorname{P}(A \cap B) - \operatorname{P}(A)\operatorname{P}(B)

Man sieht: Die Varianz von \chi_A ist maximal im Fall P(A) = \tfrac{1}{2} und zwei Indikatorvariablen sind genau dann unkorreliert, wenn die zugehörigen Ereignisse stochastisch unabhängig sind.

Siehe auch[Bearbeiten]

Literatur[Bearbeiten]

Anmerkungen[Bearbeiten]

  1. Die Bezeichnung \mathrm{1}_T wird aber auch für die Identitätsrelation bzw. -abbildung verwendet und kann daher leicht zu Verwechselungen führen.