คำจำกัดความของการกระจายแบบสมมาตรคืออะไร


19

คำจำกัดความของการกระจายแบบสมมาตรคืออะไร มีคนบอกฉันว่าตัวแปรสุ่มXมาจากการแจกแจงแบบสมมาตรหากXและXมีการแจกแจงแบบเดียวกัน แต่ฉันคิดว่าคำจำกัดความนี้เป็นจริงบางส่วน เพราะผมสามารถนำเสนอ counterexample XN(μ,σ2)และμ0 0 เห็นได้ชัดว่ามันมีการกระจายแบบสมมาตร แต่XและXมีการกระจายที่แตกต่างกัน! ฉันถูกไหม? พวกคุณเคยคิดเกี่ยวกับคำถามนี้หรือไม่? คำจำกัดความที่แน่นอนของการกระจายแบบสมมาตรคืออะไร


5
เมื่อคุณพูดว่า "การแจกแจงแบบสมมาตร" คุณต้องระบุด้วยความเคารพว่าจุดใดที่สมมาตร ในกรณีที่มีการกระจายปกติที่คุณนำเสนอสมมาตรจะได้รับรอบμμในกรณีนี้Xμและ(Xμ)มีการแจกแจงแบบเดียวกัน ในแง่ของความหนาแน่นนี้สามารถแสดงเป็น: fสมมาตรเกี่ยวกับμถ้าf(μx)=f(μ+x) ) BTW มันเป็นมารยาทที่ดีที่จะยอมรับคำตอบเมื่อคุณพอใจกับหนึ่งในนั้น

2
ใช่พวกเราคิดถึงคำถามนี้แล้ว สมมาตรโดยทั่วไปหมายถึงสมมาตรเกี่ยวกับ0และจะขัดขวางโต้แย้งต่อข้อเรียกร้องเกี่ยวกับการกระจายเป็นสมมาตรไม่ได้เป็นสิ่งที่เป็นจริงเกี่ยวกับฟังก์ชันการแจกแจงความน่าจะเป็นที่สะสม "counterexample" ของคุณมีความสมมาตรเกี่ยวกับจุดμ0 , ไม่เกี่ยวกับจุด00
Dilip Sarwate

2
@Dilip เมื่อความหมายขึ้นอยู่กับวิธีหนึ่งในการอธิบายอะไรบางอย่าง แต่ความหมายที่สามารถแสดงให้เห็นถึงคุณสมบัติที่แท้จริงของสิ่งที่แล้วมันทำให้รู้สึกไม่ให้ใช้ความละเอียดที่จะแตกต่างกันในรูปแบบของคำอธิบาย ในกรณีนี้ความสมมาตรเป็นสมบัติของการแจกแจงแต่นั่นไม่ได้หมายความว่าคำอธิบายทั้งหมดของการแจกแจงนั้น (รวมถึง PDF และ CDF) จะต้องเป็น "สมมาตร" ด้วยวิธีเดียวกัน โดยการใช้สมมาตรของ PDF กับ CDF ความคิดเห็นของคุณทำให้เกิดคำถามสับสนแทนที่จะอธิบายให้ชัดเจน
whuber

1
shijing, @Procrastinator สังเกตว่าคุณได้ถามคำถามมากมายโดยไม่ตอบรับใด ๆ นั่นแสดงว่าคุณอาจไม่คุ้นเคยกับการทำงานของเว็บไซต์นี้ ให้ชัดเจนขึ้นความเข้าใจผิดใด ๆ ที่คุณจะโปรดอ่านส่วนที่เกี่ยวข้องของคำถามที่พบบ่อยของเรา ตลอดทางผ่าน ? จะใช้เวลาเพียงไม่กี่นาทีและการปฏิบัติตามคำแนะนำจะช่วยเพิ่มคุณค่าให้กับเว็บไซต์ของเรา
whuber

@whuber CDF เป็นหนึ่งในคำอธิบายไม่กี่คำที่การกระจายคำเกิดขึ้นจริงในชื่อและฉันพยายามชี้แจงว่าคุณสมบัติสมมาตรไม่ได้เก็บไว้กับ CDF
Dilip Sarwate

คำตอบ:


21

