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

From Vigyanwiki
(Created page with "{{Use American English|date = January 2019}} {{Short description|Theorem of matrix ranks}} गणित में (विशेष रूप से रैखिक बीज...")
 
No edit summary
Line 1: Line 1:
{{Use American English|date = January 2019}}
 
{{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> कहता है कि कुछ [[मैट्रिक्स (गणित)]] के रैंक-के सुधार के व्युत्क्रम की गणना मूल मैट्रिक्स के व्युत्क्रम में रैंक-के सुधार करके की जा सकती है। इस सूत्र के वैकल्पिक नाम 'मैट्रिक्स इनवर्जन लेम्मा', 'शर्मन-मॉरिसन-वुडबरी फॉर्मूला' या सिर्फ 'वुडबरी फॉर्मूला' हैं। हालाँकि, वुडबरी रिपोर्ट से पहले यह पहचान कई अखबारों में छपी थी।<ref name="guttman">{{cite journal
Line 30: Line 30:


==चर्चा==
==चर्चा==
इस परिणाम को सिद्ध करने के लिए, हम एक सरल परिणाम को सिद्ध करके शुरुआत करेंगे। 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>.
Line 45: Line 45:
से गुणा करने के बाद <math>(I + VU)^{-1}</math> दाईं ओर और द्वारा <math>(I + UV)^{-1}</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>
जहां पहली और दूसरी समानता क्रमशः पहली और दूसरी पहचान से आती है।
जहां पहली और दूसरी समानता क्रमशः पहली और दूसरी पहचान से आती है।
Line 55: Line 55:
अदिश मामले में, घटा हुआ संस्करण सरल है
अदिश मामले में, घटा हुआ संस्करण सरल है
: <math>\frac{1}{1 + uv} = 1 - \frac{uv}{1 + uv}.</math>
: <math>\frac{1}{1 + uv} = 1 - \frac{uv}{1 + uv}.</math>
==== योग का व्युत्क्रम ====
==== योग का व्युत्क्रम ====


Line 69: Line 67:
उपरोक्त समीकरण के सबसे दाईं ओर के पदों के विलय को जारी रखने से हुआ की पहचान होती है
उपरोक्त समीकरण के सबसे दाईं ओर के पदों के विलय को जारी रखने से हुआ की पहचान होती है
:<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 89: Line 87:
चूँकि 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/>


:<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 123: Line 119:
   ={} & I.
   ={} & I.
\end{align}</math>
\end{align}</math>
=== वैकल्पिक प्रमाण ===
=== वैकल्पिक प्रमाण ===


Line 205: Line 199:
== अनुप्रयोग ==
== अनुप्रयोग ==


यह पहचान कुछ संख्यात्मक गणनाओं में उपयोगी है जहां ए<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"/>
==यह भी देखें==
==यह भी देखें==
*शर्मन-मॉरिसन फॉर्मूला
*शर्मन-मॉरिसन फॉर्मूला
*[[शूर पूरक]]
*[[शूर पूरक]]
*[[मैट्रिक्स निर्धारक लेम्मा]], एक निर्धारक के लिए रैंक-के अद्यतन के लिए सूत्र
*[[मैट्रिक्स निर्धारक लेम्मा]], निर्धारक के लिए रैंक-के अद्यतन के लिए सूत्र
*[[उलटा मैट्रिक्स]]
*[[उलटा मैट्रिक्स]]
*मूर-पेनरोज़ स्यूडोइनवर्स#स्यूडोइनवर्स को अद्यतन कर रहा है
*मूर-पेनरोज़ स्यूडोइनवर्स#स्यूडोइनवर्स को अद्यतन कर रहा है
Line 222: Line 214:
{{reflist}}
{{reflist}}
*{{Citation|last1=Press|first1=WH|last2=Teukolsky|first2=SA|last3=Vetterling|first3=WT|last4=Flannery|first4=BP|year=2007|title=Numerical Recipes: The Art of Scientific Computing|edition=3rd|publisher=Cambridge University Press| location=New York|isbn=978-0-521-88068-8|chapter=Section 2.7.3. Woodbury Formula|chapter-url=http://apps.nrbook.com/empanel/index.html?pg=80}}
*{{Citation|last1=Press|first1=WH|last2=Teukolsky|first2=SA|last3=Vetterling|first3=WT|last4=Flannery|first4=BP|year=2007|title=Numerical Recipes: The Art of Scientific Computing|edition=3rd|publisher=Cambridge University Press| location=New York|isbn=978-0-521-88068-8|chapter=Section 2.7.3. Woodbury Formula|chapter-url=http://apps.nrbook.com/empanel/index.html?pg=80}}
== बाहरी संबंध ==
== बाहरी संबंध ==
* [http://www.ee.ic.ac.uk/hp/staff/dmb/matrix/identity.html Some matrix identities]
* [http://www.ee.ic.ac.uk/hp/staff/dmb/matrix/identity.html Some matrix identities]

Revision as of 19:19, 22 July 2023

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

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

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

वुडबरी मैट्रिक्स पहचान व्युत्क्रमों की सस्ती गणना और रैखिक समीकरणों के समाधान की अनुमति देती है। हालाँकि, सूत्र की संख्यात्मक स्थिरता के बारे में बहुत कम जानकारी है। इसकी त्रुटि सीमा के संबंध में कोई प्रकाशित परिणाम नहीं हैं। उपाख्यानात्मक प्रमाण [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]

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

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

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

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