ฟังก์ชันผันเกี่ยว (Adjoint Functors)

ฟังก์ชันผันเกี่ยวคือคู่ของฟังก์ชันที่สัมพันธ์กันด้วยความสอดคล้องกันตามธรรมชาติระหว่างมอร์ฟิซึม ซึ่งเป็นรูปแบบที่แพร่หลายที่ครอบคลุมการสร้างแบบอิสระ (free constructions) ฟังก์ชันลืม (forgetful functors) และผลเฉลยที่เหมาะสมที่สุดตลอดวิชาคณิตศาสตร์

Definition

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

Scope

หัวข้อนี้ครอบคลุมคำจำกัดความของการผันเกี่ยว (adjunction) โดยการจับคู่แบบธรรมชาติของ hom-sets, สูตรที่เทียบเท่ากันผ่านยูนิตและโคยูนิต (unit and counit) และผ่านลูกศรสากล (universal arrows), การรักษาลิมิตโดยฟังก์ชันผันเกี่ยวขวา (right adjoints) และโคลิมิตโดยฟังก์ชันผันเกี่ยวซ้าย (left adjoints), ทฤษฎีบทฟังก์ชันผันเกี่ยว (adjoint functor theorems) และความเชื่อมโยงระหว่างการผันเกี่ยวและโมนาด (monads)

Core questions

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

Key theories

การผันเกี่ยวแบบ Hom-set

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

ยูนิต โคยูนิต และเอกลักษณ์สามเหลี่ยม

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

การรักษาลิมิตและโคลิมิต

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

Clinical relevance

การผันเกี่ยวเป็นหนึ่งในแนวคิดที่รวมเป็นหนึ่งเดียวที่สุดในวิชาคณิตศาสตร์: กรุปอิสระ (free groups), ความสัมพันธ์เทนเซอร์-ฮอม (tensor-hom relationships), การกระชับแบบสโตน-เชค (Stone-Cech compactification) และความสัมพันธ์ระหว่างวากยสัมพันธ์และความหมายในตรรกศาสตร์ ล้วนเป็นการผันเกี่ยว และการรับรู้ถึงสิ่งเหล่านี้จะให้คุณสมบัติสากลและผลลัพธ์การรักษาในทันที ซึ่งเป็นเหตุผลที่นักทฤษฎีประเภท (category theorists) ถือว่าการผันเกี่ยวเป็นแนวคิดหลัก

History

แดเนียล คาน (Daniel Kan) ได้นำเสนอฟังก์ชันผันเกี่ยวในปี 1958 โดยตระหนักถึงรูปแบบที่เกิดขึ้นซ้ำๆ ที่เชื่อมโยงฟังก์ชันอิสระและฟังก์ชันลืม และการสร้างแบบคู่ (dual constructions) อื่นๆ ลอว์เวียร์ (Lawvere) ได้เน้นย้ำถึงการผันเกี่ยวว่าเป็นรากฐาน รวมถึงการผันเกี่ยวระหว่างวากยสัมพันธ์และความหมาย และทฤษฎีบทฟังก์ชันผันเกี่ยวของเฟรย์ด (Freyd's adjoint functor theorems) ได้ให้เงื่อนไขทั่วไปสำหรับการมีอยู่ของฟังก์ชันผันเกี่ยว

Key figures

• Daniel Kan
• Saunders Mac Lane
• F. William Lawvere
• Peter Freyd

Seminal works

• maclane1998
• awodey2010
• riehl2016

Frequently asked questions

ตัวอย่างที่คุ้นเคยของการผันเกี่ยวคืออะไร?

ฟังก์ชันกรุปอิสระ (free group functor) เป็นฟังก์ชันผันเกี่ยวซ้ายของฟังก์ชันที่ลืมโครงสร้างกรุปของกรุปไปยังเซตพื้นฐานของมัน การแมปจากเซตไปยังกรุปจะสอดคล้องตามธรรมชาติกับโฮโมมอร์ฟิซึมจากกรุปอิสระบนเซตนั้น ซึ่งเป็นการจับคู่แบบผันเกี่ยวอย่างแท้จริง

เหตุใดนักคณิตศาสตร์จึงกล่าวว่าฟังก์ชันผันเกี่ยวเกิดขึ้นทุกที่?

การสร้างแบบอิสระ (free constructions), การเติมเต็ม (completions), ผลคูณและเลขชี้กำลัง (products and exponentials) และความสัมพันธ์มากมายระหว่างโครงสร้างและเงาที่เรียบง่ายกว่าของมัน ล้วนเป็นการผันเกี่ยว รูปแบบนี้เป็นเรื่องปกติมากจนการสังเกตเห็นการผันเกี่ยวมักเป็นวิธีที่เร็วที่สุดในการหาคุณสมบัติสากลของการสร้าง และการรักษาลิมิตหรือโคลิมิตของมัน