5 กรกฎาคม วันสำคัญของคณิตศาสตร์: รำลึกถึง เรอเน แบร์ กับทฤษฎีบทที่หล่อหลอมวิชา Topology และ Analysis

วันนี้ในประวัติศาสตร์คณิตศาสตร์

วันที่ 5 กรกฎาคม ค.ศ. 1932 คือวันที่โลกคณิตศาสตร์สูญเสียนักคณิตศาสตร์ชาวฝรั่งเศสผู้มีอิทธิพลอย่างมากต่อวงการ Real Analysis และ Topology นั่นคือ เรอเน-หลุยส์ แบร์ (René-Louis Baire, ค.ศ. 1874–1932) เจ้าของ ทฤษฎีบทหมวดหมู่แบร์ (Baire Category Theorem) ที่นักศึกษาคณิตศาสตร์ระดับปริญญาตรีขึ้นไปจะต้องเคยพบเจอในวิชา Real Analysis หรือ Topology

ชีวิตที่ต่อสู้กับโรคภัยแต่ไม่หยุดคิดค้น

แบร์เกิดในครอบครัวช่างตัดเสื้อฐานะยากจนในกรุงปารีส แต่ด้วยความสามารถทางวิชาการที่โดดเด่น เขาได้รับทุนการศึกษาเข้าเรียนที่ Lycée Lakanal และต่อมาสอบเข้า École Normale Supérieure ได้สำเร็จ เขาสำเร็จการศึกษาระดับปริญญาเอกในปี ค.ศ. 1899 ด้วยวิทยานิพนธ์เรื่อง Sur les fonctions de variables réelles (ว่าด้วยฟังก์ชันของตัวแปรจริง)

แบร์ป่วยด้วยโรคเรื้อรังมาตั้งแต่วัยหนุ่ม ทำให้ต้องสลับไปมาระหว่างการสอนในโรงเรียนมัธยมและการทำงานวิจัยในมหาวิทยาลัยอยู่หลายครั้ง แม้จะมีเวลาทำงานวิจัยอย่างต่อเนื่องได้ไม่นานนัก แต่ผลงานที่เขาทิ้งไว้กลับส่งอิทธิพลยาวนานมาจนถึงปัจจุบัน เขาเสียชีวิตที่เมือง Chambéry ประเทศฝรั่งเศส ในวันที่ 5 กรกฎาคม ค.ศ. 1932 ขณะอายุ 58 ปี

ทฤษฎีบทหมวดหมู่แบร์ (Baire Category Theorem) คืออะไร

ในวิทยานิพนธ์ปี ค.ศ. 1899 แบร์ได้เสนอแนวคิดการจำแนก “หมวดหมู่” (category) ของเซตในปริภูมิ (space) ออกเป็น 2 ประเภทหลัก คือ

• เซตประเภทที่หนึ่ง (Meager set / First category) — เซตที่สามารถเขียนเป็นสหภาพนับได้ของเซตที่ไม่หนาแน่นที่ใดเลย (nowhere dense sets)
• เซตประเภทที่สอง (Non-meager set / Second category) — เซตที่ไม่ใช่เซตประเภทที่หนึ่ง

ทฤษฎีบทหมวดหมู่แบร์ กล่าวโดยสรุปว่า ใน ปริภูมิเมตริกบริบูรณ์ (complete metric space) สหภาพนับได้ของเซตปิดที่ไม่มีจุดภายใน (nowhere dense closed sets) จะไม่สามารถครอบคลุมปริภูมิทั้งหมดได้ กล่าวอีกนัยหนึ่งคือ ปริภูมิเมตริกบริบูรณ์นั้น “ใหญ่เกินกว่า” ที่จะถูกสร้างขึ้นจากสหภาพนับได้ของเซตเล็ก ๆ ที่ไม่มีความหนาแน่น

แนวคิดนี้อาจฟังดูเป็นนามธรรม แต่กลับเป็นเครื่องมือสำคัญที่ใช้พิสูจน์ การมีอยู่ (existence) ของวัตถุทางคณิตศาสตร์จำนวนมาก โดยไม่ต้องสร้างตัวอย่างที่ชัดเจนขึ้นมาโดยตรง

ทำไมทฤษฎีบทนี้ถึงสำคัญ

1. รากฐานของ Functional Analysis — ทฤษฎีบทหมวดหมู่แบร์เป็นพื้นฐานสำคัญของทฤษฎีบทหลักหลายทฤษฎีในวิชา Functional Analysis เช่น Uniform Boundedness Principle, Open Mapping Theorem และ Closed Graph Theorem
2. การจำแนกฟังก์ชัน (Classification of Functions) — แบร์วางระบบการจัดกลุ่มฟังก์ชันตามลำดับของลิมิต (Baire class 1, 2, 3, …) ซึ่งเป็นรากฐานของทฤษฎีเซตเชิงพรรณนา (Descriptive Set Theory) ในเวลาต่อมา
3. เครื่องมือพิสูจน์การมีอยู่โดยไม่ต้องสร้างตัวอย่าง (Existence proof) เช่น การพิสูจน์ว่าฟังก์ชันต่อเนื่องที่หาอนุพันธ์ไม่ได้เลยสักจุดนั้น “มีอยู่มากมาย” ในปริภูมิของฟังก์ชันต่อเนื่อง

สรุป

แม้เส้นทางชีวิตของเรอเน แบร์จะเต็มไปด้วยอุปสรรคด้านสุขภาพ แต่ผลงานทางความคิดของเขากลับยิ่งใหญ่และยั่งยืน ทฤษฎีบทหมวดหมู่แบร์ยังคงเป็นเสาหลักสำคัญของวิชา Real Analysis, Topology และ Functional Analysis ที่สอนกันในหลักสูตรคณิตศาสตร์ระดับอุดมศึกษาทั่วโลกจนถึงทุกวันนี้ การรำลึกถึงวันที่ 5 กรกฎาคม จึงเป็นโอกาสดีที่จะทบทวนว่าแนวคิดเรื่อง “ขนาด” และ “ความหนาแน่น” ของเซตในปริภูมิทางคณิตศาสตร์นั้นลึกซึ้งเพียงใด