ตัวเลือกของคอลัมน์ไม่สำคัญ: การกระจายที่เกิดขึ้นในเมทริกซ์มุมฉากพิเศษSO(n)ยังคงเหมือนกัน
ฉันจะอธิบายเรื่องนี้โดยใช้การโต้แย้งที่ขยายออกไปอย่างชัดเจนถึงคำถามที่เกี่ยวข้องมากมายเกี่ยวกับการสร้างองค์ประกอบของกลุ่มอย่างสม่ำเสมอ แต่ละขั้นตอนของการโต้แย้งนี้เป็นเรื่องเล็กน้อยไม่ต้องการอะไรมากไปกว่าการอ้างอิงถึงคำจำกัดความที่เหมาะสมหรือการคำนวณอย่างง่าย (เช่นการสังเกตว่าเมทริกซ์I1คือ orthogonal และการผกผันตนเอง)
อาร์กิวเมนต์เป็นภาพรวมของสถานการณ์ที่คุ้นเคย พิจารณางานของการวาดภาพในเชิงบวกตัวเลขจริงตามที่ระบุไว้อย่างต่อเนื่องกระจายFซึ่งสามารถทำได้โดยการวาดจำนวนจริงใด ๆจากการกระจายอย่างต่อเนื่องและลบล้างผลถ้าจำเป็นเพื่อรับประกันค่าบวก (เกือบแน่นอน) เพื่อให้กระบวนการนี้มีการแจกจ่าย ,ต้องมีคุณสมบัติที่FGFG
G(x)−G(−x)=F(x).
วิธีที่ง่ายที่สุดในการทำสิ่งนี้คือเมื่อมีค่าสมมาตรประมาณดังนั้น , ทำให้เกิด : ความน่าจะเป็นในเชิงบวกทั้งหมด ความหนาแน่นเพิ่มขึ้นเป็นสองเท่าและผลลัพธ์เชิงลบทั้งหมดจะถูกกำจัด ความสัมพันธ์ที่คุ้นเคยระหว่างการแจกแจงแบบครึ่งปกติ ( ) และการแจกแจงแบบปกติ ( ) เป็นแบบนี้G0G(x)−1/2=1/2−G(−x)F(x)=2G(x)−1FG
ในต่อไปนี้กลุ่มเล่นบทบาทของตัวเลขจริงที่ไม่เป็นศูนย์ (ถือว่าเป็นกลุ่มแบบคูณ ) และกลุ่มย่อยของเล่นบทบาทของตัวเลขจริงบวก . การวัด Haarไม่แปรเปลี่ยนภายใต้การปฏิเสธดังนั้นเมื่อมันถูก "พับ" จากถึงการกระจายของค่าบวกจะไม่เปลี่ยนแปลง . (น่าเสียดายที่การวัดนี้ไม่สามารถทำให้เป็นมาตรฐานได้สำหรับการวัดความน่าจะเป็น - แต่นั่นเป็นวิธีเดียวที่การเปรียบเทียบจะหยุดลง)O(n)SO(n)R+dx/xR−{0}R+
การลบคอลัมน์เฉพาะของเมทริกซ์มุมฉาก (เมื่อดีเทอร์มีแนนต์เป็นลบ) คือแอนะล็อกของการลบจำนวนจริงที่เป็นลบเพื่อพับลงในกลุ่มย่อยที่เป็นบวก โดยทั่วไปคุณสามารถเลือกเมทริกซ์มุมฉากใด ๆของดีเทอร์มิแนนต์ลบและใช้แทน : ผลลัพธ์จะเหมือนกันJI1
แม้ว่าคำถามจะถูกใช้ในแง่ของการสร้างตัวแปรแบบสุ่ม แต่ก็ถามเกี่ยวกับการแจกแจงความน่าจะเป็นในกลุ่มเมทริกซ์และ(n) การเชื่อมต่อระหว่างกลุ่มเหล่านี้อธิบายไว้ในรูปของเมทริกซ์มุมฉากO(n,R)=O(n)SO(n,R)=SO(n)
I1=⎛⎝⎜⎜⎜⎜−10⋮001⋮000⋮0…………0001⎞⎠⎟⎟⎟⎟
เพราะกวนคอลัมน์แรกของ orthogonal เมทริกซ์หมายถึงขวาคูณจาก\ขอให้สังเกตว่าและเป็นสหภาพที่แยกจากกันXXI1SO(n)⊂O(n)O(n)
O(n)=SO(n)∪SO(n)I−11.
เมื่อพิจารณาถึงพื้นที่ความน่าจะเป็นกำหนดไว้ในกระบวนการที่อธิบายไว้ในคำถามจะกำหนดแผนที่(O(n),S,P)O(n)
f:O(n)→SO(n)
โดยการตั้งค่า
f(X)=X
เมื่อและX∈SO(n)
f(X)=XI1
สำหรับ1}X∈SO(n)I1−1
คำถามเกี่ยวข้องกับการสร้างองค์ประกอบแบบสุ่มในโดยการได้รับองค์ประกอบแบบสุ่ม : นั่นคือโดย "ผลักไปข้างหน้า" ผ่านเพื่อสร้าง(n) pushforward สร้างพื้นที่ความน่าจะเป็น ด้วยSO(n)ω∈O(n)ff∗ω=f(ω)∈SO(n)(SO(n),S′,P′)
S′=f∗S={f(E)|E⊂S}
และ
P′(E)=(f∗P)(E)=P(f−1(E))=P(E∪EI1)
สำหรับทั้งหมดE⊂S′
สมมติว่าการคูณถูกต้องโดยเป็นการวัด - รักษาและสังเกตว่าในทุกกรณีมันจะตามมาทันทีว่า ,I1E∩EI1=∅E∈S′
P′(E)=P(E∪EI−11)=P(E)+P(EI−11)=2P(E).
โดยเฉพาะอย่างยิ่งเมื่อไม่แปรผันภายใต้การคูณทางขวาใน (ซึ่งเป็นสิ่งที่ "เครื่องแบบ" โดยทั่วไปหมายถึง) ความจริงที่ชัดเจนว่าและสิ่งที่ตรงกันข้าม (ซึ่งเกิดขึ้นกับตัวเอง) เป็นทั้ง orthogonal หมายถึงข้างต้นถือแสดงให้เห็นว่าเหมือนกันเช่นกัน ดังนั้นจึงไม่จำเป็นต้องเลือกคอลัมน์สุ่มสำหรับการปฏิเสธPO(n)I1I1P′