तार्किक आव्यूह: Difference between revisions

From Vigyanwiki
No edit summary
No edit summary
 
(4 intermediate revisions by 4 users not shown)
Line 14: Line 14:


=== उदाहरण ===
=== उदाहरण ===
समुच्चय पर द्विआधारी संबंध R {{nowrap|{1, 2, 3, 4}{{null}}}} को परिभाषित किया गया है ताकि aRb बिना शेष अवयव के सम्मुच्य के मानों को संरक्षित कर सके और केवल a b को समान रूप से [[ विभाजित |विभाजित]] कर सके। उदाहरण के लिए, 2R4 संरक्षित करता है क्योंकि 2 4 को विभाजित करता है और कोई शेषफल नहीं रहता है, लेकिन 3R4 संरक्षित नहीं करता है, क्योंकि जब 3 4 को विभाजित करता है तो 1 शेषफल रहता है। निम्नलिखित समुच्चय उन युग्मों का समुच्चय है जिनके लिए संबंध R संरक्षित करता है।
समुच्चय पर द्विआधारी संबंध R {{nowrap|{1, 2, 3, 4}{{null}}}} को परिभाषित किया गया है ताकि aRb बिना शेष अवयव के सम्मुच्य के मानों को संरक्षित कर सके और केवल a b को समान रूप से [[ विभाजित |विभाजित]] कर सके। उदाहरण के लिए, 2R4 संरक्षित करता है क्योंकि 2 4 को विभाजित करता है और कोई शेषफल नहीं रहता है, लेकिन 3R4 संरक्षित नहीं करता है, क्योंकि जब 3 4 को विभाजित करता है तो 1 शेषफल रहता है। निम्नलिखित समुच्चय उन युग्मों का समुच्चय है जिनके लिए संबंध R संरक्षित करता है। वह आव्यूह जिसकी विकर्ण पर सभी प्रविष्टियाँ 1 हैं, जबकि अन्य सभी प्रविष्टियाँ 0 हैं।
: {(1, 1), (1, 2), (1, 3), (1, 4), (2, 2), (2, 4), (3, 3), (4, 4)} .
: {(1, 1), (1, 2), (1, 3), (1, 4), (2, 2), (2, 4), (3, 3), (4, 4)} .
तार्किक आव्यूह के रूप में संबंधित प्रतिनिधित्व है
तार्किक आव्यूह के रूप में संबंधित प्रतिनिधित्व है
Line 28: Line 28:
== अन्य उदाहरण ==
== अन्य उदाहरण ==


