वुडबरी आव्यूह समरूपता: Difference between revisions

From Vigyanwiki
No edit summary
No edit summary
Line 1: Line 1:


{{Short description|Theorem of matrix ranks}}
{{Short description|Theorem of matrix ranks}}
गणित में (विशेष रूप से रैखिक बीजगणित), वुडबरी मैट्रिक्स पहचान, जिसका नाम मैक्स ए. वुडबरी के नाम पर रखा गया है,<ref>Max A. Woodbury, ''Inverting modified matrices'', Memorandum Rept. 42, Statistical Research Group, Princeton University, Princeton, NJ, 1950, 4pp {{MR|38136}}</ref><ref>Max A. Woodbury, ''The Stability of Out-Input Matrices''. Chicago, Ill., 1949. 5 pp. {{MR|32564}}</ref> कहता है कि कुछ [[मैट्रिक्स (गणित)]] के रैंक-के सुधार के व्युत्क्रम की गणना मूल मैट्रिक्स के व्युत्क्रम में रैंक-के सुधार करके की जा सकती है। इस सूत्र के वैकल्पिक नाम 'मैट्रिक्स इनवर्जन लेम्मा', 'शर्मन-मॉरिसन-वुडबरी फॉर्मूला' या सिर्फ 'वुडबरी फॉर्मूला' हैं। हालाँकि, वुडबरी रिपोर्ट से पहले यह पहचान कई अखबारों में छपी थी।<ref name="guttman">{{cite journal
गणित में (विशेष रूप से रैखिक बीजगणित), वुडबरी आव्यूह समरूपता, जिसका नाम मैक्स ए। वुडबरी के नाम पर रखा गया है,<ref>Max A. Woodbury, ''Inverting modified matrices'', Memorandum Rept. 42, Statistical Research Group, Princeton University, Princeton, NJ, 1950, 4pp {{MR|38136}}</ref><ref>Max A. Woodbury, ''The Stability of Out-Input Matrices''. Chicago, Ill., 1949. 5 pp. {{MR|32564}}</ref> जो यह कहते है कि कुछ [[मैट्रिक्स (गणित)|आव्यूह (गणित)]] के पद-k सुधार के व्युत्क्रम की गणना मूल आव्यूह के व्युत्क्रम में पद-k सुधार करके की जा सकती है। इस सूत्र के वैकल्पिक नाम 'आव्यूह व्युत्क्रमता लेम्मा', 'शर्मन-मॉरिसन-वुडबरी सूत्र' या मात्र 'वुडबरी सूत्र' हैं। यद्यपि, वुडबरी रिपोर्ट से पहले यह समरूपता कई लेखों में छपी थी।<ref name="guttman">{{cite journal
  |first=Louis |last=Guttmann
  |first=Louis |last=Guttmann
  |title=Enlargement methods for computing the inverse matrix
  |title=Enlargement methods for computing the inverse matrix
Line 14: Line 14:
  |doi=10.1137/1031049 |mr=997457 | jstor = 2030425
  |doi=10.1137/1031049 |mr=997457 | jstor = 2030425
}}</ref>
}}</ref>
वुडबरी मैट्रिक्स पहचान है<ref name="higham">{{Cite book | last1=Higham | first1=Nicholas | author1-link=Nicholas Higham | title=संख्यात्मक एल्गोरिदम की सटीकता और स्थिरता| url=https://archive.org/details/accuracystabilit00high_878 | url-access=limited | publisher=[[Society for Industrial and Applied Mathematics|SIAM]] | edition=2nd | isbn=978-0-89871-521-7 | year=2002 | page=[https://archive.org/details/accuracystabilit00high_878/page/n288 258] |mr=1927606 }}
 
वुडबरी आव्यूह समरूपता<ref name="higham">{{Cite book | last1=Higham | first1=Nicholas | author1-link=Nicholas Higham | title=संख्यात्मक एल्गोरिदम की सटीकता और स्थिरता| url=https://archive.org/details/accuracystabilit00high_878 | url-access=limited | publisher=[[Society for Industrial and Applied Mathematics|SIAM]] | edition=2nd | isbn=978-0-89871-521-7 | year=2002 | page=[https://archive.org/details/accuracystabilit00high_878/page/n288 258] |mr=1927606 }}
</ref>
</ref>
:<math> \left(A + UCV \right)^{-1} = A^{-1} - A^{-1}U \left(C^{-1} + VA^{-1}U \right)^{-1} VA^{-1}, </math>
:<math> \left(A + UCV \right)^{-1} = A^{-1} - A^{-1}U \left(C^{-1} + VA^{-1}U \right)^{-1} VA^{-1} </math>
जहां A, U, C और V [[अनुरूप मैट्रिक्स]] हैं: A n×n है, C k×k है, U n×k है, और V k×n है। इसे व्युत्क्रमणीय मैट्रिक्स#ब्लॉकवाइज़ व्युत्क्रम का उपयोग करके प्राप्त किया जा सकता है।
है, जहां A, U, C और V [[अनुरूप मैट्रिक्स|अनुरूप आव्यूह]] हैं: A n×n है, C k×k है, U n×k है, और V k×n है। इसे व्युत्क्रमणीय आव्यूह ब्लॉक वार व्युत्क्रम का उपयोग करके प्राप्त किया जा सकता है।


जबकि पहचान मुख्य रूप से मैट्रिक्स पर उपयोग की जाती है, यह सामान्य रिंग (गणित) या [[एब-श्रेणी]] में होती है।
जबकि समरूपता मुख्य रूप से आव्यूह पर उपयोग की जाती है, यह सामान्य वलय (गणित) या [[एब-श्रेणी|Ab-श्रेणी]] में होती है।


वुडबरी मैट्रिक्स पहचान व्युत्क्रमों की सस्ती गणना और रैखिक समीकरणों के समाधान की अनुमति देती है। हालाँकि, सूत्र की संख्यात्मक स्थिरता के बारे में बहुत कम जानकारी है। इसकी त्रुटि सीमा के संबंध में कोई प्रकाशित परिणाम नहीं हैं। उपाख्यानात्मक प्रमाण <ref>
वुडबरी आव्यूह समरूपता व्युत्क्रमों की तुच्छ गणना और रैखिक समीकरणों के हल की अनुमति देती है। यद्यपि, सूत्र की संख्यात्मक स्थिरता के विषय में बहुत कम सूचना है। इसकी त्रुटि सीमा के संबंध में कोई प्रकाशित परिणाम नहीं हैं। उपाख्यानात्मक प्रमाण <ref>
{{cite web  
{{cite web  
| url = https://mathoverflow.net/questions/80340/special-considerations-when-using-the-woodbury-matrix-identity-numerically
| url = https://mathoverflow.net/questions/80340/special-considerations-when-using-the-woodbury-matrix-identity-numerically
Line 27: Line 28:
| website = MathOverflow
| website = MathOverflow
}}
}}
</ref> सुझाव देता है कि यह प्रतीत होने वाले सौम्य उदाहरणों के लिए भी भिन्न हो सकता है (जब मूल और संशोधित दोनों मैट्रिक्स अच्छी तरह से वातानुकूलित हैं)।
</ref> से पता चलता है कि यह प्रतीत होने वाले सौम्य उदाहरणों के लिए भी भिन्न हो सकता है (जब मूल और संशोधित आव्यूह दोनों ठीक रूप से प्रतिबंधित हैं)।


==चर्चा==
==चर्चा==
इस परिणाम को सिद्ध करने के लिए, हम सरल परिणाम को सिद्ध करके शुरुआत करेंगे। A और C को पहचान मैट्रिक्स I के साथ प्रतिस्थापित करने पर, हमें और पहचान प्राप्त होती है जो थोड़ी सरल है:
इस परिणाम को सिद्ध करने के लिए, हम सरल परिणाम को सिद्ध करके प्रारम्भ करेंगे। A और C को समरूपता आव्यूह I के साथ प्रतिस्थापित करने पर, हमें और समरूपता प्राप्त होती है जो थोड़ी सरल है:
:<math> \left(I + UV \right)^{-1} = I - U \left(I + VU \right)^{-1} V. </math>
:<math> \left(I + UV \right)^{-1} = I - U \left(I + VU \right)^{-1} V. </math>
इस घटी हुई पहचान से मूल समीकरण को पुनः प्राप्त करने के लिए, सेट करें <math>U = A^{-1}X</math> और <math>V = CY</math>.
इस घटी हुई समरूपता से मूल समीकरण को पुनः प्राप्त करने के लिए, समुच्चय <math>U = A^{-1}X</math> और <math>V = CY</math> है।


इस पहचान को ही दो सरल पहचानों के संयोजन के रूप में देखा जा सकता है। हमें पहली पहचान यहीं से मिलती है
इस समरूपता को ही दो सरल समरूपताों के संयोजन के रूप में देखा जा सकता है। हम पहली समरूपता
: <math> I = (I + P)^{-1}(I + P) = (I + P)^{-1} + (I + P)^{-1}P</math>,
: <math> I = (I + P)^{-1}(I + P) = (I + P)^{-1} + (I + P)^{-1}P</math>
इस प्रकार,
से प्राप्त करते हैं, इस प्रकार,
: <math> (I + P)^{-1}=I-(I + P)^{-1}P</math>,
: <math> (I + P)^{-1}=I-(I + P)^{-1}P</math>,
और इसी तरह
और इसी प्रकार
: <math> (I + P)^{-1} = I - P (I + P)^{-1}.</math>
: <math> (I + P)^{-1} = I - P (I + P)^{-1}.</math>
दूसरी पहचान तथाकथित पुश-थ्रू पहचान है<ref name="HS"/>: <math> (I + UV)^{-1} U = U (I + VU)^{-1} </math>
दूसरी समरूपता तथाकथित पुश-थ्रू समरूपता<ref name="HS"/>
जिसे हम प्राप्त करते हैं
 
<math> (I + UV)^{-1} U = U (I + VU)^{-1} </math>
 
है जिसे हम दाईं ओर <math>(I + VU)^{-1}</math> और बाईं ओर <math>(I + UV)^{-1}</math>
 
से गुणा करने के बाद
: <math> U(I + VU)=(I + UV)U</math>
: <math> U(I + VU)=(I + UV)U</math>
से गुणा करने के बाद <math>(I + VU)^{-1}</math> दाईं ओर और द्वारा <math>(I + UV)^{-1}</math> बाईं तरफ।
से प्राप्त करते हैं।


सबको साथ रखकर,
सभी को एक साथ रखने पर,
:<math> \left(I + UV \right)^{-1} = I - UV \left(I + UV \right)^{-1} = I - U \left(I + VU \right)^{-1} V. </math>
:<math> \left(I + UV \right)^{-1} = I - UV \left(I + UV \right)^{-1} = I - U \left(I + VU \right)^{-1} V. </math>
जहां पहली और दूसरी समानता क्रमशः पहली और दूसरी पहचान से आती है।
जहां पहली और दूसरी समानता क्रमशः पहली और दूसरी समरूपता से आती है।


=== विशेष मामले ===
=== विशेष स्थिति ===


कब <math>V, U</math> वेक्टर हैं, तो पहचान शर्मन-मॉरिसन सूत्र तक कम हो जाती है।
जब <math>V, U</math> सदिश होते हैं, तो समरूपता शर्मन-मॉरिसन सूत्र तक कम हो जाती है।


अदिश मामले में, घटा हुआ संस्करण सरल है
अदिश स्थिति में, घटा हुआ संस्करण मात्र
: <math>\frac{1}{1 + uv} = 1 - \frac{uv}{1 + uv}.</math>
: <math>\frac{1}{1 + uv} = 1 - \frac{uv}{1 + uv}</math> है।
==== योग का व्युत्क्रम ====
==== योग का व्युत्क्रम ====


यदि n = k और U = V = I<sub>''n''</sub> तो, पहचान मैट्रिक्स है
यदि n = k और U = V = I<sub>''n''</sub> तो, समरूपता आव्यूह है


:<math>
:<math>
Line 65: Line 71:
\end{align}
\end{align}
</math>
</math>
उपरोक्त समीकरण के सबसे दाईं ओर के पदों के विलय को जारी रखने से हुआ की पहचान होती है
उपरोक्त समीकरण के सबसे दाईं ओर के पदों के विलय को जारी रखने से हुआ की समरूपता होती है
:<math>\left({A} + {B}\right)^{-1} = {A}^{-1} - \left({A} + {A}{B}^{-1}{A}\right)^{-1}.</math>
:<math>\left({A} + {B}\right)^{-1} = {A}^{-1} - \left({A} + {A}{B}^{-1}{A}\right)^{-1}.</math>
इसी पहचान का और उपयोगी रूप है
इसी समरूपता का और उपयोगी रूप है
:<math>\left({A} - {B}\right)^{-1} = {A}^{-1} + {A}^{-1}{B}\left({A} - {B}\right)^{-1},</math>
:<math>\left({A} - {B}\right)^{-1} = {A}^{-1} + {A}^{-1}{B}\left({A} - {B}\right)^{-1},</math>
जो, उपरोक्त के विपरीत, भले ही मान्य हो <math>B</math> एकवचन है, और इसमें पुनरावर्ती संरचना है जो उत्पन्न करती है
जो, उपरोक्त के विपरीत, भले ही मान्य हो <math>B</math> एकवचन है, और इसमें पुनरावर्ती संरचना है जो उत्पन्न करती है
:<math>\left({A} - {B}\right)^{-1} = \sum_{k=0}^{\infty} \left({A}^{-1}{B}\right)^k{A}^{-1}</math>
:<math>\left({A} - {B}\right)^{-1} = \sum_{k=0}^{\infty} \left({A}^{-1}{B}\right)^k{A}^{-1}</math>
यदि की [[वर्णक्रमीय त्रिज्या]] <math>A^{-1}B</math> से कम है. अर्थात यदि उपरोक्त योग एकत्रित हो जाए तो बराबर हो जाता है <math>(A-B)^{-1}</math>.
यदि की [[वर्णक्रमीय त्रिज्या]] <math>A^{-1}B</math> से कम है। अर्थात यदि उपरोक्त योग एकत्रित हो जाए तो बराबर हो जाता है <math>(A-B)^{-1}</math>


इस फॉर्म का उपयोग गड़बड़ी वाले विस्तारों में किया जा सकता है जहां बी ए का गड़बड़ी है।
इस फॉर्म का उपयोग गड़बड़ी वाले विस्तारों में किया जा सकता है जहां बी ए का गड़बड़ी है।
Line 84: Line 90:
   A^{-1} - A^{-1}UB\left(B+BVA^{-1}UB\right)^{-1}BVA^{-1}
   A^{-1} - A^{-1}UB\left(B+BVA^{-1}UB\right)^{-1}BVA^{-1}
</math>
</math>
ए और बी + बीवीए प्रदान किया गया<sup>−1</sup>B एकवचन नहीं हैं। अक्षर की गैर विलक्षणता के लिए आवश्यक है कि बी<sup>−1</sup> अस्तित्व में है क्योंकि यह बराबर है {{nowrap|''B''(''I'' + ''VA''<sup>−1</sup>''UB'')}} और बाद वाले का रैंक बी के रैंक से अधिक नहीं हो सकता।<ref name=HS>{{cite journal | last1 = Henderson | first1 = H. V. | last2 = Searle | first2 = S. R. | year = 1981 | title = आव्यूहों के योग का व्युत्क्रम निकालने पर| url = http://ecommons.cornell.edu/bitstream/1813/32749/1/BU-647-M.pdf| journal = SIAM Review | volume = 23 | issue = 1 | pages = 53–60 | doi = 10.1137/1023004 | jstor = 2029838 | hdl = 1813/32749 | hdl-access = free }}</ref>
ए और बी + बीवीए प्रदान किया गया<sup>−1</sup>B एकवचन नहीं हैं। अक्षर की गैर विलक्षणता के लिए आवश्यक है कि बी<sup>−1</sup> अस्तित्व में है क्योंकि यह बराबर है {{nowrap|''B''(''I'' + ''VA''<sup>−1</sup>''UB'')}} और बाद वाले का पद बी के पद से अधिक नहीं हो सकता।<ref name=HS>{{cite journal | last1 = Henderson | first1 = H. V. | last2 = Searle | first2 = S. R. | year = 1981 | title = आव्यूहों के योग का व्युत्क्रम निकालने पर| url = http://ecommons.cornell.edu/bitstream/1813/32749/1/BU-647-M.pdf| journal = SIAM Review | volume = 23 | issue = 1 | pages = 53–60 | doi = 10.1137/1023004 | jstor = 2029838 | hdl = 1813/32749 | hdl-access = free }}</ref>
चूँकि B व्युत्क्रमणीय है, दाहिनी ओर कोष्ठक में व्युत्क्रमित मात्रा को दर्शाने वाले दो B पदों को प्रतिस्थापित किया जा सकता है {{nowrap|(''B''<sup>−1</sup>)<sup>−1</sup>,}} जिसके परिणामस्वरूप मूल वुडबरी पहचान प्राप्त होती है।
चूँकि B व्युत्क्रमणीय है, दाहिनी ओर कोष्ठक में व्युत्क्रमित मात्रा को दर्शाने वाले दो B पदों को प्रतिस्थापित किया जा सकता है {{nowrap|(''B''<sup>−1</sup>)<sup>−1</sup>,}} जिसके परिणामस्वरूप मूल वुडबरी समरूपता प्राप्त होती है।


जब B एकवचन हो और संभवतः गैर-वर्ग भी हो, तो इसके लिए भिन्नता:<ref name=HS/>
जब B एकवचन हो और संभवतः गैर-वर्ग भी हो, तो इसके लिए भिन्नता:<ref name=HS/>
Line 91: Line 97:
:<math>(A + UBV)^{-1} = A^{-1} - A^{-1}U(I + BVA^{-1}U)^{-1}BVA^{-1}.</math>
:<math>(A + UBV)^{-1} = A^{-1} - A^{-1}U(I + BVA^{-1}U)^{-1}BVA^{-1}.</math>
कुछ मामलों के लिए सूत्र भी मौजूद हैं जिनमें A एकवचन है।<ref>Kurt S. Riedel, "A Sherman–Morrison–Woodbury Identity for Rank Augmenting Matrices with Application to Centering", ''SIAM Journal on Matrix Analysis and Applications'', 13 (1992)659-662, {{doi|10.1137/0613040}} [http://math.nyu.edu/mfdd/riedel/ranksiam.ps preprint] {{MR|1152773}}</ref>
कुछ मामलों के लिए सूत्र भी मौजूद हैं जिनमें A एकवचन है।<ref>Kurt S. Riedel, "A Sherman–Morrison–Woodbury Identity for Rank Augmenting Matrices with Application to Centering", ''SIAM Journal on Matrix Analysis and Applications'', 13 (1992)659-662, {{doi|10.1137/0613040}} [http://math.nyu.edu/mfdd/riedel/ranksiam.ps preprint] {{MR|1152773}}</ref>
==== सकारात्मक अर्धनिश्चित मैट्रिक्स के साथ छद्म व्युत्क्रम ====
==== सकारात्मक अर्धनिश्चित आव्यूह के साथ छद्म व्युत्क्रम ====


सामान्य तौर पर वुडबरी की पहचान मान्य नहीं है यदि या अधिक व्युत्क्रमों को मूर-पेनरोज़ व्युत्क्रम|(मूर-पेनरोज़) स्यूडो व्युत्क्रम द्वारा प्रतिस्थापित किया जाता है। हालांकि, यदि <math>A</math> और <math>C</math> सकारात्मक अर्धनिश्चित मैट्रिक्स हैं, और <math>V = U^\mathrm H</math> (इसका तात्पर्य यह है कि <math>A + UCV</math> स्वयं सकारात्मक अर्धनिश्चित है), तो निम्न सूत्र सामान्यीकरण प्रदान करता है:<ref>{{cite book |last1=Bernstein |first1=Dennis S. |title=Scalar, Vector, and Matrix Mathematics: Theory, Facts, and Formulas |date=2018 |publisher=Princeton University Press |location=Princeton |isbn=9780691151205 |page=638 |edition=Revised and expanded}}</ref><ref>{{cite book |last1=Schott |first1=James R. |title=सांख्यिकी के लिए मैट्रिक्स विश्लेषण|date=2017 |publisher=John Wiley & Sons, Inc. |location=Hoboken, New Jersey |isbn=9781119092483 |page=219 |edition=Third}}</ref>
सामान्य तौर पर वुडबरी की समरूपता मान्य नहीं है यदि या अधिक व्युत्क्रमों को मूर-पेनरोज़ व्युत्क्रम|(मूर-पेनरोज़) स्यूडो व्युत्क्रम द्वारा प्रतिस्थापित किया जाता है। यद्यपि, यदि <math>A</math> और <math>C</math> सकारात्मक अर्धनिश्चित आव्यूह हैं, और <math>V = U^\mathrm H</math> (इसका तात्पर्य यह है कि <math>A + UCV</math> स्वयं सकारात्मक अर्धनिश्चित है), तो निम्न सूत्र सामान्यीकरण प्रदान करता है:<ref>{{cite book |last1=Bernstein |first1=Dennis S. |title=Scalar, Vector, and Matrix Mathematics: Theory, Facts, and Formulas |date=2018 |publisher=Princeton University Press |location=Princeton |isbn=9780691151205 |page=638 |edition=Revised and expanded}}</ref><ref>{{cite book |last1=Schott |first1=James R. |title=सांख्यिकी के लिए मैट्रिक्स विश्लेषण|date=2017 |publisher=John Wiley & Sons, Inc. |location=Hoboken, New Jersey |isbn=9781119092483 |page=219 |edition=Third}}</ref>
:<math>
:<math>
\begin{align}
\begin{align}
Line 103: Line 109:
\end{align}
\end{align}
</math>
</math>
कहाँ <math>A + UCU^\mathrm H</math> के रूप में लिखा जा सकता है <math>XX^\mathrm H + YY^\mathrm H</math> क्योंकि कोई भी सकारात्मक अर्धनिश्चित मैट्रिक्स बराबर है <math>MM^\mathrm H</math> कुछ के लिए <math>M</math>.
कहाँ <math>A + UCU^\mathrm H</math> के रूप में लिखा जा सकता है <math>XX^\mathrm H + YY^\mathrm H</math> क्योंकि कोई भी सकारात्मक अर्धनिश्चित आव्यूह बराबर है <math>MM^\mathrm H</math> कुछ के लिए <math>M</math>


== व्युत्पत्तियाँ ==
== व्युत्पत्तियाँ ==


===प्रत्यक्ष प्रमाण ===
===प्रत्यक्ष प्रमाण ===
उसकी जांच करके सूत्र को सिद्ध किया जा सकता है <math>(A + UCV)</math> कई बार वुडबरी पहचान के दाईं ओर इसका कथित उलटा पहचान मैट्रिक्स देता है:
उसकी जांच करके सूत्र को सिद्ध किया जा सकता है <math>(A + UCV)</math> कई बार वुडबरी समरूपता के दाईं ओर इसका कथित उलटा समरूपता आव्यूह देता है:


: <math>\begin{align}
: <math>\begin{align}
Line 199: Line 205:
== अनुप्रयोग ==
== अनुप्रयोग ==


यह पहचान कुछ संख्यात्मक गणनाओं में उपयोगी है जहां ए<sup>−1</sup> की गणना पहले ही की जा चुकी है और (ए+यूसीवी) की गणना करना वांछित है<sup>−1</sup>. A का व्युत्क्रम उपलब्ध होने पर, केवल C का व्युत्क्रम ज्ञात करना आवश्यक है<sup>−1 + वीए<sup>−1</sup>यू पहचान के दाईं ओर का उपयोग करके परिणाम प्राप्त करने के लिए। यदि C का आयाम A से बहुत छोटा है, तो यह A + UCV को सीधे उलटने की तुलना में अधिक कुशल है। सामान्य मामला ए के निम्न-रैंक अपडेट ए + यूसीवी (जहां यू में केवल कुछ कॉलम हैं और वी में केवल कुछ पंक्तियां हैं) का व्युत्क्रम ढूंढना है, या मैट्रिक्स ए + बी के व्युत्क्रम का अनुमान लगाना है जहां मैट्रिक्स बी को निम्न-रैंक मैट्रिक्स यूसीवी द्वारा अनुमानित किया जा सकता है, उदाहरण के लिए एकवचन मूल्य अपघटन का उपयोग करना।
यह समरूपता कुछ संख्यात्मक गणनाओं में उपयोगी है जहां ए<sup>−1</sup> की गणना पहले ही की जा चुकी है और (ए+यूसीवी) की गणना करना वांछित है<sup>−1</sup>A का व्युत्क्रम उपलब्ध होने पर, केवल C का व्युत्क्रम ज्ञात करना आवश्यक है<sup>−1 + वीए<sup>−1</sup>यू समरूपता के दाईं ओर का उपयोग करके परिणाम प्राप्त करने के लिए। यदि C का आयाम A से बहुत छोटा है, तो यह A + UCV को सीधे उलटने की तुलना में अधिक कुशल है। सामान्य मामला ए के निम्न-पद अपडेट ए + यूसीवी (जहां यू में केवल कुछ कॉलम हैं और वी में केवल कुछ पंक्तियां हैं) का व्युत्क्रम ढूंढना है, या आव्यूह ए + बी के व्युत्क्रम का अनुमान लगाना है जहां आव्यूह बी को निम्न-पद आव्यूह यूसीवी द्वारा अनुमानित किया जा सकता है, उदाहरण के लिए एकवचन मूल्य अपघटन का उपयोग करना।


इसे लागू किया जाता है, उदाहरण के लिए, [[कलमन फ़िल्टर]] और [[पुनरावर्ती न्यूनतम वर्ग]] विधियों में, [[पैरामीट्रिक समाधान]] को बदलने के लिए, स्थिति समीकरण आधारित समाधान के साथ, राज्य वेक्टर आकार मैट्रिक्स के व्युत्क्रम की आवश्यकता होती है। कलमन फ़िल्टर के मामले में इस मैट्रिक्स में अवलोकनों के वेक्टर के आयाम होते हैं, यानी, समय में केवल नया अवलोकन संसाधित होने की स्थिति में 1 जितना छोटा होता है। यह फ़िल्टर की अक्सर वास्तविक समय गणनाओं को महत्वपूर्ण रूप से गति देता है।
इसे लागू किया जाता है, उदाहरण के लिए, [[कलमन फ़िल्टर]] और [[पुनरावर्ती न्यूनतम वर्ग]] विधियों में, [[पैरामीट्रिक समाधान|पैरामीट्रिक हल]] को बदलने के लिए, स्थिति समीकरण आधारित हल के साथ, राज्य सदिश आकार आव्यूह के व्युत्क्रम की आवश्यकता होती है। कलमन फ़िल्टर के स्थिति में इस आव्यूह में अवलोकनों के सदिश के आयाम होते हैं, यानी, समय में केवल नया अवलोकन संसाधित होने की स्थिति में 1 जितना छोटा होता है। यह फ़िल्टर की अक्सर वास्तविक समय गणनाओं को महत्वपूर्ण रूप से गति देता है।


उस स्थिति में जब C पहचान मैट्रिक्स I है, मैट्रिक्स <math>I+VA^{-1}U</math> [[संख्यात्मक रैखिक बीजगणित]] और [[संख्यात्मक आंशिक अंतर समीकरण]]ों में कैपेसिटेंस मैट्रिक्स के रूप में जाना जाता है।<ref name="hager"/>
उस स्थिति में जब C समरूपता आव्यूह I है, आव्यूह <math>I+VA^{-1}U</math> [[संख्यात्मक रैखिक बीजगणित]] और [[संख्यात्मक आंशिक अंतर समीकरण]]ों में कैपेसिटेंस आव्यूह के रूप में जाना जाता है।<ref name="hager"/>
==यह भी देखें==
==यह भी देखें==
*शर्मन-मॉरिसन फॉर्मूला
*शर्मन-मॉरिसन सूत्र
*[[शूर पूरक]]
*[[शूर पूरक]]
*[[मैट्रिक्स निर्धारक लेम्मा]], निर्धारक के लिए रैंक-के अद्यतन के लिए सूत्र
*[[मैट्रिक्स निर्धारक लेम्मा|आव्यूह निर्धारक लेम्मा]], निर्धारक के लिए पद-k अद्यतन के लिए सूत्र
*[[उलटा मैट्रिक्स]]
*[[उलटा मैट्रिक्स|उलटा आव्यूह]]
*मूर-पेनरोज़ स्यूडोइनवर्स#स्यूडोइनवर्स को अद्यतन कर रहा है
*मूर-पेनरोज़ स्यूडोइनवर्स#स्यूडोइनवर्स को अद्यतन कर रहा है



Revision as of 19:38, 22 July 2023

गणित में (विशेष रूप से रैखिक बीजगणित), वुडबरी आव्यूह समरूपता, जिसका नाम मैक्स ए। वुडबरी के नाम पर रखा गया है,[1][2] जो यह कहते है कि कुछ आव्यूह (गणित) के पद-k सुधार के व्युत्क्रम की गणना मूल आव्यूह के व्युत्क्रम में पद-k सुधार करके की जा सकती है। इस सूत्र के वैकल्पिक नाम 'आव्यूह व्युत्क्रमता लेम्मा', 'शर्मन-मॉरिसन-वुडबरी सूत्र' या मात्र 'वुडबरी सूत्र' हैं। यद्यपि, वुडबरी रिपोर्ट से पहले यह समरूपता कई लेखों में छपी थी।[3][4]

वुडबरी आव्यूह समरूपता[5]

है, जहां A, U, C और V अनुरूप आव्यूह हैं: A n×n है, C k×k है, U n×k है, और V k×n है। इसे व्युत्क्रमणीय आव्यूह ब्लॉक वार व्युत्क्रम का उपयोग करके प्राप्त किया जा सकता है।

जबकि समरूपता मुख्य रूप से आव्यूह पर उपयोग की जाती है, यह सामान्य वलय (गणित) या Ab-श्रेणी में होती है।

वुडबरी आव्यूह समरूपता व्युत्क्रमों की तुच्छ गणना और रैखिक समीकरणों के हल की अनुमति देती है। यद्यपि, सूत्र की संख्यात्मक स्थिरता के विषय में बहुत कम सूचना है। इसकी त्रुटि सीमा के संबंध में कोई प्रकाशित परिणाम नहीं हैं। उपाख्यानात्मक प्रमाण [6] से पता चलता है कि यह प्रतीत होने वाले सौम्य उदाहरणों के लिए भी भिन्न हो सकता है (जब मूल और संशोधित आव्यूह दोनों ठीक रूप से प्रतिबंधित हैं)।

चर्चा

इस परिणाम को सिद्ध करने के लिए, हम सरल परिणाम को सिद्ध करके प्रारम्भ करेंगे। A और C को समरूपता आव्यूह I के साथ प्रतिस्थापित करने पर, हमें और समरूपता प्राप्त होती है जो थोड़ी सरल है:

इस घटी हुई समरूपता से मूल समीकरण को पुनः प्राप्त करने के लिए, समुच्चय और है।

इस समरूपता को ही दो सरल समरूपताों के संयोजन के रूप में देखा जा सकता है। हम पहली समरूपता

से प्राप्त करते हैं, इस प्रकार,

,

और इसी प्रकार

दूसरी समरूपता तथाकथित पुश-थ्रू समरूपता[7]

है जिसे हम दाईं ओर और बाईं ओर

से गुणा करने के बाद

से प्राप्त करते हैं।

सभी को एक साथ रखने पर,

जहां पहली और दूसरी समानता क्रमशः पहली और दूसरी समरूपता से आती है।

विशेष स्थिति

जब सदिश होते हैं, तो समरूपता शर्मन-मॉरिसन सूत्र तक कम हो जाती है।

अदिश स्थिति में, घटा हुआ संस्करण मात्र

है।

योग का व्युत्क्रम

यदि n = k और U = V = In तो, समरूपता आव्यूह है

उपरोक्त समीकरण के सबसे दाईं ओर के पदों के विलय को जारी रखने से हुआ की समरूपता होती है

इसी समरूपता का और उपयोगी रूप है

जो, उपरोक्त के विपरीत, भले ही मान्य हो एकवचन है, और इसमें पुनरावर्ती संरचना है जो उत्पन्न करती है

यदि की वर्णक्रमीय त्रिज्या से कम है। अर्थात यदि उपरोक्त योग एकत्रित हो जाए तो बराबर हो जाता है

इस फॉर्म का उपयोग गड़बड़ी वाले विस्तारों में किया जा सकता है जहां बी ए का गड़बड़ी है।

विविधताएँ

द्विपद व्युत्क्रम प्रमेय

यदि A, B, U, V क्रमशः n×n, k×k, n×k, k×n आकार के आव्यूह हैं, तो

ए और बी + बीवीए प्रदान किया गया−1B एकवचन नहीं हैं। अक्षर की गैर विलक्षणता के लिए आवश्यक है कि बी−1 अस्तित्व में है क्योंकि यह बराबर है B(I + VA−1UB) और बाद वाले का पद बी के पद से अधिक नहीं हो सकता।[7] चूँकि B व्युत्क्रमणीय है, दाहिनी ओर कोष्ठक में व्युत्क्रमित मात्रा को दर्शाने वाले दो B पदों को प्रतिस्थापित किया जा सकता है (B−1)−1, जिसके परिणामस्वरूप मूल वुडबरी समरूपता प्राप्त होती है।

जब B एकवचन हो और संभवतः गैर-वर्ग भी हो, तो इसके लिए भिन्नता:[7]

कुछ मामलों के लिए सूत्र भी मौजूद हैं जिनमें A एकवचन है।[8]

सकारात्मक अर्धनिश्चित आव्यूह के साथ छद्म व्युत्क्रम

सामान्य तौर पर वुडबरी की समरूपता मान्य नहीं है यदि या अधिक व्युत्क्रमों को मूर-पेनरोज़ व्युत्क्रम|(मूर-पेनरोज़) स्यूडो व्युत्क्रम द्वारा प्रतिस्थापित किया जाता है। यद्यपि, यदि और सकारात्मक अर्धनिश्चित आव्यूह हैं, और (इसका तात्पर्य यह है कि स्वयं सकारात्मक अर्धनिश्चित है), तो निम्न सूत्र सामान्यीकरण प्रदान करता है:[9][10]

कहाँ के रूप में लिखा जा सकता है क्योंकि कोई भी सकारात्मक अर्धनिश्चित आव्यूह बराबर है कुछ के लिए

व्युत्पत्तियाँ

प्रत्यक्ष प्रमाण

उसकी जांच करके सूत्र को सिद्ध किया जा सकता है कई बार वुडबरी समरूपता के दाईं ओर इसका कथित उलटा समरूपता आव्यूह देता है: