กลับไปหน้าบทความ

อ่าน 3 นาที

ทฤษฎีทรงกลมรีบ

ในทาง คณิตศาสตร์ ทฤษฎีทรงกลมของรีบ ซึ่งตั้งชื่อตาม จอร์จ รีบ กล่าวว่า

ทฤษฎีทรงกลมรีบ

ในทางคณิตศาสตร์ทฤษฎีทรงกลมของรีบซึ่งตั้งชื่อตามจอร์จ รีบกล่าวว่า

แมนิโฟลด์เชื่อมต่อแบบปิดที่มีทิศทางM nที่ยอมรับการแบ่งส่วนแบบเอกลักษณ์ที่มีเฉพาะจุดศูนย์กลางนั้น มีลักษณะสมมาตรกับทรงกลมS nและการแบ่งส่วนนั้นมีจุดเอกลักษณ์อยู่สองจุดพอดี 

การจัดเรียงแบบมอร์ส

จุดเอกฐานของโครงสร้างแบบฟอลิเซชันFเป็นแบบมอร์สหากในบริเวณใกล้เคียงเล็กๆ ของมัน ใบทั้งหมดของโครงสร้างแบบฟอลิเซชันเป็นเซตระดับของฟังก์ชันมอร์สโดยที่จุดเอกฐานนั้นเป็นจุดวิกฤตของฟังก์ชัน จุดเอกฐานนั้นเป็นศูนย์กลางหากเป็นค่าสุดขีดเฉพาะที่ของฟังก์ชัน มิเช่นนั้น จุดเอกฐานนั้นจะเป็นจุดอานม้า

จำนวนศูนย์กลางcและจำนวนอานม้า{\displaystyle s}โดยเฉพาะอย่างยิ่ง{\displaystyle cs}มีความเชื่อมโยงอย่างแน่นหนากับโทโพโลยีแบบหลายมิติ

เรากำหนดอินด์พี=นาที(เค,nเค){\displaystyle \ชื่อผู้ดำเนินการ {ind} p=\min(k,nk)}ดัชนีของจุดเอกฐานพี{\displaystyle p}โดยที่kคือดัชนีของจุดวิกฤตที่สอดคล้องกันของฟังก์ชันมอร์ส โดยเฉพาะอย่างยิ่ง จุดศูนย์กลางจะมีดัชนีเป็น 0 และดัชนีของจุดอานม้าจะมีค่าอย่างน้อย 1

การแบ่งส่วนแบบมอร์สFบนแมนิโฟลด์Mคือ การแบ่งส่วนที่ มีมิติร่วมหนึ่งและมีทิศทางตามขวางแบบเอกลักษณ์ของคลาสซี2{\displaystyle C^{2}}โดยมีจุดเอกฐานที่แยกตัวออกมาดังนี้:

  • จุดเอกลักษณ์แต่ละจุดของFเป็นแบบมอร์ส
  • ใบไม้เอกลักษณ์ แต่ละใบLประกอบด้วยจุดเอกลักษณ์p ที่ไม่ซ้ำกัน นอกจากนี้ ถ้า อินด์พี=1{\displaystyle \operatorname {ind} p=1}แล้วแอลพี{\displaystyle L\setminus p}ไม่ได้เชื่อมต่อ

ทฤษฎีทรงกลมรีบ

นี่คือกรณีดังกล่าว>=0{\displaystyle c>s=0}กรณีที่ไม่มีอานม้า

ทฤษฎีบท: [ 1 ]ให้เอ็มn{\displaystyle M^{n}}เป็นแมนิโฟลด์เชื่อมต่อแบบปิดที่มีทิศทางและมีมิติn2{\displaystyle n\geq 2}สมมติว่าเอ็มn{\displaystyle M^{n}}ยอมรับว่าซี1{\displaystyle C^{1}}-การแบ่งส่วนแบบโคไดเมนชันหนึ่งที่วางแนวขวางเอฟ{\displaystyle F}โดยมีเซตของจุดเอกฐานที่ไม่ว่างเปล่า ซึ่งทั้งหมดเป็นศูนย์กลาง จากนั้นเซตของจุดเอกฐานของเอฟ{\displaystyle F}ประกอบด้วยสองจุดและเอ็มn{\displaystyle M^{n}}มีรูปร่างเหมือนกับทรงกลมเอสn{\displaystyle S^{n}}.

นี่เป็นผลสืบเนื่องมาจากทฤษฎีความเสถียรของรีบ (Reeb stability theorem )

