โทโพโลยี — เซตเปิด ความต่อเนื่อง และแนวคิดสำคัญ

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

นี่จึงเป็นเหตุผลที่โทโพโลยีสามารถเปรียบเทียบปริภูมิจากพฤติกรรมเฉพาะที่ได้ โดยไม่ต้องอาศัยความยาว มุม หรือพิกัด

ปริภูมิโทโพโลยีคืออะไร

ให้ $X$ เป็นเซตหนึ่ง โทโพโลยีบน $X$ คือคอลเลกชัน $\mathcal{T}$ ของเซตย่อยของ $X$ ซึ่งเรียกว่าเซตเปิด โดยมีสมบัติดังนี้:

1. $\varnothing$ และ $X$ อยู่ใน $\mathcal{T}$.
2. ยูเนียนของเซตใด ๆ ใน $\mathcal{T}$ ก็ยังอยู่ใน $\mathcal{T}$.
3. อินเตอร์เซกชันแบบจำกัดของเซตใน $\mathcal{T}$ ก็ยังอยู่ใน $\mathcal{T}$.

คู่อันดับ $(X,\mathcal{T})$ เรียกว่า ปริภูมิโทโพโลยี

นิยามนี้ตั้งใจให้เป็นนามธรรม เมื่อคุณรู้แล้วว่าเซตใดเป็นเซตเปิด คุณก็สามารถนิยามความต่อเนื่อง เพื่อนบ้าน และเซตปิดได้ โดยไม่ต้องเขียนสูตรระยะทางเลย

ทำไมเซตเปิดจึงสำคัญ

เซตเปิดบอกความหมายของการที่จุดหนึ่งมีพื้นที่รอบตัวมัน ในโทโพโลยีปกติบน $\mathbb{R}$ ช่วงเปิดอย่าง $(1,3)$ เป็นเซตเปิด เพราะทุกจุดภายในช่วงนี้มีช่วงที่เล็กกว่าล้อมรอบอยู่ และช่วงนั้นยังคงอยู่ภายใน $(1,3)$

แนวคิดเฉพาะที่นี้คือหัวใจของโทโพโลยี เซตหนึ่งจะเป็นเซตเปิดเมื่อทุกจุดของมันอยู่ภายในเซตนั้นพร้อมกับมีพื้นที่ขยับได้เล็กน้อยในบริเวณใกล้เคียง

นี่จึงเป็นเหตุผลด้วยว่าความเป็นเซตเปิดขึ้นอยู่กับโทโพโลยีที่เลือก เซตย่อยเดียวกันอาจเป็นเซตเปิดในโทโพโลยีหนึ่ง แต่ไม่เป็นในอีกโทโพโลยีหนึ่ง

เซตเปิดใช้นิยามแนวคิดพื้นฐานอื่น ๆ อย่างไร

เพื่อนบ้าน

เพื่อนบ้านของจุดหนึ่งคือเซตใด ๆ ที่มีเซตเปิดล้อมรอบจุดนั้นอยู่ภายใน เป็นวิธีที่โทโพโลยีใช้พูดถึงความใกล้กันในเชิงเฉพาะที่โดยไม่ต้องใช้ระยะทาง

เซตปิด

เซตหนึ่งเป็นเซตปิด ถ้าส่วนเติมเต็มของมันเป็นเซตเปิด ในปริภูมิที่คุ้นเคยอย่างเส้นจำนวนจริง เซตปิดมักมีขอบเขตของมันรวมอยู่ด้วย แต่สิ่งนั้นไม่ใช่นิยาม

ความต่อเนื่อง

ถ้า $X$ และ $Y$ เป็นปริภูมิโทโพโลยี ฟังก์ชัน $f:X \to Y$ จะต่อเนื่อง ถ้าสำหรับทุกเซตเปิด $U \subseteq Y$ ภาพผกผัน $f^{-1}(U)$ เป็นเซตเปิดใน $X$

$$f \text{ is continuous if } f^{-1}(U) \text{ is open for every open } U \subseteq Y$$

นิยามนี้สอดคล้องกับแนวคิดเรื่องความต่อเนื่องในแคลคูลัสบน $\mathbb{R}$ แต่ก็ยังใช้ได้ในปริภูมิที่ระยะทางไม่ใช่โครงสร้างหลัก

โฮมีโอมอร์ฟิซึม