สั้น ๆ : สมมาตรเมื่อXและ2 - Xมีการกระจายเดียวกันสำหรับบางจำนวนจริง XX2aXa แต่มาถึงที่นี้ในลักษณะที่เป็นธรรมอย่างเต็มที่ต้องพูดนอกเรื่องและภาพรวมเพราะมันก่อให้เกิดคำถามนัยหลายเหตุผลที่นี้คำนิยามของ "สมมาตร"? จะมีสมมาตรแบบอื่นได้ไหม? ความสัมพันธ์ระหว่างการแจกแจงและสมมาตรคืออะไรและในทางกลับกันความสัมพันธ์ระหว่าง "สมมาตร" กับการแจกแจงที่อาจมีความสมมาตรนั้นคืออะไร


สมมาตรที่เป็นปัญหานั้นเป็นภาพสะท้อนของเส้นจริง ทั้งหมดอยู่ในรูปแบบ

x2ax

สำหรับบางคนคงa

สมมติว่า มีสมมาตรนี้อย่างน้อยหนึ่ง จากนั้นความหมายสมมาตรXa

Pr[Xa]=Pr[2aXa]=Pr[Xa]

แสดงให้เห็นว่าเป็นค่ามัธยฐานของ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 xx+2(ba)ba0Xba0ba=0a

โดยทั่วไปเมื่อคือกลุ่มที่ดำเนินการอย่างซื่อสัตย์ในบรรทัดจริง (และโดยการขยายในส่วนย่อยของ Borel ทั้งหมด) เราสามารถพูดได้ว่าการแจกแจงXคือ "สมมาตร" (เทียบกับG ) เมื่อGXG

Pr[XE]=Pr[XEg]

สำหรับทุกชุดที่วัดและองค์ประกอบกรัมGที่E กรัมหมายถึงภาพของEภายใต้การกระทำของกรัมEgGEgEg

ตัวอย่างเช่นให้ยังคงเป็นกลุ่มของคำสั่งที่2แต่ตอนนี้ปล่อยให้การกระทำของมันเป็นส่วนกลับของจำนวนจริง (และปล่อยให้มันแก้ไข0 ) การแจกแจงล็อกปกติปกติมีความสมมาตรเทียบกับกลุ่มนี้ ตัวอย่างนี้สามารถเข้าใจได้ว่าเป็นตัวอย่างของการสะท้อนสมมาตรซึ่งมีการแสดงออกที่ไม่เชิงเส้นของพิกัดที่เกิดขึ้น สิ่งนี้ชี้ให้เห็นการมุ่งเน้นไปที่การเปลี่ยนแปลงที่เคารพ "โครงสร้าง" ของเส้นจริง โครงสร้างที่จำเป็นต่อความน่าจะเป็นจะต้องเกี่ยวข้องกับชุด Borel และการวัด Lebesgue ซึ่งทั้งสองสามารถกำหนดในแง่ของระยะทาง (ยูคลิด) ระหว่างสองจุดG20

แผนที่รักษาระยะทางคือตามนิยามisometry เป็นที่รู้จักกันดี (และง่ายแม้ว่าจะเกี่ยวข้องกับการแสดงให้เห็นเล็กน้อย) ว่าภาพจำลองทั้งหมดของเส้นจริงนั้นถูกสร้างขึ้นจากการสะท้อนกลับ ดังนั้นเมื่อมีการเข้าใจว่า "สมมาตร" หมายถึงสมมาตรด้วยความเคารพในกลุ่มของ isometries บางกลุ่มที่ต้องได้รับการสร้างขึ้นโดยมากที่สุดคนหนึ่งสะท้อนและเราได้เห็นว่าการสะท้อนจะถูกกำหนดโดยไม่ซ้ำกันโดยใด ๆกระจายสมมาตรที่เกี่ยวกับมัน ในแง่นี้การวิเคราะห์ก่อนหน้านี้หมดจดและปรับคำศัพท์ตามปกติของการแจกแจงแบบ "สมมาตร"

อนึ่งโฮสต์ของตัวอย่างหลายตัวแปรของการแจกแจงคงที่ภายใต้กลุ่มของ isometries สามารถทำได้โดยพิจารณาการกระจาย "ทรงกลม" สิ่งเหล่านี้ไม่แปรเปลี่ยนภายใต้การหมุนทั้งหมด (สัมพันธ์กับจุดศูนย์กลางคงที่) สิ่งเหล่านี้ทำให้เป็นกรณีทั่วไปในหนึ่งมิติ: "การหมุน" ของเส้นจริงเป็นเพียงการสะท้อนกลับ

