Aus Wikipedia, der freien Enzyklopädie
Eine Faltungshalbgruppe ist in der Wahrscheinlichkeitstheorie eine Familie von Wahrscheinlichkeitsmaßen, die in gewissem Sinne stabil bezüglich der Faltung ist. Faltungshalbgruppen treten beispielsweise bei der Untersuchung von charakteristischen Funktionen oder als Hilfsmittel zur Konstruktion von stochastischen Prozessen mit bestimmten Eigenschaften, wie dem Wiener-Prozess, auf.
Gegeben sei eine Halbgruppe bezüglich der Verknüpfung sowie eine Familie von Wahrscheinlichkeitsmaßen auf . Es bezeichne die Faltung von und .
Die Familie heißt nun eine Faltungshalbgruppe, wenn für alle
gilt.
Die folgenden Beispiele lassen sich mittels charakteristischer Funktionen begründen. Hierzu nutzt man aus, dass die Faltung der Wahrscheinlichkeitsmaße der Verteilung der Summe der Zufallsvariablen entspricht und diese wiederum durch das Produkt der charakteristischen Funktion beschrieben wird.
Eine Faltungshalbgruppe heißt eine stetige Faltungshalbgruppe bezüglich der schwachen Konvergenz, wenn ist und gilt. Hierbei bezeichnet das Diracmaß auf der 0.
Eine Faltungshalbgruppe von Wahrscheinlichkeitsmaßen auf heißt eine nichtnegative Faltungshalbgruppe, wenn für alle immer ist.
Durch Faltungshalbgruppen lassen sich Markow-Kerne definieren, die eine Übergangshalbgruppe bilden. Dazu definiert man und
Dann gilt die Chapman-Kolmogorow-Gleichung, denn mit den Rechenregeln für die Faltung und Verkettung von Kernen folgt
Wie jede Übergangshalbgruppe definieren die Kerne auch eine konsistente Familie von stochastischen Kernen.
Durch Faltungshalbgruppen lassen sich auch stochastische Prozesse definieren, die unabhängige Zuwächse und stationäre Zuwächse haben. Umgekehrt definiert jeder stochastische Prozess mit unabhängigen stationären Zuwächsen eine Faltungshalbgruppe. Bekanntestes Beispiel ist hier der Wiener-Prozess, der bis auf die Stetigkeit seiner Pfade aus der Faltungshalbgruppe konstruiert werden kann. Dabei nutzt man aus, dass jede konsistente Familie von stochastischen Kernen mit Indexmenge zu einem vorgegebenen Wahrscheinlichkeitsmaß auf ein eindeutiges Wahrscheinlichkeitsmaß auf definiert. Somit folgt der Schluss von der Faltungshalbgruppe zur Übergangshalbgruppe zur konsistenten Familie zur Eindeutigkeit des Wahrscheinlichkeitsmaßes mit den geforderten Eigenschaften.
Seamless Wikipedia browsing. On steroids.