Kisi dan Aljabar Boolean
Kisi adalah himpunan terurut di mana setiap pasangan elemen memiliki batas atas terkecil dan batas bawah terbesar, dan aljabar Boolean adalah kisi distributif berkomplemen yang memodelkan aljabar logika dan himpunan.
Definition
Kisi adalah himpunan terurut parsial di mana setiap dua elemen memiliki gabungan (join) dan irisan (meet); aljabar Boolean adalah kisi distributif dengan elemen terkecil dan terbesar di mana setiap elemen memiliki komplemen.
Scope
Topik ini membahas kisi sebagai struktur aljabar dan teori urutan ganda, operasi gabungan (join) dan irisan (meet), kisi distributif dan modular, komplemen, dan aljabar Boolean dengan teori representasinya. Ini mencakup representasi Birkhoff dari kisi distributif hingga dan representasi Stone dari aljabar Boolean, yang menghubungkan urutan, aljabar, dan topologi.
Core questions
- Kapan suprema dan infima dari pasangan ada, dan hukum apa yang mereka penuhi?
- Kisi mana yang distributif atau modular, dan bagaimana karakteristiknya?
- Bagaimana kisi distributif hingga direpresentasikan oleh himpunan ideal urutan?
- Bagaimana aljabar Boolean memformalkan logika proposisi dan aljabar himpunan?
Key concepts
- Gabungan (Join) dan irisan (meet)
- Kisi terbatas, lengkap, dan berkomplemen
- Kisi distributif dan modular
- Aljabar Boolean
- Representasi Birkhoff
- Representasi Stone
Key theories
- Teorema representasi Birkhoff
- Setiap kisi distributif hingga isomorfik dengan kisi himpunan-bawah (down-sets) dari poset elemen-elemen join-irreducible-nya, memberikan deskripsi lengkap dan konkret dari kisi distributif hingga.
- Teorema representasi Stone
- Setiap aljabar Boolean isomorfik dengan medan himpunan, dan setiap aljabar Boolean hingga isomorfik dengan himpunan kuasa dari himpunan hingga, yang mendasari aljabar abstrak logika dalam operasi himpunan konkret.
Clinical relevance
Aljabar Boolean memodelkan sirkuit logika digital, logika proposisional, dan operasi himpunan, sementara kisi menyusun hierarki tipe, tingkat keamanan dalam kontrol akses, dan himpunan tertutup dari analisis konsep formal.
History
Aljabar logika Boole tahun 1854, teori kisi Birkhoff tahun 1930-an, dan teorema representasi Stone tahun 1936 bersama-sama membentuk teori aljabar modern tentang urutan dan logika.
Key figures
- George Boole
- Garrett Birkhoff
- Marshall Stone
Related topics
Seminal works
- davey2002
Frequently asked questions
- Apakah setiap kisi bersifat distributif?
- Tidak; kisi non-distributif terkecil adalah intan (diamond) dan pentagon, dan sebuah kisi bersifat distributif tepat ketika ia tidak mengandung keduanya sebagai subkisi.
- Bagaimana aljabar Boolean berhubungan dengan teori himpunan?
- Himpunan kuasa dari setiap himpunan, yang diurutkan berdasarkan inklusi dengan gabungan, irisan, dan komplemen, adalah aljabar Boolean, dan setiap aljabar Boolean hingga berbentuk seperti ini.