लैटिस और बूलियन बीजगणित

एक लैटिस एक क्रमबद्ध समुच्चय होता है जिसमें तत्वों के प्रत्येक युग्म का एक न्यूनतम ऊपरी परिबंध और एक अधिकतम निचला परिबंध होता है, और एक बूलियन बीजगणित एक पूरक वितरणात्मक लैटिस होता है जो तर्क और समुच्चयों के बीजगणित का प्रतिरूपण करता है।

Definition

एक लैटिस एक आंशिक रूप से क्रमबद्ध समुच्चय होता है जिसमें किन्हीं भी दो तत्वों का एक जॉइन और एक मीट होता है; एक बूलियन बीजगणित न्यूनतम और अधिकतम तत्वों वाला एक वितरणात्मक लैटिस होता है जिसमें प्रत्येक तत्व का एक पूरक होता है।

Scope

यह विषय लैटिस को दोहरी क्रम-सैद्धांतिक और बीजगणितीय संरचनाओं, जॉइन और मीट संक्रियाओं, वितरणात्मक और मॉड्यूलर लैटिस, पूरक, और उनके प्रतिनिधित्व सिद्धांत के साथ बूलियन बीजगणित के रूप में मानता है। इसमें परिमित वितरणात्मक लैटिस का बिर्कहॉफ प्रतिनिधित्व और बूलियन बीजगणित का स्टोन प्रतिनिधित्व शामिल है, जो क्रम, बीजगणित और टोपोलॉजी को जोड़ता है।

Core questions

• युग्मों के सुप्रीमम और इनफिमम कब मौजूद होते हैं, और वे किन नियमों का पालन करते हैं?
• कौन से लैटिस वितरणात्मक या मॉड्यूलर होते हैं, और उन्हें कैसे चित्रित किया जाता है?
• परिमित वितरणात्मक लैटिस को क्रम आदर्शों के समुच्चयों द्वारा कैसे दर्शाया जाता है?
• बूलियन बीजगणित प्रस्तावों के तर्क और समुच्चयों के बीजगणित को कैसे औपचारिक रूप देते हैं?

Key concepts

• जॉइन और मीट
• परिबद्ध, पूर्ण और पूरक लैटिस
• वितरणात्मक और मॉड्यूलर लैटिस
• बूलियन बीजगणित
• बिर्कहॉफ प्रतिनिधित्व
• स्टोन प्रतिनिधित्व

Key theories

बिर्कहॉफ का प्रतिनिधित्व प्रमेय

प्रत्येक परिमित वितरणात्मक लैटिस अपने जॉइन-अघुलनशील तत्वों के पोसेट के डाउन-सेट के लैटिस के लिए समरूपी होता है, जो परिमित वितरणात्मक लैटिस का एक पूर्ण और ठोस विवरण देता है।

स्टोन का प्रतिनिधित्व प्रमेय

प्रत्येक बूलियन बीजगणित समुच्चयों के एक क्षेत्र के लिए समरूपी होता है, और प्रत्येक परिमित बूलियन बीजगणित एक परिमित समुच्चय के घात समुच्चय के लिए समरूपी होता है, जो ठोस समुच्चय संक्रियाओं में तर्क के अमूर्त बीजगणित को आधार प्रदान करता है।

Clinical relevance

बूलियन बीजगणित डिजिटल लॉजिक सर्किट, प्रस्तावात्मक तर्क और समुच्चय संक्रियाओं का प्रतिरूपण करते हैं, जबकि लैटिस प्रकार पदानुक्रम, अभिगम नियंत्रण में सुरक्षा स्तर और औपचारिक अवधारणा विश्लेषण के बंद समुच्चयों को संरचित करते हैं।

History

बूल का 1854 का तर्क का बीजगणित, बिर्कहॉफ का 1930 के दशक का लैटिस सिद्धांत, और स्टोन का 1936 का प्रतिनिधित्व प्रमेय ने मिलकर क्रम और तर्क के आधुनिक बीजगणितीय सिद्धांत की स्थापना की।

Key figures

• George Boole
• Garrett Birkhoff
• Marshall Stone

Seminal works

• davey2002

Frequently asked questions

क्या प्रत्येक लैटिस वितरणात्मक होता है?

नहीं; सबसे छोटे गैर-वितरणात्मक लैटिस डायमंड और पेंटागन हैं, और एक लैटिस ठीक तभी वितरणात्मक होता है जब उसमें उप-लैटिस के रूप में इनमें से कोई भी शामिल न हो।

बूलियन बीजगणित समुच्चय सिद्धांत से कैसे संबंधित है?

किसी भी समुच्चय का घात समुच्चय, संघ, प्रतिच्छेदन और पूरक के साथ समावेशन द्वारा क्रमबद्ध, एक बूलियन बीजगणित होता है, और प्रत्येक परिमित बूलियन बीजगणित इसी रूप का होता है।