มอริส เฟรเชต์: ผู้บุกเบิกปริภูมิเมตริกและรากฐานทอพอโลยีสมัยใหม่

ในบรรดาแนวคิดพื้นฐานที่สุดของคณิตศาสตร์วิเคราะห์และทอพอโลยีสมัยใหม่ มีแนวคิดหนึ่งที่แทบทุกสาขาของคณิตศาสตร์วิเคราะห์ต้องอาศัยเป็นรากฐาน นั่นคือ “ปริภูมิเมตริก” ซึ่งถูกนิยามขึ้นเป็นครั้งแรกโดย มอริส เรอเน เฟรเชต์ (Maurice René Fréchet) นักคณิตศาสตร์ชาวฝรั่งเศส เกิดเมื่อวันที่ 2 กันยายน ค.ศ. 1878 ที่เมืองมาลีญี แคว้นยอนน์ ประเทศฝรั่งเศส

ชีวิตช่วงต้นและเส้นทางวิชาการ

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

เฟรเชต์ศึกษาที่โรงเรียนมัธยม Lycée Buffon ในปารีส ซึ่งเขาโชคดีที่ได้เรียนกับฌัก อาดามาร์ (Jacques Hadamard) นักคณิตศาสตร์ผู้มีชื่อเสียงระดับโลก ก่อนที่อาดามาร์จะย้ายไปบอร์กโดซ์ในปี ค.ศ. 1894 ในปี ค.ศ. 1900 เฟรเชต์สอบเข้าเอกอลนอร์มาลซูว์ปีรีเยอร์ (École Normale Supérieure) สถาบันการศึกษาระดับสูงที่มีชื่อเสียงที่สุดแห่งหนึ่งของฝรั่งเศสได้สำเร็จ และภายหลังได้ทำงานร่วมกับเอมีล บอเรล (Émile Borel) นักคณิตศาสตร์ผู้แม้จะอายุมากกว่าเขาเพียง 7 ปี แต่ก็มีประสบการณ์มากพอที่จะกลายเป็นอาจารย์ที่ปรึกษาคนสำคัญของเขา

วิทยานิพนธ์ปี 1906: จุดกำเนิดของปริภูมิเมตริก

ในปี ค.ศ. 1906 เฟรเชต์สำเร็จการศึกษาระดับปริญญาเอกจากวิทยานิพนธ์ที่ได้รับการยกย่องว่าเป็นหนึ่งในวิทยานิพนธ์คณิตศาสตร์ฝรั่งเศสที่โดดเด่นที่สุดในยุคนั้น โดยมีฌัก อาดามาร์เป็นอาจารย์ที่ปรึกษา ในวิทยานิพนธ์ฉบับนี้ เฟรเชต์ได้นิยามแนวคิดของ “ปริภูมิเมตริกเชิงนามธรรม” (abstract metric space) เป็นครั้งแรก ซึ่งเป็นการขยายแนวคิดเรื่อง “ระยะทาง” ให้ครอบคลุมมากกว่าปริภูมิแบบยุคลิด (Euclidean space) ที่คุ้นเคย

แนวคิดของเฟรเชต์คือการมองปริภูมิว่าเป็นเพียงเซตของจุด (points) พร้อมกับความสัมพันธ์ (relations) บางอย่างระหว่างจุดเหล่านั้น โดยใช้ฟังก์ชันระยะทาง (metric function) ที่สอดคล้องกับสัจพจน์บางประการ ซึ่งไม่จำเป็นต้องเป็นปริภูมิเรขาคณิตแบบดั้งเดิมเลยก็ได้ ในวิทยานิพนธ์นี้เอง เขายังได้แสดงให้เห็นถึงความสมเหตุสมผลของทฤษฎีบทของไวแยร์ชตราสส์ (Weierstrass’s theorem) ในบริบทของปริภูมินามธรรม และแนะนำแนวคิดเรื่องความกระชับ (compactness) ซึ่งเป็นหนึ่งในแนวคิดสำคัญที่สุดของทอพอโลยีสมัยใหม่

รากฐานของทอพอโลยีทั่วไปและการวิเคราะห์เชิงฟังก์ชัน

การนิยามปริภูมิเมตริกของเฟรเชต์ถือเป็นก้าวสำคัญที่นำไปสู่การพัฒนาสาขา ทอพอโลยีทั่วไป (general topology) และ การวิเคราะห์เชิงฟังก์ชัน (functional analysis) สมัยใหม่ ก่อนหน้านี้นักคณิตศาสตร์มักศึกษาฟังก์ชันที่นิยามบนปริภูมิแบบยุคลิดเท่านั้น แต่แนวคิดของเฟรเชต์เปิดทางให้สามารถศึกษาฟังก์ชัน (functionals) ที่นิยามบนปริภูมิของฟังก์ชันเองได้ ซึ่งเป็นก้าวกระโดดทางความคิดที่สำคัญอย่างยิ่ง

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

ผลงานด้านอื่นและเส้นทางอาชีพ

นอกเหนือจากปริภูมิเมตริก เฟรเชต์ยังมีผลงานสำคัญด้านทฤษฎีความน่าจะเป็น โดยเฉพาะการศึกษาการลู่เข้าของลำดับตัวแปรสุ่ม (convergence of sequences of random variables) ซึ่งเขาเป็นหนึ่งในผู้บุกเบิกการใช้ทฤษฎีการวัดเชิงนามธรรม (abstract measure theory) อย่างเป็นระบบในบริบทนี้ และยังมีผลงานสำคัญด้านกระบวนการมาร์คอฟจำกัด (finite Markov processes) เขาดำรงตำแหน่งศาสตราจารย์ที่มหาวิทยาลัยปัวตีเย สทราสบูร์ก และในที่สุดที่ปารีส ซึ่งเขาทำงานอยู่ที่นั่นจนเกษียณในปี ค.ศ. 1949

เป็นที่น่าสังเกตว่าแม้ผลงานของเฟรเชต์จะทรงอิทธิพลอย่างมาก แต่เขากลับไม่ได้รับการยอมรับอย่างเต็มที่ในฝรั่งเศสบ้านเกิด แม้จะได้รับการเสนอชื่อเข้าสู่ราชบัณฑิตยสถานวิทยาศาสตร์ฝรั่งเศสหลายครั้ง แต่เขาก็ไม่ได้รับเลือกเป็นสมาชิกจนกระทั่งอายุ 78 ปีในปี ค.ศ. 1956 เฟรเชต์ยังเป็นที่รู้จักในฐานะผู้สนับสนุนภาษาสากลเอสเปรันโต (Esperanto) อย่างกระตือรือร้น และเคยตีพิมพ์บทความคณิตศาสตร์เป็นภาษาเอสเปรันโตด้วย

เฟรเชต์เสียชีวิตเมื่อวันที่ 4 มิถุนายน ค.ศ. 1973 ที่กรุงปารีส ด้วยวัย 94 ปี ทิ้งไว้ซึ่งมรดกทางความคิดที่เป็นรากฐานสำคัญของคณิตศาสตร์วิเคราะห์สมัยใหม่ทั้งหมด ไม่ว่าจะเป็นทอพอโลยีทั่วไป การวิเคราะห์เชิงฟังก์ชัน หรือทฤษฎีความน่าจะเป็น