आपतन आव्यूह: Difference between revisions

From Vigyanwiki
(Created page with "{{Short description|Matrix that shows the relationship between two classes of objects}} गणित में, घटना मैट्रिक्स एक तार्...")
 
No edit summary
 
(7 intermediate revisions by 4 users not shown)
Line 1: Line 1:
{{Short description|Matrix that shows the relationship between two classes of objects}}
{{Short description|Matrix that shows the relationship between two classes of objects}}
गणित में, घटना मैट्रिक्स एक [[तार्किक मैट्रिक्स]] है जो वस्तुओं के दो वर्गों के बीच के संबंध को दर्शाता है, जिसे आमतौर पर [[घटना (ज्यामिति)]] कहा जाता है। यदि पहली श्रेणी ''X'' है और दूसरी ''Y'' है, तो मैट्रिक्स में ''X'' के प्रत्येक तत्व के लिए एक पंक्ति और ''Y'' के प्रत्येक तत्व के लिए एक कॉलम है। पंक्ति 'x' और कॉलम 'y' में प्रविष्टि 1 है यदि 'x' और 'y'' संबंधित हैं (इस संदर्भ में 'घटना' कहा जाता है) और 0 यदि वे नहीं हैं। विविधताएं हैं; नीचे देखें।
गणित में, आपतन आव्यूह एक [[तार्किक मैट्रिक्स|तार्किक आव्यूह]] है जो वस्तुओं के दो वर्गों के बीच के संबंध को दर्शाता है, जिसे सामान्यतः [[घटना (ज्यामिति)|आपतन (ज्यामिति)]] कहा जाता है। यदि पहली श्रेणी ''X'' है और दूसरी ''Y'' है, तो आव्यूह में ''X'' के प्रत्येक अवयव के लिए एक पंक्ति और ''Y'' के प्रत्येक अवयव के लिए एक पंक्ति स्तम्भ है। यदि 'x' और 'y संबंधित हैं तो पंक्ति 'x' और पंक्ति स्तम्भ 'y' में प्रविष्टि 1 है (इस संदर्भ में 'आपतन' कहा जाता है) अन्यथा प्रविष्टि 0 होने पर 'x' और 'y' एक दूसरे से संबंधित नहीं होंगे।


== [[ग्राफ सिद्धांत]] ==
== [[ग्राफ सिद्धांत|लेखाचित्र सिद्धांत]] ==
घटना मैट्रिक्स ग्राफ सिद्धांत में एक सामान्य ग्राफ प्रतिनिधित्व है। यह आसन्न मैट्रिक्स से भिन्न है, जो वर्टेक्स-वर्टेक्स जोड़े के संबंध को कूटबद्ध करता है।
आपतन आव्यूह लेखाचित्र सिद्धांत में एक सामान्य लेखाचित्र प्रतिनिधित्व होता है। यह आसन्न आव्यूह से भिन्न है, जो शीर्षकोण बिंदु युग्मन के संबंध को कूटबद्ध करता है।


=== अप्रत्यक्ष और निर्देशित रेखांकन ===
=== अप्रत्यक्ष और निर्देशित रेखांकन ===
[[Image:Labeled undirected graph.svg|thumb|250px|एक अप्रत्यक्ष ग्राफ।]]ग्राफ़ थ्योरी में एक [[अप्रत्यक्ष ग्राफ]]में दो प्रकार के इंसिडेंस मैट्रिसेस होते हैं: अनओरिएंटेड और ओरिएंटेड।
[[Image:Labeled undirected graph.svg|thumb|250px|एक अप्रत्यक्ष लेखाचित्र।]]लेखाचित्र सिद्धांत में एक [[अप्रत्यक्ष ग्राफ|अप्रत्यक्ष लेखाचित्र]] में दो प्रकार के आपतन आव्यूह होते हैं: विन्यस्त और अभिविन्यस्त।


