Teori Urutan dan Kisi
Teori urutan mempelajari himpunan yang dilengkapi dengan gagasan satu elemen mendahului elemen lain, dan teori kisi mempelajari urutan di mana setiap pasangan elemen memiliki batas atas terkecil dan batas bawah terbesar.
Definition
Studi matematis tentang urutan parsial – relasi refleksif, antisimetris, transitif – dan tentang kisi, yaitu himpunan terurut parsial di mana setiap dua elemen memiliki gabungan (supremum) dan irisan (infimum).
Scope
Area ini mencakup himpunan terurut parsial dan diagramnya, rantai dan antiranai, pemetaan yang mempertahankan urutan, kisi sebagai struktur terurut dan aljabar, kisi distributif dan Boolean, serta teorema representasi. Ini menyediakan bahasa pemersatu untuk struktur kombinatorial dan menghubungkan matematika diskrit dengan aljabar, logika, dan ilmu komputer teoretis.
Sub-topics
Core questions
- Bagaimana relasi preseden antar elemen dapat diformalkan dan divisualisasikan?
- Kapan suatu himpunan terurut memiliki supremum dan infimum, menjadikannya sebuah kisi?
- Kisi mana yang distributif, dan bagaimana representasinya?
- Bagaimana dualitas teori urutan dan teorema titik tetap muncul?
Key concepts
- Urutan parsial
- Diagram Hasse
- Rantai dan antiranai
- Gabungan dan irisan
- Kisi distributif
- Aljabar Boolean
Clinical relevance
Teori urutan dan kisi mendasari semantik bahasa pemrograman (teori domain dan titik tetap), analisis konsep formal dalam penambangan data, aljabar logika, dan struktur keluarga kombinatorial yang diurutkan berdasarkan inklusi atau penyempurnaan.
History
Teori kisi dikembangkan sebagai disiplin independen oleh Birkhoff pada tahun 1930-an, berdasarkan karya Dedekind pada abad ke-19; sisi kombinatorialnya dikembangkan oleh teori fungsi Mobius Rota pada poset.
Key figures
- Garrett Birkhoff
- Richard Dedekind
- Gian-Carlo Rota
Related topics
Seminal works
- davey2002
Frequently asked questions
- Apa perbedaan antara urutan parsial dan urutan total?
- Dalam urutan total, setiap dua elemen dapat dibandingkan, sedangkan urutan parsial mungkin meninggalkan beberapa pasangan tidak dapat dibandingkan, seperti halnya himpunan bagian yang diurutkan berdasarkan inklusi.
- Mengapa kisi merupakan urutan dan juga aljabar?
- Kisi dapat didefinisikan oleh suatu urutan di mana gabungan dan irisan ada, atau secara ekuivalen oleh dua operasi biner yang memenuhi aksioma kisi; kedua sudut pandang ini menggambarkan struktur yang sama.