ทอพอโลยีเชิงพีชคณิต

ทอพอโลยีเชิงพีชคณิต (อังกฤษ: Algebraic topology) เป็นสาขาหนึ่งของคณิตศาสตร์ที่ใช้เครื่องมือทางพีชคณิตนามธรรมเพื่อศึกษา เป้าหมายพื้นฐานสุดของทอพอโลยีเชิงพีชคณิตคือการค้นหาทางพีชคณิตที่สามารถจัดประเภทปริภูมิเชิงทอพอโลยี (ภาวะสมสัณฐาณ) แม้ว่าโดยปกติแล้วตัวยืนยงส่วนใหญ่จะจัดประเภทปริภูมิเชิงทอพอโลยีจนถึงขั้นภาวะสมมูลเชิงฮอมอโทปี

ทอรัสเป็นวัตถุที่มีการศึกษามากวัตถหนึ่งในทอพอโลยีเชิงพีชคณิต

ถึงแม้ว่าทอพอโลยีเชิงพีชคณิตจะใช้พีชคณิตในการศึกษาปัญหาทางทอพอโลยีเป็นหลัก แต่การนำเอาทอพอโลยีไปแก้ปัญหาในพีชคณิตก็เป็นไปได้เช่นกัน ตัวอย่างเช่น ทอพอโลยีเชิงพีชคณิตสามารถใช้พิสูจน์ได้โดยง่ายว่า ใด ๆ ของเป็นด้วย

สาขาหลัก

ด้านล่างเป็นสาขาหลัก ๆ ในวิชาทอพอโลยีเชิงพีชคณิต

กรุปฮอมอโทปี

กรุปฮอมอโทปี (homotopy group) ใช้ในวิชาทอพอโลยีเชิงพีชคณิตเพื่อจัดประเภทปริภูมิเชิงทอพอโลยี กลุ่มฮอมอโทปีที่นิยามเป็นอันแรกและมีรูปแบบง่ายที่สุดคือ (fundamental group) ซึ่งบันทึกข้อมูลเกี่ยวกับในปริภูมิ อาจอธิบายให้เห็นภาพได้ว่ากรุปฮอมอโทปีระบุข้อมูลเกี่ยวกับรูปร่างพื้นฐานหรือรูของปริภูมิทอพอโลยี

ฮอมอโลยี

ฮอมอโลยี (homology จากภาษากรีก: ὁμός homos "เหมือนกัน") เป็นกระบวนการแบบหนึ่งในการกำหนดลำดับของหรือมอดูลให้กับหรือกรุป

โคฮอมอโลยี

ในทฤษฎีฮอมอโลยีและทอพอโลยีเชิงพีชคณิต เป็นชื่อเรียกลำดับของกรุปอาบีเลียนที่ได้จาก (cochain complex) สามารถมองว่าโคฮอมอโลยีเป็นการกำหนดตัวยืนยงทางพีชคณิตให้กับปริภูมิเชิงทอพอโลยีที่ละเอียดกว่าฮอมอโลยี

แมนิโฟลด์

แมนิโฟลด์เป็นปริภูมิเชิงทอพอโลยีที่ใกล้ ๆ แต่ละจุดจะเหมือนกับ ตัวอย่างเช่น ระนาบ ทรงกลม และทอรัสที่สามารถสร้างได้ในปริภูมิสามมิติ แต่ยังรวม และที่ไม่สามารถฝังเข้าไปในปริภูมิสามมิติได้ แต่ฝังเข้าในปริภูมิสี่มิติได้

โดยทั่วไปการศึกษาแมนิโฟลด์ในทอพอโลยีเชิงพีชคณิตจะสนใจมุมมองทั้งหมด (global) ที่ไม่เกี่ยวข้องกับการหาอนุพันธ์ได้ของแมนิโฟลด์ เช่น ภาวะคู่กันปวงกาเร

ทฤษฎีเงื่อน

ทฤษฎีเงื่อนศึกษาเกี่ยวกับ แม้ว่าเงื่อนในทางคณิตศาสตร์ จะได้รับแรงบันดาลใจจากเงื่อนที่ปรากฏในชีวิตประจำวัน เช่น จากเชือกผูกรองเท้าและจากเชือก แต่เงื่อนของนักคณิตศาสตร์จะแตกต่างไป ตรงที่ปลายทั้งสองข้างถูกเชื่อมเข้าด้วยกันไม่ให้คลายออกได้ ในภาษาคณิตศาสตร์ที่แม่นยำ จะกล่าวว่า เงื่อน (knot) คือ (embedding) วงกลมในสามมิติ ${\displaystyle \mathbb {R} ^{3}}$เงื่อนทางคณิตศาสตร์สองเงื่อนจะเทียบเท่ากันหากเงื่อนหนึ่งสามารถเปลี่ยนเป็นอีกเงื่อนหนึ่งได้โดยการแปลงรูป ${\displaystyle \mathbb {R} ^{3}}$ ที่คงตัวมันเอง (เรียกว่า ) การแปลรูปเหล่านี้เป็นการจัดการกับเส้นเชือกที่ผูกเงื่อนไว้อยู่ โดยไม่ตัดหรือแทงเส้นเชือกทะลุเข้าตัวมันเอง

คอมเพล็กซ์

ซิมพลิเชียลคอมเพล็กซ์มิติ 3 รูปแบบหนึ่ง

