نظریه ترتیب و مشبکه
نظریه ترتیب به مطالعه مجموعههایی میپردازد که مجهز به مفهومی از تقدم یک عنصر بر دیگری هستند، و نظریه مشبکه به مطالعه ترتیبهایی میپردازد که در آنها هر جفت عنصر دارای یک کران بالایی کوچکترین و یک کران پایینی بزرگترین است.
Definition
مطالعه ریاضیاتی ترتیبهای جزئی - روابط بازتابی، پادتقارنی، و متعدی - و مشبکهها، که مجموعههای جزئی مرتبی هستند که در آنها هر دو عنصر دارای یک پیوند (سوپرموم) و یک تلاقی (اینفیموم) هستند.
Scope
این حوزه شامل مجموعههای جزئی مرتب و نمودارهای آنها، زنجیرهها و پادزنجیرهها، نگاشتهای حافظ ترتیب، مشبکهها هم به عنوان ساختارهای مرتب و هم جبری، مشبکههای توزیعی و بولین، و قضایای نمایش میشود. این نظریه یک زبان یکپارچه برای ساختارهای ترکیبی فراهم میکند و ریاضیات گسسته را به جبر، منطق، و علوم کامپیوتر نظری متصل میسازد.
Sub-topics
Core questions
- چگونه میتوان یک رابطه تقدم بین عناصر را رسمیسازی و بصریسازی کرد؟
- چه زمانی یک مجموعه مرتب دارای سوپرموم و اینفیموم است که آن را به یک مشبکه تبدیل میکند؟
- کدام مشبکهها توزیعی هستند و چگونه نمایش داده میشوند؟
- دوگانگیهای نظریه ترتیب و قضایای نقطه ثابت چگونه پدید میآیند؟
Key concepts
- ترتیب جزئی
- نمودار هاسه
- زنجیرهها و پادزنجیرهها
- پیوند و تلاقی
- مشبکه توزیعی
- جبر بولین
Clinical relevance
نظریه ترتیب و مشبکه زیربنای معناشناسی زبانهای برنامهنویسی (نظریه دامنه و نقاط ثابت)، تحلیل مفهوم رسمی در دادهکاوی، جبر منطق، و ساختار خانوادههای ترکیبی مرتب شده بر اساس شمول یا پالایش است.
History
نظریه مشبکه به عنوان یک رشته مستقل توسط بیرکهوف در دهه ۱۹۳۰ توسعه یافت، که بر اساس کار ددکیند در قرن نوزدهم بنا شده بود؛ جنبه ترکیبی آن با نظریه توابع موبیوس روتا بر روی مجموعههای جزئی مرتب (posets) پیشرفت کرد.
Key figures
- Garrett Birkhoff
- Richard Dedekind
- Gian-Carlo Rota
Related topics
Seminal works
- davey2002
Frequently asked questions
- تفاوت بین ترتیب جزئی و ترتیب کلی چیست؟
- در یک ترتیب کلی، هر دو عنصر قابل مقایسه هستند، در حالی که یک ترتیب جزئی ممکن است برخی از جفتها را غیرقابل مقایسه بگذارد، مانند زیرمجموعههایی که بر اساس شمول مرتب شدهاند.
- چرا یک مشبکه هم یک ترتیب و هم یک جبر است؟
- یک مشبکه را میتوان با ترتیبی تعریف کرد که در آن پیوندها و تلاقیها وجود دارند، یا به طور معادل با دو عمل دوتایی که اصول مشبکه را برآورده میکنند؛ این دو دیدگاه ساختار یکسانی را توصیف میکنند.