* क्रमचय आव्यूह एक (0, 1)-आव्यूह है, जिसके सभी कॉलम और पंक्तियों में प्रत्येक में बिल्कुल एक शून्येतर तत्व होता है।
* क्रमचय आव्यूह एक (0, 1)-आव्यूह है, जिसके सभी स्तंभ और पंक्तियों में प्रत्येक में बिल्कुल एक शून्येतर तत्व होता है।
*एक [[ कोस्टास सरणी |कोस्टास सरणी]] क्रमचय आव्यूह का एक विशेष प्रकरण है।
*एक [[ कोस्टास सरणी |कोस्टास सरणी]] क्रमचय आव्यूह का एक विशेष प्रकरण है।
* [[ साहचर्य |साहचर्य]] और [[ परिमित ज्यामिति |परिमित ज्यामिति]] में एक [[ घटना मैट्रिक्स |अभिकल्प आव्यूह]] में बिंदुओं (या कोने) और ज्यामिति की रेखाओं, [[ ब्लॉक डिजाइन |ब्लॉक डिजाइन]] के ब्लॉक, या ग्राफ़ के किनारों (असतत गणित) के बीच अभिकल्पओं को इंगित करने के लिए होता है।
* [[ साहचर्य |साहचर्य]] और [[ परिमित ज्यामिति |परिमित ज्यामिति]] में एक [[ घटना मैट्रिक्स |अभिकल्प आव्यूह]] में बिंदुओं (या कोने) और ज्यामिति की रेखाओं, [[ ब्लॉक डिजाइन |ब्लॉक डिजाइन]] के ब्लॉक, या ग्राफ़ के किनारों (असतत गणित) के बीच अभिकल्पओं को इंगित करने के लिए होता है।
* विचरण के विश्लेषण में [[ डिजाइन मैट्रिक्स |डिजाइन आव्यूह]] एक (0, 1) आव्यूह है जिसमें निरंतर पंक्ति योग होते हैं।
* विचरण के विश्लेषण में [[ डिजाइन मैट्रिक्स |डिजाइन आव्यूह]] एक (0, 1) आव्यूह है जिसमें निरंतर पंक्ति योग होते हैं।
* तार्किक आव्यूह ग्राफ़ सिद्धांत में एक आसन्न आव्यूह का प्रतिनिधित्व कर सकता है: गैर-सममित आव्यूह [[ निर्देशित ग्राफ |निर्देशित ग्राफ]] के अनुरूप होते हैं, सममित आव्यूह संरक्षित ग्राफ़ (असतत गणित) के लिए होते हैं, और विकर्ण पर 1 एक लूप (ग्राफ़ सिद्धांत) से संबंधित शिखर होता है।
* तार्किक आव्यूह ग्राफ़ सिद्धांत में एक आसन्न आव्यूह का प्रतिनिधित्व कर सकता है: गैर-सममित आव्यूह [[ निर्देशित ग्राफ |निर्देशित ग्राफ]] के अनुरूप होते हैं, सममित आव्यूह संरक्षित ग्राफ़ (असतत गणित) के लिए होते हैं, और विकर्ण पर 1 एक लूप (ग्राफ़ सिद्धांत) से संबंधित शिखर होता है।
* एक सरल, अप्रत्यक्ष द्विदलीय ग्राफ का [[ सहखंडज मैट्रिक्स |सहखंडज आव्यूह]] (0, 1) आव्यूह है, और कोई भी (0, 1) आव्यूह इस तरह से उत्पन्न होता है।
* एक सरल, अप्रत्यक्ष द्विदलीय ग्राफ का [[ सहखंडज मैट्रिक्स |सहखंडज आव्यूह]] (0, 1) आव्यूह है, और साथ ही कोई भी (0, 1) आव्यूह इस तरह से उत्पन्न होता है।
* ''m'' [[ वर्ग मुक्त पूर्णांक |वर्ग मुक्त पूर्णांक]], n-'''स्मूथ नंबरों की सूची के प्रमुख कारकों''' को एक m × π(n) (0, 1)-आव्यूह के रूप में वर्णित किया जा सकता है, जहां π [[ प्राइम-काउंटिंग फंक्शन |प्राइम-काउंटिंग फंक्शन]] समारोह, और <sub>''ij''</sub> 1 है अगर और केवल अगर jth अभाज्य ith संख्या को विभाजित करता है। यह प्रतिनिधित्व द्विघात छलनी फैक्टरिंग एल्गोरिथम में उपयोगी है।
* ''m'' [[ वर्ग मुक्त पूर्णांक |वर्ग मुक्त पूर्णांक]], n-समतल नंबरों की सूची के प्रमुख कारकों को एक m × π(n) (0, 1) आव्यूह के रूप में वर्णित किया जा सकता है, जहां π [[ प्राइम-काउंटिंग फंक्शन |प्राइम-काउंटिंग फलन]], और ''a<sub>ij</sub>'' 1 है और jth अभाज्य ith संख्या को विभाजित करता है। यह प्रतिनिधित्व द्विघात पृथकरण फैक्टरिंग कलन विधि में उपयोगी है।
* केवल दो रंगों में [[ पिक्सेल |पिक्सेल]] वाले [[ रेखापुंज ग्राफिक्स |रेखापुंज ग्राफिक्स]] को (0, 1)-आव्यूह के रूप में दर्शाया जा सकता है जिसमें शून्य एक रंग के पिक्सेल का प्रतिनिधित्व करते हैं और दूसरे रंग के पिक्सेल का प्रतिनिधित्व करते हैं।
* केवल दो रंगों में [[ पिक्सेल |पिक्सेल]] वाले [[ रेखापुंज ग्राफिक्स |रेखापुंज ग्राफिक्स]] को (0, 1)-आव्यूह के रूप में दर्शाया जा सकता है जिसमें शून्य एक रंग के पिक्सेल का प्रतिनिधित्व करते हैं और दूसरे रंग के पिक्सेल का प्रतिनिधित्व करते हैं।
* गो (खेल) के खेल में खेल के नियमों की जांच के लिए एक बाइनरी आव्यूह का उपयोग किया जा सकता है।<ref>{{cite web |url=http://senseis.xmp.net/?BinMatrix |title=Binmatrix |date=February 8, 2013 |access-date=August 11, 2017 |first=Kjeld |last=Petersen}}</ref>
* गो (खेल) खेल में खेल के नियमों की जांच के लिए एक बाइनरी आव्यूह का उपयोग किया जा सकता है।<ref>{{cite web |url=http://senseis.xmp.net/?BinMatrix |title=Binmatrix |date=February 8, 2013 |access-date=August 11, 2017 |first=Kjeld |last=Petersen}}</ref>
*दो बिट्स के चार मानक तर्क, 2x2 तार्किक आव्यूह द्वारा रूपांतरित एक परिमित स्थैतिक संयंत्र का निर्माण करते हैं।




== कुछ गुण ==
== कुछ गुण ==
एक परिमित समुच्चय पर [[ समानता (गणित) |समानता (गणित)]] का आव्यूह प्रतिनिधित्व पहचान आव्यूह I है, अर्थात, वह आव्यूह जिसकी विकर्ण पर प्रविष्टियाँ सभी 1 हैं, जबकि अन्य सभी 0 हैं। अधिक सामान्यतः, यदि संबंध R संतुष्ट करता है {{nowrap|I ⊆ ''R'',}} तो R एक स्वतुल्य संबंध है।
परिमित समुच्चय पर [[ समानता (गणित) |समानता (गणित)]] संबंध का आव्यूह प्रतिनिधित्व पहचान एक आव्यूह है, अर्थात वह आव्यूह जिसकी विकर्ण पर सभी प्रविष्टियाँ 1 हैं, जबकि अन्य सभी प्रविष्टियाँ 0 हैं। यदि संबंध R {{nowrap|⊆ ''R'',}} संतुष्ट करता है  तो सामान्यतः R एक अधिक स्वतुल्य संबंध है।


यदि बूलियन डोमेन को [[ मोटी हो जाओ |मोटी हो जाओ]] के रूप में देखा जाता है, जहां योग तार्किक OR और गुणा तार्किक AND से मेल खाता है, तो दो संबंधों के संबंधों की संरचना का आव्यूह प्रतिनिधित्व इन संबंधों के आव्यूह प्रतिनिधित्व के [[ मैट्रिक्स उत्पाद |आव्यूह उत्पाद]] के बराबर होता है।
यदि बूलियन डोमेन को [[ मोटी हो जाओ |अंशपरिष्कृत]] के रूप में देखा जाता है, जहां योग तार्किक OR और गुणा तार्किक AND से समानता रखता है, तो दो संबंधों की संरचना का आव्यूह प्रतिनिधित्व इन संबंधों के आव्यूह प्रतिनिधित्व के [[ मैट्रिक्स उत्पाद |आव्यूह उत्पाद]] के बराबर होता है।
इस उत्पाद की गणना अपेक्षित मान समय O(n<sup>2</sup>).<ref>{{cite journal| author=Patrick E. O'Neil | author2= Elizabeth J. O'Neil|author2-link=Elizabeth O'Neil| title=A Fast Expected Time Algorithm for Boolean Matrix Multiplication and Transitive Closure| journal=[[Information and Control]]| year=1973| volume=22| issue=2 |pages=132–138| doi=10.1016/s0019-9958(73)90228-3| doi-access=free}} &mdash; The algorithm relies on addition being [[idempotent]], cf. p.134 (bottom).</ref>
अक्सर, बाइनरी आव्यूह पर संचालन को [[ मॉड्यूलर अंकगणित |मॉड्यूलर अंकगणित]] ीय मॉड 2 के संदर्भ में परिभाषित किया जाता है-अर्थात, तत्वों को गैलोज़ क्षेत्र के तत्वों के रूप में माना जाता है। {{nowrap|1='''GF'''(2) = ℤ<sub>2</sub>}}. वे विभिन्न प्रकार के अभ्यावेदन में उत्पन्न होते हैं और कई अधिक प्रतिबंधित विशेष रूप होते हैं। उन्हें लागू किया जाता है उदा। [[ XOR-संतुष्टि |XOR-संतुष्टि]] में।<!---more links to applications should go here--->
विशिष्ट एम-बाय-एन बाइनरी आव्यूह की संख्या 2 के बराबर है<sup>एमएन</sup>, और इस प्रकार परिमित है।


== जाली ==
इस उत्पाद की गणना अपेक्षित मान समय O(n<sup>2</sup>)<ref>{{cite journal| author=Patrick E. O'Neil | author2= Elizabeth J. O'Neil|author2-link=Elizabeth O'Neil| title=A Fast Expected Time Algorithm for Boolean Matrix Multiplication and Transitive Closure| journal=[[Information and Control]]| year=1973| volume=22| issue=2 |pages=132–138| doi=10.1016/s0019-9958(73)90228-3| doi-access=free}} &mdash; The algorithm relies on addition being [[idempotent]], cf. p.134 (bottom).</ref> प्रायः, बाइनरी आव्यूह पर संचालन को [[ मॉड्यूलर अंकगणित |मॉड्यूलर अंकगणित]] मॉड 2 के संदर्भ में परिभाषित किया जाता है अर्थात, तत्वों को गैलोज़ क्षेत्र {{nowrap|1='''GF'''(2) = ℤ<sub>2</sub>}} के रूप में माना जाता है। वे विभिन्न प्रकार के अभ्यावेदन में उत्पन्न होते हैं और कई अधिक प्रतिबंधित विशेष रूप होते हैं। उन्हें [[ XOR-संतुष्टि |XOR-प्रणाली]] में लागू किया जाता है।<!---more links to applications should go here---> विशिष्ट ''m''-by-''n'' इस प्रकार परिमित है और बाइनरी आव्यूह की संख्या 2<sup>''mn''</sup> के बराबर है।
मान लीजिए कि n और m दिए गए हैं और U सभी तार्किक m × n आव्यूहों के समुच्चय को निरूपित करता है। तब U द्वारा दिया गया आंशिक क्रम है
 
== नियम ==
मान लीजिए कि n और m दिए गए हैं और U सभी तार्किक m × n आव्यूहों के समुच्चय को निरूपित करता है। तब U द्वारा दिया गया आंशिक क्रम निम्नलिखित है,
:<math>\forall A,B \in U, \quad A \leq B \quad \text{when} \quad \forall i,j \quad A_{ij} = 1 \implies B_{ij} = 1 .</math>
:<math>\forall A,B \in U, \quad A \leq B \quad \text{when} \quad \forall i,j \quad A_{ij} = 1 \implies B_{ij} = 1 .</math>
वास्तव में, यू संचालन के साथ एक [[ बूलियन बीजगणित |बूलियन बीजगणित]] बनाता है [[ और (तर्क) |और (तर्क)]] और [[ या (तर्क) |या (तर्क)]] दो आव्यूह के बीच घटक-वार लागू होता है। एक तार्किक आव्यूह का पूरक सभी शून्य और उनके विपरीत के लिए अदला-बदली करके प्राप्त किया जाता है।
वास्तव में, U संचालन के साथ एक [[ बूलियन बीजगणित |बूलियन बीजगणित]] बनाता है। [[ और (तर्क) |AND (तर्क)]] और [[ या (तर्क) |OR (तर्क)]] दो आव्यूह के बीच क्रमवार लागू होता है। एक तार्किक आव्यूह का पूरक सभी शून्य और उनके विपरीत के लिए स्थानांतरण करके प्राप्त किया जाता है।
 
हर तार्किक आव्यूह {{nowrap|1=''A'' = ( ''A'' <sub>''i'' ''j''</sub> )}} एक स्थानान्तरण {{nowrap|1=''A''<sup>T</sup> = ( ''A'' <sub>''j'' ''i''</sub> ).}} है। मान लीजिए A एक तार्किक आव्यूह है जिसमें कोई स्तंभ या पंक्तियाँ समान रूप से शून्य नहीं हैं। फिर आव्यूह उत्पाद, बूलियन अंकगणित का उपयोग करते हुए, <math>A^{\operatorname{T}}A</math> पहचान आव्यूह  ''m'' × ''m'', और <math>AA^{\operatorname{T}}</math> उत्पाद पहचान आव्यूह n × n सम्मिलित है।


हर तार्किक आव्यूह {{nowrap|1=''A'' = ( ''A'' <sub>''i'' ''j''</sub> )}} एक स्थानान्तरण है {{nowrap|1=''A''<sup>T</sup> = ( ''A'' <sub>''j'' ''i''</sub> ).}} मान लीजिए A एक तार्किक आव्यूह है जिसमें कोई कॉलम या पंक्तियाँ समान रूप से शून्य नहीं हैं। फिर आव्यूह उत्पाद, बूलियन अंकगणित का उपयोग करते हुए, <math>A^{\operatorname{T}}A</math> एम × एम पहचान आव्यूह, और उत्पाद सम्मिलित है <math>AA^{\operatorname{T}}</math> n × n पहचान सम्मिलित है।
एक गणितीय संरचना के रूप में, बूलियन बीजगणित U [[ समावेशन (तर्क) |समावेशन (तर्क)]] द्वारा आदेशित एक नियम (क्रम) बनाता है; इसके अतिरिक्त यह आव्यूह गुणन के कारण गुणक नियम के रूप में संदर्भित किया जा सकता है।


एक गणितीय संरचना के रूप में, बूलियन बीजगणित यू [[ समावेशन (तर्क) |समावेशन (तर्क)]] द्वारा आदेशित एक जाली (क्रम) बनाता है; इसके अतिरिक्त यह आव्यूह गुणन के कारण गुणक जाली है।
U में प्रत्येक तार्किक आव्यूह एक द्विआधारी संबंध से समानता रखता है। U पर ये सूचीबद्ध संचालन, और क्रमबद्ध, एक बीजगणितीय तर्क संबंधों की गणना के अनुरूप है, जहां आव्यूह गुणन संबंधों की संरचना का प्रतिनिधित्व करता है। वास्तव में, U संचालन के साथ एक [[ बूलियन बीजगणित |बूलियन बीजगणित]] बनाता है।<ref>[[Irving Copilowish]] (December 1948). "Matrix development of the calculus of relations", [[Journal of Symbolic Logic]] 13(4): 193–203 [https://www.jstor.org/stable/2267134?seq=1#page_scan_tab_contents Jstor link]</ref>


U में प्रत्येक तार्किक आव्यूह एक द्विआधारी संबंध से मेल खाता है। यू पर ये सूचीबद्ध संचालन, और ऑर्डरिंग, एक बीजगणितीय तर्क # संबंधों की गणना के अनुरूप है, जहां आव्यूह गुणन संबंधों की संरचना का प्रतिनिधित्व करता है।<ref>[[Irving Copilowish]] (December 1948). "Matrix development of the calculus of relations", [[Journal of Symbolic Logic]] 13(4): 193–203 [https://www.jstor.org/stable/2267134?seq=1#page_scan_tab_contents Jstor link]</ref>




== तार्किक वैक्टर ==
== तार्किक सदिश ==
अगर एम या एन एक के बराबर है, तो एम × एन लॉजिकल आव्यूह (एम<sub>''ij''</sub>) एक तार्किक वेक्टर है। यदि m = 1, सदिश एक पंक्ति सदिश है, और यदि n = 1, यह एक स्तंभ सदिश है। किसी भी मामले में सूचकांक के बराबर एक को वेक्टर के निरूपण से हटा दिया जाता है।
यदि ''m'' या ''n'' एक के बराबर है, तो ''m'' × ''n'' तार्किक आव्यूह (''m<sub>ij</sub>'') एक तार्किक सदिश है। यदि m = 1, एक पंक्ति सदिश है, और यदि n = 1, यह एक स्तंभ सदिश है तो किसी भी प्रकरण में सूचकांक के बराबर एक को सदिश के निरूपण से हटा दिया जाता है।


मान लीजिए <math>(P_i),\ i = 1, 2, \ldots, m</math> और <math>(Q_j),\ j = 1, 2, \ldots, n</math> दो तार्किक वैक्टर हैं। P और Q के [[ बाहरी उत्पाद |बाहरी उत्पाद]] का परिणाम m × n [[ आयताकार संबंध |आयताकार संबंध]] होता है
मान लीजिए <math>(P_i),\ i = 1, 2, \ldots, m</math> और <math>(Q_j),\ j = 1, 2, \ldots, n</math> दो तार्किक सदिश हैं। P और Q के [[ बाहरी उत्पाद |बाहरी उत्पाद]] का परिणाम m × n [[ आयताकार संबंध |आयताकार संबंध]] होता है,
:<math>M_{ij} = P_i \land Q_j.</math>
:<math>M_{ij} = P_i \land Q_j.</math>
ऐसे आव्यूह की पंक्तियों और स्तंभों का पुन: क्रम सभी को आव्यूह के एक आयताकार भाग में इकट्ठा कर सकता है।<ref name=GS>{{cite book | doi=10.1017/CBO9780511778810 | isbn=9780511778810 | author=Gunther Schmidt | page=91 | title=Relational Mathematics | chapter=6: Relations and Vectors | publisher=Cambridge University Press | year=2013 | author-link=Gunther Schmidt }}</ref>
ऐसे आव्यूह की पंक्तियों और स्तंभों का पुन: क्रम सभी को आव्यूह के एक आयताकार भाग में एकत्र कर सकता है।<ref name=GS>{{cite book | doi=10.1017/CBO9780511778810 | isbn=9780511778810 | author=Gunther Schmidt | page=91 | title=Relational Mathematics | chapter=6: Relations and Vectors | publisher=Cambridge University Press | year=2013 | author-link=Gunther Schmidt }}</ref>
मान लीजिए h सभी का सदिश है। तब यदि v एक स्वेच्छ तार्किक सदिश है, तो संबंध R = v h<sup>T</sup> में v द्वारा निर्धारित स्थिर पंक्तियाँ हैं। [[ संबंधों की गणना |संबंधों की गणना]] में ऐसे R को सदिश कहा जाता है।<ref name=GS/>एक विशेष उदाहरण सार्वभौमिक संबंध है <math>hh^{\operatorname{T}}</math>.
 
मान लीजिए h सभी का सदिश है। तब यदि v एक स्वेच्छ तार्किक सदिश है, तो संबंध R = v h<sup>T</sup> में v द्वारा निर्धारित स्थिर पंक्तियाँ हैं। [[ संबंधों की गणना |संबंधों की गणना]] में ऐसे R को सदिश कहा जाता है।<ref name="GS" />एक विशेष उदाहरण में सार्वभौमिक संबंध <math>hh^{\operatorname{T}}</math> है।


किसी दिए गए संबंध R के लिए, R में निहित एक अधिकतम आयताकार संबंध को R में एक अवसंरक्षिता कहा जाता है। संबंधों को अवसंरक्षिताओं में विघटित करके अध्ययन किया जा सकता है, और फिर विषम संबंध # प्रेरित अवसंरक्षिता जाली को ध्यान में रखते हुए।
किसी दिए गए संबंध R के लिए, R में निहित एक अधिकतम आयताकार संबंध को R में एक अवसंरक्षिता कहा जाता है। संबंधों को अवसंरक्षिताओं में विघटित करके अध्ययन किया जा सकता है, और फिर विषम संबंध प्रेरित अवसंरक्षिता नियम को ध्यान में रखते हुए प्रयोग किया जाता है।


{{Group-like structures}}
{{Group-like structures}}
समूह-जैसी संरचनाओं की तालिका पर विचार करें, जहाँ अनावश्यक को 0 से निरूपित किया जा सकता है, और आवश्यक को 1 से निरूपित किया जाता है, जिससे एक तार्किक आव्यूह R बनता है। के तत्वों की गणना करने के लिए <math>RR^{\operatorname{T}}</math>, इस आव्यूह की पंक्तियों में तार्किक वैक्टर के जोड़े के तार्किक आंतरिक उत्पाद का उपयोग करना आवश्यक है। यदि यह आंतरिक उत्पाद 0 है, तो पंक्तियाँ ओर्थोगोनल हैं। वास्तव में, [[ semigroup |semigroup]] लूप (बीजगणित) के लिए ऑर्थोगोनल है, [[ छोटी श्रेणी |छोटी श्रेणी]] अर्धसमूह के लिए ऑर्थोगोनल है, और [[ groupoid |groupoid]] [[ मेग्मा |मेग्मा]] के लिए ऑर्थोगोनल है। नतीजतन में शून्य हैं <math>RR^{\operatorname{T}}</math>, और यह एक [[ सार्वभौमिक संबंध |सार्वभौमिक संबंध]] बनने में विफल रहता है।
समूह-जैसी संरचनाओं की तालिका पर विचार करें, जहाँ अनावश्यक मान को 0 से निरूपित किया जा सकता है, और आवश्यक मान को 1 से निरूपित किया जाता है, जिससे एक तार्किक आव्यूह R बनता है। जिसके तत्वों की गणना करने के लिए <math>RR^{\operatorname{T}}</math>, इस आव्यूह की पंक्तियों में तार्किक सदिश के जोड़े के तार्किक आंतरिक उत्पाद का उपयोग करना आवश्यक है। यदि यह आंतरिक उत्पाद 0 है, तो पंक्तियाँ लांबिक विश्लेषण हैं। यदि ''m'' या ''n'' एक के बराबर है, तो ''m'' × ''n'' तार्किक आव्यूह (''m<sub>ij</sub>'') एक तार्किक सदिश है। वास्तव में, [[ semigroup |सममित समूह]] लूप (बीजगणित) के लिए लांबिक विश्लेषण है, [[ छोटी श्रेणी |छोटी श्रेणी]] अर्धसमूह के लिए लांबिक विश्लेषण है, और [[ groupoid |समूह भाग]] [[ मेग्मा |मेग्मा]] के लिए लांबिक विश्लेषण है। नतीजतन <math>RR^{\operatorname{T}}</math> शून्य हैं, और यह एक [[ सार्वभौमिक संबंध |सार्वभौमिक संबंध]] बनने में विफल रहता है।


== पंक्ति और स्तंभ योग ==
== पंक्ति और स्तंभ योग ==
तार्किक आव्यूह में सभी को जोड़ना दो तरीकों से पूरा किया जा सकता है: पहले पंक्तियों का योग या पहले स्तंभों का योग। जब पंक्ति योग जोड़े जाते हैं, तो योग वही होता है जब स्तंभ योग जोड़े जाते हैं। [[ घटना ज्यामिति |अभिकल्प ज्यामिति]] में, आव्यूह को एक अभिकल्प आव्यूह के रूप में व्याख्या की जाती है जिसमें पंक्तियों के साथ बिंदु और कॉलम ब्लॉक के रूप में होते हैं (बिंदुओं से बनी सामान्य रेखाएं)। एक पंक्ति योग को इसकी बिंदु डिग्री कहा जाता है, और एक स्तंभ योग को ब्लॉक डिग्री कहा जाता है। डिजाइन थ्योरी में प्रस्ताव 1.6<ref name=BJL>{{cite book |first1=Thomas |last1=Beth |first2=Dieter |last2=Jungnickel |author-link2=Dieter Jungnickel |first3=Hanfried |last3=Lenz |author-link3=Hanfried Lenz |title=Design Theory |publisher=[[Cambridge University Press]] |page=18 |year=1999 |edition=2nd |ISBN=978-0-521-44432-3}}</ref> कहते हैं कि बिंदु डिग्री का योग ब्लॉक डिग्री के योग के बराबर है।
तार्किक आव्यूह में सभी को जोड़ना दो तरीकों से पूरा किया जा सकता है: पहले पंक्तियों का योग या पहले स्तंभों का योग। जब पंक्ति योग जोड़े जाते हैं, तो योग वही होता है जितने स्तंभ योग जोड़े जाते हैं। [[ घटना ज्यामिति |अभिकल्प ज्यामिति]] में, आव्यूह को एक अभिकल्प आव्यूह के रूप में व्याख्या की जाती है जिसमें पंक्तियों के साथ बिंदु और स्तंभ ब्लॉक के रूप में होते हैं (बिंदुओं से बनी सामान्य रेखाएं)। एक पंक्ति योग को इसकी बिंदु डिग्री कहा जाता है, और एक स्तंभ योग को ब्लॉक डिग्री कहा जाता है। डिजाइन पद्धति में प्रस्ताव<ref name=BJL>{{cite book |first1=Thomas |last1=Beth |first2=Dieter |last2=Jungnickel |author-link2=Dieter Jungnickel |first3=Hanfried |last3=Lenz |author-link3=Hanfried Lenz |title=Design Theory |publisher=[[Cambridge University Press]] |page=18 |year=1999 |edition=2nd |ISBN=978-0-521-44432-3}}</ref> कहते हैं कि बिंदु डिग्री का योग ब्लॉक 1.6 डिग्री के योग के बराबर है।


क्षेत्र में एक प्रारंभिक समस्या दी गई बिंदु डिग्री और ब्लॉक डिग्री (या आव्यूह भाषा में, (0, 1)-आव्यूह प्रकार v × b के अस्तित्व के लिए एक [[ घटना संरचना |अभिकल्प संरचना]] के अस्तित्व के लिए आवश्यक और पर्याप्त परिस्थितियों का पता लगाना था। दी गई पंक्ति और स्तंभ रकम के साथ।<ref name=BJL/>ऐसी संरचना एक ब्लॉक डिज़ाइन है।
क्षेत्र में एक प्रारंभिक समस्या का उद्देश्य दी गई बिंदु डिग्री और ब्लॉक डिग्री या आव्यूह भाषा में, (0, 1)-आव्यूह v × b प्रकार के अस्तित्व के लिए एक [[ घटना संरचना |अभिकल्प संरचना]] के अस्तित्व के लिए आवश्यक और पर्याप्त परिस्थितियों का पता लगाना था। दी गई पंक्ति और स्तंभ मान के साथ <ref name=BJL/>ऐसी संरचना एक ब्लॉक डिज़ाइन है।


== यह भी देखें ==
== यह भी देखें ==
* [[ मैट्रिसेस की सूची | आव्यूह की सूची]]
* [[ मैट्रिसेस की सूची |आव्यूह की सूची]]
* [[ ब्रुजन टोरस | ब्रुजन टोरस]] (एक बाइनरी डी ब्रुइज़न टोरस)
* [[ ब्रुजन टोरस | ब्रुजन टोरस]] (एक बाइनरी डी ब्रुइज़न टोरस)
* [[ बिट सरणी ]]
* [[ बिट सरणी ]]
Line 105: Line 107:
{{Matrix classes}}
{{Matrix classes}}


{{DEFAULTSORT:Logical Matrix}}[[Category:बूलियन बीजगणित]][[श्रेणी: मैट्रिक्स|श्रेणी: आव्यूह]]
{{DEFAULTSORT:Logical Matrix}}[[श्रेणी: मैट्रिक्स|श्रेणी: आव्यूह]]
 


[[Category: Machine Translated Page]]
[[Category:Collapse templates|Logical Matrix]]
[[Category:Created On 05/01/2023]]
[[Category:Commons category link is locally defined|Logical Matrix]]
[[Category:Created On 05/01/2023|Logical Matrix]]
[[Category:Lua-based templates|Logical Matrix]]
[[Category:Machine Translated Page|Logical Matrix]]
[[Category:Navigational boxes| ]]
[[Category:Navigational boxes without horizontal lists|Logical Matrix]]
[[Category:Pages with empty portal template|Logical Matrix]]
[[Category:Pages with script errors|Logical Matrix]]
[[Category:Portal-inline template with redlinked portals|Logical Matrix]]
[[Category:Sidebars with styles needing conversion|Logical Matrix]]
[[Category:Template documentation pages|Documentation/doc]]
[[Category:Templates Vigyan Ready|Logical Matrix]]
[[Category:Templates generating microformats|Logical Matrix]]
[[Category:Templates that add a tracking category|Logical Matrix]]
[[Category:Templates that are not mobile friendly|Logical Matrix]]
[[Category:Templates that generate short descriptions|Logical Matrix]]
[[Category:Templates using TemplateData|Logical Matrix]]
[[Category:Wikipedia metatemplates|Logical Matrix]]
[[Category:बूलियन बीजगणित|Logical Matrix]]

Latest revision as of 15:58, 16 May 2023

एक तार्किक आव्यूह, बाइनरी आव्यूह, सम्बन्ध आव्यूह, बूलियन आव्यूह, या (0, 1) आव्यूह बूलियन डोमेन से प्रविष्टियों के साथ एक आव्यूह (गणित) B = {0, 1}. है, इस तरह के आव्यूह का उपयोग परिमित समुच्चय की एक युग्मक के बीच एक द्विआधारी संबंध का प्रतिनिधित्व करने के लिए किया जा सकता है।

एक संबंध का आव्यूह प्रतिनिधित्व

यदि R परिमित अनुक्रमित समुच्चय X और Y के बीच एक द्विआधारी संबंध है (इसलिए RX×Y), तब R को तार्किक आव्यूह M द्वारा दर्शाया जा सकता है जिसकी पंक्ति और स्तंभ सूचकांक क्रमशः X और Y के तत्वों को अनुक्रमित करते हैं, जैसे कि M की प्रविष्टियाँ परिभाषित होती हैं

आव्यूह की पंक्ति और स्तंभ संख्याओं को निर्दिष्ट करने के लिए, समुच्चय X और Y को धनात्मक पूर्णांकों के साथ अनुक्रमित किया जाता है: i की श्रेणी 1 से लेकर X की प्रमुखता (आकार) तक होती है, और j की सीमा 1 से Y की गणनीयता तक होती है। अधिक विवरण के लिए अनुक्रमित समुच्चय पर प्रविष्टि देखें।

उदाहरण

समुच्चय पर द्विआधारी संबंध R {1, 2, 3, 4} को परिभाषित किया गया है ताकि aRb बिना शेष अवयव के सम्मुच्य के मानों को संरक्षित कर सके और केवल a b को समान रूप से विभाजित कर सके। उदाहरण के लिए, 2R4 संरक्षित करता है क्योंकि 2 4 को विभाजित करता है और कोई शेषफल नहीं रहता है, लेकिन 3R4 संरक्षित नहीं करता है, क्योंकि जब 3 4 को विभाजित करता है तो 1 शेषफल रहता है। निम्नलिखित समुच्चय उन युग्मों का समुच्चय है जिनके लिए संबंध R संरक्षित करता है। वह आव्यूह जिसकी विकर्ण पर सभी प्रविष्टियाँ 1 हैं, जबकि अन्य सभी प्रविष्टियाँ 0 हैं।

{(1, 1), (1, 2), (1, 3), (1, 4), (2, 2), (2, 4), (3, 3), (4, 4)} .

तार्किक आव्यूह के रूप में संबंधित प्रतिनिधित्व है

जिसमें एक का विकर्ण सम्मिलित है, क्योंकि प्रत्येक संख्या स्वयं को विभाजित करती है।

अन्य उदाहरण

  • क्रमचय आव्यूह एक (0, 1)-आव्यूह है, जिसके सभी स्तंभ और पंक्तियों में प्रत्येक में बिल्कुल एक शून्येतर तत्व होता है।
  • एक कोस्टास सरणी क्रमचय आव्यूह का एक विशेष प्रकरण है।
  • साहचर्य और परिमित ज्यामिति में एक अभिकल्प आव्यूह में बिंदुओं (या कोने) और ज्यामिति की रेखाओं, ब्लॉक डिजाइन के ब्लॉक, या ग्राफ़ के किनारों (असतत गणित) के बीच अभिकल्पओं को इंगित करने के लिए होता है।
  • विचरण के विश्लेषण में डिजाइन आव्यूह एक (0, 1) आव्यूह है जिसमें निरंतर पंक्ति योग होते हैं।
  • तार्किक आव्यूह ग्राफ़ सिद्धांत में एक आसन्न आव्यूह का प्रतिनिधित्व कर सकता है: गैर-सममित आव्यूह निर्देशित ग्राफ के अनुरूप होते हैं, सममित आव्यूह संरक्षित ग्राफ़ (असतत गणित) के लिए होते हैं, और विकर्ण पर 1 एक लूप (ग्राफ़ सिद्धांत) से संबंधित शिखर होता है।
  • एक सरल, अप्रत्यक्ष द्विदलीय ग्राफ का सहखंडज आव्यूह (0, 1) आव्यूह है, और साथ ही कोई भी (0, 1) आव्यूह इस तरह से उत्पन्न होता है।
  • m वर्ग मुक्त पूर्णांक, n-समतल नंबरों की सूची के प्रमुख कारकों को एक m × π(n) (0, 1) आव्यूह के रूप में वर्णित किया जा सकता है, जहां π प्राइम-काउंटिंग फलन, और aij 1 है और jth अभाज्य ith संख्या को विभाजित करता है। यह प्रतिनिधित्व द्विघात पृथकरण फैक्टरिंग कलन विधि में उपयोगी है।
  • केवल दो रंगों में पिक्सेल वाले रेखापुंज ग्राफिक्स को (0, 1)-आव्यूह के रूप में दर्शाया जा सकता है जिसमें शून्य एक रंग के पिक्सेल का प्रतिनिधित्व करते हैं और दूसरे रंग के पिक्सेल का प्रतिनिधित्व करते हैं।
  • गो (खेल) खेल में खेल के नियमों की जांच के लिए एक बाइनरी आव्यूह का उपयोग किया जा सकता है।[1]
  • दो बिट्स के चार मानक तर्क, 2x2 तार्किक आव्यूह द्वारा रूपांतरित एक परिमित स्थैतिक संयंत्र का निर्माण करते हैं।


कुछ गुण

परिमित समुच्चय पर समानता (गणित) संबंध का आव्यूह प्रतिनिधित्व पहचान एक आव्यूह है, अर्थात वह आव्यूह जिसकी विकर्ण पर सभी प्रविष्टियाँ 1 हैं, जबकि अन्य सभी प्रविष्टियाँ 0 हैं। यदि संबंध R R, संतुष्ट करता है तो सामान्यतः R एक अधिक स्वतुल्य संबंध है।

यदि बूलियन डोमेन को अंशपरिष्कृत के रूप में देखा जाता है, जहां योग तार्किक OR और गुणा तार्किक AND से समानता रखता है, तो दो संबंधों की संरचना का आव्यूह प्रतिनिधित्व इन संबंधों के आव्यूह प्रतिनिधित्व के आव्यूह उत्पाद के बराबर होता है।

इस उत्पाद की गणना अपेक्षित मान समय O(n2)[2] प्रायः, बाइनरी आव्यूह पर संचालन को मॉड्यूलर अंकगणित मॉड 2 के संदर्भ में परिभाषित किया जाता है अर्थात, तत्वों को गैलोज़ क्षेत्र GF(2) = ℤ2 के रूप में माना जाता है। वे विभिन्न प्रकार के अभ्यावेदन में उत्पन्न होते हैं और कई अधिक प्रतिबंधित विशेष रूप होते हैं। उन्हें XOR-प्रणाली में लागू किया जाता है। विशिष्ट m-by-n इस प्रकार परिमित है और बाइनरी आव्यूह की संख्या 2mn के बराबर है।

नियम

मान लीजिए कि n और m दिए गए हैं और U सभी तार्किक m × n आव्यूहों के समुच्चय को निरूपित करता है। तब U द्वारा दिया गया आंशिक क्रम निम्नलिखित है,

वास्तव में, U संचालन के साथ एक बूलियन बीजगणित बनाता है। AND (तर्क) और OR (तर्क) दो आव्यूह के बीच क्रमवार लागू होता है। एक तार्किक आव्यूह का पूरक सभी शून्य और उनके विपरीत के लिए स्थानांतरण करके प्राप्त किया जाता है।

हर तार्किक आव्यूह A = ( A i j ) एक स्थानान्तरण AT = ( A j i ). है। मान लीजिए A एक तार्किक आव्यूह है जिसमें कोई स्तंभ या पंक्तियाँ समान रूप से शून्य नहीं हैं। फिर आव्यूह उत्पाद, बूलियन अंकगणित का उपयोग करते हुए, पहचान आव्यूह m × m, और उत्पाद पहचान आव्यूह n × n सम्मिलित है।

एक गणितीय संरचना के रूप में, बूलियन बीजगणित U समावेशन (तर्क) द्वारा आदेशित एक नियम (क्रम) बनाता है; इसके अतिरिक्त यह आव्यूह गुणन के कारण गुणक नियम के रूप में संदर्भित किया जा सकता है।

U में प्रत्येक तार्किक आव्यूह एक द्विआधारी संबंध से समानता रखता है। U पर ये सूचीबद्ध संचालन, और क्रमबद्ध, एक बीजगणितीय तर्क संबंधों की गणना के अनुरूप है, जहां आव्यूह गुणन संबंधों की संरचना का प्रतिनिधित्व करता है। वास्तव में, U संचालन के साथ एक बूलियन बीजगणित बनाता है।[3]


तार्किक सदिश

यदि m या n एक के बराबर है, तो m × n तार्किक आव्यूह (mij) एक तार्किक सदिश है। यदि m = 1, एक पंक्ति सदिश है, और यदि n = 1, यह एक स्तंभ सदिश है तो किसी भी प्रकरण में सूचकांक के बराबर एक को सदिश के निरूपण से हटा दिया जाता है।

मान लीजिए और दो तार्किक सदिश हैं। P और Q के बाहरी उत्पाद का परिणाम m × n आयताकार संबंध होता है,

ऐसे आव्यूह की पंक्तियों और स्तंभों का पुन: क्रम सभी को आव्यूह के एक आयताकार भाग में एकत्र कर सकता है।[4]

मान लीजिए h सभी का सदिश है। तब यदि v एक स्वेच्छ तार्किक सदिश है, तो संबंध R = v hT में v द्वारा निर्धारित स्थिर पंक्तियाँ हैं। संबंधों की गणना में ऐसे R को सदिश कहा जाता है।[4]एक विशेष उदाहरण में सार्वभौमिक संबंध है।

किसी दिए गए संबंध R के लिए, R में निहित एक अधिकतम आयताकार संबंध को R में एक अवसंरक्षिता कहा जाता है। संबंधों को अवसंरक्षिताओं में विघटित करके अध्ययन किया जा सकता है, और फिर विषम संबंध प्रेरित अवसंरक्षिता नियम को ध्यान में रखते हुए प्रयोग किया जाता है।

Group-like structures
Totalityα Associativity Identity Inverse Commutativity
Semigroupoid Unneeded Required Unneeded Unneeded Unneeded
Small category Unneeded Required Required Unneeded Unneeded
Groupoid Unneeded Required Required Required Unneeded
Magma Required Unneeded Unneeded Unneeded Unneeded
Quasigroup Required Unneeded Unneeded Required Unneeded
Unital magma Required Unneeded Required Unneeded Unneeded
Semigroup Required Required Unneeded Unneeded Unneeded
Loop Required Unneeded Required Required Unneeded
Monoid Required Required Required Unneeded Unneeded
Group Required Required Required Required Unneeded
Commutative monoid Required Required Required Unneeded Required
Abelian group Required Required Required Required Required
The closure axiom, used by many sources and defined differently, is equivalent.

समूह-जैसी संरचनाओं की तालिका पर विचार करें, जहाँ अनावश्यक मान को 0 से निरूपित किया जा सकता है, और आवश्यक मान को 1 से निरूपित किया जाता है, जिससे एक तार्किक आव्यूह R बनता है। जिसके तत्वों की गणना करने के लिए , इस आव्यूह की पंक्तियों में तार्किक सदिश के जोड़े के तार्किक आंतरिक उत्पाद का उपयोग करना आवश्यक है। यदि यह आंतरिक उत्पाद 0 है, तो पंक्तियाँ लांबिक विश्लेषण हैं। यदि m या n एक के बराबर है, तो m × n तार्किक आव्यूह (mij) एक तार्किक सदिश है। वास्तव में, सममित समूह लूप (बीजगणित) के लिए लांबिक विश्लेषण है, छोटी श्रेणी अर्धसमूह के लिए लांबिक विश्लेषण है, और समूह भाग मेग्मा के लिए लांबिक विश्लेषण है। नतीजतन शून्य हैं, और यह एक सार्वभौमिक संबंध बनने में विफल रहता है।

पंक्ति और स्तंभ योग

तार्किक आव्यूह में सभी को जोड़ना दो तरीकों से पूरा किया जा सकता है: पहले पंक्तियों का योग या पहले स्तंभों का योग। जब पंक्ति योग जोड़े जाते हैं, तो योग वही होता है जितने स्तंभ योग जोड़े जाते हैं। अभिकल्प ज्यामिति में, आव्यूह को एक अभिकल्प आव्यूह के रूप में व्याख्या की जाती है जिसमें पंक्तियों के साथ बिंदु और स्तंभ ब्लॉक के रूप में होते हैं (बिंदुओं से बनी सामान्य रेखाएं)। एक पंक्ति योग को इसकी बिंदु डिग्री कहा जाता है, और एक स्तंभ योग को ब्लॉक डिग्री कहा जाता है। डिजाइन पद्धति में प्रस्ताव[5] कहते हैं कि बिंदु डिग्री का योग ब्लॉक 1.6 डिग्री के योग के बराबर है।

क्षेत्र में एक प्रारंभिक समस्या का उद्देश्य दी गई बिंदु डिग्री और ब्लॉक डिग्री या आव्यूह भाषा में, (0, 1)-आव्यूह v × b प्रकार के अस्तित्व के लिए एक अभिकल्प संरचना के अस्तित्व के लिए आवश्यक और पर्याप्त परिस्थितियों का पता लगाना था। दी गई पंक्ति और स्तंभ मान के साथ [5]ऐसी संरचना एक ब्लॉक डिज़ाइन है।

यह भी देखें

टिप्पणियाँ

  1. Petersen, Kjeld (February 8, 2013). "Binmatrix". Retrieved August 11, 2017.
  2. Patrick E. O'Neil; Elizabeth J. O'Neil (1973). "A Fast Expected Time Algorithm for Boolean Matrix Multiplication and Transitive Closure". Information and Control. 22 (2): 132–138. doi:10.1016/s0019-9958(73)90228-3. — The algorithm relies on addition being idempotent, cf. p.134 (bottom).
  3. Irving Copilowish (December 1948). "Matrix development of the calculus of relations", Journal of Symbolic Logic 13(4): 193–203 Jstor link
  4. 4.0 4.1 Gunther Schmidt (2013). "6: Relations and Vectors". Relational Mathematics. Cambridge University Press. p. 91. doi:10.1017/CBO9780511778810. ISBN 9780511778810.
  5. 5.0 5.1 Beth, Thomas; Jungnickel, Dieter; Lenz, Hanfried (1999). Design Theory (2nd ed.). Cambridge University Press. p. 18. ISBN 978-0-521-44432-3.


संदर्भ


बाहरी कड़ियाँ

श्रेणी: आव्यूह