हेटिंग बीजगणित: Difference between revisions

Revision as of 19:04, 24 February 2023

गणित में, हेयटिंग बीजगणित (जिसे स्यूडो-बूलियन बीजगणित के रूप में भी जाना जाता है^[1]) बंधी हुई जाली है (जॉइन और मीट ऑपरेशंस लिखित ∨ और ∧ के साथ और कम से कम तत्व 0 और सबसे बड़ा तत्व 1 के साथ) बाइनरी ऑपरेशन a → b से सुसज्जित है,निहितार्थ इस प्रकार है कि (c ∧ a) ≤ b, c ≤ (a → b) के समतुल्य है। तार्किक दृष्टिकोण से, a → b इस परिभाषा के अनुसार सबसे कमजोर तर्कवाक्य है जिसके लिए मॉडस पोनेन्स, अनुमान नियम A → B, A ⊢ B, ध्वनि है।बूलियन बीजगणित की तरह, हेटिंग बीजगणित कई समीकरणों के साथ स्वयंसिद्ध भिन्नताएं बनाते हैं। अन्तर्ज्ञानवादी तर्क को औपचारिक बनाने के लिए हेटिंग अलजेब्रा की शुरुआत अरेंड्ट हैटिंग (1930) द्वारा की गई थी।

जाली के रूप में, हेटिंग बीजगणित वितरण कर रहे हैं प्रत्येक बूलियन बीजगणित हेटिंग बीजगणित है जब a → b को ¬a ∨ b के रूप में परिभाषित किया जाता है,जैसा कि प्रत्येक पूर्ण वितरण जाली एक तरफा अनंत वितरण नियम को संतुष्ट करता है जब a → b है सभी c के समुच्चय का सर्वोच्च माना जाता है जिसके लिए c ∧ a ≤ b। सीमित स्थितियों में, प्रत्येक गैर-खाली वितरण जाली, विशेष रूप से प्रत्येक गैर-खाली सीमित कुल आदेशया चेन्स, स्वचालित रूप से पूर्ण और पूरी तरह से वितरण योग्य है, और इसलिए विषम बीजगणित है।

यह परिभाषा से अनुसरण करता है कि 1 ≤ 0 → a, अंतर्ज्ञान के अनुरूप है कि कोई भी प्रस्ताव विरोधाभास 0 से निहित है। चूंकि नकारात्मक ऑपरेशन ¬a परिभाषा का हिस्सा नहीं है, यह a → 0 के रूप में परिभाषित है। सहज ज्ञान युक्त ¬a की सामग्री वह प्रस्ताव है जो मान लेने से विरोधाभास हो जाएगा। परिभाषा का तात्पर्य है कि a ∧ ¬a = 0. आगे यह दिखाया जा सकता है कि a ≤ ¬¬a, चूंकि इसका विलोम, ¬¬a ≤ a, सामान्य रूप से सत्य नहीं है, अर्थात, दोहरा निषेध उन्मूलन सामान्य रूप से मान्य नहीं है हेटिंग बीजगणित में।

हेटिंग बीजगणित बूलियन बीजगणित का सामान्यीकरण इस अर्थ में करते हैं कि बूलियन बीजगणित निश्चित रूप से हेटिंग बीजगणित हैं जो ∨ ¬a = 1 (मध्य को छोड़कर), समकक्ष ¬¬a = a को संतुष्ट करते हैं। हेटिंग बीजगणित एच के फॉर्म ¬a के वे तत्व बूलियन जाली सम्मिलित करते हैं, किन्तु सामान्यतः यह H का उपबीजगणित नहीं है (देखें या नियमित और पूरक तत्व)।

हेटिंग बीजगणित उसी तरह से प्रस्तावपरक अंतर्ज्ञानवादी तर्क के बीजगणितीय मॉडल के रूप में काम करते हैं जैसे बूलियन बीजगणित मॉडल प्रस्तावपरक मौलिक तर्क। प्राथमिक टोपोस का आंतरिक तर्क टर्मिनल वस्तु 1 के उप-वस्तु के हेटिंग बीजगणित पर आधारित होता है, जो समावेशन द्वारा आदेशित होता है, समकक्ष रूप से 1 से उपवस्तु वर्गीकरणकर्ता Ω तक।

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

