สั้น ๆ : สมมาตรเมื่อXและ2 - Xมีการกระจายเดียวกันสำหรับบางจำนวนจริง XX2a−Xa แต่มาถึงที่นี้ในลักษณะที่เป็นธรรมอย่างเต็มที่ต้องพูดนอกเรื่องและภาพรวมเพราะมันก่อให้เกิดคำถามนัยหลายเหตุผลที่นี้คำนิยามของ "สมมาตร"? จะมีสมมาตรแบบอื่นได้ไหม? ความสัมพันธ์ระหว่างการแจกแจงและสมมาตรคืออะไรและในทางกลับกันความสัมพันธ์ระหว่าง "สมมาตร" กับการแจกแจงที่อาจมีความสมมาตรนั้นคืออะไร
สมมาตรที่เป็นปัญหานั้นเป็นภาพสะท้อนของเส้นจริง ทั้งหมดอยู่ในรูปแบบ
x→2a−x
สำหรับบางคนคงa
สมมติว่า มีสมมาตรนี้อย่างน้อยหนึ่ง จากนั้นความหมายสมมาตรXa
Pr[X≥a]=Pr[2a−X≥a]=Pr[X≤a]
แสดงให้เห็นว่าเป็นค่ามัธยฐานของX ในทำนองเดียวกันถ้าXมีความคาดหวังมันจะตามมาทันทีว่าa = E [ X ]aXXa=E[X] ]ดังนั้นเราจึงมักจะสามารถปักลงได้อย่างง่ายดาย แม้ว่าจะไม่เป็นเช่นนั้น(และดังนั้นความสมมาตรของตัวเอง) ก็ยังคงมีลักษณะเฉพาะ (ถ้ามีอยู่)aa
หากต้องการดูสิ่งนี้ให้เป็นศูนย์กลางของความสมมาตรใด ๆ แล้วใช้สมมาตรทั้งเราจะเห็นว่าXเป็นค่าคงที่ภายใต้การแปลx → x + 2 ( ข- ) ถ้าb - a ≠ 0การแจกแจงของXจะต้องมีช่วงเวลาของb - aซึ่งเป็นไปไม่ได้เพราะความน่าจะเป็นรวมของการแจกแจงแบบมีคาบเป็น0หรือไม่มีที่สิ้นสุด ดังนั้นb - a = 0ซึ่งแสดงว่าaนั้นไม่เหมือนใครbX x→x+2(b−a)b−a≠0Xb−a0b−a=0a
โดยทั่วไปเมื่อคือกลุ่มที่ดำเนินการอย่างซื่อสัตย์ในบรรทัดจริง (และโดยการขยายในส่วนย่อยของ Borel ทั้งหมด) เราสามารถพูดได้ว่าการแจกแจงXคือ "สมมาตร" (เทียบกับG ) เมื่อGXG
Pr[X∈E]=Pr[X∈Eg]
สำหรับทุกชุดที่วัดและองค์ประกอบกรัม∈ Gที่E กรัมหมายถึงภาพของEภายใต้การกระทำของกรัมEg∈GEgEg
ตัวอย่างเช่นให้ยังคงเป็นกลุ่มของคำสั่งที่2แต่ตอนนี้ปล่อยให้การกระทำของมันเป็นส่วนกลับของจำนวนจริง (และปล่อยให้มันแก้ไข0 ) การแจกแจงล็อกปกติปกติมีความสมมาตรเทียบกับกลุ่มนี้ ตัวอย่างนี้สามารถเข้าใจได้ว่าเป็นตัวอย่างของการสะท้อนสมมาตรซึ่งมีการแสดงออกที่ไม่เชิงเส้นของพิกัดที่เกิดขึ้น สิ่งนี้ชี้ให้เห็นการมุ่งเน้นไปที่การเปลี่ยนแปลงที่เคารพ "โครงสร้าง" ของเส้นจริง โครงสร้างที่จำเป็นต่อความน่าจะเป็นจะต้องเกี่ยวข้องกับชุด Borel และการวัด Lebesgue ซึ่งทั้งสองสามารถกำหนดในแง่ของระยะทาง (ยูคลิด) ระหว่างสองจุดG20
แผนที่รักษาระยะทางคือตามนิยามisometry เป็นที่รู้จักกันดี (และง่ายแม้ว่าจะเกี่ยวข้องกับการแสดงให้เห็นเล็กน้อย) ว่าภาพจำลองทั้งหมดของเส้นจริงนั้นถูกสร้างขึ้นจากการสะท้อนกลับ ดังนั้นเมื่อมีการเข้าใจว่า "สมมาตร" หมายถึงสมมาตรด้วยความเคารพในกลุ่มของ isometries บางกลุ่มที่ต้องได้รับการสร้างขึ้นโดยมากที่สุดคนหนึ่งสะท้อนและเราได้เห็นว่าการสะท้อนจะถูกกำหนดโดยไม่ซ้ำกันโดยใด ๆกระจายสมมาตรที่เกี่ยวกับมัน ในแง่นี้การวิเคราะห์ก่อนหน้านี้หมดจดและปรับคำศัพท์ตามปกติของการแจกแจงแบบ "สมมาตร"
อนึ่งโฮสต์ของตัวอย่างหลายตัวแปรของการแจกแจงคงที่ภายใต้กลุ่มของ isometries สามารถทำได้โดยพิจารณาการกระจาย "ทรงกลม" สิ่งเหล่านี้ไม่แปรเปลี่ยนภายใต้การหมุนทั้งหมด (สัมพันธ์กับจุดศูนย์กลางคงที่) สิ่งเหล่านี้ทำให้เป็นกรณีทั่วไปในหนึ่งมิติ: "การหมุน" ของเส้นจริงเป็นเพียงการสะท้อนกลับ
ในที่สุดมันก็มีค่าที่ชี้ให้เห็นว่าการก่อสร้างมาตรฐาน - เฉลี่ยทั่วทั้งกลุ่ม - ให้วิธีการผลิตโหลดของการกระจายสมมาตร ในกรณีของสายจริงให้ถูกสร้างขึ้นโดยสะท้อนเกี่ยวกับจุดเพื่อที่จะประกอบด้วยองค์ประกอบตัวตนอีและการสะท้อนนี้ กรัม ให้Xเป็นการกระจายตัวใด ๆ กำหนดการกระจายYโดยการตั้งค่าGaegXY
PrY[E]=1|G|∑g∈GPrX[Eg]=(PrX[E]+PrX[Eg])/2
สำหรับทุก Borel ชุดEนี่คือสมมาตรชัดแจ้งและง่ายต่อการตรวจสอบว่ายังคงมีการแจกแจง (ความน่าจะเป็นทั้งหมดยังคงไม่ติดลบและความน่าจะเป็นรวมคือ1 )E1
แสดงให้เห็นถึงกระบวนการเฉลี่ยกลุ่ม PDF ของการแจกแจงแกมมา symmetrized (รวมศูนย์ที่= 2 ) จะแสดงในทองคำ แกมม่าดั้งเดิมเป็นสีน้ำเงินและการสะท้อนกลับเป็นสีแดงa=2