ซิมพลิเชียลคอมเพล็กซ์ (simplicial complex) เป็นปริภูมิเชิงทอพอโลยีประเภทหนึ่ง ซึ่งสร้างขึ้นโดย "การติดกาว" ส่วนของเส้นตรง รูปสามเหลี่ยม และรูปที่คล้ายกับสามเหลี่ยมในมิติ n ที่สูงขึ้นเข้าด้วยกัน (ดูภาพประกอบ) ระวังสับสนระหว่างซิมพลิเชียลคอมเพล็กซ์กับเซตซิมพลิเซียล (simplicial set) ที่ที่ปรากฏในทฤษฎีโฮโมโทปีซิมพลิเซียลสมัยใหม่ แนวคิดเสมือนซิมพลิเชียลคอมเพล็กซ์ในคอมบินาทอริกซ์คือ

CW คอมเพล็กซ์ (CW complex) เป็นปริภูมิเชิงทอพอโลยีประเภทหนึ่งที่ เสนอขึ้นมาใช้ในทฤษฎีโฮโมโทปี ปริภูมิ CW คอมเพล็กซ์ประเภทนี้ทั่วไปกว่า และมีคุณสมบัติเชิงแคทิกอรีที่ดีกว่าซิมพลิเชียลคอมเพล็กซ์ แต่ยังคงรักษาธรรมชาติเชิงคอมบินาทอริกซ์ไว้ซึ่งทำให้สามารถคำนวณออกมาได้ (โดยใช้คอมเพล็กซ์ที่เล็กกว่ามาก)

การประยุกต์ใช้

ตัวอย่างคลาสสิกของการประยุกต์ใช้ทอพอโลยีเชิงพีชคณิตได้แก่:

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

อ้างอิง

1. Fraleigh (1976, p. 163)

รายการอ้างอิง

วิกิมีเดียคอมมอนส์มีสื่อที่เกี่ยวข้องกับ ทอพอโลยีเชิงพีชคณิต

วิกิคำคมมีคำคมเกี่ยวกับ ทอพอโลยีเชิงพีชคณิต

• Allegretti, Dylan G. L. (2008), Simplicial Sets and van Kampen's Theorem (Discusses generalized versions of van Kampen's theorem applied to topological spaces and simplicial sets).
• (1993), Topology and Geometry, Graduate Texts in Mathematics, vol. 139, Springer, ISBN .
• (2007), Higher dimensional group theory, คลังข้อมูลเก่าเก็บจากแหล่งเดิมเมื่อ 2016-05-14, สืบค้นเมื่อ 2022-08-17 (Gives a broad view of higher-dimensional van Kampen theorems involving multiple groupoids).
• Brown, R.; Razak, A. (1984), "A van Kampen theorem for unions of non-connected spaces", Arch. Math., 42: 85–88, doi:10.1007/BF01198133, S2CID 122228464. "Gives a general theorem on the with a set of base points of a space which is the union of open sets."
• Brown, R.; Hardie, K.; Kamps, H.; Porter, T. (2002), "The homotopy double groupoid of a Hausdorff space", Theory Appl. Categories, 10 (2): 71–93.
• Brown, R.; Higgins, P.J. (1978), "On the connection between the second relative homotopy groups of some related spaces", Proc. London Math. Soc., S3-36 (2): 193–212, doi:10.1112/plms/s3-36.2.193. "The first 2-dimensional version of van Kampen's theorem."
• Brown, Ronald; Higgins, Philip J.; Sivera, Rafael (2011), Nonabelian Algebraic Topology: Filtered Spaces, Crossed Complexes, Cubical Homotopy Groupoids, European Mathematical Society Tracts in Mathematics, vol. 15, European Mathematical Society, :math/0407275, ISBN , คลังข้อมูลเก่าเก็บจากแหล่งเดิมเมื่อ 2009-06-04 This provides a homotopy theoretic approach to basic algebraic topology, without needing a basis in , or the method of simplicial approximation. It contains a lot of material on .
• Fraleigh, John B. (1976), A First Course In Abstract Algebra (2nd ed.), Reading: , ISBN 
• ; Harper, John R. (1981), Algebraic Topology: A First Course, Revised edition, Mathematics Lecture Note Series, Westview/Perseus, ISBN . A functorial, algebraic approach originally by Greenberg with geometric flavoring added by Harper.
• (2002), Algebraic Topology, Cambridge: Cambridge University Press, ISBN . A modern, geometrically flavoured introduction to algebraic topology.
• Higgins, Philip J. (1971), Notes on categories and groupoids, Van Nostrand Reinhold, ISBN 
• Maunder, C. R. F. (1970), Algebraic Topology, London: Van Nostrand Reinhold, ISBN .
• (2008), Algebraic Topology, EMS Textbooks in Mathematics, European Mathematical Society, ISBN 
• (1933), "On the connection between the fundamental groups of some related spaces", , 55 (1): 261–7, JSTOR 51000091

อ่านเพิ่มเติม

• (2002). Algebraic topology. . ISBN . and ISBN .
• Hazewinkel, Michiel, บ.ก. (2001), "Algebraic topology", , , ISBN 
• (1999). A Concise Course in Algebraic Topology (PDF). . เก็บ (PDF)จากแหล่งเดิมเมื่อ 2022-10-09. สืบค้นเมื่อ 2008-09-27. Section 2.7 provides a category-theoretic presentation of the theorem as a colimit in the category of groupoids.