ลูปอิสระ
ในสาขาคณิตศาสตร์โทโพโลยี วงอิสระ ( free loop)เป็นรูปแบบหนึ่งของแนวคิดเรื่องวง (loop ) โดยที่วงจะมีจุดที่โดดเด่นเรียกว่าจุดฐาน (basepoint) แต่วงอิสระจะไม่มีจุดที่โดดเด่นเช่นนั้น กล่าวโดยสรุป ให้ แทนด้วยเป็นปริภูมิเชิงทอพอโลยีจากนั้นลูปอิสระในเป็นกลุ่มสมมูลของฟังก์ชันต่อเนื่องจากวงกลมถึงวงวนสองวงจะเทียบเท่ากันก็ต่อเมื่อแตกต่างกันด้วยการกำหนดพารามิเตอร์ใหม่ของวงกลม กล่าวคือหากมีโฮมีโอเมอร์ฟิ ซึมอยู่โดยที่
ดังนั้น วงวนอิสระ (free loop) ซึ่งตรงข้ามกับวงวนที่มีฐาน (based loop) ที่ใช้ในการนิยามกลุ่มพื้นฐาน (fundamental group ) คือแผนที่จากวงกลมไปยังปริภูมิโดยไม่มีข้อจำกัดในการรักษาจุดฐาน โดยสมมติว่าปริภูมิเชื่อมต่อกันด้วยเส้นทาง (path-connected space) ชั้นโฮโมโทปี อิสระ (free homotopy classes) ของวงวนอิสระจะสอดคล้องกับชั้นสมมูล (conjugacy classes)ในกลุ่มพื้นฐาน
เมื่อไม่นานมานี้ ความสนใจในพื้นที่ของลูปอิสระทั้งหมดได้เพิ่มขึ้นได้เติบโตขึ้นพร้อมกับการเกิดขึ้นของทฤษฎีโทโพโลยีของสตริง กล่าวคือ การศึกษาโครงสร้างพีชคณิต ใหม่ บนโฮโมโลยีของปริภูมิวงวนอิสระ
ดูเพิ่มเติม
อ่านเพิ่มเติม
- Brylinski, Jean-Luc: Loop spaces, characteristic classes and geometric quantization. พิมพ์ซ้ำจากฉบับปี 1993. Modern Birkhäuser Classics. Birkhäuser Boston, Inc., Boston, MA, 2008.
- โคเฮนและโวโรนอฟ: บันทึกเกี่ยวกับโทโพโลยีของสตริง