संक्षेप में: सममित है जब X और 2 a - X में कुछ वास्तविक संख्या के लिए समान वितरण होता है । XX2a−Xa लेकिन इस पर पूरी तरह से न्यायसंगत तरीके से पहुंचने के लिए कुछ विषयांतर और सामान्यीकरण की आवश्यकता होती है, क्योंकि यह कई निहित सवाल उठाता है: "सममित" की यह परिभाषा क्यों ? क्या अन्य प्रकार के समरूपता हो सकते हैं? एक वितरण और उसके समरूपता के बीच क्या संबंध है, और इसके विपरीत, एक "समरूपता" और उन वितरणों के बीच क्या संबंध है जो कि समरूपता हो सकता है?
प्रश्न में समरूपता वास्तविक रेखा के प्रतिबिंब हैं। सभी रूप के हैं
x→2a−x
कुछ निरंतर के ।a
तो, मान लीजिए कि में कम से कम एक के लिए यह समरूपता है । फिर समरूपता का अर्थ हैXa
Pr[X≥a]=Pr[2a−X≥a]=Pr[X≤a]
दिखा रहा है कि एक है मंझला की एक्स । इसी तरह, यदि X को एक उम्मीद है, तो यह तुरंत इस प्रकार है कि a = E [ X ] । इस प्रकार हम आमतौर पर नीचे पिन कर सकते हैं एक आसानी से। यहां तक कि नहीं करता है, तो, एक (और इसलिए समरूपता ही) अभी भी विशिष्ट निर्धारित किया जाता है (अगर यह सब पर मौजूद है)।aXXa=E[X]aa
इसे देखने के लिए, सममिति का कोई केंद्र हो। फिर दोनों समरूपताओं को लागू करते हुए हम देखते हैं कि X अनुवाद x → x + 2 ( b - a ) के तहत अपरिवर्तनीय है । यदि ख - एक ≠ 0 , के वितरण एक्स की अवधि होना आवश्यक है ख - एक , जो असंभव है क्योंकि एक आवधिक वितरण की कुल संभावना या तो है 0 या अनंत। इस प्रकार b - a = 0 , दिखा रहा है कि एक अद्वितीय है।bX x→x+2(b−a)b−a≠0Xb−a0b−a=0a
आम तौर पर, जब वास्तविक लाइन (और अपने सभी बोरेल सबसेट पर विस्तार से) पर विश्वास करने वाला एक समूह है, तो हम कह सकते हैं कि एक वितरण एक्स "सममित" ( जी के संबंध में ) हैGXG
Pr[X∈E]=Pr[X∈Eg]
सभी मापने योग्य सेट के लिए और तत्वों जी ∈ जी , जहां ई जी की छवि को दर्शाता है ई की कार्रवाई के तहत ग्राम ।Eg∈GEgEg
उदाहरण के लिए, चलो अभी भी आदेश के एक समूह हो 2 , लेकिन अब अपनी कार्रवाई एक वास्तविक संख्या की पारस्परिक लेने के लिए रहने दो (और इसे ठीक कर देना 0 )। मानक लॉगनॉर्मल वितरण इस समूह के संबंध में सममित है। इस उदाहरण को एक प्रतिबिंब समरूपता के उदाहरण के रूप में समझा जा सकता है जहां निर्देशांक की एक nonlinear पुनः अभिव्यक्ति हुई है। यह उन परिवर्तनों पर ध्यान केंद्रित करने का सुझाव देता है जो वास्तविक रेखा की "संरचना" का सम्मान करते हैं। प्रायिकता के लिए आवश्यक संरचना बोरेल सेट्स और लेब्सेग माप से संबंधित होनी चाहिए, दोनों को दो बिंदुओं के बीच (यूक्लिडियन) दूरी के संदर्भ में परिभाषित किया जा सकता है ।G20
एक दूरी-संरक्षण मानचित्र, परिभाषा के अनुसार, एक आइसोमेट्री है। यह अच्छी तरह से जाना जाता है (और आसान है, थोड़ा सा शामिल करने के लिए, प्रदर्शित करने के लिए) कि वास्तविक रेखा के सभी आइसोमेटरीज प्रतिबिंबों द्वारा उत्पन्न होते हैं। Whence, जब यह समझा जाता है कि "सममित" का अर्थ सममिति के कुछ समूह के संबंध में है , तो समूह को अधिकतम एक प्रतिबिंब द्वारा उत्पन्न किया जाना चाहिए और हमने देखा है कि प्रतिबिंब विशिष्ट रूप से किसी भी सममित वितरण से निर्धारित होता है। इस अर्थ में, पूर्ववर्ती विश्लेषण संपूर्ण है और "सममित" वितरण की सामान्य शब्दावली को सही ठहराता है।
संयोग से, आइसोमेट्रीज़ के समूहों के तहत वितरण के अपरिवर्तनीय उदाहरणों के बहुभिन्नरूपी एक मेजबान को "गोलाकार" वितरणों पर विचार करके खर्च किया जाता है। ये सभी घुमावों (किसी निश्चित केंद्र के सापेक्ष) के अंतर्गत अपरिवर्तनीय हैं। ये एक आयामी मामले को सामान्य करते हैं: वास्तविक रेखा के "घुमाव" केवल प्रतिबिंब हैं।
अंत में, यह इंगित करने योग्य है कि एक मानक निर्माण - समूह पर औसत - सममित वितरण के भार का उत्पादन करने का एक तरीका देता है। वास्तविक रेखा के मामले में, एक बिंदु a के बारे में प्रतिबिंब द्वारा उत्पन्न किया जाता है , ताकि इसमें पहचान तत्व e और यह प्रतिबिंब g शामिल हो । X को कोई वितरण होने दें । सेटिंग द्वारा वितरण Y को परिभाषित करेंGaegXY
PrY[E]=1|G|∑g∈GPrX[Eg]=(PrX[E]+PrX[Eg])/2
सभी बोरेल सेट । यह स्पष्ट रूप से सममित है और यह जांचना आसान है कि यह एक वितरण बना हुआ है (सभी संभावनाएं अप्रचलित हैं और कुल संभावना 1 है )।E1
समूह की औसत प्रक्रिया को दर्शाते हुए, एक सममित गामा वितरण ( पर केंद्रित ) की पीडीएफ को सोने में दिखाया गया है। मूल गामा नीले रंग में है और इसका प्रतिबिंब लाल रंग में है।a=2