आव्यूह गुणन: Difference between revisions
m (5 revisions imported from alpha:मैट्रिक्स_गुणन) |
No edit summary |
||
| (2 intermediate revisions by 2 users not shown) | |||
| Line 1: | Line 1: | ||
[[File:Matrix multiplication qtl1.svg|thumb|आव्यूह गुणन के लिए, पहले आव्यूह में स्तंभों की संख्या दूसरे आव्यूह में पंक्तियों की संख्या के बराबर होनी चाहिए। परिणामी आव्यूह में पहले आव्यूह की पंक्तियों की संख्या और दूसरे आव्यूह के स्तंभों की संख्या होती है।]]गणित में, विशेष रूप से रेखीय बीजगणित में, आव्यूह गुणन एक द्विआधारी संक्रिया है जो दो आव्यूहों से एक आव्यूह (गणित) उत्पन्न करता है। आव्यूह गुणन के लिए, पहले आव्यूह में स्तंभों की संख्या दूसरे आव्यूह में पंक्तियों की संख्या के बराबर होनी चाहिए। परिणामी आव्यूह, जिसे आव्यूह उत्पाद के रूप में जाना जाता है, में पहले आव्यूह की पंक्तियों की संख्या और दूसरे आव्यूह के स्तंभों की संख्या होती है। मेट्रिसेस का उत्पाद {{math|'''A'''}} और {{math|'''B'''}} के रूप {{math|'''AB'''}} में दर्शाया गया है।<ref name=":1">{{Cite web|last=Nykamp|first=Duane|title=Multiplying matrices and vectors|url=https://mathinsight.org/matrix_vector_multiplication|access-date=September 6, 2020|website=Math Insight}}</ref> | |||
[[File:Matrix multiplication qtl1.svg|thumb|आव्यूह गुणन के लिए, पहले आव्यूह में स्तंभों की संख्या दूसरे आव्यूह में पंक्तियों की संख्या के बराबर होनी चाहिए। परिणामी | आव्यूह गुणन का पहली बार वर्णन फ्रांसीसी गणितज्ञ [[ जैक्स फिलिप मैरी बिनेट |जैक्स फिलिप मैरी बिनेट]] ने 1812 में किया था,<ref>{{MacTutor|id=Binet|title=Jacques Philippe Marie Binet}}</ref> मैट्रिसेस द्वारा दर्शाए गए रैखिक मानचित्रों के [[ कार्यों की संरचना |कार्यों की संरचना]] का प्रतिनिधित्व करने के लिए। इस प्रकार आव्यूह गुणन रेखीय बीजगणित का एक आधारभूत उपकरण है, और इस तरह गणित के कई क्षेत्रों के साथ-साथ अनुप्रयुक्त गणित, सांख्यिकी, भौतिकी, [[ अर्थशास्त्र |अर्थशास्त्र]] और [[ अभियांत्रिकी |अभियांत्रिकी]] में इसके कई अनुप्रयोग हैं।<ref name="Physics 1991">{{cite book|title=Encyclopaedia of Physics|edition=2nd|first1=R. G. |last1=Lerner|author1-link=Rita G. Lerner | first2= G. L. |last2 = Trigg|publisher=VHC publishers|date=1991|isbn=978-3-527-26954-9}}</ref><ref>{{cite book|title=McGraw Hill Encyclopaedia of Physics|edition=2nd|first=C. B.|last=Parker|date=1994|isbn=978-0-07-051400-3|url-access=registration|url=https://archive.org/details/mcgrawhillencycl1993park}}</ref>कंप्यूटिंग आव्यूह उत्पाद रैखिक बीजगणित के सभी कम्प्यूटेशनल अनुप्रयोगों में एक केंद्रीय ऑपरेशन है। | ||
== नोटेशन == | == नोटेशन == | ||
यह लेख निम्नलिखित सांकेतिक सम्मेलनों का उपयोग करेगा: मैट्रिसेस को बड़े अक्षरों द्वारा बोल्ड में दर्शाया जाता है, उदा. {{math|'''A'''}}; लोअरकेस बोल्ड में [[ यूक्लिडियन वेक्टर |यूक्लिडियन वेक्टर]], उदा. {{math|'''a'''}}; और सदिशों और आव्यूहों की प्रविष्टियाँ तिरछी होती हैं (वे एक क्षेत्र से संख्याएँ होती हैं), उदा. {{math|''A''}} और {{math|''a''}} [[ सूचकांक अंकन |सूचकांक अंकन]] प्रायः परिभाषाओं को व्यक्त करने का सबसे स्पष्ट तरीका होता है, और साहित्य में मानक के रूप में प्रयोग किया जाता है। पंक्ति में प्रवेश {{mvar|i}}, कॉलम {{mvar|j}} | यह लेख निम्नलिखित सांकेतिक सम्मेलनों का उपयोग करेगा: मैट्रिसेस को बड़े अक्षरों द्वारा बोल्ड में दर्शाया जाता है, उदा. {{math|'''A'''}}; लोअरकेस बोल्ड में [[ यूक्लिडियन वेक्टर |यूक्लिडियन वेक्टर]], उदा. {{math|'''a'''}}; और सदिशों और आव्यूहों की प्रविष्टियाँ तिरछी होती हैं (वे एक क्षेत्र से संख्याएँ होती हैं), उदा. {{math|''A''}} और {{math|''a''}} [[ सूचकांक अंकन |सूचकांक अंकन]] प्रायः परिभाषाओं को व्यक्त करने का सबसे स्पष्ट तरीका होता है, और साहित्य में मानक के रूप में प्रयोग किया जाता है। पंक्ति में प्रवेश {{mvar|i}}, कॉलम {{mvar|j}} आव्यूह का {{math|'''A'''}} द्वारा दर्शाया गया है {{math|('''A''')<sub>''ij''</sub>}}, {{math|''A''<sub>''ij''</sub>}} या {{math|''a''<sub>''ij''</sub>}}. इसके विपरीत, एक एकल सबस्क्रिप्ट, उदा {{math|'''A'''<sub>1</sub>, '''A'''<sub>2</sub>}}, आव्यूह के संग्रह से आव्यूह ( आव्यूह प्रविष्टि नहीं) का चयन करने के लिए उपयोग किया जाता है। | ||
== परिभाषा == | == परिभाषा == | ||
यदि {{math|'''A'''}} एक {{math|''m'' × ''n''}} | यदि {{math|'''A'''}} एक {{math|''m'' × ''n''}} आव्यूह और {{math|'''B'''}} एक {{math|''n'' × ''p''}} आव्यूह, | ||
:<math>\mathbf{A}=\begin{pmatrix} | :<math>\mathbf{A}=\begin{pmatrix} | ||
| Line 20: | Line 19: | ||
b_{n1} & b_{n2} & \cdots & b_{np} \\ | b_{n1} & b_{n2} & \cdots & b_{np} \\ | ||
\end{pmatrix}</math> | \end{pmatrix}</math> | ||
आव्यूह उत्पाद {{math|1='''C''' = '''AB'''}} (गुणन चिह्नों या बिंदुओं के बिना चिह्नित) को परिभाषित किया गया है {{math|''m'' × ''p''}} आव्यूह<ref>{{cite book|title=Linear Algebra|edition=4th| first1 = S. | last1 = Lipschutz | first2 = M. | last2 = Lipson|series=Schaum's Outlines|publisher=McGraw Hill (USA)|date=2009|pages=30–31|isbn=978-0-07-154352-1}}</ref><ref>{{cite book|title=Mathematical methods for physics and engineering|url=https://archive.org/details/mathematicalmeth00rile|url-access=registration| first1 = K. F. | last1 = Riley | first2 = M. P. | last2 = Hobson | first3 = S. J. | last3 = Bence|publisher=Cambridge University Press|date=2010|isbn=978-0-521-86153-3}}</ref><ref>{{cite book|title=Calculus, A Complete Course|edition=3rd| first = R. A. | last = Adams|publisher=Addison Wesley|date=1995|page=627|isbn=0-201-82823-5}}</ref><ref>{{cite book|title=Matrix Analysis| last = Horn | first = Johnson|edition=2nd|publisher=Cambridge University Press|date=2013|page=6|isbn=978-0-521-54823-6}}</ref> | |||
:<math>\mathbf{C}=\begin{pmatrix} | :<math>\mathbf{C}=\begin{pmatrix} | ||
c_{11} & c_{12} & \cdots & c_{1p} \\ | c_{11} & c_{12} & \cdots & c_{1p} \\ | ||
| Line 44: | Line 43: | ||
इस प्रकार उत्पाद {{math|'''AB'''}} परिभाषित किया गया है अगर और केवल अगर स्तंभों की संख्या में {{math|'''A'''}} में पंक्तियों की संख्या {{math|'''B'''}} के बराबर है,<ref name=":1" />इस मामले में {{math|''n''}}. | इस प्रकार उत्पाद {{math|'''AB'''}} परिभाषित किया गया है अगर और केवल अगर स्तंभों की संख्या में {{math|'''A'''}} में पंक्तियों की संख्या {{math|'''B'''}} के बराबर है,<ref name=":1" />इस मामले में {{math|''n''}}. | ||
अधिकांश परिदृश्यों में, प्रविष्टियाँ संख्याएँ होती हैं, लेकिन वे किसी भी प्रकार की [[ गणितीय वस्तु |गणितीय वस्तु]]एँ हो सकती हैं, जिसके लिए एक जोड़ और गुणा परिभाषित किया जाता है, जो कि साहचर्य गुण हैं, और इस तरह कि जोड़ क्रमविनिमेय गुण है, और गुणन सम्मान के साथ वितरण गुण है जोड़ के लिए विशेष रूप से, प्रविष्टियाँ स्वयं मेट्रिसेस हो सकती हैं ([[ ब्लॉक मैट्रिक्स | ब्लॉक | अधिकांश परिदृश्यों में, प्रविष्टियाँ संख्याएँ होती हैं, लेकिन वे किसी भी प्रकार की [[ गणितीय वस्तु |गणितीय वस्तु]]एँ हो सकती हैं, जिसके लिए एक जोड़ और गुणा परिभाषित किया जाता है, जो कि साहचर्य गुण हैं, और इस तरह कि जोड़ क्रमविनिमेय गुण है, और गुणन सम्मान के साथ वितरण गुण है जोड़ के लिए विशेष रूप से, प्रविष्टियाँ स्वयं मेट्रिसेस हो सकती हैं ([[ ब्लॉक मैट्रिक्स | ब्लॉक आव्यूह]] देखें)। | ||
=== चित्रण === | === चित्रण === | ||
[[File:Matrix multiplication diagram 2.svg|right|thumb]]दाईं ओर का आंकड़ा आरेखीय रूप से दो मैट्रिसेस के उत्पाद को दिखाता है {{math|'''A'''}} और {{math|'''B'''}}, दिखा रहा है कि कैसे उत्पाद | [[File:Matrix multiplication diagram 2.svg|right|thumb]]दाईं ओर का आंकड़ा आरेखीय रूप से दो मैट्रिसेस के उत्पाद को दिखाता है {{math|'''A'''}} और {{math|'''B'''}}, दिखा रहा है कि कैसे उत्पाद आव्यूह में प्रत्येक आव्यूह एक पंक्ति से समानता रखता है {{math|'''A'''}} और {{math|'''B'''}} का एक स्तंभ, | ||
:<math> | :<math> | ||
| Line 78: | Line 77: | ||
== मौलिक अनुप्रयोग == | == मौलिक अनुप्रयोग == | ||
ऐतिहासिक रूप से, रेखीय बीजगणित में संगणना को सुगम बनाने और स्पष्ट करने के लिए आव्यूह गुणन की शुरुआत की गई है। | ऐतिहासिक रूप से, रेखीय बीजगणित में संगणना को सुगम बनाने और स्पष्ट करने के लिए आव्यूह गुणन की शुरुआत की गई है। आव्यूह गुणन और रेखीय बीजगणित के बीच यह मजबूत संबंध सभी गणित के साथ-साथ भौतिकी, [[ रसायन विज्ञान |रसायन विज्ञान]], इंजीनियरिंग और [[ कंप्यूटर विज्ञान |कंप्यूटर विज्ञान]] में मौलिक बना हुआ है। | ||
=== रेखीय मानचित्र === | === रेखीय मानचित्र === | ||
यदि एक सदिश स्थान का एक परिमित [[ आधार (रैखिक बीजगणित) |आधार (रैखिक बीजगणित)]] है, तो इसके सदिश प्रत्येक विशिष्ट रूप से स्केलर्स के एक परिमित [[ अनुक्रम (गणित) |अनुक्रम (गणित)]] द्वारा दर्शाए जाते हैं, जिसे एक समन्वय सदिश कहा जाता है, जिसके तत्व आधार पर सदिश के निर्देशांक हैं। ये निर्देशांक सदिश अन्य सदिश समष्टि बनाते हैं, जो मूल सदिश समष्टि के लिए तुल्याकारिता है। एक [[ समन्वय वेक्टर |समन्वय वेक्टर]] सामान्यतः [[ कॉलम मैट्रिक्स |कॉलम | यदि एक सदिश स्थान का एक परिमित [[ आधार (रैखिक बीजगणित) |आधार (रैखिक बीजगणित)]] है, तो इसके सदिश प्रत्येक विशिष्ट रूप से स्केलर्स के एक परिमित [[ अनुक्रम (गणित) |अनुक्रम (गणित)]] द्वारा दर्शाए जाते हैं, जिसे एक समन्वय सदिश कहा जाता है, जिसके तत्व आधार पर सदिश के निर्देशांक हैं। ये निर्देशांक सदिश अन्य सदिश समष्टि बनाते हैं, जो मूल सदिश समष्टि के लिए तुल्याकारिता है। एक [[ समन्वय वेक्टर |समन्वय वेक्टर]] सामान्यतः [[ कॉलम मैट्रिक्स |कॉलम आव्यूह]] (जिसे कॉलम वेक्टर भी कहा जाता है) के रूप में व्यवस्थित किया जाता है, जो केवल एक कॉलम वाला आव्यूह होता है। तो, एक स्तंभ वेक्टर एक समन्वय वेक्टर और मूल वेक्टर अंतरिक्ष के एक वेक्टर दोनों का प्रतिनिधित्व करता है। | ||
एक रेखीय नक्शा {{mvar|A}} आयाम के एक सदिश स्थान से {{mvar|n}} आयाम के वेक्टर स्थान में {{mvar|m}} एक कॉलम वेक्टर को मैप करता है | एक रेखीय नक्शा {{mvar|A}} आयाम के एक सदिश स्थान से {{mvar|n}} आयाम के वेक्टर स्थान में {{mvar|m}} एक कॉलम वेक्टर को मैप करता है | ||
| Line 87: | Line 86: | ||
कॉलम वेक्टर पर | कॉलम वेक्टर पर | ||
:<math>\mathbf y= A(\mathbf x)= \begin{pmatrix}a_{11}x_1+\cdots + a_{1n}x_n\\ a_{21}x_1+\cdots + a_{2n}x_n \\ \vdots \\ a_{m1}x_1+\cdots + a_{mn}x_n\end{pmatrix}.</math> | :<math>\mathbf y= A(\mathbf x)= \begin{pmatrix}a_{11}x_1+\cdots + a_{1n}x_n\\ a_{21}x_1+\cdots + a_{2n}x_n \\ \vdots \\ a_{m1}x_1+\cdots + a_{mn}x_n\end{pmatrix}.</math> | ||
रेखीय नक्शा {{mvar|A}} इस प्रकार | रेखीय नक्शा {{mvar|A}} इस प्रकार आव्यूह द्वारा परिभाषित किया गया है | ||
:<math>\mathbf{A}=\begin{pmatrix} | :<math>\mathbf{A}=\begin{pmatrix} | ||
a_{11} & a_{12} & \cdots & a_{1n} \\ | a_{11} & a_{12} & \cdots & a_{1n} \\ | ||
| Line 94: | Line 93: | ||
a_{m1} & a_{m2} & \cdots & a_{mn} \\ | a_{m1} & a_{m2} & \cdots & a_{mn} \\ | ||
\end{pmatrix}, </math> | \end{pmatrix}, </math> | ||
और कॉलम वेक्टर को मैप करता है <math>\mathbf x</math> | और कॉलम वेक्टर को मैप करता है <math>\mathbf x</math> आव्यूह उत्पाद के लिए | ||
:<math>\mathbf y = \mathbf {Ax}.</math> | :<math>\mathbf y = \mathbf {Ax}.</math> | ||
यदि {{mvar|B}} आयाम के पूर्ववर्ती सदिश स्थान से एक और रैखिक नक्शा है {{mvar|m}}, आयाम के सदिश स्थान में {{mvar|p}}, यह एक द्वारा दर्शाया गया है {{tmath|p\times m}} आव्यूह <math>\mathbf B.</math> एक सीधी गणना से पता चलता है कि फ़ंक्शन रचना का | यदि {{mvar|B}} आयाम के पूर्ववर्ती सदिश स्थान से एक और रैखिक नक्शा है {{mvar|m}}, आयाम के सदिश स्थान में {{mvar|p}}, यह एक द्वारा दर्शाया गया है {{tmath|p\times m}} आव्यूह <math>\mathbf B.</math> एक सीधी गणना से पता चलता है कि फ़ंक्शन रचना का आव्यूह {{tmath|B\circ A}} आव्यूह उत्पाद है <math>\mathbf {BA}.</math> सामान्य सूत्र {{tmath|1=(B\circ A)(\mathbf x) = B(A(\mathbf x))}}) जो फ़ंक्शन संरचना को परिभाषित करता है, यहां आव्यूह उत्पाद की संबद्धता के एक विशिष्ट मामले के रूप में उदाहरण दिया गया है (देखें {{slink||Associativity}} नीचे): | ||
:<math>(\mathbf{BA})\mathbf x = \mathbf{B}(\mathbf {Ax}) = \mathbf{BAx}.</math> | :<math>(\mathbf{BA})\mathbf x = \mathbf{B}(\mathbf {Ax}) = \mathbf{BAx}.</math> | ||
| Line 107: | Line 106: | ||
जहां स्रोत बिंदु <math>(x,y)</math> और इसकी छवि <math>(x',y')</math> कॉलम वैक्टर के रूप में लिखे गए हैं। | जहां स्रोत बिंदु <math>(x,y)</math> और इसकी छवि <math>(x',y')</math> कॉलम वैक्टर के रूप में लिखे गए हैं। | ||
द्वारा रोटेशन की रचना <math>\alpha</math> और उसके द्वारा <math>\beta</math> फिर | द्वारा रोटेशन की रचना <math>\alpha</math> और उसके द्वारा <math>\beta</math> फिर आव्यूह उत्पाद से समानता रखती है | ||
:<math>\begin{bmatrix} \cos \beta & - \sin \beta \\ \sin \beta & \cos \beta \end{bmatrix} | :<math>\begin{bmatrix} \cos \beta & - \sin \beta \\ \sin \beta & \cos \beta \end{bmatrix} | ||
\begin{bmatrix} \cos \alpha & - \sin \alpha \\ \sin \alpha & \cos \alpha \end{bmatrix} | \begin{bmatrix} \cos \alpha & - \sin \alpha \\ \sin \alpha & \cos \alpha \end{bmatrix} | ||
| Line 125: | Line 124: | ||
आव्यूह गुणन का प्रयोग करके गणना कीजिए | आव्यूह गुणन का प्रयोग करके गणना कीजिए | ||
:<math>\mathbf{AB} = \begin{pmatrix} 5 & 4 & 3 \\ 8 & 9 & 5 \\\ 6 & 5 & 3 \\ 11 & 9 & 6 \\ \end{pmatrix} ;</math> | :<math>\mathbf{AB} = \begin{pmatrix} 5 & 4 & 3 \\ 8 & 9 & 5 \\\ 6 & 5 & 3 \\ 11 & 9 & 6 \\ \end{pmatrix} ;</math> | ||
यह | यह आव्यूह सीधे अंतिम वस्तुओं की दी गई मात्रा के लिए आवश्यक आधारभूत वस्तुओं की मात्रा प्रदान करता है। उदाहरण के लिए, नीचे की बाईं प्रविष्टि <math>\mathbf{AB}</math> के रूप में गणना की जाती है <math>1 \cdot 1 + 1 \cdot 2 + 2 \cdot 4 = 11</math>, यह दर्शाता है <math>11</math> की इकाइयाँ <math>b_4</math> की एक इकाई का उत्पादन करने की आवश्यकता है <math>f_1</math>. दरअसल, एक <math>b_4</math> के लिए इकाई की आवश्यकता है <math>m_1</math>, 2 के लिए <math>m_2</math>, और <math>4</math> दोनों में से प्रत्येक के लिए <math>m_3</math> इकाइयां जो अंदर जाती हैं <math>f_1</math> इकाई, चित्र देखें। | ||
उत्पादन करने के लिए उदा। अंतिम उत्पाद की 100 इकाइयां <math>f_1</math>, 80 इकाइयां <math>f_2</math>, और 60 इकाइयां <math>f_3</math>आधारभूत वस्तुओं की आवश्यक मात्रा की गणना इस प्रकार की जा सकती है | उत्पादन करने के लिए उदा। अंतिम उत्पाद की 100 इकाइयां <math>f_1</math>, 80 इकाइयां <math>f_2</math>, और 60 इकाइयां <math>f_3</math>आधारभूत वस्तुओं की आवश्यक मात्रा की गणना इस प्रकार की जा सकती है | ||
:<math>(\mathbf{AB}) \begin{pmatrix} 100 \\ 80 \\ 60 \\ \end{pmatrix} = \begin{pmatrix} 1000 \\ 1820 \\ 1180 \\ 2180 \end{pmatrix} ,</math> | :<math>(\mathbf{AB}) \begin{pmatrix} 100 \\ 80 \\ 60 \\ \end{pmatrix} = \begin{pmatrix} 1000 \\ 1820 \\ 1180 \\ 2180 \end{pmatrix} ,</math> | ||
वह है, <math>1000</math> की इकाइयाँ <math>b_1</math>, <math>1820</math> की इकाइयाँ <math>b_2</math>, <math>1180</math> की इकाइयाँ <math>b_3</math>, <math>2180</math> की इकाइयाँ <math>b_4</math> की आवश्यकता है। | वह है, <math>1000</math> की इकाइयाँ <math>b_1</math>, <math>1820</math> की इकाइयाँ <math>b_2</math>, <math>1180</math> की इकाइयाँ <math>b_3</math>, <math>2180</math> की इकाइयाँ <math>b_4</math> की आवश्यकता है। | ||
इसी तरह, उत्पाद | इसी तरह, उत्पाद आव्यूह <math>\mathbf{AB}</math> अन्य अंतिम-अच्छी राशि डेटा के लिए आधारभूत वस्तुओं की आवश्यक मात्रा की गणना करने के लिए उपयोग किया जा सकता है।<ref>{{cite book | isbn=3-446-18668-9 | author=Peter Stingl | title=Mathematik für Fachhochschulen – Technik und Informatik | location=[[Munich]] | publisher=[[Carl Hanser Verlag]] | edition=5th | year=1996 | language=German }} Here: Exm.5.4.10, p.205-206</ref> | ||
| Line 139: | Line 138: | ||
\\ \vdots | \\ \vdots | ||
\\ a_{m1}x_1+\cdots + a_{mn}x_n =b_m\end{matrix}.</math> | \\ a_{m1}x_1+\cdots + a_{mn}x_n =b_m\end{matrix}.</math> | ||
उपरोक्त के समान संकेतन का उपयोग करते हुए, ऐसी प्रणाली एकल | उपरोक्त के समान संकेतन का उपयोग करते हुए, ऐसी प्रणाली एकल आव्यूह [[ समीकरण |समीकरण]] के समतुल्य है | ||
:<math>\mathbf{Ax}=\mathbf b.</math> | :<math>\mathbf{Ax}=\mathbf b.</math> | ||
===डॉट उत्पाद, बिलिनियर फॉर्म और सेस्क्विलिनियर फॉर्म === | ===डॉट उत्पाद, बिलिनियर फॉर्म और सेस्क्विलिनियर फॉर्म === | ||
दो कॉलम वैक्टर का डॉट उत्पाद | दो कॉलम वैक्टर का डॉट उत्पाद आव्यूह उत्पाद है | ||
:<math>\mathbf x^\mathsf T \mathbf y,</math> | :<math>\mathbf x^\mathsf T \mathbf y,</math> | ||
जहाँ <math>\mathbf x^\mathsf T</math> स्थानान्तरण द्वारा प्राप्त पंक्ति सदिश है <math>\mathbf x</math> और परिणामी 1×1 | जहाँ <math>\mathbf x^\mathsf T</math> स्थानान्तरण द्वारा प्राप्त पंक्ति सदिश है <math>\mathbf x</math> और परिणामी 1×1 आव्यूह की पहचान इसकी अनूठी प्रविष्टि से की जाती है। | ||
अधिक सामान्यतः, परिमित आयाम के सदिश स्थान पर किसी भी [[ द्विरेखीय रूप |द्विरेखीय रूप]] को | अधिक सामान्यतः, परिमित आयाम के सदिश स्थान पर किसी भी [[ द्विरेखीय रूप |द्विरेखीय रूप]] को आव्यूह उत्पाद के रूप में व्यक्त किया जा सकता है | ||
:<math>\mathbf x^\mathsf T \mathbf {Ay},</math> | :<math>\mathbf x^\mathsf T \mathbf {Ay},</math> | ||
और किसी भी अनुक्रमिक रूप को व्यक्त किया जा सकता है | और किसी भी अनुक्रमिक रूप को व्यक्त किया जा सकता है | ||
| Line 155: | Line 154: | ||
== सामान्य गुण == | == सामान्य गुण == | ||
आव्यूह गुणन सामान्य गुणन के साथ कुछ गुण साझा करता है। हालाँकि, आव्यूह गुणन को परिभाषित नहीं किया जाता है यदि पहले कारक के स्तंभों की संख्या दूसरे कारक की पंक्तियों की संख्या से भिन्न होती है, और यह [[ अविनिमेय |अविनिमेय]] है,<ref name=":2">{{Cite web|last=Weisstein|first=Eric W.|title=Matrix Multiplication|url=https://mathworld.wolfram.com/MatrixMultiplication.html|access-date=2020-09-06|website=mathworld.wolfram.com|language=en}}</ref> तब भी जब कारकों के क्रम को बदलने के बाद भी उत्पाद निश्चित रहता है।<ref>{{cite book|title=Linear Algebra|edition=4th| first1 = S. | last1 = Lipcshutz | first2 = M. | last2 = Lipson|series=Schaum's Outlines|publisher=McGraw Hill (USA)|chapter=2|date=2009|isbn=978-0-07-154352-1}}</ref><ref>{{cite book|title=Matrix Analysis| last = Horn | first = Johnson|edition=2nd|chapter=0|publisher=Cambridge University Press|date=2013|isbn=978-0-521-54823-6}}</ref> | |||
| Line 161: | Line 160: | ||
एक संक्रिया क्रमविनिमेय गुण है यदि, दो तत्व दिए गए हों {{math|'''A'''}} और {{math|'''B'''}} ऐसा है कि उत्पाद <math>\mathbf{A}\mathbf{B}</math> परिभाषित किया गया है, तो <math>\mathbf{B}\mathbf{A}</math> भी परिभाषित किया गया है, और <math>\mathbf{A}\mathbf{B}=\mathbf{B}\mathbf{A}.</math> | एक संक्रिया क्रमविनिमेय गुण है यदि, दो तत्व दिए गए हों {{math|'''A'''}} और {{math|'''B'''}} ऐसा है कि उत्पाद <math>\mathbf{A}\mathbf{B}</math> परिभाषित किया गया है, तो <math>\mathbf{B}\mathbf{A}</math> भी परिभाषित किया गया है, और <math>\mathbf{A}\mathbf{B}=\mathbf{B}\mathbf{A}.</math> | ||
यदि {{math|'''A'''}} और {{math|'''B'''}} संबंधित आकार के | यदि {{math|'''A'''}} और {{math|'''B'''}} संबंधित आकार के आव्यूह हैं {{tmath|m\times n}} और {{tmath|p\times q}}, तब <math>\mathbf{A}\mathbf{B}</math> यदि परिभाषित किया गया है {{tmath|1=n=p}}, और <math>\mathbf{B}\mathbf{A}</math> यदि परिभाषित किया गया है {{tmath|1=m=q}}. इसलिए, यदि उत्पादों में से एक परिभाषित है, तो दूसरे को परिभाषित करने की आवश्यकता नहीं है। यदि {{tmath|1=m=q\neq n=p}}, दो उत्पादों को परिभाषित किया गया है, लेकिन उनके अलग-अलग आकार हैं; इस प्रकार वे समान नहीं हो सकते। केवल {{tmath|1=m=q= n=p}}, अर्थात अगर {{math|'''A'''}} और {{math|'''B'''}} समान आकार के वर्ग आव्यूह हैं, दोनों उत्पाद परिभाषित हैं और समान आकार के हैं। यहां तक कि इस मामले में, एक सामान्य रूप में है | ||
:<math>\mathbf{A}\mathbf{B} \neq \mathbf{B}\mathbf{A}.</math> उदाहरण के लिए | :<math>\mathbf{A}\mathbf{B} \neq \mathbf{B}\mathbf{A}.</math> उदाहरण के लिए | ||
:<math>\begin{pmatrix} 0 & 1 \\ 0 & 0 \end{pmatrix}\begin{pmatrix} 0 & 0 \\ 1 & 0 \end{pmatrix}=\begin{pmatrix} 1 & 0 \\ 0 & 0 \end{pmatrix},</math> | :<math>\begin{pmatrix} 0 & 1 \\ 0 & 0 \end{pmatrix}\begin{pmatrix} 0 & 0 \\ 1 & 0 \end{pmatrix}=\begin{pmatrix} 1 & 0 \\ 0 & 0 \end{pmatrix},</math> | ||
लेकिन | लेकिन | ||
:<math>\begin{pmatrix} 0 & 0 \\ 1 & 0 \end{pmatrix}\begin{pmatrix} 0 & 1 \\ 0 & 0 \end{pmatrix} = \begin{pmatrix} 0 & 0 \\ 0 & 1 \end{pmatrix}.</math> | :<math>\begin{pmatrix} 0 & 0 \\ 1 & 0 \end{pmatrix}\begin{pmatrix} 0 & 1 \\ 0 & 0 \end{pmatrix} = \begin{pmatrix} 0 & 0 \\ 0 & 1 \end{pmatrix}.</math> | ||
यह उदाहरण दिखाने के लिए विस्तारित किया जा सकता है कि, यदि {{math|'''A'''}} एक है {{tmath|n\times n}} एक क्षेत्र में प्रविष्टियों के साथ | यह उदाहरण दिखाने के लिए विस्तारित किया जा सकता है कि, यदि {{math|'''A'''}} एक है {{tmath|n\times n}} एक क्षेत्र में प्रविष्टियों के साथ आव्यूह (गणित) {{mvar|F}}, तब <math>\mathbf{A}\mathbf{B} = \mathbf{B}\mathbf{A}</math> हर एक के लिए {{tmath|n\times n}} आव्यूह {{math|'''B'''}} में प्रविष्टियों के साथ {{mvar|F}}, [[ अगर और केवल अगर |अगर और केवल अगर]] <math>\mathbf{A}=c\,\mathbf{I}</math> जहाँ {{tmath|c\in F}}, और {{math|'''I'''}} है {{tmath|n\times n}} [[ शिनाख्त सांचा |शिनाख्त सांचा]] यदि, एक क्षेत्र के बजाय, प्रविष्टियों को एक [[ अंगूठी (गणित) |रिंग (गणित)]] से संबंधित माना जाता है, तो किसी को शर्त जोड़नी होगी कि {{mvar|c}} रिंग के [[ केंद्र (रिंग थ्योरी) |केंद्र (रिंग थ्योरी)]] से संबंधित है। | ||
एक विशेष मामला जहां क्रमविनिमेयता तब होती है जब {{math|'''D'''}} और {{math|'''E'''}} दो (वर्ग) विकर्ण आव्यूह हैं (समान आकार के); तब {{math|1='''DE''' = '''ED'''}}.<ref name=":2" />फिर से, यदि मेट्रिसेस एक क्षेत्र के बजाय एक सामान्य रिंग के ऊपर हैं, तो प्रत्येक में संबंधित प्रविष्टियों को भी इसे धारण करने के लिए एक दूसरे के साथ आना चाहिए। | एक विशेष मामला जहां क्रमविनिमेयता तब होती है जब {{math|'''D'''}} और {{math|'''E'''}} दो (वर्ग) विकर्ण आव्यूह हैं (समान आकार के); तब {{math|1='''DE''' = '''ED'''}}.<ref name=":2" />फिर से, यदि मेट्रिसेस एक क्षेत्र के बजाय एक सामान्य रिंग के ऊपर हैं, तो प्रत्येक में संबंधित प्रविष्टियों को भी इसे धारण करने के लिए एक दूसरे के साथ आना चाहिए। | ||
=== वितरणशीलता === | === वितरणशीलता === | ||
आव्यूह योग के संबंध में आव्यूह उत्पाद वितरण गुण है। अर्थात अगर {{math|'''A''', '''B''', '''C''', '''D'''}} संबंधित आकार के आव्यूह हैं {{math|''m'' × ''n''}}, {{math|''n'' × ''p''}}, {{math|''n'' × ''p''}}, और {{math|''p'' × ''q''}}, एक के पास (बायाँ वितरण) | |||
:<math>\mathbf{A}(\mathbf{B} + \mathbf{C}) = \mathbf{AB} + \mathbf{AC},</math> | :<math>\mathbf{A}(\mathbf{B} + \mathbf{C}) = \mathbf{AB} + \mathbf{AC},</math> | ||
और (सही वितरण) | और (सही वितरण) | ||
| Line 182: | Line 181: | ||
=== स्केलर के साथ उत्पाद === | === स्केलर के साथ उत्पाद === | ||
यदि {{math|'''A'''}} एक | यदि {{math|'''A'''}} एक आव्यूह है और {{mvar|c}} एक अदिश, फिर मैट्रिसेस <math>c\mathbf{A}</math> और <math>\mathbf{A}c</math> की सभी प्रविष्टियों को बाएँ या दाएँ गुणा करके प्राप्त किया जाता है {{math|'''A'''}} द्वारा {{mvar|c}}. यदि अदिशों में क्रमविनिमेय गुण है, तब <math>c\mathbf{A} = \mathbf{A}c.</math> | ||
यदि उत्पाद <math>\mathbf{AB}</math> परिभाषित किया गया है (अर्थात, कॉलम की संख्या {{math|'''A'''}} की पंक्तियों की संख्या के बराबर है {{math|'''B'''}}), तब | यदि उत्पाद <math>\mathbf{AB}</math> परिभाषित किया गया है (अर्थात, कॉलम की संख्या {{math|'''A'''}} की पंक्तियों की संख्या के बराबर है {{math|'''B'''}}), तब | ||
:<math> c(\mathbf{AB}) = (c \mathbf{A})\mathbf{B}</math> और <math> (\mathbf{A} \mathbf{B})c=\mathbf{A}(\mathbf{B}c).</math> | :<math> c(\mathbf{AB}) = (c \mathbf{A})\mathbf{B}</math> और <math> (\mathbf{A} \mathbf{B})c=\mathbf{A}(\mathbf{B}c).</math> | ||
| Line 197: | Line 196: | ||
जहाँ <sup>T</sup> ट्रांज़ोज़ को दर्शाता है, जो कि पंक्तियों और स्तंभों का आदान-प्रदान है। | जहाँ <sup>T</sup> ट्रांज़ोज़ को दर्शाता है, जो कि पंक्तियों और स्तंभों का आदान-प्रदान है। | ||
प्रविष्टियों के बीच क्रम के बाद से यह पहचान गैर-अनुवर्ती प्रविष्टियों के लिए नहीं है {{math|'''A'''}} और {{math|'''B'''}} उलटा है, जब कोई | प्रविष्टियों के बीच क्रम के बाद से यह पहचान गैर-अनुवर्ती प्रविष्टियों के लिए नहीं है {{math|'''A'''}} और {{math|'''B'''}} उलटा है, जब कोई आव्यूह उत्पाद की परिभाषा का विस्तार करता है। | ||
=== जटिल संयुग्म === | === जटिल संयुग्म === | ||
यदि {{math|'''A'''}} और {{math|'''B'''}} फिर [[ जटिल संख्या |जटिल संख्या]] प्रविष्टियाँ हैं | यदि {{math|'''A'''}} और {{math|'''B'''}} फिर [[ जटिल संख्या |जटिल संख्या]] प्रविष्टियाँ हैं | ||
:<math> (\mathbf{AB})^* = \mathbf{A}^*\mathbf{B}^* </math> | :<math> (\mathbf{AB})^* = \mathbf{A}^*\mathbf{B}^* </math> | ||
जहाँ {{math|<sup>*</sup>}} एक | जहाँ {{math|<sup>*</sup>}} एक आव्यूह के प्रवेश-वार जटिल संयुग्म को दर्शाता है। | ||
यह | यह आव्यूह उत्पाद की परिभाषा पर लागू होने का परिणाम है कि एक योग का संयुग्म योग के संयुग्मों का योग है और एक उत्पाद का संयुग्म कारकों के संयुग्मों का उत्पाद है। | ||
स्थानान्तरण प्रविष्टियों के सूचकांकों पर कार्य करता है, जबकि संयुग्मन स्वयं प्रविष्टियों पर स्वतंत्र रूप से कार्य करता है। इसका परिणाम यह होता है कि यदि {{math|'''A'''}} और {{math|'''B'''}} जटिल प्रविष्टियाँ हैं, एक है | स्थानान्तरण प्रविष्टियों के सूचकांकों पर कार्य करता है, जबकि संयुग्मन स्वयं प्रविष्टियों पर स्वतंत्र रूप से कार्य करता है। इसका परिणाम यह होता है कि यदि {{math|'''A'''}} और {{math|'''B'''}} जटिल प्रविष्टियाँ हैं, एक है | ||
| Line 215: | Line 214: | ||
:<math>(\mathbf{AB})\mathbf{C}=\mathbf{A}(\mathbf{BC}).</math> | :<math>(\mathbf{AB})\mathbf{C}=\mathbf{A}(\mathbf{BC}).</math> | ||
किसी भी साहचर्य संचालन के लिए, यह कोष्ठकों को छोड़ने और उपरोक्त उत्पादों को लिखने की अनुमति देता है {{tmath|\mathbf{ABC}.}} | किसी भी साहचर्य संचालन के लिए, यह कोष्ठकों को छोड़ने और उपरोक्त उत्पादों को लिखने की अनुमति देता है {{tmath|\mathbf{ABC}.}} | ||
यह किसी भी | यह किसी भी आव्यूह के उत्पाद के लिए स्वाभाविक रूप से विस्तारित होता है, बशर्ते कि आयाम मेल खाते हों। अर्थात अगर {{math|'''A'''<sub>1</sub>, '''A'''<sub>2</sub>, ..., '''A'''<sub>''n''</sub>}} मैट्रिसेस ऐसे हैं कि कॉलम की संख्या {{math|'''A'''<sub>''i''</sub>}} की पंक्तियों की संख्या के बराबर है {{math|'''A'''<sub>''i'' + 1</sub>}} के लिए {{math|1=''i'' = 1, ..., ''n'' – 1}}, फिर उत्पाद | ||
:<math> \prod_{i=1}^n \mathbf{A}_i = \mathbf{A}_1\mathbf{A}_2\cdots\mathbf{A}_n </math> | :<math> \prod_{i=1}^n \mathbf{A}_i = \mathbf{A}_1\mathbf{A}_2\cdots\mathbf{A}_n </math> | ||
परिभाषित है और संचालन के क्रम पर निर्भर नहीं करता है, यदि मेट्रिसेस का क्रम स्थिर रखा जाता है। | परिभाषित है और संचालन के क्रम पर निर्भर नहीं करता है, यदि मेट्रिसेस का क्रम स्थिर रखा जाता है। | ||
| Line 223: | Line 222: | ||
==== कम्प्यूटेशनल जटिलता कोष्ठक पर निर्भर करती है ==== | ==== कम्प्यूटेशनल जटिलता कोष्ठक पर निर्भर करती है ==== | ||
यद्यपि | यद्यपि आव्यूह उत्पादों के अनुक्रम का परिणाम संचालन के क्रम पर निर्भर नहीं करता है (बशर्ते कि आव्यूह का क्रम नहीं बदला जाता है), कम्प्यूटेशनल जटिलता इस आदेश पर नाटकीय रूप से निर्भर हो सकती है। | ||
उदाहरण के लिए, अगर {{math|'''A''', '''B'''}} और {{math|'''C'''}} संबंधित आकार के | उदाहरण के लिए, अगर {{math|'''A''', '''B'''}} और {{math|'''C'''}} संबंधित आकार के आव्यूह हैं {{math|10×30, 30×5, 5×60}}, कंप्यूटिंग {{math|('''AB''')'''C'''}} ज़रूरत {{math|1=10×30×5 + 10×5×60 = 4,500}} गुणन, गणना करते समय {{math|'''A'''('''BC''')}} ज़रूरत {{math|1=30×5×60 + 10×30×60 = 27,000}} गुणन। | ||
एल्गोरिद्म को उत्पादों के सर्वोत्तम क्रम को चुनने के लिए डिज़ाइन किया गया है, [[ मैट्रिक्स श्रृंखला गुणन | | एल्गोरिद्म को उत्पादों के सर्वोत्तम क्रम को चुनने के लिए डिज़ाइन किया गया है, [[ मैट्रिक्स श्रृंखला गुणन |आव्यूह श्रृंखला गुणन]] देखें। जब संख्या {{mvar|n}} आव्यूहों की संख्या बढ़ जाती है, यह दिखाया गया है कि सर्वोत्तम क्रम के चुनाव में जटिलता होती है <math>O(n \log n).</math> | ||
==== समानता के लिए आवेदन ==== | ==== समानता के लिए आवेदन ==== | ||
कोई [[ उलटा मैट्रिक्स |उलटा | कोई [[ उलटा मैट्रिक्स |उलटा आव्यूह]] <math>\mathbf{P}</math> एक [[ समान मैट्रिक्स |समान आव्यूह]] को परिभाषित करता है (समान आकार के वर्ग आव्यूह पर <math>\mathbf{P}</math>) | ||
:<math>S_\mathbf{P}(\mathbf{A}) = \mathbf{P}^{-1} \mathbf{A} \mathbf{P}.</math> | :<math>S_\mathbf{P}(\mathbf{A}) = \mathbf{P}^{-1} \mathbf{A} \mathbf{P}.</math> | ||
समानता परिवर्तन उत्पाद को उत्पाद में मैप करता है, अर्थात | समानता परिवर्तन उत्पाद को उत्पाद में मैप करता है, अर्थात | ||
| Line 243: | Line 242: | ||
आइए बताते हैं <math>\mathcal M_n(R)</math> का समूह {{math|''n''×''n''}} एक रिंग में प्रविष्टियों के साथ वर्ग आव्यूह (गणित) {{mvar|R}}, जो व्यवहार में प्रायः एक क्षेत्र (गणित) होता है। | आइए बताते हैं <math>\mathcal M_n(R)</math> का समूह {{math|''n''×''n''}} एक रिंग में प्रविष्टियों के साथ वर्ग आव्यूह (गणित) {{mvar|R}}, जो व्यवहार में प्रायः एक क्षेत्र (गणित) होता है। | ||
में <math>\mathcal M_n(R)</math>, उत्पाद को | में <math>\mathcal M_n(R)</math>, उत्पाद को आव्यूह की प्रत्येक जोड़ी के लिए परिभाषित किया गया है। यह बनाता है <math>\mathcal M_n(R)</math> एक रिंग (गणित), जिसमें पहचान आव्यूह है {{math|'''I'''}} [[ पहचान तत्व |पहचान तत्व]] के रूप में ( आव्यूह जिसकी विकर्ण प्रविष्टियाँ 1 के बराबर हैं और अन्य सभी प्रविष्टियाँ 0 हैं)। यह वलय एक साहचर्य बीजगणित भी है {{mvar|R}}-बीजगणित। | ||
यदि {{math|''n'' > 1}}, कई आव्यूहों में गुणनात्मक व्युत्क्रम नहीं होता है। उदाहरण के लिए, एक | यदि {{math|''n'' > 1}}, कई आव्यूहों में गुणनात्मक व्युत्क्रम नहीं होता है। उदाहरण के लिए, एक आव्यूह ऐसा है कि एक पंक्ति (या एक स्तंभ) की सभी प्रविष्टियाँ 0 हैं, इसका व्युत्क्रम नहीं है। यदि यह मौजूद है, तो आव्यूह का व्युत्क्रम {{math|'''A'''}} निरूपित किया जाता है {{math|'''A'''<sup>−1</sup>}}, और, इस प्रकार सत्यापित करता है | ||
:<math> \mathbf{A}\mathbf{A}^{-1} = \mathbf{A}^{-1}\mathbf{A} = \mathbf{I}. </math> | :<math> \mathbf{A}\mathbf{A}^{-1} = \mathbf{A}^{-1}\mathbf{A} = \mathbf{I}. </math> | ||
एक व्युत्क्रम वाला | एक व्युत्क्रम वाला आव्यूह एक उलटा आव्यूह है। अन्यथा, यह एक विलक्षण आव्यूह है। | ||
मेट्रिसेस का एक उत्पाद व्युत्क्रमणीय है यदि और केवल यदि प्रत्येक कारक व्युत्क्रमणीय है। इस मामले में, एक है | मेट्रिसेस का एक उत्पाद व्युत्क्रमणीय है यदि और केवल यदि प्रत्येक कारक व्युत्क्रमणीय है। इस मामले में, एक है | ||
| Line 254: | Line 253: | ||
कब {{mvar|R}} क्रमविनिमेय वलय है, और, विशेष रूप से, जब यह एक क्षेत्र है, तो उत्पाद का निर्धारक निर्धारकों का गुणनफल होता है। जैसा कि निर्धारक अदिश होते हैं, और अदिश यात्रा करते हैं, इस प्रकार एक है | कब {{mvar|R}} क्रमविनिमेय वलय है, और, विशेष रूप से, जब यह एक क्षेत्र है, तो उत्पाद का निर्धारक निर्धारकों का गुणनफल होता है। जैसा कि निर्धारक अदिश होते हैं, और अदिश यात्रा करते हैं, इस प्रकार एक है | ||
:<math> \det(\mathbf{AB}) = \det(\mathbf{BA}) =\det(\mathbf{A})\det(\mathbf{B}). </math> | :<math> \det(\mathbf{AB}) = \det(\mathbf{BA}) =\det(\mathbf{A})\det(\mathbf{B}). </math> | ||
अन्य | अन्य आव्यूह [[ अपरिवर्तनीय (गणित) |अपरिवर्तनीय (गणित)]] उत्पादों के साथ भी व्यवहार नहीं करते हैं। फिर भी अगर {{mvar|R}} क्रमविनिमेय है, {{math|'''AB'''}} और {{math|'''BA'''}} समान [[ ट्रेस (रैखिक बीजगणित) |ट्रेस (रैखिक बीजगणित)]], समान [[ विशेषता बहुपद |विशेषता बहुपद]], और समान गुणकों के साथ समान हैं। हालांकि, [[ आइजन्वेक्टर |आइजन्वेक्टर]] सामान्यतः {{math|'''AB''' ≠ '''BA'''}} अलग होते हैं, | ||
=== एक | === एक आव्यूह की शक्तियाँ === | ||
कोई वर्ग | कोई वर्ग आव्यूह को किसी भी [[ घातांक |घातांक]] के लिए उसी तरह बार-बार गुणा कर सकता है जैसे साधारण संख्याओं के लिए। वह है, | ||
:<math>\mathbf{A}^0 = \mathbf{I},</math> | :<math>\mathbf{A}^0 = \mathbf{I},</math> | ||
:<math>\mathbf{A}^1 = \mathbf{A},</math> | :<math>\mathbf{A}^1 = \mathbf{A},</math> | ||
:<math>\mathbf{A}^k = \underbrace{\mathbf{A}\mathbf{A}\cdots\mathbf{A}}_{k\text{ times}}.</math> | :<math>\mathbf{A}^k = \underbrace{\mathbf{A}\mathbf{A}\cdots\mathbf{A}}_{k\text{ times}}.</math> | ||
कम्प्यूटिंग {{mvar|k}} एक | कम्प्यूटिंग {{mvar|k}} एक आव्यूह की शक्ति की जरूरत {{math|''k'' – 1}} है, एकल आव्यूह गुणन के समय का गुणा, यदि यह तुच्छ एल्गोरिथम (दोहराया गुणन) के साथ किया जाता है। चूँकि इसमें बहुत समय लग सकता है, सामान्यतः कोई [[ वर्ग द्वारा घातांक |वर्ग द्वारा घातांक]] का उपयोग करना पसंद करता है, जिसके लिए कम से कम की आवश्यकता होती है {{math|2 log<sub>2</sub> ''k''}} आव्यूह गुणा, और इसलिए अधिक कुशल है। | ||
घातांक के लिए एक आसान मामला एक [[ विकर्ण मैट्रिक्स |विकर्ण | घातांक के लिए एक आसान मामला एक [[ विकर्ण मैट्रिक्स |विकर्ण आव्यूह]] का है। चूंकि विकर्ण मैट्रिसेस का गुणन केवल संगत विकर्ण तत्वों को एक साथ गुणा करने के बराबर है, इसलिए {{mvar|k}}एक विकर्ण आव्यूह की {{mvar|k}} शक्ति प्रविष्टियों को बढ़ाकर प्राप्त की जाती है: | ||
:<math> | :<math> | ||
\begin{bmatrix} | \begin{bmatrix} | ||
| Line 281: | Line 280: | ||
== सार बीजगणित == | == सार बीजगणित == | ||
आव्यूह उत्पाद की परिभाषा के लिए आवश्यक है कि प्रविष्टियाँ एक सेमिरिंग से संबंधित हों, और सेमीरिंग के तत्वों के गुणन की आवश्यकता नहीं होती है ताकि कम्यूटेटिव प्रॉपर्टी हो। कई अनुप्रयोगों में, आव्यूह तत्व एक क्षेत्र से संबंधित होते हैं, हालांकि ग्राफ़ सबसे छोटी पथ समस्याओं के लिए [[ उष्णकटिबंधीय सेमिरिंग |उष्णकटिबंधीय सेमिरिंग]] भी एक सामान्य विकल्प है।<ref>{{cite book|title=Randomized Algorithms|first1=Rajeev|last1=Motwani|author1-link=Rajeev Motwani|first2=Prabhakar|last2=Raghavan|author2-link=Prabhakar Raghavan|publisher=Cambridge University Press|year=1995|isbn=9780521474658|page=280|url=https://books.google.com/books?id=QKVY4mDivBEC&pg=PA280}}</ref> क्षेत्रों पर आव्यूह के मामले में भी, उत्पाद सामान्य रूप से कम्यूटिव नहीं है, हालांकि यह सहयोगी संपत्ति है और आव्यूह जोड़ पर वितरण संपत्ति है। पहचान मैट्रिसेस (जो वर्ग आव्यूह हैं जिनकी प्रविष्टियां मुख्य विकर्ण के बाहर शून्य हैं और मुख्य विकर्ण पर 1 हैं) आव्यूह उत्पाद के पहचान तत्व हैं। इससे यह पता चलता है कि {{math|''n'' × ''n''}} रिंग (गणित) के ऊपर मैट्रिसेस एक रिंग बनाते हैं, जो गैर-अनुक्रमिक है सिवाय इसके कि अगर {{math|1=''n'' = 1}} और ग्राउंड रिंग कम्यूटिव है। | |||
एक [[ उलटा मैट्रिक्स |उलटा | एक [[ उलटा मैट्रिक्स |उलटा आव्यूह]] में एक गुणक व्युत्क्रम हो सकता है, जिसे व्युत्क्रम आव्यूह कहा जाता है। सामान्य मामले में जहां प्रविष्टियां क्रमविनिमेय रिंग से संबंधित होती हैं {{mvar|R}}, एक आव्यूह में एक व्युत्क्रम होता है यदि और केवल यदि इसके निर्धारक में गुणक व्युत्क्रम होता है {{mvar|R}}. वर्ग आव्यूह के उत्पाद का निर्धारक कारकों के निर्धारकों का उत्पाद है। {{math|''n'' × ''n''}} }} आव्यूह जिनके व्युत्क्रम आव्यूह गुणन के तहत एक [[ समूह (गणित) |समूह (गणित)]] बनाते हैं, जिसके [[ उपसमूह |उपसमूह]] आव्यूह समूह कहलाते हैं। कई शास्त्रीय समूह (सभी [[ परिमित समूह |परिमित समूह]] सहित) [[ मैट्रिक्स समूह |आव्यूह समूह]] के लिए [[ समूह समरूपता |समूह समरूपता]] हैं; यह समूह अभ्यावेदन के सिद्धांत का प्रारंभिक बिंदु है। | ||
== कम्प्यूटेशनल जटिलता == | == कम्प्यूटेशनल जटिलता == | ||
{{Main|मैट्रिक्स गुणन की कम्प्यूटेशनल जटिलता}} | {{Main|मैट्रिक्स गुणन की कम्प्यूटेशनल जटिलता}} | ||
{{For|कार्यान्वयन तकनीक (विशेष रूप से समांतर और वितरित एल्गोरिदम में)|मैट्रिक्स गुणन एल्गोरिथ्म}} | {{For|कार्यान्वयन तकनीक (विशेष रूप से समांतर और वितरित एल्गोरिदम में)|मैट्रिक्स गुणन एल्गोरिथ्म}} | ||
[[File:MatrixMultComplexity svg.svg|thumb|400px|right|प्रतिपादक के अनुमानों में सुधार {{math|ω}} | [[File:MatrixMultComplexity svg.svg|thumb|400px|right|प्रतिपादक के अनुमानों में सुधार {{math|ω}} आव्यूह गुणन की कम्प्यूटेशनल जटिलता के लिए समय के साथ <math>O(n^\omega)</math>.]]आव्यूह गुणन [[ कलन विधि |कलन विधि]] जो परिभाषा से परिणाम देता है, सबसे खराब स्थिति में जटिलता की आवश्यकता होती है, {{tmath|n^3}} गुणन और {{tmath|(n-1)n^2}} दो वर्गों के गुणनफल की गणना करने के लिए अदिश राशियों का योग {{math|''n''×''n''}} आव्यूह। इसकी कम्प्यूटेशनल जटिलता इसलिए है {{tmath|O(n^3)}}, संगणना के एक मॉडल में जिसके लिए स्केलर संचालन में निरंतर समय लगता है। | ||
आश्चर्यजनक रूप से, यह जटिलता इष्टतम नहीं है, जैसा कि 1969 में [[ वोल्कर स्ट्रास |वोल्कर स्ट्रास]] द्वारा दिखाया गया था, जिन्होंने एक एल्गोरिथ्म प्रदान किया था, जिसे अब स्ट्रैसेन का एल्गोरिथ्म कहा जाता है, इसकी जटिलता के साथ <math>O( n^{\log_{2}7}) \approx O(n^{2.8074}).</math><ref> | आश्चर्यजनक रूप से, यह जटिलता इष्टतम नहीं है, जैसा कि 1969 में [[ वोल्कर स्ट्रास |वोल्कर स्ट्रास]] द्वारा दिखाया गया था, जिन्होंने एक एल्गोरिथ्म प्रदान किया था, जिसे अब स्ट्रैसेन का एल्गोरिथ्म कहा जाता है, इसकी जटिलता के साथ <math>O( n^{\log_{2}7}) \approx O(n^{2.8074}).</math><ref> | ||
| Line 305: | Line 304: | ||
प्रदर्शन को और बेहतर बनाने के लिए स्ट्रैसेन के एल्गोरिथ्म को समानांतर किया जा सकता है।{{cn|date=August 2021}} | प्रदर्शन को और बेहतर बनाने के लिए स्ट्रैसेन के एल्गोरिथ्म को समानांतर किया जा सकता है।{{cn|date=August 2021}} | ||
{{As of|2020|12}}, सबसे अच्छा | {{As of|2020|12}}, सबसे अच्छा आव्यूह गुणन एल्गोरिथ्म जोश अलमन और [[ वर्जीनिया वासिलिवस्का विलियम्स |वर्जीनिया वासिलिवस्का विलियम्स]] द्वारा है और इसमें जटिलता है {{math|''O''(''n''<sup>2.3728596</sup>)}}.<ref name="Alman2020"> | ||
{{Citation | {{Citation | ||
| last1=Alman | | last1=Alman | ||
| Line 318: | Line 317: | ||
}}</ref> | }}</ref> | ||
यह ज्ञात नहीं है कि | यह ज्ञात नहीं है कि आव्यूह गुणन में किया जा सकता है या नहीं {{math|''n''<sup>2 + o(1)</sup>}} समय। यह इष्टतम होगा, क्योंकि किसी को अवश्य पढ़ना चाहिए, {{tmath|n^2}} एक आव्यूह के तत्वों को दूसरे आव्यूह के साथ गुणा करने के लिए। | ||
चूंकि | चूंकि आव्यूह गुणन कई एल्गोरिदम के लिए आधार बनाता है, और आव्यूह पर कई संचालनों में भी आव्यूह गुणन (गुणक स्थिरांक तक) के समान जटिलता होती है, आव्यूह गुणन की कम्प्यूटेशनल जटिलता पूरे [[ संख्यात्मक रैखिक बीजगणित |संख्यात्मक रैखिक बीजगणित]] और [[ सैद्धांतिक कंप्यूटर विज्ञान |सैद्धांतिक कंप्यूटर विज्ञान]] में दिखाई देती है। | ||
== सामान्यीकरण == | == सामान्यीकरण == | ||
मेट्रिसेस के अन्य प्रकार के उत्पादों में शामिल हैं: | मेट्रिसेस के अन्य प्रकार के उत्पादों में शामिल हैं: | ||
*ब्लॉक | *ब्लॉक आव्यूह ब्लॉक आव्यूह गुणन | ||
*[[ क्रेकोवियन उत्पाद | क्रेकोवियन उत्पाद]], के रूप में परिभाषित {{math|1='''A''' ∧ '''B''' = '''B'''<sup>T</sup>'''A'''}} | *[[ क्रेकोवियन उत्पाद | क्रेकोवियन उत्पाद]], के रूप में परिभाषित {{math|1='''A''' ∧ '''B''' = '''B'''<sup>T</sup>'''A'''}} | ||
* [[ फ्रोबेनियस आंतरिक उत्पाद | फ्रोबेनियस आंतरिक उत्पाद]], | * [[ फ्रोबेनियस आंतरिक उत्पाद | फ्रोबेनियस आंतरिक उत्पाद]], आव्यूह के डॉट उत्पाद को वैक्टर के रूप में माना जाता है, या, समान रूप से हैडमार्ड उत्पाद की प्रविष्टियों का योग | ||
* एक ही आकार के दो | * एक ही आकार के दो आव्यूह के [[ हैडमार्ड उत्पाद (मैट्रिसेस) |हैडमार्ड उत्पाद (मैट्रिसेस)]], जिसके परिणामस्वरूप एक ही आकार का एक आव्यूह होता है, जो उत्पाद एंट्री-बाय-एंट्री है | ||
*[[ क्रोनकर उत्पाद | क्रोनकर उत्पाद]] या टेन्सर उत्पाद, पूर्ववर्ती के किसी भी आकार का सामान्यीकरण | *[[ क्रोनकर उत्पाद | क्रोनकर उत्पाद]] या टेन्सर उत्पाद, पूर्ववर्ती के किसी भी आकार का सामान्यीकरण | ||
*[[ खत्री-राव उत्पाद | खत्री-राव उत्पाद]] और [[ फेस-स्प्लिटिंग उत्पाद |फेस-स्प्लिटिंग उत्पाद]] | *[[ खत्री-राव उत्पाद | खत्री-राव उत्पाद]] और [[ फेस-स्प्लिटिंग उत्पाद |फेस-स्प्लिटिंग उत्पाद]] | ||
| Line 334: | Line 333: | ||
== यह भी देखें == | == यह भी देखें == | ||
*[[ मैट्रिक्स कैलकुलस | | *[[ मैट्रिक्स कैलकुलस | आव्यूह कैलकुलस]], कैलकुस से संचालन के साथ आव्यूह गुणा की बातचीत के लिए | ||
== टिप्पणियाँ == | == टिप्पणियाँ == | ||
| Line 363: | Line 362: | ||
{{Linear algebra}} | {{Linear algebra}} | ||
[[Category:All articles containing potentially dated statements]] | |||
[[Category:All articles with unsourced statements]] | |||
[[Category:Articles containing potentially dated statements from December 2020]] | |||
[[Category:Articles with hatnote templates targeting a nonexistent page]] | |||
[[Category:Articles with invalid date parameter in template]] | |||
[[Category:Articles with unsourced statements from August 2021]] | |||
[[Category:CS1 English-language sources (en)]] | |||
[[Category:CS1 maint]] | |||
[[Category:Collapse templates]] | |||
[[Category:Commons category link is locally defined]] | |||
[[Category:Created On 05/01/2023]] | |||
[[Category:Lua-based templates]] | |||
[[Category:Machine Translated Page]] | |||
[[Category:Navigational boxes| ]] | |||
[[Category:Navigational boxes without horizontal lists]] | |||
[[Category:Pages with script errors]] | |||
[[Category:Short description with empty Wikidata description]] | |||
[[Category:Sidebars with styles needing conversion]] | |||
[[Category:Template documentation pages|Documentation/doc]] | |||
[[Category:Templates Translated in Hindi]] | |||
[[Category:Templates Vigyan Ready]] | |||
[[Category:Templates generating microformats]] | |||
[[Category:Templates that add a tracking category]] | |||
[[Category:Templates that are not mobile friendly]] | |||
[[Category:Templates that generate short descriptions]] | |||
[[Category:Templates using TemplateData]] | |||
[[Category:Wikipedia metatemplates]] | |||
[[Category:मैट्रिक्स सिद्धांत]] | [[Category:मैट्रिक्स सिद्धांत]] | ||
Latest revision as of 16:14, 13 September 2023
गणित में, विशेष रूप से रेखीय बीजगणित में, आव्यूह गुणन एक द्विआधारी संक्रिया है जो दो आव्यूहों से एक आव्यूह (गणित) उत्पन्न करता है। आव्यूह गुणन के लिए, पहले आव्यूह में स्तंभों की संख्या दूसरे आव्यूह में पंक्तियों की संख्या के बराबर होनी चाहिए। परिणामी आव्यूह, जिसे आव्यूह उत्पाद के रूप में जाना जाता है, में पहले आव्यूह की पंक्तियों की संख्या और दूसरे आव्यूह के स्तंभों की संख्या होती है। मेट्रिसेस का उत्पाद A और B के रूप AB में दर्शाया गया है।[1]
आव्यूह गुणन का पहली बार वर्णन फ्रांसीसी गणितज्ञ जैक्स फिलिप मैरी बिनेट ने 1812 में किया था,[2] मैट्रिसेस द्वारा दर्शाए गए रैखिक मानचित्रों के कार्यों की संरचना का प्रतिनिधित्व करने के लिए। इस प्रकार आव्यूह गुणन रेखीय बीजगणित का एक आधारभूत उपकरण है, और इस तरह गणित के कई क्षेत्रों के साथ-साथ अनुप्रयुक्त गणित, सांख्यिकी, भौतिकी, अर्थशास्त्र और अभियांत्रिकी में इसके कई अनुप्रयोग हैं।[3][4]कंप्यूटिंग आव्यूह उत्पाद रैखिक बीजगणित के सभी कम्प्यूटेशनल अनुप्रयोगों में एक केंद्रीय ऑपरेशन है।
नोटेशन
यह लेख निम्नलिखित सांकेतिक सम्मेलनों का उपयोग करेगा: मैट्रिसेस को बड़े अक्षरों द्वारा बोल्ड में दर्शाया जाता है, उदा. A; लोअरकेस बोल्ड में यूक्लिडियन वेक्टर, उदा. a; और सदिशों और आव्यूहों की प्रविष्टियाँ तिरछी होती हैं (वे एक क्षेत्र से संख्याएँ होती हैं), उदा. A और a सूचकांक अंकन प्रायः परिभाषाओं को व्यक्त करने का सबसे स्पष्ट तरीका होता है, और साहित्य में मानक के रूप में प्रयोग किया जाता है। पंक्ति में प्रवेश i, कॉलम j आव्यूह का A द्वारा दर्शाया गया है (A)ij, Aij या aij. इसके विपरीत, एक एकल सबस्क्रिप्ट, उदा A1, A2, आव्यूह के संग्रह से आव्यूह ( आव्यूह प्रविष्टि नहीं) का चयन करने के लिए उपयोग किया जाता है।
परिभाषा
यदि A एक m × n आव्यूह और B एक n × p आव्यूह,
आव्यूह उत्पाद C = AB (गुणन चिह्नों या बिंदुओं के बिना चिह्नित) को परिभाषित किया गया है m × p आव्यूह[5][6][7][8]
ऐसा है कि
के लिए i = 1, ..., m और j = 1, ..., p.
अर्थात एंट्री उत्पाद की प्रविष्टियों को टर्म-दर-टर्म गुणा करके प्राप्त किया जाता है iकी A वीं पंक्ति और यह B jका स्तम्भ, और इनका उत्पाद योग n करें। दूसरे शब्दों में, का डॉट उत्पाद i है A की B वीं पंक्ति और यह jका स्तम्भ है,
इसलिए, AB रूप में भी लिखा जा सकता है
इस प्रकार उत्पाद AB परिभाषित किया गया है अगर और केवल अगर स्तंभों की संख्या में A में पंक्तियों की संख्या B के बराबर है,[1]इस मामले में n.
अधिकांश परिदृश्यों में, प्रविष्टियाँ संख्याएँ होती हैं, लेकिन वे किसी भी प्रकार की गणितीय वस्तुएँ हो सकती हैं, जिसके लिए एक जोड़ और गुणा परिभाषित किया जाता है, जो कि साहचर्य गुण हैं, और इस तरह कि जोड़ क्रमविनिमेय गुण है, और गुणन सम्मान के साथ वितरण गुण है जोड़ के लिए विशेष रूप से, प्रविष्टियाँ स्वयं मेट्रिसेस हो सकती हैं ( ब्लॉक आव्यूह देखें)।
चित्रण
दाईं ओर का आंकड़ा आरेखीय रूप से दो मैट्रिसेस के उत्पाद को दिखाता है A और B, दिखा रहा है कि कैसे उत्पाद आव्यूह में प्रत्येक आव्यूह एक पंक्ति से समानता रखता है A और B का एक स्तंभ,
चौराहों पर मान, दाईं ओर आकृति में आव्यूहों के साथ चिह्नित हैं:
मौलिक अनुप्रयोग
ऐतिहासिक रूप से, रेखीय बीजगणित में संगणना को सुगम बनाने और स्पष्ट करने के लिए आव्यूह गुणन की शुरुआत की गई है। आव्यूह गुणन और रेखीय बीजगणित के बीच यह मजबूत संबंध सभी गणित के साथ-साथ भौतिकी, रसायन विज्ञान, इंजीनियरिंग और कंप्यूटर विज्ञान में मौलिक बना हुआ है।
रेखीय मानचित्र
यदि एक सदिश स्थान का एक परिमित आधार (रैखिक बीजगणित) है, तो इसके सदिश प्रत्येक विशिष्ट रूप से स्केलर्स के एक परिमित अनुक्रम (गणित) द्वारा दर्शाए जाते हैं, जिसे एक समन्वय सदिश कहा जाता है, जिसके तत्व आधार पर सदिश के निर्देशांक हैं। ये निर्देशांक सदिश अन्य सदिश समष्टि बनाते हैं, जो मूल सदिश समष्टि के लिए तुल्याकारिता है। एक समन्वय वेक्टर सामान्यतः कॉलम आव्यूह (जिसे कॉलम वेक्टर भी कहा जाता है) के रूप में व्यवस्थित किया जाता है, जो केवल एक कॉलम वाला आव्यूह होता है। तो, एक स्तंभ वेक्टर एक समन्वय वेक्टर और मूल वेक्टर अंतरिक्ष के एक वेक्टर दोनों का प्रतिनिधित्व करता है।
एक रेखीय नक्शा A आयाम के एक सदिश स्थान से n आयाम के वेक्टर स्थान में m एक कॉलम वेक्टर को मैप करता है
कॉलम वेक्टर पर
रेखीय नक्शा A इस प्रकार आव्यूह द्वारा परिभाषित किया गया है
और कॉलम वेक्टर को मैप करता है आव्यूह उत्पाद के लिए
यदि B आयाम के पूर्ववर्ती सदिश स्थान से एक और रैखिक नक्शा है m, आयाम के सदिश स्थान में p, यह एक द्वारा दर्शाया गया है आव्यूह एक सीधी गणना से पता चलता है कि फ़ंक्शन रचना का आव्यूह आव्यूह उत्पाद है सामान्य सूत्र ) जो फ़ंक्शन संरचना को परिभाषित करता है, यहां आव्यूह उत्पाद की संबद्धता के एक विशिष्ट मामले के रूप में उदाहरण दिया गया है (देखें § Associativity नीचे):
ज्यामितीय घुमाव
एक यूक्लिडियन विमान में कार्टेशियन समन्वय प्रणाली का उपयोग करना, एक कोण द्वारा रोटेशन (गणित) । मूल के आसपास (गणित) एक रेखीय मानचित्र है। ज्यादा ठीक,
जहां स्रोत बिंदु और इसकी छवि कॉलम वैक्टर के रूप में लिखे गए हैं।
द्वारा रोटेशन की रचना और उसके द्वारा फिर आव्यूह उत्पाद से समानता रखती है
जहां उपयुक्त त्रिकोणमितीय सर्वसमिकाओं की सूची कोण योग और अंतर सर्वसमिकाओं को दूसरी समता के लिए नियोजित किया जाता है। यही है, रचना कोण द्वारा रोटेशन से समानता रखती है , जैसा सोचा था।
अर्थशास्त्र में संसाधनों का आवंटन
उदाहरण के तौर पर, एक काल्पनिक फैक्ट्री 4 प्रकार का उपयोग करती है बुनियादी वस्तुएं, 3 प्रकार के मध्यवर्ती माल का उत्पादन करने के लिए, , जो बदले में 3 प्रकार के अंतिम उत्पाद का उत्पादन करने के लिए उपयोग किया जाता है, . मेट्रिसेस
- और
मध्यवर्ती वस्तुओं की दी गई मात्रा के लिए आवश्यक मूल वस्तुओं की मात्रा, और अंतिम उत्पादों की दी गई मात्रा के लिए क्रमशः मध्यवर्ती वस्तुओं की मात्रा प्रदान करते हैं।
उदाहरण के लिए, मध्यवर्ती वस्तु की एक इकाई का उत्पादन करना, आधारभूत वस्तु की एक इकाई , की दो इकाइयां , की कोई इकाई नहीं है , और की एक इकाई के पहले कॉलम के अनुरूप आवश्यक हैं,
आव्यूह गुणन का प्रयोग करके गणना कीजिए
यह आव्यूह सीधे अंतिम वस्तुओं की दी गई मात्रा के लिए आवश्यक आधारभूत वस्तुओं की मात्रा प्रदान करता है। उदाहरण के लिए, नीचे की बाईं प्रविष्टि के रूप में गणना की जाती है , यह दर्शाता है की इकाइयाँ की एक इकाई का उत्पादन करने की आवश्यकता है . दरअसल, एक के लिए इकाई की आवश्यकता है , 2 के लिए , और दोनों में से प्रत्येक के लिए इकाइयां जो अंदर जाती हैं इकाई, चित्र देखें।
उत्पादन करने के लिए उदा। अंतिम उत्पाद की 100 इकाइयां , 80 इकाइयां , और 60 इकाइयां आधारभूत वस्तुओं की आवश्यक मात्रा की गणना इस प्रकार की जा सकती है
वह है, की इकाइयाँ , की इकाइयाँ , की इकाइयाँ , की इकाइयाँ की आवश्यकता है। इसी तरह, उत्पाद आव्यूह अन्य अंतिम-अच्छी राशि डेटा के लिए आधारभूत वस्तुओं की आवश्यक मात्रा की गणना करने के लिए उपयोग किया जा सकता है।[9]
रैखिक समीकरणों की प्रणाली
रैखिक समीकरणों की प्रणाली का सामान्य रूप है
उपरोक्त के समान संकेतन का उपयोग करते हुए, ऐसी प्रणाली एकल आव्यूह समीकरण के समतुल्य है
डॉट उत्पाद, बिलिनियर फॉर्म और सेस्क्विलिनियर फॉर्म
दो कॉलम वैक्टर का डॉट उत्पाद आव्यूह उत्पाद है
जहाँ स्थानान्तरण द्वारा प्राप्त पंक्ति सदिश है और परिणामी 1×1 आव्यूह की पहचान इसकी अनूठी प्रविष्टि से की जाती है।
अधिक सामान्यतः, परिमित आयाम के सदिश स्थान पर किसी भी द्विरेखीय रूप को आव्यूह उत्पाद के रूप में व्यक्त किया जा सकता है
और किसी भी अनुक्रमिक रूप को व्यक्त किया जा सकता है
जहाँ के संयुग्मी स्थानान्तरण को दर्शाता है (स्थानांतरण के संयुग्म, या संयुग्म के समतुल्य स्थानान्तरण)।
सामान्य गुण
आव्यूह गुणन सामान्य गुणन के साथ कुछ गुण साझा करता है। हालाँकि, आव्यूह गुणन को परिभाषित नहीं किया जाता है यदि पहले कारक के स्तंभों की संख्या दूसरे कारक की पंक्तियों की संख्या से भिन्न होती है, और यह अविनिमेय है,[10] तब भी जब कारकों के क्रम को बदलने के बाद भी उत्पाद निश्चित रहता है।[11][12]
गैर-कम्यूटेटिविटी
एक संक्रिया क्रमविनिमेय गुण है यदि, दो तत्व दिए गए हों A और B ऐसा है कि उत्पाद परिभाषित किया गया है, तो भी परिभाषित किया गया है, और
यदि A और B संबंधित आकार के आव्यूह हैं और , तब यदि परिभाषित किया गया है , और यदि परिभाषित किया गया है . इसलिए, यदि उत्पादों में से एक परिभाषित है, तो दूसरे को परिभाषित करने की आवश्यकता नहीं है। यदि , दो उत्पादों को परिभाषित किया गया है, लेकिन उनके अलग-अलग आकार हैं; इस प्रकार वे समान नहीं हो सकते। केवल , अर्थात अगर A और B समान आकार के वर्ग आव्यूह हैं, दोनों उत्पाद परिभाषित हैं और समान आकार के हैं। यहां तक कि इस मामले में, एक सामान्य रूप में है
- उदाहरण के लिए
लेकिन
यह उदाहरण दिखाने के लिए विस्तारित किया जा सकता है कि, यदि A एक है एक क्षेत्र में प्रविष्टियों के साथ आव्यूह (गणित) F, तब हर एक के लिए आव्यूह B में प्रविष्टियों के साथ F, अगर और केवल अगर जहाँ , और I है शिनाख्त सांचा यदि, एक क्षेत्र के बजाय, प्रविष्टियों को एक रिंग (गणित) से संबंधित माना जाता है, तो किसी को शर्त जोड़नी होगी कि c रिंग के केंद्र (रिंग थ्योरी) से संबंधित है।
एक विशेष मामला जहां क्रमविनिमेयता तब होती है जब D और E दो (वर्ग) विकर्ण आव्यूह हैं (समान आकार के); तब DE = ED.[10]फिर से, यदि मेट्रिसेस एक क्षेत्र के बजाय एक सामान्य रिंग के ऊपर हैं, तो प्रत्येक में संबंधित प्रविष्टियों को भी इसे धारण करने के लिए एक दूसरे के साथ आना चाहिए।
वितरणशीलता
आव्यूह योग के संबंध में आव्यूह उत्पाद वितरण गुण है। अर्थात अगर A, B, C, D संबंधित आकार के आव्यूह हैं m × n, n × p, n × p, और p × q, एक के पास (बायाँ वितरण)
और (सही वितरण)
यह द्वारा गुणांकों के वितरण से परिणामित होता है
स्केलर के साथ उत्पाद
यदि A एक आव्यूह है और c एक अदिश, फिर मैट्रिसेस और की सभी प्रविष्टियों को बाएँ या दाएँ गुणा करके प्राप्त किया जाता है A द्वारा c. यदि अदिशों में क्रमविनिमेय गुण है, तब यदि उत्पाद परिभाषित किया गया है (अर्थात, कॉलम की संख्या A की पंक्तियों की संख्या के बराबर है B), तब
- और
यदि अदिशों में क्रमविनिमेय गुण है, तो चारों आव्यूह बराबर होते हैं। अधिक सामान्यतः, चारों समान हैं यदि c मैट्रिसेस की प्रविष्टियों वाले रिंग (गणित) के केंद्र (रिंग थ्योरी) से संबंधित है, क्योंकि इस मामले में, cX = Xc सभी मैट्रिसेस के लिए X.
ये गुण अदिशों के गुणनफल की द्विरेखीयता से उत्पन्न होते हैं:
स्थानांतरण
यदि स्केलर में क्रमविनिमेय संपत्ति है, तो मैट्रिसेस के उत्पाद का स्थानान्तरण, विपरीत क्रम में, कारकों के स्थानान्तरण का उत्पाद है। वह है
जहाँ T ट्रांज़ोज़ को दर्शाता है, जो कि पंक्तियों और स्तंभों का आदान-प्रदान है।
प्रविष्टियों के बीच क्रम के बाद से यह पहचान गैर-अनुवर्ती प्रविष्टियों के लिए नहीं है A और B उलटा है, जब कोई आव्यूह उत्पाद की परिभाषा का विस्तार करता है।
जटिल संयुग्म
यदि A और B फिर जटिल संख्या प्रविष्टियाँ हैं
जहाँ * एक आव्यूह के प्रवेश-वार जटिल संयुग्म को दर्शाता है।
यह आव्यूह उत्पाद की परिभाषा पर लागू होने का परिणाम है कि एक योग का संयुग्म योग के संयुग्मों का योग है और एक उत्पाद का संयुग्म कारकों के संयुग्मों का उत्पाद है।
स्थानान्तरण प्रविष्टियों के सूचकांकों पर कार्य करता है, जबकि संयुग्मन स्वयं प्रविष्टियों पर स्वतंत्र रूप से कार्य करता है। इसका परिणाम यह होता है कि यदि A और B जटिल प्रविष्टियाँ हैं, एक है
जहाँ † संयुग्म पारगमन को दर्शाता है (संयुग्म का संयुग्म, या संयुग्म का समतुल्य स्थानान्तरण)।
साहचर्य
तीन मेट्रिसेस दिए गए हैं A, B और C, वह उत्पाद (AB)C और A(BC) यदि और केवल यदि स्तंभों की संख्या परिभाषित की जाती है A की पंक्तियों की संख्या के बराबर है B, और स्तंभों की संख्या B की पंक्तियों की संख्या के बराबर है C (विशेष रूप से, यदि उत्पादों में से एक को परिभाषित किया गया है, तो दूसरे को भी परिभाषित किया गया है)। इस मामले में, किसी के पास साहचर्य संपत्ति है
किसी भी साहचर्य संचालन के लिए, यह कोष्ठकों को छोड़ने और उपरोक्त उत्पादों को लिखने की अनुमति देता है यह किसी भी आव्यूह के उत्पाद के लिए स्वाभाविक रूप से विस्तारित होता है, बशर्ते कि आयाम मेल खाते हों। अर्थात अगर A1, A2, ..., An मैट्रिसेस ऐसे हैं कि कॉलम की संख्या Ai की पंक्तियों की संख्या के बराबर है Ai + 1 के लिए i = 1, ..., n – 1, फिर उत्पाद
परिभाषित है और संचालन के क्रम पर निर्भर नहीं करता है, यदि मेट्रिसेस का क्रम स्थिर रखा जाता है।
इन गुणों को सीधे लेकिन जटिल जोड़-तोड़ से सिद्ध किया जा सकता है। यह परिणाम इस तथ्य से भी अनुसरण करता है कि मैट्रिसेस रैखिक मानचित्रों का प्रतिनिधित्व करते हैं। इसलिए, मैट्रिसेस की साहचर्य संपत्ति फ़ंक्शन रचना की साहचर्य संपत्ति का एक विशिष्ट मामला है।
कम्प्यूटेशनल जटिलता कोष्ठक पर निर्भर करती है
यद्यपि आव्यूह उत्पादों के अनुक्रम का परिणाम संचालन के क्रम पर निर्भर नहीं करता है (बशर्ते कि आव्यूह का क्रम नहीं बदला जाता है), कम्प्यूटेशनल जटिलता इस आदेश पर नाटकीय रूप से निर्भर हो सकती है।
उदाहरण के लिए, अगर A, B और C संबंधित आकार के आव्यूह हैं 10×30, 30×5, 5×60, कंप्यूटिंग (AB)C ज़रूरत 10×30×5 + 10×5×60 = 4,500 गुणन, गणना करते समय A(BC) ज़रूरत 30×5×60 + 10×30×60 = 27,000 गुणन। एल्गोरिद्म को उत्पादों के सर्वोत्तम क्रम को चुनने के लिए डिज़ाइन किया गया है, आव्यूह श्रृंखला गुणन देखें। जब संख्या n आव्यूहों की संख्या बढ़ जाती है, यह दिखाया गया है कि सर्वोत्तम क्रम के चुनाव में जटिलता होती है
समानता के लिए आवेदन
कोई उलटा आव्यूह एक समान आव्यूह को परिभाषित करता है (समान आकार के वर्ग आव्यूह पर )
समानता परिवर्तन उत्पाद को उत्पाद में मैप करता है, अर्थात
वास्तव में, एक है
स्क्वायर मेट्रिसेस
आइए बताते हैं का समूह n×n एक रिंग में प्रविष्टियों के साथ वर्ग आव्यूह (गणित) R, जो व्यवहार में प्रायः एक क्षेत्र (गणित) होता है।
में , उत्पाद को आव्यूह की प्रत्येक जोड़ी के लिए परिभाषित किया गया है। यह बनाता है एक रिंग (गणित), जिसमें पहचान आव्यूह है I पहचान तत्व के रूप में ( आव्यूह जिसकी विकर्ण प्रविष्टियाँ 1 के बराबर हैं और अन्य सभी प्रविष्टियाँ 0 हैं)। यह वलय एक साहचर्य बीजगणित भी है R-बीजगणित।
यदि n > 1, कई आव्यूहों में गुणनात्मक व्युत्क्रम नहीं होता है। उदाहरण के लिए, एक आव्यूह ऐसा है कि एक पंक्ति (या एक स्तंभ) की सभी प्रविष्टियाँ 0 हैं, इसका व्युत्क्रम नहीं है। यदि यह मौजूद है, तो आव्यूह का व्युत्क्रम A निरूपित किया जाता है A−1, और, इस प्रकार सत्यापित करता है
एक व्युत्क्रम वाला आव्यूह एक उलटा आव्यूह है। अन्यथा, यह एक विलक्षण आव्यूह है।
मेट्रिसेस का एक उत्पाद व्युत्क्रमणीय है यदि और केवल यदि प्रत्येक कारक व्युत्क्रमणीय है। इस मामले में, एक है
कब R क्रमविनिमेय वलय है, और, विशेष रूप से, जब यह एक क्षेत्र है, तो उत्पाद का निर्धारक निर्धारकों का गुणनफल होता है। जैसा कि निर्धारक अदिश होते हैं, और अदिश यात्रा करते हैं, इस प्रकार एक है
अन्य आव्यूह अपरिवर्तनीय (गणित) उत्पादों के साथ भी व्यवहार नहीं करते हैं। फिर भी अगर R क्रमविनिमेय है, AB और BA समान ट्रेस (रैखिक बीजगणित), समान विशेषता बहुपद, और समान गुणकों के साथ समान हैं। हालांकि, आइजन्वेक्टर सामान्यतः AB ≠ BA अलग होते हैं,
एक आव्यूह की शक्तियाँ
कोई वर्ग आव्यूह को किसी भी घातांक के लिए उसी तरह बार-बार गुणा कर सकता है जैसे साधारण संख्याओं के लिए। वह है,
कम्प्यूटिंग k एक आव्यूह की शक्ति की जरूरत k – 1 है, एकल आव्यूह गुणन के समय का गुणा, यदि यह तुच्छ एल्गोरिथम (दोहराया गुणन) के साथ किया जाता है। चूँकि इसमें बहुत समय लग सकता है, सामान्यतः कोई वर्ग द्वारा घातांक का उपयोग करना पसंद करता है, जिसके लिए कम से कम की आवश्यकता होती है 2 log2 k आव्यूह गुणा, और इसलिए अधिक कुशल है।
घातांक के लिए एक आसान मामला एक विकर्ण आव्यूह का है। चूंकि विकर्ण मैट्रिसेस का गुणन केवल संगत विकर्ण तत्वों को एक साथ गुणा करने के बराबर है, इसलिए kएक विकर्ण आव्यूह की k शक्ति प्रविष्टियों को बढ़ाकर प्राप्त की जाती है:
सार बीजगणित
आव्यूह उत्पाद की परिभाषा के लिए आवश्यक है कि प्रविष्टियाँ एक सेमिरिंग से संबंधित हों, और सेमीरिंग के तत्वों के गुणन की आवश्यकता नहीं होती है ताकि कम्यूटेटिव प्रॉपर्टी हो। कई अनुप्रयोगों में, आव्यूह तत्व एक क्षेत्र से संबंधित होते हैं, हालांकि ग्राफ़ सबसे छोटी पथ समस्याओं के लिए उष्णकटिबंधीय सेमिरिंग भी एक सामान्य विकल्प है।[13] क्षेत्रों पर आव्यूह के मामले में भी, उत्पाद सामान्य रूप से कम्यूटिव नहीं है, हालांकि यह सहयोगी संपत्ति है और आव्यूह जोड़ पर वितरण संपत्ति है। पहचान मैट्रिसेस (जो वर्ग आव्यूह हैं जिनकी प्रविष्टियां मुख्य विकर्ण के बाहर शून्य हैं और मुख्य विकर्ण पर 1 हैं) आव्यूह उत्पाद के पहचान तत्व हैं। इससे यह पता चलता है कि n × n रिंग (गणित) के ऊपर मैट्रिसेस एक रिंग बनाते हैं, जो गैर-अनुक्रमिक है सिवाय इसके कि अगर n = 1 और ग्राउंड रिंग कम्यूटिव है।
एक उलटा आव्यूह में एक गुणक व्युत्क्रम हो सकता है, जिसे व्युत्क्रम आव्यूह कहा जाता है। सामान्य मामले में जहां प्रविष्टियां क्रमविनिमेय रिंग से संबंधित होती हैं R, एक आव्यूह में एक व्युत्क्रम होता है यदि और केवल यदि इसके निर्धारक में गुणक व्युत्क्रम होता है R. वर्ग आव्यूह के उत्पाद का निर्धारक कारकों के निर्धारकों का उत्पाद है। n × n }} आव्यूह जिनके व्युत्क्रम आव्यूह गुणन के तहत एक समूह (गणित) बनाते हैं, जिसके उपसमूह आव्यूह समूह कहलाते हैं। कई शास्त्रीय समूह (सभी परिमित समूह सहित) आव्यूह समूह के लिए समूह समरूपता हैं; यह समूह अभ्यावेदन के सिद्धांत का प्रारंभिक बिंदु है।
कम्प्यूटेशनल जटिलता
आव्यूह गुणन कलन विधि जो परिभाषा से परिणाम देता है, सबसे खराब स्थिति में जटिलता की आवश्यकता होती है, गुणन और दो वर्गों के गुणनफल की गणना करने के लिए अदिश राशियों का योग n×n आव्यूह। इसकी कम्प्यूटेशनल जटिलता इसलिए है , संगणना के एक मॉडल में जिसके लिए स्केलर संचालन में निरंतर समय लगता है।
आश्चर्यजनक रूप से, यह जटिलता इष्टतम नहीं है, जैसा कि 1969 में वोल्कर स्ट्रास द्वारा दिखाया गया था, जिन्होंने एक एल्गोरिथ्म प्रदान किया था, जिसे अब स्ट्रैसेन का एल्गोरिथ्म कहा जाता है, इसकी जटिलता के साथ [14]
प्रदर्शन को और बेहतर बनाने के लिए स्ट्रैसेन के एल्गोरिथ्म को समानांतर किया जा सकता है।[citation needed] As of December 2020[update], सबसे अच्छा आव्यूह गुणन एल्गोरिथ्म जोश अलमन और वर्जीनिया वासिलिवस्का विलियम्स द्वारा है और इसमें जटिलता है O(n2.3728596).[15]
यह ज्ञात नहीं है कि आव्यूह गुणन में किया जा सकता है या नहीं n2 + o(1) समय। यह इष्टतम होगा, क्योंकि किसी को अवश्य पढ़ना चाहिए, एक आव्यूह के तत्वों को दूसरे आव्यूह के साथ गुणा करने के लिए।
चूंकि आव्यूह गुणन कई एल्गोरिदम के लिए आधार बनाता है, और आव्यूह पर कई संचालनों में भी आव्यूह गुणन (गुणक स्थिरांक तक) के समान जटिलता होती है, आव्यूह गुणन की कम्प्यूटेशनल जटिलता पूरे संख्यात्मक रैखिक बीजगणित और सैद्धांतिक कंप्यूटर विज्ञान में दिखाई देती है।
सामान्यीकरण
मेट्रिसेस के अन्य प्रकार के उत्पादों में शामिल हैं:
- ब्लॉक आव्यूह ब्लॉक आव्यूह गुणन
- क्रेकोवियन उत्पाद, के रूप में परिभाषित A ∧ B = BTA
- फ्रोबेनियस आंतरिक उत्पाद, आव्यूह के डॉट उत्पाद को वैक्टर के रूप में माना जाता है, या, समान रूप से हैडमार्ड उत्पाद की प्रविष्टियों का योग
- एक ही आकार के दो आव्यूह के हैडमार्ड उत्पाद (मैट्रिसेस), जिसके परिणामस्वरूप एक ही आकार का एक आव्यूह होता है, जो उत्पाद एंट्री-बाय-एंट्री है
- क्रोनकर उत्पाद या टेन्सर उत्पाद, पूर्ववर्ती के किसी भी आकार का सामान्यीकरण
- खत्री-राव उत्पाद और फेस-स्प्लिटिंग उत्पाद
- बाहरी उत्पाद, जिसे डाइएडिक उत्पाद या दो कॉलम मैट्रिसेस का टेंसर उत्पाद भी कहा जाता है, जो है
- स्केलर गुणज
यह भी देखें
- आव्यूह कैलकुलस, कैलकुस से संचालन के साथ आव्यूह गुणा की बातचीत के लिए
टिप्पणियाँ
- ↑ 1.0 1.1 Nykamp, Duane. "Multiplying matrices and vectors". Math Insight. Retrieved September 6, 2020.
- ↑ O'Connor, John J.; Robertson, Edmund F., "Jacques Philippe Marie Binet", MacTutor History of Mathematics archive, University of St Andrews
- ↑ Lerner, R. G.; Trigg, G. L. (1991). Encyclopaedia of Physics (2nd ed.). VHC publishers. ISBN 978-3-527-26954-9.
- ↑ Parker, C. B. (1994). McGraw Hill Encyclopaedia of Physics (2nd ed.). ISBN 978-0-07-051400-3.
- ↑ Lipschutz, S.; Lipson, M. (2009). Linear Algebra. Schaum's Outlines (4th ed.). McGraw Hill (USA). pp. 30–31. ISBN 978-0-07-154352-1.
- ↑ Riley, K. F.; Hobson, M. P.; Bence, S. J. (2010). Mathematical methods for physics and engineering. Cambridge University Press. ISBN 978-0-521-86153-3.
- ↑ Adams, R. A. (1995). Calculus, A Complete Course (3rd ed.). Addison Wesley. p. 627. ISBN 0-201-82823-5.
- ↑ Horn, Johnson (2013). Matrix Analysis (2nd ed.). Cambridge University Press. p. 6. ISBN 978-0-521-54823-6.
- ↑ Peter Stingl (1996). Mathematik für Fachhochschulen – Technik und Informatik (in German) (5th ed.). Munich: Carl Hanser Verlag. ISBN 3-446-18668-9.
{{cite book}}: CS1 maint: unrecognized language (link) Here: Exm.5.4.10, p.205-206 - ↑ 10.0 10.1 10.2 Weisstein, Eric W. "Matrix Multiplication". mathworld.wolfram.com (in English). Retrieved 2020-09-06.
- ↑ Lipcshutz, S.; Lipson, M. (2009). "2". Linear Algebra. Schaum's Outlines (4th ed.). McGraw Hill (USA). ISBN 978-0-07-154352-1.
- ↑ Horn, Johnson (2013). "0". Matrix Analysis (2nd ed.). Cambridge University Press. ISBN 978-0-521-54823-6.
- ↑ Motwani, Rajeev; Raghavan, Prabhakar (1995). Randomized Algorithms. Cambridge University Press. p. 280. ISBN 9780521474658.
- ↑ Volker Strassen (Aug 1969). "Gaussian elimination is not optimal". Numerische Mathematik. 13 (4): 354–356. doi:10.1007/BF02165411. S2CID 121656251.
- ↑ Alman, Josh; Williams, Virginia Vassilevska (2020), "A Refined Laser Method and Faster Matrix Multiplication", 32nd Annual ACM-SIAM Symposium on Discrete Algorithms (SODA 2021), arXiv:2010.05846
संदर्भ
- Henry Cohn, Robert Kleinberg, Balázs Szegedy, and Chris Umans. Group-theoretic Algorithms for Matrix Multiplication. arXiv:math.GR/0511460. Proceedings of the 46th Annual Symposium on Foundations of Computer Science, 23–25 October 2005, Pittsburgh, PA, IEEE Computer Society, pp. 379–388.
- Henry Cohn, Chris Umans. A Group-theoretic Approach to Fast Matrix Multiplication. arXiv:math.GR/0307321. Proceedings of the 44th Annual IEEE Symposium on Foundations of Computer Science, 11–14 October 2003, Cambridge, MA, IEEE Computer Society, pp. 438–449.
- Coppersmith, D.; Winograd, S. (1990). "Matrix multiplication via arithmetic progressions". J. Symbolic Comput. 9 (3): 251–280. doi:10.1016/s0747-7171(08)80013-2.
- Horn, Roger A.; Johnson, Charles R. (1991), Topics in Matrix Analysis, Cambridge University Press, ISBN 978-0-521-46713-1
- Knuth, D.E., The Art of Computer Programming Volume 2: Seminumerical Algorithms. Addison-Wesley Professional; 3 edition (November 14, 1997). ISBN 978-0-201-89684-8. pp. 501.
- Press, William H.; Flannery, Brian P.; Teukolsky, Saul A.; Vetterling, William T. (2007), Numerical Recipes: The Art of Scientific Computing (3rd ed.), Cambridge University Press, ISBN 978-0-521-88068-8.
- Ran Raz. On the complexity of matrix product. In Proceedings of the thirty-fourth annual ACM symposium on Theory of computing. ACM Press, 2002. doi:10.1145/509907.509932.
- Robinson, Sara, Toward an Optimal Algorithm for Matrix Multiplication, SIAM News 38(9), November 2005. PDF
- Strassen, Volker, Gaussian Elimination is not Optimal, Numer. Math. 13, p. 354-356, 1969.
- Styan, George P. H. (1973), "Hadamard Products and Multivariate Statistical Analysis" (PDF), Linear Algebra and Its Applications, 6: 217–240, doi:10.1016/0024-3795(73)90023-2
- Williams, Virginia Vassilevska (2012-05-19). "Multiplying matrices faster than coppersmith-winograd". Proceedings of the 44th symposium on Theory of Computing - STOC '12. ACM. pp. 887–898. CiteSeerX 10.1.1.297.2680. doi:10.1145/2213977.2214056. ISBN 9781450312455. S2CID 14350287.