Bộ Phép Toán Đối Ngẫu (Adjoint Functors)

Các bộ phép toán đối ngẫu là các cặp bộ phép toán có mối quan hệ tương ứng tự nhiên giữa các cấu xạ, một mô hình phổ biến thể hiện các cấu trúc tự do, các bộ phép toán quên đi (forgetful functors), và các giải pháp tối ưu trong toàn bộ toán học.

Definition

Một bộ phép toán được gọi là đối ngẫu trái với một bộ phép toán theo hướng ngược lại khi có một song ánh tự nhiên giữa các cấu xạ từ một đối tượng của nguồn đến ảnh của một đối tượng và các cấu xạ từ ảnh của nó đến đối tượng đó; mối quan hệ duy nhất này mã hóa một tính chất phổ quát cho mỗi đối tượng.

Scope

Chủ đề này bao gồm định nghĩa về một phép đối ngẫu (adjunction) thông qua một song ánh tự nhiên của các tập hom (hom-sets), các công thức tương đương thông qua đơn vị (unit) và đồng đơn vị (counit) và thông qua các mũi tên phổ quát (universal arrows), sự bảo toàn giới hạn bởi các bộ phép toán đối ngẫu phải và đồng giới hạn bởi các bộ phép toán đối ngẫu trái, các định lý bộ phép toán đối ngẫu, và mối liên hệ giữa các phép đối ngẫu và các monad.

Core questions

• Mối tương ứng tự nhiên nào định nghĩa một phép đối ngẫu giữa hai bộ phép toán?
• Đơn vị và đồng đơn vị mã hóa phép đối ngẫu như thế nào?
• Tại sao các bộ phép toán đối ngẫu phải bảo toàn giới hạn và các bộ phép toán đối ngẫu trái bảo toàn đồng giới hạn?
• Khi nào một bộ phép toán có một bộ phép toán đối ngẫu?

Key theories

Phép đối ngẫu tập hom (Hom-set adjunction)

Một phép đối ngẫu là một đẳng cấu tự nhiên giữa hai bộ phép toán hom, do đó mỗi bộ phép toán đối ngẫu trái cung cấp giải pháp tự do hoặc hiệu quả nhất cho một vấn đề được đặt ra bởi bộ phép toán đối ngẫu phải.

Đơn vị, đồng đơn vị và các đồng nhất thức tam giác

Một phép đối ngẫu được cho tương đương bởi các phép biến đổi tự nhiên đơn vị và đồng đơn vị thỏa mãn các đồng nhất thức tam giác, một mô tả rất phù hợp cho tính toán và định nghĩa các monad.

Bảo toàn giới hạn và đồng giới hạn

Các bộ phép toán đối ngẫu phải bảo toàn tất cả các giới hạn và các bộ phép toán đối ngẫu trái bảo toàn tất cả các đồng giới hạn, một thực tế giải thích nhiều tính chất liên tục và chính xác và hỗ trợ các định lý bộ phép toán đối ngẫu đưa ra các tiêu chí tồn tại.

Clinical relevance

Các phép đối ngẫu là một trong những ý tưởng thống nhất nhất trong toán học: các nhóm tự do, các mối quan hệ tensor-hom, phép compact hóa Stone-Cech, và mối quan hệ giữa cú pháp và ngữ nghĩa trong logic đều là các phép đối ngẫu, và việc nhận ra một phép đối ngẫu ngay lập tức mang lại các tính chất phổ quát và kết quả bảo toàn, đó là lý do tại sao các nhà lý thuyết phạm trù coi tính đối ngẫu là khái niệm trung tâm.

History

Daniel Kan đã giới thiệu các bộ phép toán đối ngẫu vào năm 1958, nhận ra mô hình lặp lại liên quan đến các bộ phép toán tự do và quên đi cùng các cấu trúc đối ngẫu khác. Lawvere đã nhấn mạnh các phép đối ngẫu là nền tảng, bao gồm tính đối ngẫu giữa cú pháp và ngữ nghĩa, và các định lý bộ phép toán đối ngẫu của Freyd đã đưa ra các điều kiện tổng quát cho sự tồn tại của các bộ phép toán đối ngẫu.

Key figures

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

Seminal works

• maclane1998
• awodey2010
• riehl2016

Frequently asked questions

Một ví dụ quen thuộc về phép đối ngẫu là gì?

Bộ phép toán nhóm tự do là đối ngẫu trái với bộ phép toán quên đi cấu trúc nhóm của một nhóm thành tập hợp cơ bản của nó. Các ánh xạ từ một tập hợp vào một nhóm tương ứng tự nhiên với các đồng cấu từ nhóm tự do trên tập hợp đó, đây chính là song ánh đối ngẫu.

Tại sao các nhà toán học nói rằng các bộ phép toán đối ngẫu xuất hiện ở khắp mọi nơi?

Các cấu trúc tự do, các phép hoàn thành, các tích và các hàm mũ, và nhiều mối quan hệ giữa một cấu trúc và một hình bóng đơn giản hơn của nó đều là các phép đối ngẫu. Mô hình này phổ biến đến mức việc phát hiện ra một phép đối ngẫu thường là con đường nhanh nhất để tìm ra tính chất phổ quát của một cấu trúc và sự bảo toàn giới hạn hoặc đồng giới hạn của nó.