ทฤษฎีบทของแรทเนอร์
ในทางคณิตศาสตร์ทฤษฎีบทของแรทเนอร์เป็นกลุ่มทฤษฎีบทสำคัญในทฤษฎีเออร์โกดิกเกี่ยวกับการไหลแบบยูนิโพเทนต์บนปริภูมิเอกพันธุ์ซึ่งพิสูจน์โดยมารินา แรทเนอร์ราวปี 1990 ทฤษฎีบทเหล่านี้พัฒนามาจากงานก่อนหน้านี้ของแรทเนอร์เกี่ยวกับการไหลแบบโฮโรไซเคิลการศึกษาพลวัตของการไหลแบบยูนิโพเทนต์มีบทบาทสำคัญในการพิสูจน์สมมติฐานออปเพนไฮม์โดยกริกอรี มาร์กูลิสทฤษฎีบทของแรทเนอร์ได้ชี้นำความก้าวหน้าสำคัญในการทำความเข้าใจพลวัตของการไหลแบบยูนิโพเทนต์ การสรุปทั่วไปในภายหลังของทฤษฎีบทเหล่านี้ช่วยให้สามารถทำให้ผลลัพธ์คมชัดขึ้นและขยายทฤษฎีไปสู่การตั้งค่าของกลุ่มพีชคณิตกึ่ง ง่ายใดๆ บนฟิลด์เฉพาะที่ได้
คำอธิบายโดยย่อ
ทฤษฎีบทการปิดวงโคจรของแรทเนอร์กล่าวว่า การปิดวงโคจรของการไหลแบบเอกภาคบนผลหารของกลุ่มลีโดยแลตทิซนั้นเป็นเซตย่อยทางเรขาคณิตที่ดีทฤษฎีบทการกระจายอย่างเท่าเทียมของแรทเนอร์กล่าวเพิ่มเติมว่า วงโคจรแต่ละวงนั้นมีการกระจายอย่างเท่าเทียมในการปิดของมัน ทฤษฎีบทการจำแนกประเภทการวัดของแรทเนอร์เป็นข้อความที่อ่อนกว่าที่ว่า การวัดความน่าจะเป็นแบบไม่แปรเปลี่ยนเชิงเออร์โกดิกทุกตัวนั้นเป็นเอกพันธุ์หรือพีชคณิตซึ่งกลายเป็นขั้นตอนสำคัญในการพิสูจน์คุณสมบัติการกระจายอย่างเท่าเทียมที่ทั่วไปกว่า ไม่มีข้อตกลงที่เป็นสากลเกี่ยวกับชื่อของทฤษฎีบทเหล่านี้ พวกมันเป็นที่รู้จักกันในชื่อต่างๆ เช่น "ทฤษฎีบทความแข็งแกร่งของการวัด" "ทฤษฎีบทเกี่ยวกับการวัดแบบไม่แปรเปลี่ยน" และ "เวอร์ชันเชิงทอพอโลยี" เป็นต้น
การกล่าวถึงผลลัพธ์ดังกล่าวอย่างเป็นทางการมีดังนี้ ให้เป็นกลุ่มโกหกโครงตาข่ายใน, และกลุ่มย่อย หนึ่งพารามิเตอร์ของประกอบด้วย องค์ประกอบ ที่มีศักยภาพเดียว พร้อมด้วยการไหล ที่เกี่ยวข้องบนจากนั้นการปิดวงโคจรทุกวงของเป็นเนื้อเดียวกัน ซึ่งหมายความว่ามี กลุ่มย่อย ที่เชื่อมต่อกันและปิดสนิทอยู่ของเช่นนั้นภาพของวงโคจรสำหรับการกระทำของโดยการแปลที่ถูกต้องบนภายใต้การฉายภาพแบบแคนอนิกไปยัง ปิด มีค่าจำกัด- การวัดที่ไม่เปลี่ยนแปลง และประกอบด้วยการปิดของ-วงโคจรของในฐานะเซตย่อยที่มีความหนาแน่นสูง
ตัวอย่าง:
กรณีที่ง่ายที่สุดที่ข้อความข้างต้นนำไปใช้ได้คือในกรณีนี้จะมีรูปแบบที่ชัดเจนยิ่งขึ้นดังนี้ ให้เป็นโครงตาข่ายในและเซตย่อยปิดซึ่งไม่เปลี่ยนแปลงภายใต้การแปลงทุกรูปแบบที่ไหนดังนั้นจึงอาจมีอยู่โดยที่(ที่ไหน) หรือ.
ในทางเรขาคณิตเป็นกลุ่มฟุคเซียน โคไฟไนต์ ดังนั้นผลหารของระนาบไฮเปอร์โบลิกโดยเป็นออร์บิโฟลด์ ไฮเปอร์โบลิก ที่มีปริมาตรจำกัด ทฤษฎีบทข้างต้นบ่งชี้ว่าทุกโฮโรไซเคิลของมีรูปภาพในซึ่งเป็นเส้นโค้งปิด (โฮโรไซเคิลรอบจุดยอดแหลม)) หรือหนาแน่นใน.