चूँकि उद्धरण में अभिकथन के स्तंभों को पुन: प्रस्तुत करने के बारे में कथनों का एक संग्रह है , इसलिए आप उन सभी को एक ही बार में सिद्ध कर सकते हैं। वास्तव में, मुखरता के सामान्यीकरण को सिद्ध करने में अधिक काम नहीं होता है:X
जब एक उलटी मैट्रिक्स द्वारा राइट गुणा किया जाता है , तो नए गुणांक अनुमान के बराबर है द्वारा छोड़ा-गुणा ।एक β एक β एक - 1XAβ^Aβ^A−1
केवल ऐसे बीजगणितीय तथ्य जिनकी आपको आवश्यकता है (आसानी से सिद्ध, प्रसिद्ध व्यक्ति) कि किसी भी matrices और invertible matrices और । (सामान्यीकृत व्युत्क्रमों के साथ काम करते समय उत्तरार्द्ध का एक उप-संस्करण संस्करण आवश्यक होता है: उल्टे और और किसी , । )(AB)′=B′A′AB(AB)−1=B−1A−1ABABX(AXB)−=B−1X−A−1
बीजगणित द्वारा प्रमाण :
β^A=((XA)′((XA))−(XA)′y=A−1(X′X)−(A′)−1A′y=A−1β^,
QED। (इस प्रमाण के पूरी तरह से सामान्य होने के लिए, सुपरस्क्रिप्ट एक सामान्यीकृत व्युत्क्रम को संदर्भित करता है।)−
ज्यामिति द्वारा प्रमाण :
यह देखते हुए ठिकानों और की और , क्रमशः, से एक रेखीय परिवर्तन का प्रतिनिधित्व करता है करने के लिए । द्वारा दाएं-गुणा को इस परिवर्तन को तय करने के रूप में माना जा सकता है लेकिन को (अर्थात के कॉलम में )। आधार के उस परिवर्तन के तहत, किसी भी सदिश में प्रतिनिधित्व को द्वारा बाएं-गुणन के माध्यम से बदलना चाहिए ,EpEnRnRpXRpRnXAEpAEpAβ^∈RpA−1QED ।
(यह सबूत तब काम करता है, जब तक कि इन्वर्टिबल नहीं है, अनमॉडिफाइड है।)X′X
उद्धरण विशेष रूप से विकर्ण मैट्रिक्स के मामले को संदर्भित करता है साथ के लिए और ।AAii=1i≠jAjj=c
कनेक्शन कम से कम वर्गों के साथ
यहां इसका उद्देश्य परिणाम प्राप्त करने के लिए पहले सिद्धांतों का उपयोग करना है, सिद्धांत कम से कम वर्गों के साथ है: गुणांक का आकलन करना जो अवशेषों के वर्गों के योग को कम करता है।
फिर से, एक (विशाल) सामान्यीकरण साबित करना अधिक कठिन नहीं है और यह खुलासा करता है। मान लें कि वास्तविक सदिश स्थानों का कोई भी नक्शा (रैखिक या नहीं) है और मान लें कि पर कोई वास्तविक-मूल्यवान फ़ंक्शन है । चलो (संभवतः खाली) अंक के सेट हो जिसके लिए कम से कम है।
ϕ:Vp→Wn
QWnU⊂VpvQ(ϕ(v))
परिणाम: , जो केवल और द्वारा निर्धारित किया गया है , में वैक्टर का प्रतिनिधित्व करने के लिए उपयोग किए जाने वाले किसी भी विकल्प पर निर्भर नहीं करता है ।UQϕEpVp
प्रमाण: QED
साबित करने के लिए कुछ नहीं है!
परिणाम के अनुप्रयोग: Let पर सकारात्मक semidefinite द्विघात रूप हो , चलो , और लगता है कि है एक रेखीय का प्रतिनिधित्व करती map जब के आधार और को चुना जाता है। परिभाषित करें । के आधार चुनें और लगता है कुछ का प्रतिनिधित्व है उस आधार में। यह कम से कम वर्ग है : वर्ग दूरी । क्योंकिFRny∈RnϕXVp=RpWn=RnQ(x)=F(y,x)Rpβ^v∈Ux=Xβ^F(y,x)Xएक रेखीय मानचित्र है, जो के आधार को बदलकर कुछ इनवर्टेड मैट्रिक्स द्वारा राइट-गुणा से मेल खाता है । यह , QED द्वारा बाएँ-से-गुणा करेगा ।RpXAβ^A−1