Eine Kopplung zweier Wahrscheinlichkeitsmaße μ und ν auf messbaren Räumen ist ein gemeinsames Wahrscheinlichkeitsmaß π auf dem Produktraum, dessen Randmaße μ und ν sind. Allgemeiner ist eine Kopplung einer Familie von Maßen jede gemeinsame Verteilung mit vorgegebenen Randverteilungen.

Prinzip

Kopplung konstruiert eine gemeinsame Realisierung, die zwei Randverteilungen wegelang vergleichbar macht; sie wandelt abstrakte Abstand- oder Divergenzfragen in probabilistische Ereignisse über gepaarte Zufallsvariablen um.

Demonstration

Um die Totalvariation zwischen μ und ν zu schätzen, konstruiere eine Kopplung (X,Y) mit Randverteilungen μ, ν und beachte TV(μ,ν) ≤ P(X ≠ Y); auf endlichen Mengen erreicht eine optimale Kopplung die Gleichheit.

Fehlanwendung

Anzunehmen, eine bestimmte Kopplung sei kanonisch oder eindeutig ohne Optimierung; etwa die Verwendung einer beliebigen Produktkopplung, wenn eine transportoptimale Kopplung erforderlich ist, liefert schwächere Schranken.

Konsequenz

Geeignete Kopplungen liefern probabilistische Konvergenzbeweise, Abschätzungen von Abständen (Wasserstein, TV) sowie Konstruktionen monotoner oder koadaptierter Kopplungen, die stochastische Dominanz oder Kontraktions-Eigenschaften implizieren.

Umkehrung

Die entgegengesetzte Konstruktion ist das Produktmaß (unabhängige Kopplung), das Abhängigkeit minimiert; das Umkehren eines Kopplungsproblems führt zur marginalen Zerlegung oder Disintegration statt zur gemeinsamen Synchronisation.

Abgrenzung

Kopplungen existieren für Wahrscheinlichkeitsmaße auf standarden messbaren Räumen durch Erweiterungssätze, aber Optimierungsfragen erfordern zusätzliche Strukturen (Metrik, Kostenfunktion); Kopplungen selbst liefern keine Eindeutigkeit oder Regularität.

Semantische Spannung

Kopplung versus Transportplan: Beide sind gemeinsame Maße mit gegebenen Rändern, doch im optimalen Transport wird der Plan durch eine Kostenfunktion bewertet, während in probabilistischen Kopplungen oft ereignisbezogene Relationen wie Gleichheit oder Ordnung im Vordergrund stehen.

Synthese

Eine Kopplung ist eine gemeinsame Verteilung mit vorgegebenen Rändern, die abstrakte Maßvergleiche in konkrete gekoppelte Zufallsvariablen übersetzt und so wegweise Vergleichs- und Schrankenmethoden ermöglicht.