Lý thuyết thứ tự và lý thuyết dàn
Lý thuyết thứ tự nghiên cứu các tập hợp được trang bị khái niệm một phần tử đứng trước phần tử khác, và lý thuyết dàn nghiên cứu các thứ tự trong đó mọi cặp phần tử đều có cận trên nhỏ nhất và cận dưới lớn nhất.
Definition
Nghiên cứu toán học về các thứ tự riêng phần – các quan hệ phản xạ, phản đối xứng, bắc cầu – và về các dàn, là các tập hợp được sắp thứ tự riêng phần trong đó mọi hai phần tử đều có một phép nối (supremum) và một phép gặp (infimum).
Scope
Lĩnh vực này bao gồm các tập hợp được sắp thứ tự riêng phần và biểu đồ của chúng, chuỗi và phản chuỗi, ánh xạ bảo toàn thứ tự, dàn vừa là cấu trúc có thứ tự vừa là cấu trúc đại số, dàn phân phối và dàn Boolean, và các định lý biểu diễn. Nó cung cấp một ngôn ngữ thống nhất cho các cấu trúc tổ hợp và kết nối toán học rời rạc với đại số, logic và khoa học máy tính lý thuyết.
Sub-topics
Core questions
- Làm thế nào để hình thức hóa và trực quan hóa một quan hệ ưu tiên giữa các phần tử?
- Khi nào một tập hợp có thứ tự sở hữu cận trên và cận dưới, biến nó thành một dàn?
- Những dàn nào là phân phối, và chúng được biểu diễn như thế nào?
- Làm thế nào để các đối ngẫu lý thuyết thứ tự và các định lý điểm cố định phát sinh?
Key concepts
- Thứ tự riêng phần
- Biểu đồ Hasse
- Chuỗi và phản chuỗi
- Phép nối và phép gặp
- Dàn phân phối
- Đại số Boolean
Clinical relevance
Lý thuyết thứ tự và lý thuyết dàn là nền tảng cho ngữ nghĩa của các ngôn ngữ lập trình (lý thuyết miền và điểm cố định), phân tích khái niệm hình thức trong khai phá dữ liệu, đại số logic và cấu trúc của các họ tổ hợp được sắp xếp theo bao hàm hoặc tinh chỉnh.
History
Lý thuyết dàn được Birkhoff phát triển thành một ngành độc lập vào những năm 1930, dựa trên công trình của Dedekind vào thế kỷ 19; khía cạnh tổ hợp của nó được phát triển bởi lý thuyết hàm Mobius của Rota trên các tập hợp được sắp thứ tự riêng phần (poset).
Key figures
- Garrett Birkhoff
- Richard Dedekind
- Gian-Carlo Rota
Related topics
Seminal works
- davey2002
Frequently asked questions
- Sự khác biệt giữa thứ tự riêng phần và thứ tự toàn phần là gì?
- Trong một thứ tự toàn phần, bất kỳ hai phần tử nào cũng có thể so sánh được, trong khi một thứ tự riêng phần có thể để lại một số cặp không thể so sánh được, như với các tập con được sắp xếp theo bao hàm.
- Tại sao một dàn vừa là một thứ tự vừa là một đại số?
- Một dàn có thể được định nghĩa bằng một thứ tự trong đó các phép nối và phép gặp tồn tại, hoặc tương đương bằng hai phép toán nhị phân thỏa mãn các tiên đề dàn; hai quan điểm này mô tả cùng một cấu trúc.