Kısaca: ve 2 a - X bazı gerçek sayı a için aynı dağılıma sahip olduğunda X simetriktir . XX2a−Xa Ancak buna tam olarak haklı bir şekilde varmak, bazı kazma ve genellemeler gerektirir, çünkü birçok örtük soru ortaya çıkarır: neden bu "simetrik" tanımı? Başka tür simetriler olabilir mi? Bir dağılım ve onun simetrileri arasındaki ilişki nedir ve tersine, bir "simetri" ile bu simetriye sahip olabilecek dağılımlar arasındaki ilişki nedir?
Söz konusu simetriler gerçek çizginin yansımalarıdır. Hepsi formda
x→2a−x
bazı sabit .a
Diyelim ki en azından bir a için bu simetriye sahip. Sonra simetriXa
Pr[X≥a]=Pr[2a−X≥a]=Pr[X≤a]
gösteren bir olan medyan ait X . Benzer şekilde, X'in bir beklentisi varsa, hemen a = E [ X ] 'i takip eder . Böylece biz genellikle aşağı sabitleyebilirsiniz bir kolaylıkla. Olmasa bile, a (ve dolayısıyla simetrinin kendisi) hala benzersiz bir şekilde belirlenir (eğer varsa).aXXa=E[X]aa
Bunu görmek için, herhangi bir simetri merkezi olsun . Daha sonra her iki simetriyi uygulayarak X'in x → x + 2 ( b - a ) çevirisi altında değişmez olduğunu görüyoruz . Eğer b - a ≠ 0 ise , X'in dağılımı, bir periyodik dağılımın toplam olasılığı ya 0 ya da sonsuz olduğu için mümkün olmayan bir b - a periyoduna sahip olmalıdır . Böylece b - abX x→x+2(b−a)b−a≠0Xb−a0 , gösteren bir benzersizdir.b−a=0a
Daha genel olarak, gerçek hatta sadakatle hareket eden bir grup olduğunda (ve tüm Borel alt kümelerinde genişleme yoluyla), X dağılımının " G'ye göre ) " simetrik " olduğunu söyleyebiliriz.GXG
Pr[X∈E]=Pr[X∈Eg]
Tüm ölçülebilir kümeleri için elementlerin g ∈ G , D g görüntüsünü gösterir E etkisi altında gr .Eg∈GEgEg
Bir örnek olarak, izin yine için bir grup olmak 2 , ama şimdi eylem gerçek sayının karşılığını almak olsun (ve düzeltmek izin 0 ). Standart lognormal dağılım bu gruba göre simetriktir. Bu örnek, koordinatların doğrusal olmayan bir yeniden ifadesinin yer aldığı bir yansıma simetrisinin bir örneği olarak anlaşılabilir. Bu, gerçek çizginin "yapısına" saygı duyan dönüşümlere odaklanmanızı önerir. Olasılık için gerekli olan yapı, her ikisi de iki nokta arasındaki (Öklid) mesafesi cinsinden tanımlanabilen Borel setleri ve Lebesgue ölçümü ile ilgili olmalıdır .G20
Uzaklığı koruyan bir harita, tanımı gereği bir izometridir. Gerçek çizginin tüm izometrelerinin yansımalar tarafından üretildiği iyi bilinir (ve biraz dahil olsa da kolay). Bu nedenle, "simetrik" in bazı izometrilere göre simetrik anlamına geldiği anlaşıldığında , grup en fazla bir yansıma ile oluşturulmalıdır ve yansımanın ona göre herhangi bir simetrik dağılım ile benzersiz bir şekilde belirlendiğini gördük . Bu anlamda, önceki analiz kapsamlıdır ve "simetrik" dağılımların olağan terminolojisini haklı çıkarır.
Bu arada, izometri grupları altında değişmeyen çok sayıdaki dağılım örnekleri "küresel" dağılımlar dikkate alınarak verilmektedir. Bunlar tüm rotasyonlar altında değişmez (bazı sabit merkezlere göre). Bunlar tek boyutlu durumu genelleştirir: gerçek çizginin "dönüşleri" sadece yansımalardır.
Son olarak, standart bir yapının - grup üzerinde ortalama - bir sürü simetrik dağılım üretmenin bir yolunu verdiğini belirtmek gerekir. Gerçek hattının olması durumunda, izin bir nokta ile ilgili yansıma ile üretilebilir a bu kimlik elemanı oluşur ki, e ve bu yansıma, g . Let X be herhangi dağılımı. Dağılımını tanımla Y ayarıylaGaegXY
PrY[E]=1|G|∑g∈GPrX[Eg]=(PrX[E]+PrX[Eg])/2
Tüm Borel kümeleri için . Bu açıkça simetriktir ve bir dağılım olarak kaldığını kontrol etmek kolaydır (tüm olasılıklar negatif değildir ve toplam olasılık 1'dir ).E1
Grup ortalama sürecini gösteren simetrik bir Gama dağılımının ( merkezli) PDF'si altın olarak gösterilir. Orijinal Gamma mavidir ve yansıması kırmızıdır.a=2