Secara singkat: simetris ketika dan memiliki distribusi yang sama untuk beberapa bilangan real . X 2 a - X aXX2 a - XSebuah Tapi tiba di ini dengan cara yang sepenuhnya dibenarkan memerlukan beberapa penyimpangan dan generalisasi, karena menimbulkan banyak pertanyaan implisit: mengapa ini definisi "simetris"? Mungkinkah ada jenis simetri lain? Apa hubungan antara distribusi dan simetrinya, dan sebaliknya, apa hubungan antara "simetri" dan distribusi yang mungkin memiliki simetri itu?
Simetri yang dimaksud adalah refleksi dari garis nyata. Semuanya berbentuk
x → 2 a - x
untuk beberapa konstanta .Sebuah
Jadi, anggaplah memiliki simetri ini untuk setidaknya satu . Maka simetri menyiratkanaXSebuah
Pr [ X≥a]=Pr[2a−X≥a]=Pr[X≤a]
menunjukkan bahwa adalah median dari . Demikian pula, jika memiliki harapan, maka segera mengikuti bahwa . Jadi kita biasanya dapat mudah dijabarkan . Bahkan jika tidak, (dan karena itu simetri itu sendiri) masih ditentukan secara unik (jika ada sama sekali).X XaXXa aa=E[X]aa
Untuk melihat ini, mari menjadi sembarang pusat simetri. Kemudian menerapkan kedua simetri kita melihat bahwa adalah invarian di bawah terjemahan . Jika , distribusi harus memiliki periode , yang tidak mungkin karena probabilitas total distribusi periodik adalah atau tidak terbatas. Jadi , menunjukkan bahwa adalah unik.X x → x + 2 ( b - a ) bbX x→x+2(b−a)X b -b−a≠0X0 b - a = 0 ab−a0b−a=0a
Lebih umum, ketika adalah grup yang bertindak dengan setia di garis nyata (dan dengan perluasan pada semua himpunan borelnya), kita dapat mengatakan bahwa distribusi "simetris" (berkenaan dengan ) ketikaX GGXG
Pr[X∈E]=Pr[X∈Eg]
untuk semua himpunan terukur dan elemen , di mana menunjukkan gambar bawah aksi .g ∈ G E g E gEg∈ GEgEg
Sebagai contoh, misalkan masih menjadi kelompok pesanan , tetapi sekarang biarkan aksinya adalah mengambil kebalikan dari bilangan real (dan membiarkannya memperbaiki ). Distribusi lognormal standar simetris sehubungan dengan grup ini. Contoh ini dapat dipahami sebagai contoh dari simetri refleksi di mana ekspresi ulang nonlinear dari koordinat telah terjadi. Ini menunjukkan fokus pada transformasi yang menghormati "struktur" garis nyata. Struktur penting untuk probabilitas harus terkait dengan set Borel dan ukuran Lebesgue, yang keduanya dapat didefinisikan dalam hal jarak (Euclidean) antara dua titik.2 0G20
Menurut definisi, peta yang mempertahankan jarak adalah isometri. Telah diketahui (dan mudah, meskipun sedikit terlibat, untuk menunjukkan) bahwa semua isometri dari garis nyata dihasilkan oleh refleksi. Dari mana, ketika dipahami bahwa "simetris" berarti simetris sehubungan dengan beberapa kelompok isometri , kelompok tersebut harus dihasilkan oleh paling banyak satu refleksi dan kita telah melihat bahwa refleksi secara unik ditentukan oleh distribusi simetris apa pun sehubungan dengan itu. Dalam hal ini, analisis sebelumnya adalah lengkap dan membenarkan terminologi distribusi "simetris" yang biasa.
Secara kebetulan, sejumlah contoh multivariat dari distribusi invarian di bawah kelompok isometri diberikan dengan mempertimbangkan distribusi "bola". Ini tidak tetap di bawah semua rotasi (relatif terhadap beberapa pusat tetap). Ini menggeneralisasi kasus satu dimensi: "rotasi" dari garis nyata hanyalah refleksi.
Akhirnya, perlu menunjukkan bahwa konstruksi standar - rata-rata di atas grup - memberikan cara untuk menghasilkan banyak distribusi simetris. Dalam kasus garis nyata, biarkan dihasilkan oleh refleksi tentang titik , sehingga terdiri dari elemen identitas dan refleksi ini, . Biarkan menjadi distribusi apa pun . Tentukan distribusi dengan mengatura e g X YGSebuahegXY
PrY[E] =1| G |∑g∈ GPrX[Eg] = ( PrX[E] + PrX[ Eg] ) / 2
untuk semua Borel set . Ini nyata simetris dan mudah untuk memeriksa bahwa itu tetap suatu distribusi (semua probabilitas tetap tidak negatif dan probabilitas total adalah ).1E1
Mengilustrasikan proses rata-rata grup, PDF dari distribusi Gamma yang simetris (berpusat pada ) ditunjukkan dalam emas. Gamma asli berwarna biru dan pantulannya berwarna merah.a = 2