प्रत्येक हेटिंग बीजगणित जिसके गैर-महानतम तत्वों के समुच्चय में सबसे बड़ा तत्व होता है (और और हेटिंग बीजगणित बनाता है) उप-प्रत्यक्ष रूप से अलघुकरणीय बीजगणित होता है, जहां से प्रत्येक हेटिंग बीजगणित को नए महानतम तत्व से जोड़कर उप-प्रत्यक्ष रूप से अलघुकरणीय बनाया जा सकता है। यह इस प्रकार है कि सीमित हेटिंग बीजगणितों में भी असीम रूप से कई ऐसे उपस्थित हैं जो उप-प्रत्यक्ष रूप से अलघुकरणीय हैं, जिनमें से दो में समान समीकरण सिद्धांत नहीं है। इसलिए सीमित हेटिंग बीजगणित का कोई सीमित समुच्चय हेटिंग बीजगणित के गैर-नियमों के लिए सभी प्रतिउदाहरणों की आपूर्ति नहीं कर सकता है। यह बूलियन बीजगणित के बिल्कुल विपरीत है, जिसका एकमात्र उप-प्रत्यक्ष रूप से अप्रासंगिक दो-तत्व वाला है, जो अपने दम पर बूलियन बीजगणित के गैर-नियमों के लिए सभी प्रति-उदाहरणों के लिए पर्याप्त है, जो सरल सत्य तालिका निर्णय पद्धति का आधार है। फिर भी, यह निर्णायकता (तर्क) है कि क्या समीकरण सभी हेटिंग बीजगणितों को धारण करता है।^[2]

हेयटिंग बीजगणित को अधिकांशतः छद्म-बूलियन बीजगणित कहा जाता है,^[3] या यहां तक कि ब्रोवर जाली,^[4] चूंकि बाद वाला शब्द दोहरी परिभाषा को निरूपित कर सकता है,^[5] या थोड़ा और सामान्य अर्थ है।^[6]

औपचारिक परिभाषा

हेटिंग बीजगणित एच जाली (आदेश) या आंशिक रूप से आदेशित समुच्चय के रूप में है कि एच में सभी ए और बी के लिए एच का सबसे बड़ा तत्व एक्स है जैसे कि

a\wedge x\leq b.

यह तत्व बी के संबंध में ए का सापेक्ष छद्म-पूरक है, और इसे a→b के रूप में दर्शाया गया है। हम क्रमशः H के सबसे बड़े और सबसे छोटे अवयव के लिए 1 और 0 लिखते हैं।

किसी भी हेटिंग बीजगणित में, कोई व्यक्ति ¬a = (a→0) समुच्चय करके किसी भी तत्व a के छद्म-पूरक ¬a को परिभाषित करता है। परिभाषा से, $a\wedge \lnot a=0$ , और ¬a इस गुण वाला सबसे बड़ा तत्व है। चूँकि, यह सामान्य रूप से सच नहीं है $a\vee \lnot a=1$ , इस प्रकार ¬ केवल छद्म पूरक है, वास्तविक पूरक (समुच्चय सिद्धांत) नहीं है, जैसा कि बूलियन बीजगणित में होता है।

पूर्ण हेटिंग बीजगणित हेटिंग बीजगणित है जो पूर्ण जाली है।

एक हेटिंग बीजगणित H का उपलजगणित उपसमुच्चय H है₁ H का जिसमें 0 और 1 है और संचालन ∧, ∨ और → के अनुसार बंद है। यह इस प्रकार है कि यह भी ¬ के अनुसार बंद है। प्रेरित संक्रियाओं द्वारा उपबीजगणित को हेयटिंग बीजगणित में बनाया जाता है।

वैकल्पिक परिभाषाएँ

श्रेणी-सैद्धांतिक परिभाषा

हेटिंग बीजगणित $H$ बंधी हुई जाली है जिसमें सभी घातीय वस्तुएँ हैं।

जाली $H$ श्रेणी (गणित) के रूप में माना जाता है जहाँ

मिलना, $\wedge$ , उत्पाद (श्रेणी सिद्धांत) है। घातीय स्थिति का अर्थ है कि किसी भी वस्तु के लिए $Y$ और $Z$ में $H$ घातीय $Z^{Y}$ विशिष्ट रूप से वस्तु के रूप में उपस्थित है $H$ .

हेटिंग निहितार्थ (अधिकांशतः उपयोग करके लिखा जाता है $\Rightarrow$ या $\multimap$ उपयोग जैसे भ्रम से बचने के लिए $\to$ ऑपरेटर को इंगित करने के लिए) केवल घातीय है: $Y\Rightarrow Z$ के लिए वैकल्पिक संकेतन है $Z^{Y}$ . घातीयों की परिभाषा से हमारे पास वह निहितार्थ है ( $\Rightarrow :H\times H\to H$ ) मिलने के लिए दायाँ सन्निकट है ( $\wedge :H\times H\to H$ ). इस संयोजन को इस प्रकार लिखा जा सकता है $(-\wedge Y)\dashv (Y\Rightarrow -)$ या अधिक पूरी तरह से:

(-\wedge Y):H{\stackrel {\longrightarrow }{\underset {\longleftarrow }{\top }}}H:(Y\Rightarrow -)

जाली-सैद्धांतिक परिभाषाएँ

मानचित्रण पर विचार करके हेटिंग बीजगणित की समकक्ष परिभाषा दी जा सकती है:

{\begin{cases}f_{a}\colon H\to H\\f_{a}(x)=a\wedge x\end{cases}}

एच में कुछ निश्चित के लिए। बंधी हुई जाली h हेटिंग बीजगणित है यदि और केवल यदि हर मानचित्रण f_a एक लय गाल्वा कनेक्शन का निचला भाग है। इस स्थितियों में संबंधित ऊपरी संलग्न g_a द्वारा दिया जाता है g_a(x) = a→x, जहाँ → ऊपर के रूप में परिभाषित किया गया है।

फिर भी और परिभाषा अवशिष्ट जाली के रूप में है जिसका मोनोइड ऑपरेशन ∧ है। मोनॉइड इकाई तब शीर्ष तत्व 1 होना चाहिए। इस मोनॉइड की क्रमविनिमेयता का अर्थ है कि दो अवशेष a → b के रूप में मेल खाते हैं।

निहितार्थ संक्रिया के साथ परिबद्ध जालक

सबसे बड़े और सबसे छोटे तत्वों 1 और 0, और बाइनरी ऑपरेशन → के साथ बंधी हुई जाली ए को देखते हुए, ये साथ हेटिंग बीजगणित बनाते हैं यदि और केवल यदि निम्नलिखित हो:

