समपूरक जाली

ऑर्डर सिद्धांत के गणित अनुशासन में, पूरक जालक बंधी हुई जालक (क्रम) है | (कम से कम तत्व 0 और सबसे बड़ा तत्व 1), जिसमें प्रत्येक तत्व a का पूरक है | अर्थात तत्व b a ∨ b = 1 और a ∧ b = 0 है । पूरक अद्वितीय नहीं होना चाहिए।

अपेक्षाकृत पूरक जालक एक जालक है | जैसे कि प्रत्येक अंतराल (आंशिक क्रम) [c, d], जिसे अपने आप में बंधी हुई जालक के रूप में देखा जाता है | पूरक जालक है।

पूरक जालक पर ऑर्थोकोम्प्लीमेंटेशन इनवोल्यूशन (गणित) है | जो क्रम उलटना है और प्रत्येक तत्व को पूरक के रूप में मैप करता है। मॉड्यूलर जालक के अशक्त रूप को संतुष्ट करने वाली ऑर्थोकोम्प्लीमेंटेड जालक को ऑर्थोमॉड्यूलर जालक कहा जाता है।

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

ऑर्थोकम्प्लिमेंटेड लैटिस या ऑर्थोलैटिस बाउंडेड लैटिस है | जो ऑर्थोकोम्प्लिमेंटेशन से लैस

परिभाषा और मूलभूत गुण
पूरक जालक बंधी हुई जालक है | (कम से कम तत्व 0 और सबसे बड़ा तत्व 1 के साथ), जिसमें प्रत्येक तत्व a का पूरक है, अर्थात तत्व b ऐसा है कि
 * a ∨ b = 1     and   a ∧ b = 0।

सामान्यतः तत्व में एक से अधिक पूरक हो सकते हैं। चूँकि, वितरण जालक में प्रत्येक तत्व में अधिकतम पूरक होगा। जालक जिसमें प्रत्येक तत्व का सही पूरक होता है | विशिष्ट पूरक जालक कहलाता है | संपत्ति के साथ जालक जिसे प्रत्येक अंतराल ( उप-जाल के रूप में देखा जाता है) को पूरक किया जाता है | उसे अपेक्षाकृत पूरक जालक कहा जाता है। दूसरे शब्दों में, अपेक्षाकृत पूरक जालक की संपत्ति की विशेषता होती है कि अंतराल में प्रत्येक तत्व a के लिए [ c , d ] तत्व b होता है |
 * a ∨ b = d     and   a ∧ b = c।

ऐसे तत्व b को अंतराल के सापेक्ष a का पूरक कहा जाता है।

वितरण जालक को पूरक किया जाता है | यदि और केवल यदि यह बाध्य और अपेक्षाकृत पूरक हो । सदिश स्थान के सदिश उपस्थानों की जालक पूरक जालक का प्रत्येक कण प्रदान करती है | जो सामान्य रूप से वितरण नहीं है।

ऑर्थोकंप्लीमेंटेशन
बंधे हुए जालक पर ऑर्थोकोम्प्लिमेंटेशन ऐसा कार्य है | जो प्रत्येक तत्व a को ऑर्थोकोम्प्लीमेंट a⊥ से मैप करता है। इस तरह से कि निम्नलिखित स्वयंसिद्ध संतुष्ट होंते है |

पूरक नियम:

a⊥ ∨ a = 1 और a⊥ ∧ a = 0.

इन्वोल्यूशन लॉ:

a⊥⊥ = a.

ऑर्डर-रिवर्सिंग:

यदि a ≤ b तो b⊥ ≤ a⊥

ऑर्थोकम्प्लिमेंटेड लैटिस या ऑर्थोलैटिस बाउंडेड लैटिस है | जो ऑर्थोकोम्प्लिमेंटेशन से लैस है। आंतरिक उत्पाद स्थान के उप-स्थानों की जालक, और ऑर्थोगोनल पूरक संचालन, ऑर्थोकोम्प्लीमेंटेड जालक का उदाप्रत्येकण प्रदान करता है | जो सामान्य रूप से वितरण नहीं है।

बूलियन बीजगणित (संरचना) ऑर्थो कॉम्प्लिमेंटेड जालक की विशेष स्थिति है | जो बदले में पूरक जालक (अतिरिक्त संरचना के साथ) का विशेष स्थिति है। ऑर्थोलैटिस का उपयोग अधिकांशतः क्वांटम तर्क में किया जाता है | जहां पृथक स्थान हिल्बर्ट अंतरिक्ष के बंद सेट रेखीय उप-स्थान क्वांटम प्रस्तावों का प्रतिनिधित्व करते हैं और ऑर्थोकोम्प्लीमेंटेड जालक के रूप में व्यवहार करते हैं।

ऑर्थोकम्प्लीमेंटेड लैटिस, जैसे बूलियन बीजगणित, मॉर्गन के नियमों को पूरा करते हैं |


 * (a ∨ b)⊥ = a⊥ ∧ b⊥
 * (a ∧ b)⊥ = a⊥ ∨ b⊥.

ऑर्थोमॉड्यूलर लैटिस
जालक को मॉड्यूलर जालक कहा जाता है | यदि सभी तत्वों के लिए a, b और c सम्मिलित हैं |
 * यदि a ≤ c, तो a ∨ (b ∧ c) = (a ∨ b) ∧ c

यह वितरणात्मक जालक से अशक्त है; उदाहरण. ऊपर दिखाया गया जालक m3 मॉड्यूलर है | किन्तु वितरण नहीं है।

क्वांटम लॉजिक में अनुप्रयोगों के लिए आवश्यक ऑर्थोकोम्प्लीमेंटेड लैटिस के लिए इस स्थिति का एक और अशक्त होना, केवल विशेष स्थिति b = a में इसकी आवश्यकता है | ऑर्थोमॉड्यूलर जालक को ऑर्थोकोम्प्लीमेंटेड जालक के रूप में परिभाषित किया गया है | जैसे कि किसी भी दो तत्वों के लिए सम्मिलित है |
 * यदि a ≤ c, तो a ∨ (a⊥ ∧ c) = c

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

यह भी देखें

 * स्यूडोकंप्लीमेंटेड जालक