एक अप्रत्यक्ष ग्राफ का अनियंत्रित घटना मैट्रिक्स (या केवल घटना मैट्रिक्स) एक है <math>n\times m</math> [[मैट्रिक्स (गणित)]] बी, जहां एन और एम क्रमशः वर्टेक्स (ग्राफ सिद्धांत) और एज (ग्राफ सिद्धांत) की संख्याएं हैं, जैसे कि
किसी एक अप्रत्यक्ष लेखाचित्र का अनियंत्रित आपतन आव्यूह (या केवल आपतन आव्यूह) एक <math>n\times m</math> है, [[मैट्रिक्स (गणित)|आव्यूह (गणित)]] B, जहां n और m क्रमशः शीर्षकोण बिंदु और कोर (लेखाचित्र सिद्धांत) की संख्याएं हैं, जैसे कि
:<math>B_{ij}=\left\{\begin{array}{rl}\,1 & \text{if vertex }v_i\text{ is incident with edge }e_j, \\ 0 & \text{otherwise.}\end{array}\right.</math>
:<math>B_{ij}=\left\{\begin{array}{rl}\,1 & \text{if vertex }v_i\text{ is incident with edge }e_j, \\ 0 & \text{otherwise.}\end{array}\right.</math>
उदाहरण के लिए, दाईं ओर दिखाए गए अप्रत्यक्ष ग्राफ का घटना मैट्रिक्स एक मैट्रिक्स है जिसमें 4 पंक्तियाँ (चार कोने, 1-4 के अनुरूप) और 4 कॉलम (चार किनारों के अनुरूप, <math>e_{1},e_{2},e_{3},e_{4}</math>):
उदाहरण के लिए, दाईं ओर दिखाए गए अप्रत्यक्ष लेखाचित्र का आपतन आव्यूह वह आव्यूह है जिसमें 4 पंक्तियाँ (चार कोने, 1-4 के अनुरूप) और 4 पंक्ति स्तम्भ (चार किनारों के अनुरूप, <math>e_{1},e_{2},e_{3},e_{4}</math>) है:
{|
{|
|
|
Line 41: Line 41:
|}
|}


यदि हम घटना मैट्रिक्स को देखते हैं, तो हम देखते हैं कि प्रत्येक स्तंभ का योग 2 के बराबर है। ऐसा इसलिए है क्योंकि प्रत्येक किनारे के प्रत्येक सिरे से जुड़ा एक शीर्ष है।
यदि हम आपतन आव्यूह को देखते हैं, तो हम देखते हैं कि प्रत्येक स्तंभ का योग 2 के बराबर है। ऐसा इसलिए है क्योंकि प्रत्येक कोर के प्रत्येक सिरे से जुड़ा एक शीर्ष है।


[[निर्देशित ग्राफ]] का घटना मैट्रिक्स एक है <math>n\times m</math> मैट्रिक्स बी जहां n और m क्रमशः कोने और किनारों की संख्या है, जैसे कि
[[निर्देशित ग्राफ|निर्देशित लेखाचित्र]] का आपतन आव्यूह एक है <math>n\times m</math> आव्यूह बी जहां n और m क्रमशः कोने और किनारों की संख्या है, जैसे कि
:<math>B_{ij}=\left\{\begin{array}{rl}
:<math>B_{ij}=\left\{\begin{array}{rl}
{-1} & \text{if edge }e_j\text{ leaves vertex }v_i, \\
{-1} & \text{if edge }e_j\text{ leaves vertex }v_i, \\
Line 49: Line 49:
\phantom{-}0 & \text{otherwise.}
\phantom{-}0 & \text{otherwise.}
\end{array}\right.</math>
\end{array}\right.</math>
(कई लेखक विपरीत चिह्न परिपाटी का उपयोग करते हैं।)
(कई लेखक विपरीत चिह्न अभिसमय का उपयोग करते हैं।)


एक अप्रत्यक्ष ग्राफ का उन्मुख घटना मैट्रिक्स ग्राफ के किसी भी ओरिएंटेशन (ग्राफ सिद्धांत) के निर्देशित ग्राफ के अर्थ में घटना मैट्रिक्स है। अर्थात्, किनारे ई के कॉलम में, के एक शीर्ष के अनुरूप पंक्ति में एक 1 है और के अन्य शीर्ष के अनुरूप पंक्ति में एक -1 है, और अन्य सभी पंक्तियों में 0 है। उन्मुख घटना मैट्रिक्स है किसी भी कॉलम के नकारने [[तक]] अद्वितीय, क्योंकि कॉलम की प्रविष्टियों को नकारना एक किनारे के अभिविन्यास को उलटने से मेल खाता है।
एक अप्रत्यक्ष लेखाचित्र का उन्मुख आपतन आव्यूह लेखाचित्र के किसी भी स्थिति निर्धारण (लेखाचित्र सिद्धांत) के निर्देशित लेखाचित्र के अर्थ में आपतन आव्यूह है। अर्थात्, कोर ''e'' के पंक्ति स्तम्भ में, ''e'' के एक शीर्ष के अनुरूप पंक्ति में एक 1 है और ''e'' के अन्य शीर्ष के अनुरूप पंक्ति में एक -1 है, और अन्य सभी पंक्तियों में 0 है। उन्मुख आपतन आव्यूह किसी भी पंक्ति स्तम्भ के अमान्य करने [[तक]] अद्वितीय है, क्योंकि पंक्ति स्तम्भ की प्रविष्टियों को अमान्य करना एक कोर के अभिविन्यास को व्युत्क्रम करने से समानता रखता है।


एक ग्राफ G का अनियंत्रित घटना मैट्रिक्स निम्नलिखित प्रमेय द्वारा इसके रेखा ग्राफ L(G) के आसन्न मैट्रिक्स से संबंधित है:
एक लेखाचित्र G का अनियंत्रित आपतन आव्यूह निम्नलिखित प्रमेय द्वारा इसके रेखा लेखाचित्र L(G) के आसन्न आव्यूह से संबंधित है:
: <math>A(L(G)) = B(G)^\textsf{T}B(G) - 2I_m.</math>
: <math>A(L(G)) = B(G)^\textsf{T}B(G) - 2I_m.</math>
जहाँ A(L(G)) G के लाइन ग्राफ़ का आसन्न मैट्रिक्स है, B(G) घटना मैट्रिक्स है, और I<sub>''m''</sub> आयाम m का तत्समक आव्यूह है।
जहाँ A(L(G)) G के लाइन लेखाचित्र का आसन्न आव्यूह है, B(G) आपतन आव्यूह है, और I<sub>''m''</sub> आयाम m का तत्समक आव्यूह है।


असतत Kirchhoff मैट्रिक्स (या Kirchhoff मैट्रिक्स) सूत्र द्वारा उन्मुख घटना मैट्रिक्स B(G) से प्राप्त किया जाता है
असतत किरचॉफ आव्यूह (या किरचॉफ आव्यूह) सूत्र द्वारा उन्मुख आपतन आव्यूह B(G) से प्राप्त किया जाता है
: <math>B(G) B(G)^\textsf{T}.</math>
: <math>B(G) B(G)^\textsf{T}.</math>
एक ग्राफ का अभिन्न [[चक्र स्थान]] इसके उन्मुख घटना मैट्रिक्स के शून्य स्थान के बराबर है, जिसे पूर्णांक या [[वास्तविक संख्या]] या जटिल संख्याओं पर मैट्रिक्स के रूप में देखा जाता है। द्वि-तत्व [[क्षेत्र (गणित)]] पर एक मैट्रिक्स के रूप में देखे जाने वाले इसके उन्मुख या गैर-उन्मुख घटना मैट्रिक्स का शून्य स्थान द्विआधारी चक्र स्थान है।
एक लेखाचित्र का अभिन्न [[चक्र स्थान]] इसके उन्मुख आपतन आव्यूह के शून्य स्थान के बराबर है, जिसे पूर्णांक या [[वास्तविक संख्या]] या जटिल संख्याओं पर आव्यूह के रूप में देखा जाता है। द्वि-अवयव [[क्षेत्र (गणित)]] पर एक आव्यूह के रूप में देखे जाने वाले इसके उन्मुख या गैर-उन्मुख आपतन आव्यूह का शून्य स्थान द्विआधारी चक्र स्थान है।


=== हस्ताक्षरित और द्विदिश रेखांकन ===
=== हस्ताक्षरित और द्विदिश रेखांकन ===
एक [[हस्ताक्षरित ग्राफ]] का घटना मैट्रिक्स उन्मुख घटना मैट्रिक्स का एक सामान्यीकरण है। यह किसी भी [[द्विदिश ग्राफ]] का घटना मैट्रिक्स है जो दिए गए हस्ताक्षरित ग्राफ को ओरिएंट करता है। एक सकारात्मक किनारे के कॉलम में एक समापन बिंदु के अनुरूप पंक्ति में 1 और दूसरे समापन बिंदु के अनुरूप पंक्ति में -1 होता है, ठीक एक साधारण (अहस्ताक्षरित) ग्राफ में किनारे की तरह। एक नकारात्मक किनारे के कॉलम में दोनों पंक्तियों में या तो 1 या -1 होता है। लाइन ग्राफ़ और किरचॉफ मैट्रिक्स गुण हस्ताक्षरित ग्राफ़ के लिए सामान्यीकृत होते हैं।
एक [[हस्ताक्षरित ग्राफ|हस्ताक्षरित लेखाचित्र]] का आपतन आव्यूह उन्मुख आपतन आव्यूह का एक सामान्यीकरण है। यह किसी भी [[द्विदिश ग्राफ|द्विदिश लेखाचित्र]] का आपतन आव्यूह है जो दिए गए हस्ताक्षरित लेखाचित्र को अभिविन्यास करता है। एक सकारात्मक कोर के पंक्ति स्तम्भ में एक समापन बिंदु के अनुरूप पंक्ति में 1 और दूसरे समापन बिंदु के अनुरूप ठीक एक साधारण (अहस्ताक्षरित) लेखाचित्र में कोर की तरह पंक्ति में -1 होता है। एक नकारात्मक कोर के पंक्ति स्तम्भ में दोनों पंक्तियों में या तो 1 या -1 होता है। लाइन लेखाचित्र और किरचॉफ आव्यूह गुण हस्ताक्षरित लेखाचित्र के लिए सामान्यीकृत होते हैं।


=== मल्टीग्राफ्स ===
=== बहुलेखाचित्र ===
घटना मैट्रिक्स की परिभाषाएं लूप (ग्राफ सिद्धांत) और कई किनारों वाले ग्राफ़ पर लागू होती हैं। एक उन्मुख घटना मैट्रिक्स का स्तंभ जो एक लूप से मेल खाता है, सभी शून्य है, जब तक कि ग्राफ पर हस्ताक्षर नहीं किया जाता है और लूप नकारात्मक है; तब स्तंभ अपने आपतित शीर्ष की पंक्ति में ±2 को छोड़कर सभी शून्य होता है।
आपतन आव्यूह की परिभाषाएं लूप (लेखाचित्र सिद्धांत) और कई किनारों वाले लेखाचित्र पर लागू होती हैं। एक उन्मुख आपतन आव्यूह का स्तंभ जो एक लूप से समानता रखता है। वे सभी शून्य है, जब तक कि लेखाचित्र पर हस्ताक्षर नहीं किया जाता है और लूप नकारात्मक है; तब स्तंभ अपने आपतित शीर्ष की पंक्ति में ±2 को छोड़कर सभी के साथ शून्य होता है।


=== भारित रेखांकन ===
=== भारित रेखांकन ===
[[File:Weighted undirected graph.svg|thumb|एक भारित अप्रत्यक्ष ग्राफ]]भारित ग्राफ़ को 1 के स्थान पर किनारे के भार का उपयोग करके प्रदर्शित किया जा सकता है। उदाहरण के लिए, दाईं ओर ग्राफ़ का आपतन मैट्रिक्स है:
[[File:Weighted undirected graph.svg|thumb|एक भारित अप्रत्यक्ष लेखाचित्र]]भारित लेखाचित्र को 1 के स्थान पर कोर के भार का उपयोग करके प्रदर्शित किया जा सकता है। उदाहरण के लिए, दाईं ओर लेखाचित्र का आपतन आव्यूह है:
{|
{|
|
|
Line 99: Line 99:
|}
|}


=== [[ hypergraph ]] ===
=== [[ hypergraph |हाइपरलेखाचित्र]] ===
क्योंकि सामान्य रेखांकन के किनारों में केवल दो कोने (प्रत्येक छोर पर एक) हो सकते हैं, ग्राफ़ के लिए एक घटना मैट्रिक्स के स्तंभ में केवल दो गैर-शून्य प्रविष्टियाँ हो सकती हैं। इसके विपरीत, एक हाइपरग्राफ में एक किनारे पर निर्दिष्ट कई कोने हो सकते हैं; इस प्रकार, गैर-ऋणात्मक पूर्णांकों का एक सामान्य मैट्रिक्स एक हाइपरग्राफ का वर्णन करता है।
क्योंकि सामान्य रेखांकन के किनारों में केवल दो कोने (प्रत्येक छोर पर एक) हो सकते हैं, अर्थात लेखाचित्र के लिए एक आपतन आव्यूह के स्तंभ में केवल दो गैर-शून्य प्रविष्टियाँ हो सकती हैं। इसके विपरीत, एक हाइपरलेखाचित्र में एक कोर पर निर्दिष्ट कई कोने हो सकते हैं; इस प्रकार, गैर-ऋणात्मक पूर्णांकों का एक सामान्य आव्यूह एक हाइपरलेखाचित्र का वर्णन करता है।


== [[घटना संरचना]]एं ==
== [[घटना संरचना|आपतन संरचना]]एं ==
आपतन संरचना C का आपतन मैट्रिक्स a है {{nowrap|''p'' × ''q''}} मैट्रिक्स बी (या इसका स्थानान्तरण), जहां पी और क्यू क्रमशः बिंदुओं और रेखाओं की संख्या हैं, जैसे कि {{nowrap|1=''B''<sub>''i'',''j''</sub> = 1}} यदि बिंदु p<sub>i</sub> और लाइन एल<sub>''j''</sub> घटना हैं और 0 अन्यथा। इस मामले में, घटना मैट्रिक्स संरचना के [[लेवी ग्राफ]] का एक [[बायडजेंसी मैट्रिक्स]] भी है। जैसा कि प्रत्येक लेवी ग्राफ के लिए एक हाइपरग्राफ है, और इसके विपरीत, एक घटना संरचना का घटना मैट्रिक्स एक हाइपरग्राफ का वर्णन करता है।
आपतन संरचना C का आपतन आव्यूह {{nowrap|''p'' × ''q''}} है, आव्यूह ''B'' (या इसका स्थानान्तरण), जहां ''p'' और ''q'' क्रमशः बिंदुओं और रेखाओं की संख्या हैं, जैसे कि {{nowrap|1=''B''<sub>''i'',''j''</sub> = 1}} यदि बिंदु p<sub>i</sub> और लाइन ''L<sub>j</sub>'' आपतन हैं और 0 इस प्रकरण में, आपतन आव्यूह संरचना के [[लेवी ग्राफ|लेवी लेखाचित्र]] का एक [[बायडजेंसी मैट्रिक्स|बायडजेंसी आव्यूह]] भी है। जैसा कि प्रत्येक लेवी लेखाचित्र के लिए एक हाइपरलेखाचित्र है, और इसके विपरीत एक आपतन संरचना का आपतन आव्यूह एक हाइपरलेखाचित्र का वर्णन करता है।


=== [[परिमित ज्यामिति]] ===
=== [[परिमित ज्यामिति]] ===
एक महत्वपूर्ण उदाहरण परिमित ज्यामिति है। उदाहरण के लिए, एक परिमित तल में, X बिंदुओं का समुच्चय है और Y रेखाओं का समुच्चय है। उच्च आयाम की परिमित ज्यामिति में, X बिंदुओं का समुच्चय हो सकता है और Y पूरे अंतरिक्ष (हाइपरप्लेन) के आयाम से एक कम आयाम के उप-स्थानों का समुच्चय हो सकता है; या, अधिक आम तौर पर, एक्स एक आयाम डी के सभी उप-स्थानों का सेट हो सकता है और वाई दूसरे आयाम के सभी उप-समूहों का सेट हो सकता है, जिसमें रोकथाम के रूप में परिभाषित घटनाएं होती हैं।
एक महत्वपूर्ण उदाहरण परिमित ज्यामिति है। उदाहरण के लिए, एक परिमित तल में X बिंदुओं का समुच्चय है और Y रेखाओं का समुच्चय है। उच्च आयाम की परिमित ज्यामिति में, X बिंदुओं का समुच्चय हो सकता है और Y पूरे समतल अक्ष (हाइपरप्लेन) के आयाम से एक कम आयाम के उप-स्थानों का समुच्चय हो सकता है; या, अधिक सामान्यतः, X एक आयाम ''d'' के सभी उप-स्थानों का समुच्चय हो सकता है और Y दूसरे आयाम ''e'' के सभी उप-समूहों का समुच्चय हो सकता है, जिसमें नियंत्रण के रूप में परिभाषित आपतन आयाम होते हैं।


=== पॉलीटोप्स ===
=== बहुशीर्ष ===
इसी तरह, कोशिकाओं के बीच संबंध जिनके आयाम एक पॉलीटोप में एक से भिन्न होते हैं, एक घटना मैट्रिक्स द्वारा प्रदर्शित किए जा सकते हैं।<ref>{{citation|first=H.S.M.|last=Coxeter|author-link=Coxeter|title=[[Regular Polytopes (book)|Regular Polytopes]]|year=1973|edition=3rd|orig-year=1963|publisher=Dover|isbn=0-486-61480-8|pages=[https://archive.org/details/regularpolytopes0000coxe/page/166 166-167]}}</ref>
इसी तरह, प्रकोष्ठ के बीच संबंध जिनके आयाम एक बहुशीर्ष में एक से भिन्न होते हैं, वे एक आपतन आव्यूह द्वारा प्रदर्शित किए जा सकते हैं।<ref>{{citation|first=H.S.M.|last=Coxeter|author-link=Coxeter|title=[[Regular Polytopes (book)|Regular Polytopes]]|year=1973|edition=3rd|orig-year=1963|publisher=Dover|isbn=0-486-61480-8|pages=[https://archive.org/details/regularpolytopes0000coxe/page/166 166-167]}}</ref>




=== [[ब्लॉक डिजाइन]] ===
=== [[ब्लॉक डिजाइन]] ===
एक अन्य उदाहरण एक ब्लॉक डिज़ाइन है। यहाँ X बिंदुओं का एक परिमित समूह है और Y, X के सबसेट का एक वर्ग है, जिसे ब्लॉक कहा जाता है, जो नियमों के अधीन है जो डिज़ाइन के प्रकार पर निर्भर करता है। घटना मैट्रिक्स ब्लॉक डिजाइन के सिद्धांत में एक महत्वपूर्ण उपकरण है। उदाहरण के लिए, इसका उपयोग फिशर की असमानता को साबित करने के लिए किया जा सकता है, संतुलित अपूर्ण 2-डिजाइन (बीआईबीडी) का एक मौलिक प्रमेय, कि ब्लॉक की संख्या कम से कम अंकों की संख्या है।<ref>{{citation|page=99|first=Herbert John|last=Ryser|title=Combinatorial Mathematics|series=The Carus Mathematical Monographs #14|publisher=The Mathematical Association of America|year=1963}}</ref> ब्लॉक को सेट की एक प्रणाली के रूप में देखते हुए, घटना मैट्रिक्स का [[स्थायी (गणित)]] अलग-अलग प्रतिनिधियों (एसडीआर) की प्रणाली की संख्या है।
इसका एक अन्य उदाहरण ब्लॉक डिज़ाइन है। यहाँ X बिंदुओं का एक परिमित समूह है और Y, X के उपसमुच्चय का एक वर्ग है, जिसे ब्लॉक कहा जाता है, जो नियमों के अधीन है तथा जो डिज़ाइन के प्रकार पर निर्भर करता है। आपतन आव्यूह ब्लॉक डिजाइन के सिद्धांत में एक महत्वपूर्ण उपकरण है। उदाहरण के लिए, इसका उपयोग फिशर की असमानता को प्रमाणित करने के लिए किया जा सकता है। संतुलित अपूर्ण 2-डिजाइन (बीआईबीडी) का एक मौलिक प्रमेय, जिसमे एक नकारात्मक कोर के पंक्ति स्तम्भ में दोनों पंक्तियों में या तो 1 या -1 होता है।<ref>{{citation|page=99|first=Herbert John|last=Ryser|title=Combinatorial Mathematics|series=The Carus Mathematical Monographs #14|publisher=The Mathematical Association of America|year=1963}}</ref> ब्लॉक को समुच्चय की एक प्रणाली के रूप में देखते हुए, आपतन आव्यूह का [[स्थायी (गणित)]] अलग-अलग प्रतिनिधियों (एसडीआर) की प्रणाली की संख्या सुनिश्चित करता है।


== यह भी देखें ==
== यह भी देखें ==


* पैरी-सुलिवन अपरिवर्तनीय
* [[ पैरी-सुलिवन अपरिवर्तनीय ]]
 
 
 
 
 
 
 
 
 
 
 


==संदर्भ==
==संदर्भ==
Line 134: Line 145:
* {{mathworld | urlname = IncidenceMatrix | title = Incidence matrix}}
* {{mathworld | urlname = IncidenceMatrix | title = Incidence matrix}}


{{Graph representations}}
[[Category:Collapse templates]]
{{Incidence structures}}
[[Category:Commons category link is locally defined]]
{{Matrix classes}}
{{Authority control}}
[[Category: बीजगणितीय ग्राफ सिद्धांत]] [[Category: साहचर्य]] [[Category: मैट्रिसेस]] [[Category: ग्राफ डेटा संरचनाएं]]
 
 
 
[[Category: Machine Translated Page]]
[[Category:Created On 01/05/2023]]
[[Category:Created On 01/05/2023]]
[[Category:Lua-based templates]]
[[Category:Machine Translated Page]]
[[Category:Navigational boxes| ]]
[[Category:Navigational boxes without horizontal lists]]
[[Category:Pages with empty portal template]]
[[Category:Pages with script errors]]
[[Category:Portal-inline template with redlinked portals]]
[[Category:Short description with empty Wikidata description]]
[[Category:Templates Vigyan Ready]]
[[Category:Templates that add a tracking category]]
[[Category:Templates that generate short descriptions]]
[[Category:Templates using TemplateData]]

Latest revision as of 18:15, 16 May 2023

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

लेखाचित्र सिद्धांत

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

अप्रत्यक्ष और निर्देशित रेखांकन

एक अप्रत्यक्ष लेखाचित्र।

लेखाचित्र सिद्धांत में एक अप्रत्यक्ष लेखाचित्र में दो प्रकार के आपतन आव्यूह होते हैं: विन्यस्त और अभिविन्यस्त।

किसी एक अप्रत्यक्ष लेखाचित्र का अनियंत्रित आपतन आव्यूह (या केवल आपतन आव्यूह) एक है, आव्यूह (गणित) B, जहां n और m क्रमशः शीर्षकोण बिंदु और कोर (लेखाचित्र सिद्धांत) की संख्याएं हैं, जैसे कि

उदाहरण के लिए, दाईं ओर दिखाए गए अप्रत्यक्ष लेखाचित्र का आपतन आव्यूह वह आव्यूह है जिसमें 4 पंक्तियाँ (चार कोने, 1-4 के अनुरूप) और 4 पंक्ति स्तम्भ (चार किनारों के अनुरूप, ) है:

e1 e2 e3 e4
1 1 1 1 0
2 1 0 0 0
3 0 1 0 1
4 0 0 1 1
=

यदि हम आपतन आव्यूह को देखते हैं, तो हम देखते हैं कि प्रत्येक स्तंभ का योग 2 के बराबर है। ऐसा इसलिए है क्योंकि प्रत्येक कोर के प्रत्येक सिरे से जुड़ा एक शीर्ष है।

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

(कई लेखक विपरीत चिह्न अभिसमय का उपयोग करते हैं।)

एक अप्रत्यक्ष लेखाचित्र का उन्मुख आपतन आव्यूह लेखाचित्र के किसी भी स्थिति निर्धारण (लेखाचित्र सिद्धांत) के निर्देशित लेखाचित्र के अर्थ में आपतन आव्यूह है। अर्थात्, कोर e के पंक्ति स्तम्भ में, e के एक शीर्ष के अनुरूप पंक्ति में एक 1 है और e के अन्य शीर्ष के अनुरूप पंक्ति में एक -1 है, और अन्य सभी पंक्तियों में 0 है। उन्मुख आपतन आव्यूह किसी भी पंक्ति स्तम्भ के अमान्य करने तक अद्वितीय है, क्योंकि पंक्ति स्तम्भ की प्रविष्टियों को अमान्य करना एक कोर के अभिविन्यास को व्युत्क्रम करने से समानता रखता है।

एक लेखाचित्र G का अनियंत्रित आपतन आव्यूह निम्नलिखित प्रमेय द्वारा इसके रेखा लेखाचित्र L(G) के आसन्न आव्यूह से संबंधित है:

जहाँ A(L(G)) G के लाइन लेखाचित्र का आसन्न आव्यूह है, B(G) आपतन आव्यूह है, और Im आयाम m का तत्समक आव्यूह है।

असतत किरचॉफ आव्यूह (या किरचॉफ आव्यूह) सूत्र द्वारा उन्मुख आपतन आव्यूह B(G) से प्राप्त किया जाता है

एक लेखाचित्र का अभिन्न चक्र स्थान इसके उन्मुख आपतन आव्यूह के शून्य स्थान के बराबर है, जिसे पूर्णांक या वास्तविक संख्या या जटिल संख्याओं पर आव्यूह के रूप में देखा जाता है। द्वि-अवयव क्षेत्र (गणित) पर एक आव्यूह के रूप में देखे जाने वाले इसके उन्मुख या गैर-उन्मुख आपतन आव्यूह का शून्य स्थान द्विआधारी चक्र स्थान है।

हस्ताक्षरित और द्विदिश रेखांकन

एक हस्ताक्षरित लेखाचित्र का आपतन आव्यूह उन्मुख आपतन आव्यूह का एक सामान्यीकरण है। यह किसी भी द्विदिश लेखाचित्र का आपतन आव्यूह है जो दिए गए हस्ताक्षरित लेखाचित्र को अभिविन्यास करता है। एक सकारात्मक कोर के पंक्ति स्तम्भ में एक समापन बिंदु के अनुरूप पंक्ति में 1 और दूसरे समापन बिंदु के अनुरूप ठीक एक साधारण (अहस्ताक्षरित) लेखाचित्र में कोर की तरह पंक्ति में -1 होता है। एक नकारात्मक कोर के पंक्ति स्तम्भ में दोनों पंक्तियों में या तो 1 या -1 होता है। लाइन लेखाचित्र और किरचॉफ आव्यूह गुण हस्ताक्षरित लेखाचित्र के लिए सामान्यीकृत होते हैं।

बहुलेखाचित्र

आपतन आव्यूह की परिभाषाएं लूप (लेखाचित्र सिद्धांत) और कई किनारों वाले लेखाचित्र पर लागू होती हैं। एक उन्मुख आपतन आव्यूह का स्तंभ जो एक लूप से समानता रखता है। वे सभी शून्य है, जब तक कि लेखाचित्र पर हस्ताक्षर नहीं किया जाता है और लूप नकारात्मक है; तब स्तंभ अपने आपतित शीर्ष की पंक्ति में ±2 को छोड़कर सभी के साथ शून्य होता है।

भारित रेखांकन

एक भारित अप्रत्यक्ष लेखाचित्र

भारित लेखाचित्र को 1 के स्थान पर कोर के भार का उपयोग करके प्रदर्शित किया जा सकता है। उदाहरण के लिए, दाईं ओर लेखाचित्र का आपतन आव्यूह है:

e1 e2 e3 e4
1 2 1 5 0
2 2 0 0 0
3 0 1 0 6
4 0 0 5 6
=

हाइपरलेखाचित्र

क्योंकि सामान्य रेखांकन के किनारों में केवल दो कोने (प्रत्येक छोर पर एक) हो सकते हैं, अर्थात लेखाचित्र के लिए एक आपतन आव्यूह के स्तंभ में केवल दो गैर-शून्य प्रविष्टियाँ हो सकती हैं। इसके विपरीत, एक हाइपरलेखाचित्र में एक कोर पर निर्दिष्ट कई कोने हो सकते हैं; इस प्रकार, गैर-ऋणात्मक पूर्णांकों का एक सामान्य आव्यूह एक हाइपरलेखाचित्र का वर्णन करता है।

आपतन संरचनाएं

आपतन संरचना C का आपतन आव्यूह p × q है, आव्यूह B (या इसका स्थानान्तरण), जहां p और q क्रमशः बिंदुओं और रेखाओं की संख्या हैं, जैसे कि Bi,j = 1 यदि बिंदु pi और लाइन Lj आपतन हैं और 0 इस प्रकरण में, आपतन आव्यूह संरचना के लेवी लेखाचित्र का एक बायडजेंसी आव्यूह भी है। जैसा कि प्रत्येक लेवी लेखाचित्र के लिए एक हाइपरलेखाचित्र है, और इसके विपरीत एक आपतन संरचना का आपतन आव्यूह एक हाइपरलेखाचित्र का वर्णन करता है।

परिमित ज्यामिति

एक महत्वपूर्ण उदाहरण परिमित ज्यामिति है। उदाहरण के लिए, एक परिमित तल में X बिंदुओं का समुच्चय है और Y रेखाओं का समुच्चय है। उच्च आयाम की परिमित ज्यामिति में, X बिंदुओं का समुच्चय हो सकता है और Y पूरे समतल अक्ष (हाइपरप्लेन) के आयाम से एक कम आयाम के उप-स्थानों का समुच्चय हो सकता है; या, अधिक सामान्यतः, X एक आयाम d के सभी उप-स्थानों का समुच्चय हो सकता है और Y दूसरे आयाम e के सभी उप-समूहों का समुच्चय हो सकता है, जिसमें नियंत्रण के रूप में परिभाषित आपतन आयाम होते हैं।

बहुशीर्ष

इसी तरह, प्रकोष्ठ के बीच संबंध जिनके आयाम एक बहुशीर्ष में एक से भिन्न होते हैं, वे एक आपतन आव्यूह द्वारा प्रदर्शित किए जा सकते हैं।[1]


ब्लॉक डिजाइन

इसका एक अन्य उदाहरण ब्लॉक डिज़ाइन है। यहाँ X बिंदुओं का एक परिमित समूह है और Y, X के उपसमुच्चय का एक वर्ग है, जिसे ब्लॉक कहा जाता है, जो नियमों के अधीन है तथा जो डिज़ाइन के प्रकार पर निर्भर करता है। आपतन आव्यूह ब्लॉक डिजाइन के सिद्धांत में एक महत्वपूर्ण उपकरण है। उदाहरण के लिए, इसका उपयोग फिशर की असमानता को प्रमाणित करने के लिए किया जा सकता है। संतुलित अपूर्ण 2-डिजाइन (बीआईबीडी) का एक मौलिक प्रमेय, जिसमे एक नकारात्मक कोर के पंक्ति स्तम्भ में दोनों पंक्तियों में या तो 1 या -1 होता है।[2] ब्लॉक को समुच्चय की एक प्रणाली के रूप में देखते हुए, आपतन आव्यूह का स्थायी (गणित) अलग-अलग प्रतिनिधियों (एसडीआर) की प्रणाली की संख्या सुनिश्चित करता है।

यह भी देखें







संदर्भ

  1. Coxeter, H.S.M. (1973) [1963], Regular Polytopes (3rd ed.), Dover, pp. 166-167, ISBN 0-486-61480-8
  2. Ryser, Herbert John (1963), Combinatorial Mathematics, The Carus Mathematical Monographs #14, The Mathematical Association of America, p. 99


अग्रिम पठन

  • Diestel, Reinhard (2005), Graph Theory, Graduate Texts in Mathematics, vol. 173 (3rd ed.), Springer-Verlag, ISBN 3-540-26183-4
  • Jonathan L Gross, Jay Yellen, Graph Theory and its applications, second edition, 2006 (p 97, Incidence Matrices for undirected graphs; p 98, incidence matrices for digraphs)


बाहरी संबंध