Die Wahl der Spalte spielt keine Rolle: Die resultierende Verteilung auf den speziellen orthogonalen Matrizen S.O ( n ) ist immer noch gleichmäßig.
Ich werde dies anhand eines Arguments erklären, das sich auf offensichtliche Weise auf viele verwandte Fragen zur einheitlichen Erzeugung von Elementen von Gruppen erstreckt. Jeder Schritt dieses Arguments ist trivial und erfordert lediglich die Bezugnahme auf geeignete Definitionen oder eine einfache Berechnung (z. B. die Feststellung, dass die Matrix orthogonal und selbstinvers ist).ich1
Das Argument ist eine Verallgemeinerung einer vertrauten Situation. Betrachten Sie die Aufgabe, positive reelle Zahlen gemäß einer bestimmten kontinuierlichen Verteilung zeichnen . Dies kann erreicht werden, indem eine beliebige reelle Zahl aus einer kontinuierlichen Verteilung und gegebenenfalls das Ergebnis negiert wird, um einen positiven Wert (fast sicher) zu gewährleisten. Damit dieser Prozess die Verteilung , muss die Eigenschaft haben, dassG F G.F.GF.G
G ( x ) - G ( - x ) = F.( x ) .
Der einfachste Weg, dies zu erreichen, ist, wenn um symmetrisch ist, so dass , was : alle positive Wahrscheinlichkeit Dichten werden einfach verdoppelt und alle negativen Ergebnisse werden eliminiert. Die bekannte Beziehung zwischen der Halbnormalverteilung ( ) und der Normalverteilung ( ) ist von dieser Art.0 G ( x ) - 1 / 2 = 1 / 2 - G ( - x ) F ( x ) = 2 G ( x ) - 1 F GG0G(x)−1/2=1/2−G(−x)F(x)=2G(x)−1FG
Im Folgenden spielt die Gruppe die Rolle der reellen Zahlen ungleich Null (als multiplikative Gruppe betrachtet) und ihre Untergruppe spielt die Rolle der positiven reellen Zahlen . Das Haar-Maß ist unter Negation invariant. Wenn es also von nach "gefaltet" wird , ändert sich die Verteilung der positiven Werte nicht . (Dieses Maß kann leider nicht auf ein Wahrscheinlichkeitsmaß normiert werden - aber nur so bricht die Analogie zusammen.)S O ( n ) R + d xO(n)SO(n)R+R - { 0 } R +dx/xR−{0}R+
Das Negieren einer bestimmten Spalte einer orthogonalen Matrix (wenn ihre Determinante negativ ist) ist das Analogon zum Negieren einer negativen reellen Zahl, um sie in die positive Untergruppe zu falten. Im Allgemeinen können Sie im Voraus jede orthogonale Matrix mit negativer Determinante auswählen und anstelle von : Die Ergebnisse wären dieselben.I 1JI1
Obwohl die Frage in Bezug auf die Erzeugung von Zufallsvariablen formuliert ist, fragt sie wirklich nach Wahrscheinlichkeitsverteilungen auf den Matrixgruppen und . Die Verbindung zwischen diesen Gruppen wird anhand der orthogonalen Matrix beschriebenO(n,R)=O(n)SO(n,R)=SO(n)
I1=⎛⎝⎜⎜⎜⎜−10⋮001⋮000⋮0…………0001⎞⎠⎟⎟⎟⎟
weil das Negieren der ersten Spalte einer orthogonalen Matrix bedeutet, dass mit rechts multipliziert wird . Beachten Sie, dass und die disjunkte Vereinigung istX I 1XXI1O ( n )SO(n)⊂O(n)O(n)
O(n)=SO(n)∪SO(n)I−11.
Bei einem auf definierten Wahrscheinlichkeitsraum definiert der in der Frage beschriebene Prozess eine KarteO ( n )(O(n),S,P)O(n)
f:O(n)→SO(n)
indem man es einstellt
f(X)=X
wenn undX∈SO(n)
f(X)=XI1
für .X∈SO(n)I1−1
Die Frage betrifft das Erzeugen zufälliger Elemente in durch Erhalten zufälliger Elemente , dh durch "Vorwärtsschieben" über , um zu erzeugen . Der Pushforward erstellt einen Wahrscheinlichkeitsraum mitω ∈ O ( n ) f f ∗ ω = f ( ω ) ∈ S O ( n ) ( S O ( n )SO(n)ω∈O(n)ff∗ω=f(ω)∈SO(n)(SO(n),S′,P′)
S′=f∗S={f(E)|E⊂S}
und
P′(E)=(f∗P)(E)=P(f−1(E))=P(E∪EI1)
für alle .E⊂S′
Unter der Annahme, dass die richtige Multiplikation mit ist, und unter Hinweis darauf, dass in jedem Fall , für alle sofort folgen würde , E∩E.I1E∩EI1=∅E∈S′
P′(E)=P(E∪EI−11)=P(E)+P(EI−11)=2P(E).
Insbesondere wenn unter Rechtsmultiplikation in invariant ist (was "einheitlich" normalerweise bedeutet), ist die offensichtliche Tatsache, dass und seine Umkehrung (was gleich selbst) sind beide orthogonale Mittel, die das Vorstehende gilt, was zeigt, dass einheitlich ist. Daher ist es nicht erforderlich, eine zufällige Spalte für die Negation auszuwählen. O ( n ) I 1 I 1 P 'PO(n)I1I1P′
The question is concerned about generating
es mir schwer, mich durch die Symbolik voranzutreiben. Könnten Sie die Argumentation in Worten zusammenfassen , für einen Laien bitte früher?