वुडबरी आव्यूह समरूपता
गणित में (विशेष रूप से रैखिक बीजगणित), वुडबरी मैट्रिक्स पहचान, जिसका नाम मैक्स ए. वुडबरी के नाम पर रखा गया है,[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]
कहाँ के रूप में लिखा जा सकता है क्योंकि कोई भी सकारात्मक अर्धनिश्चित मैट्रिक्स बराबर है कुछ के लिए .
व्युत्पत्तियाँ
प्रत्यक्ष प्रमाण
उसकी जांच करके सूत्र को सिद्ध किया जा सकता है कई बार वुडबरी पहचान के दाईं ओर इसका कथित उलटा पहचान मैट्रिक्स देता है:
वैकल्पिक प्रमाण
style="background: #F0F2F5; font-size:87%; padding:0.2em 0.3em; text-align:center; " | Algebraic proof
|
---|
पहले इन उपयोगी पहचानों पर विचार करें, अब, |
style="background: #F0F2F5; font-size:87%; padding:0.2em 0.3em; text-align:center; " | Derivation via blockwise elimination
|
---|
वुडबरी मैट्रिक्स पहचान प्राप्त करना निम्नलिखित ब्लॉक मैट्रिक्स व्युत्क्रम समस्या को हल करके आसानी से किया जाता है विस्तार करते हुए, हम देख सकते हैं कि उपरोक्त कम हो जाता है जो के बराबर है . पहले समीकरण को हटाकर, हम उसे पाते हैं , जिसे खोजने के लिए दूसरे में प्रतिस्थापित किया जा सकता है . विस्तार और पुनर्व्यवस्थित करना, हमारे पास है , या . अंत में, हम अपने में स्थानापन्न करते हैं , और हमारे पास है . इस प्रकार, हमने वुडबरी मैट्रिक्स पहचान प्राप्त की है। |
style="background: #F0F2F5; font-size:87%; padding:0.2em 0.3em; text-align:center; " | Derivation from LDU decomposition
|
---|
हम मैट्रिक्स से शुरू करते हैं ए के अंतर्गत प्रविष्टि को हटाने पर (यह देखते हुए कि ए उलटा है) हमें मिलता है इसी तरह, C से ऊपर की प्रविष्टि को हटा देना अब उपरोक्त दोनों को मिलाने पर हमें प्राप्त होता है दायीं ओर जाने से लाभ मिलता है जो ब्लॉक मैट्रिक्स का ऊपरी त्रिकोणीय, विकर्ण और निचले त्रिकोणीय मैट्रिक्स में एलडीयू अपघटन है। अब दोनों पक्षों को उलटने पर प्राप्त होता है हम इसे दूसरे तरीके से भी समान रूप से अच्छी तरह से कर सकते थे (बशर्ते कि C उलटा हो) यानी। अब फिर से दोनों पक्षों को उलटा करके, अब उपरोक्त (1) और (2) के आरएचएस के तत्वों (1, 1) की तुलना करने से वुडबरी फॉर्मूला मिलता है |
अनुप्रयोग
यह पहचान कुछ संख्यात्मक गणनाओं में उपयोगी है जहां ए−1 की गणना पहले ही की जा चुकी है और (ए+यूसीवी) की गणना करना वांछित है−1. A का व्युत्क्रम उपलब्ध होने पर, केवल C का व्युत्क्रम ज्ञात करना आवश्यक है−1 + वीए−1यू पहचान के दाईं ओर का उपयोग करके परिणाम प्राप्त करने के लिए। यदि C का आयाम A से बहुत छोटा है, तो यह A + UCV को सीधे उलटने की तुलना में अधिक कुशल है। एक सामान्य मामला ए के निम्न-रैंक अपडेट ए + यूसीवी (जहां यू में केवल कुछ कॉलम हैं और वी में केवल कुछ पंक्तियां हैं) का व्युत्क्रम ढूंढना है, या मैट्रिक्स ए + बी के व्युत्क्रम का अनुमान लगाना है जहां मैट्रिक्स बी को निम्न-रैंक मैट्रिक्स यूसीवी द्वारा अनुमानित किया जा सकता है, उदाहरण के लिए एकवचन मूल्य अपघटन का उपयोग करना।
इसे लागू किया जाता है, उदाहरण के लिए, कलमन फ़िल्टर और पुनरावर्ती न्यूनतम वर्ग विधियों में, पैरामीट्रिक समाधान को बदलने के लिए, एक स्थिति समीकरण आधारित समाधान के साथ, एक राज्य वेक्टर आकार मैट्रिक्स के व्युत्क्रम की आवश्यकता होती है। कलमन फ़िल्टर के मामले में इस मैट्रिक्स में अवलोकनों के वेक्टर के आयाम होते हैं, यानी, एक समय में केवल एक नया अवलोकन संसाधित होने की स्थिति में 1 जितना छोटा होता है। यह फ़िल्टर की अक्सर वास्तविक समय गणनाओं को महत्वपूर्ण रूप से गति देता है।
उस स्थिति में जब C पहचान मैट्रिक्स I है, मैट्रिक्स संख्यात्मक रैखिक बीजगणित और संख्यात्मक आंशिक अंतर समीकरणों में कैपेसिटेंस मैट्रिक्स के रूप में जाना जाता है।[4]
यह भी देखें
- शर्मन-मॉरिसन फॉर्मूला
- शूर पूरक
- मैट्रिक्स निर्धारक लेम्मा, एक निर्धारक के लिए रैंक-के अद्यतन के लिए सूत्र
- उलटा मैट्रिक्स
- मूर-पेनरोज़ स्यूडोइनवर्स#स्यूडोइनवर्स को अद्यतन कर रहा है
टिप्पणियाँ
- ↑ Max A. Woodbury, Inverting modified matrices, Memorandum Rept. 42, Statistical Research Group, Princeton University, Princeton, NJ, 1950, 4pp MR38136
- ↑ Max A. Woodbury, The Stability of Out-Input Matrices. Chicago, Ill., 1949. 5 pp. MR32564
- ↑ Guttmann, Louis (1946). "Enlargement methods for computing the inverse matrix". Ann. Math. Statist. 17 (3): 336–343. doi:10.1214/aoms/1177730946.
- ↑ 4.0 4.1 Hager, William W. (1989). "Updating the inverse of a matrix". SIAM Review. 31 (2): 221–239. doi:10.1137/1031049. JSTOR 2030425. MR 0997457.
- ↑ Higham, Nicholas (2002). संख्यात्मक एल्गोरिदम की सटीकता और स्थिरता (2nd ed.). SIAM. p. 258. ISBN 978-0-89871-521-7. MR 1927606.
- ↑ "MathOverflow discussion". MathOverflow.
- ↑ 7.0 7.1 7.2 Henderson, H. V.; Searle, S. R. (1981). "आव्यूहों के योग का व्युत्क्रम निकालने पर" (PDF). SIAM Review. 23 (1): 53–60. doi:10.1137/1023004. hdl:1813/32749. JSTOR 2029838.
- ↑ 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 preprint MR1152773
- ↑ Bernstein, Dennis S. (2018). Scalar, Vector, and Matrix Mathematics: Theory, Facts, and Formulas (Revised and expanded ed.). Princeton: Princeton University Press. p. 638. ISBN 9780691151205.
- ↑ Schott, James R. (2017). सांख्यिकी के लिए मैट्रिक्स विश्लेषण (Third ed.). Hoboken, New Jersey: John Wiley & Sons, Inc. p. 219. ISBN 9781119092483.
- Press, WH; Teukolsky, SA; Vetterling, WT; Flannery, BP (2007), "Section 2.7.3. Woodbury Formula", Numerical Recipes: The Art of Scientific Computing (3rd ed.), New York: Cambridge University Press, ISBN 978-0-521-88068-8