ปริภูมิบานาค

ปริภูมิบานาค (Banach space) คือปริภูมิเวกเตอร์ที่มีนอร์ม (norm) ซึ่งลำดับโคชี (Cauchy sequence) ทุกลำดับลู่เข้า (converges) ความสมบูรณ์ (completeness) นี้เป็นพื้นฐานที่ทฤษฎีบทมูลฐานของการวิเคราะห์เชิงฟังก์ชัน (functional analysis) ดำรงอยู่ได้

Definition

ปริภูมิบานาคคือปริภูมิเวกเตอร์มีนอร์มที่สมบูรณ์ (complete normed vector space) หมายถึงปริภูมิเวกเตอร์ที่ติดตั้งฟังก์ชันความยาวซึ่งลิมิตของลำดับโคชีมีอยู่ภายในปริภูมิ เป็นเวทีธรรมชาติสำหรับการวิเคราะห์เชิงเส้นมิติอนันต์

Scope

หัวข้อนี้ครอบคลุมปริภูมิเวกเตอร์มีนอร์มและความสมบูรณ์ ตัวอย่างมาตรฐานของปริภูมิลำดับและปริภูมิฟังก์ชัน การส่งเชิงเส้นมีขอบเขตและปริภูมิคู่ (dual spaces) ทฤษฎีบทการขยายและแยกของฮาห์น-บานาค (Hahn-Banach extension and separation theorems) หลักการของการส่งแบบเปิด (open mapping) กราฟปิด (closed graph) และการมีขอบเขตสม่ำเสมอ (uniform boundedness principles) รวมถึงโทโพโลยีแบบอ่อน (weak) และแบบอ่อน-ดาว (weak-star topologies) พร้อมด้วยภาวะสะท้อนกลับ (reflexivity)

Core questions

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

Key theories

ทฤษฎีบทฮาห์น-บานาค

ฟังก์ชันนัลเชิงเส้นมีขอบเขตบนปริภูมิย่อยสามารถขยายไปยังปริภูมิทั้งหมดได้ด้วยนอร์มเดียวกัน ซึ่งรับประกันว่ามีปริภูมิคู่ที่หลากหลายและช่วยให้สามารถแยกเซตคอนเวกซ์ได้ ซึ่งเป็นรากฐานสำคัญของทฤษฎีภาวะคู่

หลักการของการส่งแบบเปิด กราฟปิด และการมีขอบเขตสม่ำเสมอ

บนปริภูมิที่สมบูรณ์ ตัวดำเนินการมีขอบเขตแบบทั่วถึงจะเป็นแบบเปิด ตัวดำเนินการที่มีกราฟปิดจะมีขอบเขต และกลุ่มของตัวดำเนินการที่มีขอบเขตแบบจุดต่อจุดจะมีขอบเขตสม่ำเสมอ ผลลัพธ์ที่ตามมาจากประเภทแบร์ (Baire-category) เหล่านี้เป็นเครื่องมือสำคัญของทฤษฎี

Clinical relevance

ปริภูมิบานาคเป็นปริภูมิของฟังก์ชันและสัญญาณที่ใช้ในการประมาณค่า สมการเชิงอนุพันธ์และปริพันธ์ และการหาค่าเหมาะที่สุด (optimization) ภาวะสะท้อนกลับและความกะทัดรัดแบบอ่อน (weak compactness) เป็นพื้นฐานของการพิสูจน์การมีอยู่จริงในแคลคูลัสของการแปรผัน (calculus of variations) และสมการเชิงอนุพันธ์ย่อย (partial differential equations) และภาวะคู่ของปริภูมิคู่เป็นพื้นฐานของการหาค่าเหมาะที่สุดเชิงประยุกต์จำนวนมาก

History

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

Key figures

• Stefan Banach
• Hans Hahn
• Frigyes Riesz

Seminal works

• conway1985

Frequently asked questions

อะไรคือสิ่งที่ทำให้ปริภูมิบานาคแตกต่างจากปริภูมิมีนอร์มทั่วไป?

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

เหตุใดปริภูมิคู่จึงมีความสำคัญ?

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