In breve: è simmetrico quando e hanno la stessa distribuzione per un numero reale . X 2 a - X aXX2 a - Xun' Ma arrivare a questo in modo pienamente giustificato richiede qualche digressione e generalizzazioni, perché solleva molte domande implicite: perché questa definizione di "simmetrico"? Possono esserci altri tipi di simmetrie? Qual è la relazione tra una distribuzione e le sue simmetrie, e viceversa, qual è la relazione tra una "simmetria" e quelle distribuzioni che potrebbero avere quella simmetria?
Le simmetrie in questione sono riflessi della linea reale. Tutti sono nella forma
x → 2 a - x
per qualche costante .un'
Quindi, supponiamo che abbia questa simmetria per almeno una a . Quindi la simmetria implicaXun'
Pr [ X≥ a ] = Pr [ 2 a - X≥ a ] = Pr [ X≤ a ]
dimostrando che è una mediana di . Allo stesso modo, se ha un'aspettativa, segue immediatamente che . Così di solito può definire facilmente. Anche se no, (e quindi la stessa simmetria) è ancora determinato in modo univoco (se esiste del tutto).X X a = E [ X ] a aun'XXa=E[X]aa
Per vedere questo, sia qualsiasi centro di simmetria. Quindi applicando entrambe le simmetrie vediamo che è invariante sotto la traduzione da . Se , la distribuzione di deve avere un periodo di , il che è impossibile perché la probabilità totale di una distribuzione periodica è o infinita. Pertanto , a dimostrazione del fatto che è univoco.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=0a
Più in generale, quando è un gruppo che agisce fedelmente sulla linea reale (e per estensione su tutti i suoi sottoinsiemi di Borel), potremmo dire che una distribuzione è "simmetrica" (rispetto a ) quandoX GGXG
Pr[X∈E]=Pr[X∈Eg]
per tutti gli insiemi misurabili e gli elementi , dove indica l'immagine di sotto l'azione di .g ∈ G E g E gEg∈GEgEg
Ad esempio, lascia che ancora un gruppo di ordine , ma ora lascia che la sua azione sia quella di prendere il reciproco di un numero reale (e lasciare che risolva ). La distribuzione lognormale standard è simmetrica rispetto a questo gruppo. Questo esempio può essere inteso come un'istanza di una simmetria di riflessione in cui si è verificata una reespressione non lineare delle coordinate. Ciò suggerisce di concentrarsi sulle trasformazioni che rispettano la "struttura" della linea reale. La struttura essenziale per la probabilità deve essere correlata agli insiemi di Borel e alla misura di Lebesgue, entrambi i quali possono essere definiti in termini di distanza (euclidea) tra due punti.2 0G20
Una mappa che preserva la distanza è, per definizione, un'isometria. È noto (e facile, anche se un po 'coinvolto, dimostrare) che tutte le isometrie della linea reale sono generate dalle riflessioni. Quindi, quando si comprende che "simmetrico" significa simmetrico rispetto ad alcuni gruppi di isometrie , il gruppo deve essere generato da al massimo una riflessione e abbiamo visto che la riflessione è determinata in modo univoco da qualsiasi distribuzione simmetrica rispetto ad essa. In questo senso, l'analisi precedente è esaustiva e giustifica la consueta terminologia delle distribuzioni "simmetriche".
Per inciso, una serie di esempi multivariati di distribuzioni invarianti in gruppi di isometrie è offerto considerando le distribuzioni "sferiche". Questi sono invarianti sotto tutte le rotazioni (rispetto ad alcuni centri fissi). Questi generalizzano il caso monodimensionale: le "rotazioni" della linea reale sono solo i riflessi.
Infine, vale la pena sottolineare che una costruzione standard - media sul gruppo - offre un modo per produrre carichi di distribuzioni simmetriche. Nel caso della retta reale, lasciate generato dalla riflessione di un punto di una , in modo che esso consiste dell'elemento di identità e e questa riflessione, g . Lasciate X BE qualsiasi distribuzione. Definire la distribuzione Y impostandoGaegXY
PrY[E]=1|G|∑g∈GPrX[Eg]=(PrX[E] + PrX[ Eg] ) / 2
per tutti Borel set . Questo è manifestamente simmetrico ed è facile verificare che rimanga una distribuzione (tutte le probabilità rimangono non negative e la probabilità totale è 1 ).E1
Illustrando il processo di media dei gruppi, il PDF di una distribuzione gamma simmetrizzata (centrata su ) è mostrato in oro. La gamma originale è in blu e il suo riflesso è in rosso.a = 2