ในที่สุดมันก็มีค่าที่ชี้ให้เห็นว่าการก่อสร้างมาตรฐาน - เฉลี่ยทั่วทั้งกลุ่ม - ให้วิธีการผลิตโหลดของการกระจายสมมาตร ในกรณีของสายจริงให้ถูกสร้างขึ้นโดยสะท้อนเกี่ยวกับจุดเพื่อที่จะประกอบด้วยองค์ประกอบตัวตนอีและการสะท้อนนี้ กรัม ให้Xเป็นการกระจายตัวใด ๆ กำหนดการกระจายYโดยการตั้งค่าGaegXY

PrY[E]=1|G|gGPrX[Eg]=(PrX[E]+PrX[Eg])/2

สำหรับทุก Borel ชุดEนี่คือสมมาตรชัดแจ้งและง่ายต่อการตรวจสอบว่ายังคงมีการแจกแจง (ความน่าจะเป็นทั้งหมดยังคงไม่ติดลบและความน่าจะเป็นรวมคือ1 )E1

Gamma

แสดงให้เห็นถึงกระบวนการเฉลี่ยกลุ่ม PDF ของการแจกแจงแกมมา symmetrized (รวมศูนย์ที่= 2 ) จะแสดงในทองคำ แกมม่าดั้งเดิมเป็นสีน้ำเงินและการสะท้อนกลับเป็นสีแดงa=2


1
(+1) ฉันต้องการเพิ่มสิ่งนั้นในการตั้งค่าหลายตัวแปรความหมายของความสมมาตรนั้นไม่ซ้ำกัน ในหนังสือเล่มนี้มีคำจำกัดความที่เป็นไปได้ 8 ประการของการแจกแจงหลายตัวแปรแบบสมมาตร

2
@Procrastinator ฉันอยากรู้เกี่ยวกับสิ่งที่คุณอาจหมายถึง "ไม่ซ้ำกัน" AFAIK สิ่งใดที่ทำให้ชื่อ "สมมาตร" เป็นที่สุดหมายถึงกลุ่มแอ็คชั่นในอวกาศ มันน่าสนใจที่จะเห็นว่านักสถิติประเภทใดที่มีประโยชน์ เนื่องจากหนังสือเล่มนั้นพิมพ์ออกมาและไม่มีอยู่ในเว็บคุณช่วยยกตัวอย่างสมมาตรสองแบบที่แตกต่างกันในหนังสือเล่มนั้นได้หรือไม่?
whuber

สัญชาตญาณของคุณถูกต้องนี่คือคุณสมบัติทางสถิติที่เกี่ยวข้อง: สมมาตรส่วนกลาง ; ทรงกลมสมมาตรX - μ d = O ( X - μ )สำหรับทุกฉากเมทริกซ์O ฉันจำคืนไม่ได้ แต่ฉันจะพยายามยืมหนังสือในวันนี้ ในลิงค์นี้คุณสามารถค้นหาได้บางส่วน Xμ=d(Xμ) Xμ=dO(Xμ)O

3
@Procrastinator ขอบคุณ โปรดทราบว่าทั้งสองตัวอย่างที่คุณเสนอมีทั้งกรณีพิเศษของคำจำกัดความทั่วไปที่ฉันให้ไว้: สมมาตรกลางสร้างกลุ่มสององค์ประกอบของ isometries และสมมาตรทรงกลมก็เป็นกลุ่มย่อยของ isometries ทั้งหมด "สมมาตรรูปไข่" ในลิงก์คือสมมาตรทรงกลมหลังจากการแปลงเลียนแบบและเป็นตัวอย่างปรากฏการณ์ที่ฉันชี้ไปด้วยตัวอย่าง lognormal "สมมาตรเชิงมุม" สร้างกลุ่มของภาพจำลองอีกครั้ง "สมมาตรครึ่งอวกาศ" [sic] ไม่ใช่สมมาตร แต่อนุญาตให้แยกออกจากที่นั่นโดยสิ้นเชิงนั่นเป็นเรื่องใหม่
whuber

1

XXP(X)=P(X)

XX+λλP(X)=P(X+λ) and would still fit a more general definition of symmetry.

โดยการใช้ไซต์ของเรา หมายความว่าคุณได้อ่านและทำความเข้าใจนโยบายคุกกี้และนโยบายความเป็นส่วนตัวของเราแล้ว
Licensed under cc by-sa 3.0 with attribution required.