Kurz: ist symmetrisch, wenn und für eine reelle Zahl die gleiche Verteilung haben . X 2 a - X aXX2 a - Xein Um dies jedoch auf eine völlig gerechtfertigte Weise zu erreichen, sind einige Exkursionen und Verallgemeinerungen erforderlich, da sich viele implizite Fragen stellen: Warum diese Definition von "symmetrisch"? Kann es andere Arten von Symmetrien geben? Wie ist die Beziehung zwischen einer Verteilung und ihren Symmetrien und umgekehrt, wie ist die Beziehung zwischen einer "Symmetrie" und solchen Verteilungen, die diese Symmetrie haben könnten?
Die fraglichen Symmetrien sind Reflexionen der realen Linie. Alle sind von der Form
x → 2 a - x
für eine Konstante .ein
Angenommen, hat diese Symmetrie für mindestens eins . Dann impliziert die SymmetrieaXein
Pr [ X≥ a ] = Pr [ 2 a - X≥ a ] = Pr [ X≤ a ]
zeigt, dass ein Median von . In ähnlicher Weise folgt , wenn eine Erwartung hat, sofort, dass . Somit können wir in der Regel leicht festmachen. Auch wenn nicht, ist (und damit die Symmetrie selbst) immer noch eindeutig bestimmt (falls überhaupt vorhanden).X X a = E [ X ] a aeinXXa = E[ X]einein
Um dies zu sehen, sei ein Symmetriezentrum. Wenn wir dann beide Symmetrien anwenden, sehen wir, dass unter der Übersetzung invariant ist . Wenn , muss die Verteilung von eine Periode von , was unmöglich ist, da die Gesamtwahrscheinlichkeit einer periodischen Verteilung entweder oder unendlich ist. Somit ist , was zeigt, dass eindeutig ist.X x → x + 2 ( b - a ) b - a ≤ 0 X b - a 0 b - a = 0 abX x → x + 2 ( b - a )b - a ≤ 0Xb - a0b - a = 0ein
Allgemeiner kann man sagen , wenn eine Gruppe ist, die auf der realen Linie (und in Erweiterung auf alle ihre Borel-Teilmengen) treu handelt, dass eine Verteilung "symmetrisch" (in Bezug auf ) ist, wennX GGXG
Pr [ X∈ E] = Pr [ X∈ EG]
für alle messbaren Mengen und Elemente , wobei das Bild von unter der Wirkung von .g ∈ G E g E gEG∈ GEGEG
Als Beispiel sei immer noch eine Gruppe der Ordnung , aber nun gehe es darum, den Kehrwert einer reellen Zahl zu nehmen (und bestimmen ). Der Standard lognormal Verteilung ist in Bezug auf diese Gruppe symmetrisch. Dieses Beispiel kann als Beispiel einer Reflexionssymmetrie verstanden werden, bei der eine nichtlineare Neuausdruckung der Koordinaten stattgefunden hat. Dies legt nahe, sich auf Transformationen zu konzentrieren, die die "Struktur" der realen Linie berücksichtigen. Die für die Wahrscheinlichkeit wesentliche Struktur muss in Beziehung zu Borel-Mengen und Lebesgue-Maß stehen, die beide als (euklidischer) Abstand zwischen zwei Punkten definiert werden können.2 0G20
Eine entfernungserhaltende Karte ist per Definition eine Isometrie. Es ist bekannt (und leicht, wenn auch ein wenig umständlich zu demonstrieren), dass alle Isometrien der realen Linie durch Reflexionen erzeugt werden. Wenn verstanden wird, dass "symmetrisch" symmetrisch in Bezug auf eine Gruppe von Isometrien bedeutet , muss die Gruppe durch höchstens eine Reflexion erzeugt werden, und wir haben gesehen, dass die Reflexion durch jede symmetrische Verteilung in Bezug darauf eindeutig bestimmt wird . In diesem Sinne ist die vorstehende Analyse erschöpfend und rechtfertigt die übliche Terminologie von "symmetrischen" Verteilungen.
Übrigens ergibt sich eine Vielzahl multivariater Beispiele für Verteilungen, die unter Gruppen von Isometrien invariant sind, wenn "sphärische" Verteilungen berücksichtigt werden. Diese sind bei allen Umdrehungen (relativ zu einem festen Mittelpunkt) unveränderlich. Diese verallgemeinern den eindimensionalen Fall: Die "Rotationen" der realen Linie sind nur die Reflexionen.
Schließlich ist darauf hinzuweisen, dass eine Standardkonstruktion - gemittelt über die Gruppe - eine Möglichkeit bietet, Lasten symmetrischer Verteilungen zu erzeugen. Bei der reellen Linie sei durch die Reflexion um einen Punkt , so dass es aus dem Identitätselement und dieser Reflexion . Sei eine beliebige Verteilung. Definieren Sie die Verteilung durch Setzena e g X YGeineGXY.
PrY.[E]=1|G|∑g∈GPrX[Eg]=(PrX[E]+PrX[Eg])/2
für alle Borel - Sets . Dies ist offensichtlich symmetrisch und es ist leicht zu überprüfen, ob es eine Verteilung bleibt (alle Wahrscheinlichkeiten bleiben nicht negativ und die Gesamtwahrscheinlichkeit ist ).E1
Zur Veranschaulichung des Gruppenmittelungsprozesses ist das PDF einer symmetrisierten Gamma-Verteilung (zentriert bei ) in Gold dargestellt. Das ursprüngliche Gamma ist blau und die Reflexion rot.a=2