การสรุปทั่วไป

กรณีทั่วไปคือ>0.{\displaystyle c>s\geq 0.}

ในปี 1978 เอ็ดเวิร์ด แวกเนอร์ ได้ขยายทฤษฎีทรงกลมรีบไปสู่การแบ่งส่วนมอร์สที่มีจุดอานม้า เขาแสดงให้เห็นว่าจำนวนศูนย์กลางไม่ควรมากเกินไปเมื่อเทียบกับจำนวนจุดอานม้า โดยเฉพาะอย่างยิ่ง+2{\displaystyle c\leq s+2}ดังนั้นจึงมีกรณีที่เกิดขึ้นสองกรณีพอดี>{\displaystyle c>s}:

(1) =+2,{\displaystyle c=s+2,}
(2) =+1.{\displaystyle c=s+1.}

เขาได้รับคำอธิบายของแมนิโฟลด์ที่ยอมรับการแบ่งส่วนที่มีจุดเอกฐานที่ตรงตาม (1)

ทฤษฎีบท: [ 2 ]ให้เอ็มn{\displaystyle M^{n}}เป็นแมนิโฟลด์เชื่อมต่อขนาดกะทัดรัดที่ยอมรับการแบ่งชั้นแบบมอร์สเอฟ{\displaystyle F}กับ{\displaystyle c}ศูนย์และ{\displaystyle s}อานม้า จากนั้น+2{\displaystyle c\leq s+2}ในกรณีดังกล่าว=+2{\displaystyle c=s+2},

  • เอ็ม{\displaystyle M}เป็นโฮโมมอร์ฟิกกับเอสn{\displaystyle S^{n}},
  • อานม้าทุกอันมีดัชนี 1
  • ใบไม้ปกติแต่ละใบมีลักษณะสมมาตรต่างจากใบปกติเอสn1{\displaystyle S^{n-1}}.

สุดท้ายในปี 2551 César Camacho และ Bruno Scardua ได้พิจารณากรณีนี้ (2)=+1{\displaystyle c=s+1}สิ่งนี้เป็นไปได้ในมิติจำนวนน้อยและมิติต่ำ

ทฤษฎีบท: [ 3 ]ให้เอ็มn{\displaystyle M^{n}}เป็นท่อร่วมเชื่อมต่อขนาดกะทัดรัดและเอฟ{\displaystyle F}การเรียงลำดับแบบมอร์สบนเอ็ม{\displaystyle M}. ถ้า=+1{\displaystyle s=c+1}, แล้ว

  • n=2,4,8{\displaystyle n=2,4,8}หรือ16{\displaystyle 16},
  • เอ็มn{\displaystyle M^{n}}เป็น แมนิโฟล ด์Eells–Kuiper
  • ทฤษฎีทรงกลมรีบในnLab
ดึงข้อมูลมาจาก " https://en.wikipedia.org/w/index.php?title=Reeb_sphere_theorem&oldid=1208903861 "

สรุปเนื้อหา

ข้อมูลสำคัญจากบทความ

ข้อมูลสำคัญเกี่ยวกับ ทฤษฎีทรงกลมรีบ

ในทาง คณิตศาสตร์ ทฤษฎีทรงกลมของรีบ ซึ่งตั้งชื่อตาม จอร์จ รีบ กล่าวว่า

การจัดเรียงแบบมอร์ส

จุดเอกฐานของโครงสร้างแบบฟอลิเซชัน F เป็น แบบมอร์ส หากในบริเวณใกล้เคียงเล็กๆ ของมัน ใบทั้งหมดของโครงสร้างแบบฟอลิเซชันเป็น เซตระดับ ของ ฟังก์ชันมอร์ส โดยที่จุดเอกฐานนั้นเป็น จุดวิกฤต ของฟังก์ชัน จุดเอกฐานนั้นเป็น ศูนย์กลาง หากเป็น ค่าสุดขีดเฉพาะที่ ของฟังก์ชัน...

ทฤษฎีทรงกลมรีบ

นี่คือกรณีดังกล่าว s=0"}}"> s=0}"> ค > ส = 0 {\displaystyle c>s=0} s=0}"> กรณีที่ไม่มีอานม้า

การสรุปทั่วไป

กรณีทั่วไปคือ s\\ge 0."}}"> s\geq 0.}"> ค > ส ≥ 0. {\displaystyle c>s\geq 0.} s\geq 0.}">