$a\to a=1$
$a \land (a$

[1]

[2]

[3]

[4]

[5]

[6]

@@ Line 244: / Line 244: @@
 # H में प्रत्येक x पूरक है।<ref>Rutherford (1965), Th.26.1 p.78.</ref>
 इस स्थितियों में, तत्व {{nowrap|1=''a''→''b''}} के बराबर है {{nowrap|1=¬''a'' ∨ ''b''.}}
 <li>
@@ Line 270: / Line 263: @@
 स्थिति 2 अन्य डी मॉर्गन नियम है। स्थिति 6 कहती है कि H के नियमित तत्वों के बूलियन बीजगणित H<sub>reg</sub> पर जुड़ने का ऑपरेशन ''H''<sub>reg</sub> = ''H''<sub>comp</sub> है H के स्थिति 7 के ऑपरेशन के साथ संयोग करता है
+हम समानता सिद्ध करते हैं। स्पष्ट रूप से मेटानिहितार्थ {{nowrap|1 ⇒ 2,}} {{nowrap|2 ⇒ 3}} और {{nowrap|4 ⇒ 5}} तुच्छ हैं। आगे, {{nowrap|3 ⇔ 4}} और {{nowrap|5 ⇔ 6}} केवल पहले डी मॉर्गन नियम और नियमित तत्वों की परिभाषा से परिणाम। हम वह दिखाते हैं {{nowrap|6 ⇒ 7}} 6 में x और y के स्थान पर ¬x और ¬¬x लेकर और सर्वसमिका का उपयोग करके {{nowrap|''a'' &and; ¬''a'' {{=}} 0.}} नोटिस जो {{nowrap|2 ⇒ 1}} पहले डी मॉर्गन नियम से अनुसरण करता है, और {{nowrap|7 ⇒ 6}} इस तथ्य के परिणाम हैं कि उपबीजगणित H<sub>comp</sub> पर जॉइन ऑपरेशन ∨ केवल H<sub>comp</sub> के लिए v का प्रतिबंध है हमने 6 और 7 की शर्तों के बारे में बताए गए लक्षणों को ध्यान में रखते हुए मेटानिहितार्थ 5 ⇒ 2 कमजोर डे मॉर्गन कानून का एक तुच्छ परिणाम है, जो 5 में x और y के स्थान पर andx और yy ले रहा है।
-<li>
-<li>हम समानता सिद्ध करते हैं। स्पष्ट रूप से मेटानिहितार्थ {{nowrap|1 ⇒ 2,}} {{nowrap|2 ⇒ 3}} और {{nowrap|4 ⇒ 5}} तुच्छ हैं। आगे, {{nowrap|3 ⇔ 4}} और {{nowrap|5 ⇔ 6}} केवल पहले डी मॉर्गन नियम और नियमित तत्वों की परिभाषा से परिणाम। हम वह दिखाते हैं {{nowrap|6 ⇒ 7}} 6 में x और y के स्थान पर ¬x और ¬¬x लेकर और सर्वसमिका का उपयोग करके {{nowrap|''a'' &and; ¬''a'' {{=}} 0.}} नोटिस जो {{nowrap|2 ⇒ 1}} पहले डी मॉर्गन नियम से अनुसरण करता है, और {{nowrap|7 ⇒ 6}} इस तथ्य के परिणाम हैं कि उपबीजगणित H<sub>comp</sub> पर जॉइन ऑपरेशन ∨ केवल H<sub>comp</sub> के लिए v का प्रतिबंध है हमने 6 और 7 की शर्तों के बारे में बताए गए लक्षणों को ध्यान में रखते हुए मेटानिहितार्थ 5 ⇒ 2 कमजोर डे मॉर्गन कानून का एक तुच्छ परिणाम है, जो 5 में x और y के स्थान पर andx और yy ले रहा है।
@@ Line 373: / Line 363: @@
 हर हेटिंग बीजगणित {{math|''H''}} परिबद्ध उदात्तीकरण के लिए स्वाभाविक रूप से समरूपी है {{math|''L''}} टोपोलॉजिकल स्पेस के खुले समुच्चय {{math|''X''}}, जहां निहितार्थ <math>U\to V</math> का {{math|''L''}} के आंतरिक भाग द्वारा दिया गया है <math>(X\setminus U)\cup V</math>.
+ज्यादा ठीक से, {{math|''X''}} बंधी हुई जाली {{math|''H''}} के प्रमुख [[आदर्श (आदेश सिद्धांत)]] का [[वर्णक्रमीय स्थान]] है और {{math|''L''}}, {{math|''X''}} के खुले और अर्ध-कॉम्पैक्ट उपसमुच्चय की जाली है अधिक सामान्यतः, हेटिंग बीजगणित की श्रेणी हेटिंग स्पेस की श्रेणी के बराबर है।<ref>see section 8.3 in * {{cite book | last1=Dickmann | first1=Max | last2=Schwartz | first2= Niels | last3=Tressl | first3= Marcus | title=Spectral Spaces| doi=10.1017/9781316543870 | year=2019 | publisher=[[Cambridge University Press]] | series=New Mathematical Monographs | volume=35 | location=Cambridge | isbn=9781107146723 | s2cid=201542298 }} </ref> इस द्वैत को हेयटिंग बीजगणित के (गैर-पूर्ण) उपश्रेणी के लिए बाध्य वितरणात्मक लैटिस के मौलिक स्टोन द्वैत के प्रतिबंध के रूप में देखा जा सकता है। वैकल्पिक रूप से, हेटिंग बीजगणित की श्रेणी एसाकिया रिक्त स्थान की श्रेणी के बराबर है। इसे [[एसकिया द्वैत]] कहते हैं।
-<li>
-<li>ज्यादा ठीक से, {{math|''X''}} बंधी हुई जाली {{math|''H''}} के प्रमुख [[आदर्श (आदेश सिद्धांत)]] का [[वर्णक्रमीय स्थान]] है और {{math|''L''}}, {{math|''X''}} के खुले और अर्ध-कॉम्पैक्ट उपसमुच्चय की जाली है .
-<li>
-<li>अधिक सामान्यतः, हेटिंग बीजगणित की श्रेणी
 <li>
-<li>हेटिंग स्पेस की श्रेणी के बराबर है।<ref>see section 8.3 in * {{cite book | last1=Dickmann | first1=Max | last2=Schwartz | first2= Niels | last3=Tressl | first3= Marcus | title=Spectral Spaces| doi=10.1017/9781316543870 | year=2019 | publisher=[[Cambridge University Press]] | series=New Mathematical Monographs | volume=35 | location=Cambridge | isbn=9781107146723 | s2cid=201542298 }} </ref> इस द्वैत को हेयटिंग बीजगणित के (गैर-पूर्ण) उपश्रेणी के लिए बाध्य वितरणात्मक लैटिस के मौलिक स्टोन द्वैत के प्रतिबंध के रूप में देखा जा सकता है।
-<li>
-<li>वैकल्पिक रूप से, हेटिंग बीजगणित की श्रेणी एसाकिया रिक्त स्थान की श्रेणी के बराबर है। इसे [[एसकिया द्वैत]] कहते हैं।
 ==टिप्पणियाँ==
 {{Reflist}}

Anonymous

Search

हेटिंग बीजगणित: Difference between revisions

Namespaces

More

Page actions