โฮมีโอมอร์ฟิซึมคือฟังก์ชันหนึ่งต่อหนึ่งและทั่วถึงที่ต่อเนื่อง และมีฟังก์ชันผกผันที่ต่อเนื่องด้วย ถ้าปริภูมิสองปริภูมิเป็นโฮมีโอมอร์ฟิกกัน โทโพโลยีจะมองว่าทั้งสองมีรูปร่างเหมือนกันในความหมายเชิงโทโพโลยี

ข้อความนี้ขึ้นอยู่กับความต่อเนื่องทั้งสองทิศทาง การเป็นฟังก์ชันหนึ่งต่อหนึ่งและทั่วถึงเพียงอย่างเดียวไม่เพียงพอ

ตัวอย่างคำนวณ: ทำไม $f(x)=x^2$ จึงต่อเนื่องในโทโพโลยีปกติ

พิจารณา $f:\mathbb{R} \to \mathbb{R}$ กำหนดโดย

$$f(x)=x^2$$

โดยใช้โทโพโลยีปกติบน $\mathbb{R}$

เลือกเซตเปิด $(1,4)$ ในโคโดเมน ภาพผกผันของมันคือ

$$f^{-1}((1,4))=\{x \in \mathbb{R} : 1 < x^2 < 4\}$$

ซึ่งย่อได้เป็น

$$(-2,-1)\cup(1,2).$$

เซตนี้เป็นเซตเปิดในโทโพโลยีปกติบน $\mathbb{R}$ เพราะเป็นยูเนียนของช่วงเปิด ตัวอย่างนี้แสดงทิศทางที่ถูกต้องในการตรวจสอบว่า ฟังก์ชันต่อเนื่องหรือไม่ นั่นคือดูภาพผกผันของเซตเปิด ไม่ใช่ดูว่า $f$ ส่งเซตเปิดไปเป็นเซตเปิดหรือไม่

บน $\mathbb{R}$ เงื่อนไขนี้สรุปได้ว่าเทียบเท่ากับนิยามความต่อเนื่องแบบใช้ลิมิตตามปกติ

ข้อผิดพลาดที่พบบ่อยเกี่ยวกับพื้นฐานโทโพโลยี

คิดว่า "เปิด" หมายถึงสิ่งเดียวกันทุกที่

ไม่จริง ความเป็นเซตเปิดนิยามโดยอิงกับโทโพโลยีที่เลือก

สับสนระหว่างภาพกับภาพผกผัน

ความต่อเนื่องเกี่ยวข้องกับการที่ภาพผกผันของเซตเปิดเป็นเซตเปิด ภาพของเซตเปิดไม่จำเป็นต้องเป็นเซตเปิดเสมอไป เว้นแต่จะมีเงื่อนไขเพิ่มเติมกับฟังก์ชัน

มองว่าโทโพโลยีเป็นเรขาคณิตเชิงเมตริกที่แค่เปลี่ยนคำเรียก

ปริภูมิโทโพโลยีจำนวนมากเกิดจากเมตริกจริง แต่ตัวโทโพโลยีเองมีความทั่วไปมากกว่า มันเก็บไว้เฉพาะโครงสร้างที่จำเป็นต่อการพูดถึงพฤติกรรมเฉพาะที่และความต่อเนื่อง

คิดว่าทุกฟังก์ชันหนึ่งต่อหนึ่งและทั่วถึงเป็นสมมูลเชิงโทโพโลยี

การจะเป็นโฮมีโอมอร์ฟิซึมได้ ฟังก์ชันต้องเป็นหนึ่งต่อหนึ่งและทั่วถึง ต่อเนื่อง และมีฟังก์ชันผกผันที่ต่อเนื่องด้วย

โทโพโลยีถูกใช้ที่ไหน

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

สำหรับผู้เริ่มต้น ประโยชน์เชิงปฏิบัติง่ายกว่านั้น คือโทโพโลยีอธิบายได้ว่าทำไมความต่อเนื่องจึงนิยามได้โดยไม่ต้องพึ่งพาพิกัดหรือสูตรระยะทาง

ลองทำโจทย์ที่คล้ายกัน

ใช้ฟังก์ชันเดิม $f(x)=x^2$ แต่คราวนี้เริ่มจากเซตเปิด $(0,1)$ จงหาค่า $f^{-1}((0,1))$ และตรวจสอบว่ามันเป็นเซตเปิดใน $\mathbb{R}$ หรือไม่

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