🔢 mathematics

Positive definite matrices and involutions: the manners of their infinite cousins

यह शोध पत्र पंक्ति- और स्तंभ-परिमित अनंत आव्यूहों (row- and column-finite infinite matrices) के बीजगणित में धनात्मक निश्चित इनवोल्यूशन (positive definite involutions) और आव्यूहों की जांच करता है, जो यह सिद्ध करता है कि ऐसे इनवोल्यूशन धनात्मक निश्चित आव्यूहों के माध्यम से मानक ट्रांसपोज़ या कॉन्जुगेट-ट्रांसपोज़ ऑपरेशन्स के अनुरूप होते हैं, जबकि यह भी प्रदर्शित करता है कि इन आव्यूहों में हमेशा चोलेस्की गुणनखंडन (Cholesky factorizations) उपलब्ध होते हैं परंतु बीजगणित के भीतर उनमें आइजन मान (eigenvalues) या वर्गमूल का अभाव हो सकता है।

मूल लेखक: Pere Ara, Ken Goodearl, Kevin C. O'Meara

प्रकाशित 2026-07-29

📖 5 मिनट में पढ़ें🧠 गहराई से पढ़ें

CC BY 4.0

मूल लेखक: Pere Ara, Ken Goodearl, Kevin C. O'Meara

मूल पेपर CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/) के तहत लाइसेंस किया गया है। ✨ नीचे दिए गए पेपर की यह व्याख्या AI से तैयार की गई है। इसे लेखकों ने न तो लिखा है, न इसका समर्थन किया है। तकनीकी सटीकता के लिए मूल पेपर देखें। पूरा डिस्क्लेमर पढ़ें

कल्पना कीजिए कि आप ब्लॉक्स से एक विशाल, अनंत मीनार बना रहे हैं। परिमित गणित (finite math) की दुनिया में, जहाँ मीनार के मंजिलों की एक निश्चित संख्या है, नियम सख्त और अनुमानित होते हैं: यदि आप ब्लॉक्स को एक निश्चित तरीके से रखते हैं, तो वे हमेशा अपनी जगह पर टिके रहते हैं, और आप हमेशा एक ऐसा दर्पण प्रतिबिंब (mirror image) पा सकते हैं जो पूरी तरह से फिट बैठता है। यह मानक मैट्रिसेस (standard matrices) की दुनिया है, जो इंजीनियरों और वैज्ञानिकों द्वारा चरों (variables) की एक निश्चित संख्या वाली समस्याओं को हल करने के लिए उपयोग किए जाने वाले उपकरण हैं। लेकिन क्या होता है जब मीनार अनंत तक फैल जाती है? जब मंजिलों की संख्या अनंत होती है, तो खेल के नियम अजीब तरीकों से बदल जाते हैं। अचानक, ब्लॉक्स शायद उस क्रम में नहीं टिकते जिसकी आप अपेक्षा करते हैं; उन्हें आपस में गुणा करने से परिणाम अलग हो सकते हैं, यह इस पर निर्भर करता है कि आप पहले कौन सी जोड़ी चुनते हैं। यह अनंत गेंदों के साथ जुगलबंदी करने जैसा है जहाँ भौतिकी के नियम कभी-कभी कॉफी ब्रेक लेने चले जाते हैं। यह "अनंत मैट्रिसेस" (infinite matrices) का विचित्र, जंगली मोर्चा है, गणित का एक ऐसा कोना जहाँ "धनात्मक" (positive - जिसका अर्थ है कि सभी संख्याएँ अच्छी और सुरक्षित हैं) और "वर्गमूल" (square roots - वह संख्या ढूँढना जो मूल संख्या बनाने के लिए स्वयं से गुणा हो) जैसे परिचित विचार हमारे परिमित, रोजमर्रा के संसार की तुलना में बहुत अलग व्यवहार करते हैं।

आप जिस शोध पत्र का अन्वेषण करने जा रहे हैं, वह इस अराजक अनंतता में गहराई तक जाता है, विशेष रूप से एक विशेष प्रकार के अनंत मैट्रिक्स पर जो "धनात्मक निश्चित" (positive definite) है। परिमित दुनिया में, ये "अच्छे लोग" हैं—ऐसे मैट्रिक्स जो हमेशा सुरक्षित, अनुमानित और सरल टुकड़ों में तोड़ने में आसान होते हैं। लेखक, पेरे अरा, केन गुडियरल और केविन सी. ओ'मीरा ने जानना चाहा: क्या ये "अच्छे लोग" बड़े होने पर भी अच्छे बने रहते हैं जब वे अनंत हो जाते हैं? उन्होंने "इनवोल्यूशन" (involutions) की भी जांच की, जो फैंसी गणितीय संचालन हैं जो दर्पण की तरह कार्य करते हैं, एक मैट्रिक्स को पलट देते हैं (ट्रांसपोज़ करना) या उसे पलटकर उसके रंगों को बदल देते हैं (कॉन्जुगेट-ट्रांसपोज़)। बड़ा सवाल यह था: यदि आपके पास एक "अच्छा" अनंत मैट्रिक्स है, तो क्या आप हमेशा अपने दर्पण प्रतिबिंब को एक सरल, मानक मोड़ (flip) का उपयोग करके वर्णित कर सकते हैं?

लेखकों ने पाया कि इन मैट्रिसेस के अनंत वंशज वास्तव में थोड़े अनियंत्रित हैं। हालांकि उन्होंने पाया कि इन "अच्छे" अनंत मैट्रिसेस को अभी भी एक विशिष्ट, अद्वितीय आकार (एक प्रक्रिया जिसे चोलेस्की गुणनखंडन/Cholesky factorization कहा जाता है) में तोड़ा जा सकता है, लेकिन उन्होंने यह भी पाया कि ये मैट्रिक्स अविश्वसनीय रूप से जिद्दी हो सकते हैं। अपने परिमित रिश्तेदारों के विपरीत, इन अनंत "अच्छे लोगों" में कोई "आइजनवैल्यूज़" (eigenvalues - जो मैट्रिक्स की प्राकृतिक आवृत्तियों या अनुनाद ध्वनियों की तरह हैं) भी नहीं हो सकती हैं। यहाँ तक कि उनका कोई "वर्गमूल" भी नहीं हो सकता, जिसका अर्थ है कि कोई अन्य मैट्रिक्स नहीं है जो स्वयं से गुणा होकर उन्हें बनाता हो। यह ऐसा है जैसे आपके पास सोने का एक आदर्श, ठोस ब्लॉक है, लेकिन अनंत दुनिया में, कोई छोटा सोने का ब्लॉक नहीं है जिसे आप दो बार स्टैक करके इसे बना सकें।

हालाँकि, शोध पत्र अराजकता के लिए एक आरामदायक नियम प्रदान करता है। लेखकों ने सिद्ध किया कि यदि आपके पास एक "धनात्मक निश्चित" अनंत मैट्रिक्स है, तो उस पर लागू किया गया कोई भी "अच्छा" दर्पण संचालन (इनवोल्यूशन) अनिवार्य रूप से मानक दर्पण मोड़ ही है, लेकिन एक मामूली ट्विस्ट के साथ। विशेष रूप से, शोध पत्र दिखाता है कि कोई भी ऐसा "अच्छा" दर्पण, मानक मोड़ है, लेकिन एक धनात्मक निश्चित मैट्रिक्स द्वारा "कॉन्जुगेटेड" (conjugated) है। सरल अंग्रेजी में, इसका अर्थ है कि अजीब, अनंत दर्पण सामान्य दर्पण ही है जिसने एक विशेष, धनात्मक निश्चित पोशाक पहनी हुई है। लेखकों ने इसे गणितीय निश्चितता के साथ सिद्ध किया, यह दिखाते हुए कि यदि कोई संचालन "धनात्मक निश्चित" है (अर्थात वह शून्य को शून्य मानता है और कुछ नहीं), तो वह इस विशिष्ट तरीके से मानक ट्रांसपोज़ या कॉन्जुगेट-ट्रांसपोज़ से संबंधित है।

लेकिन कहानी एक सुखद "सब ठीक है" पर समाप्त नहीं होती है। शोध पत्र स्पष्ट रूप से इस विचार को खारिज करता है कि ये अनंत मैट्रिक्स अपने परिमित समकक्षों की तरह हर तरह से व्यवहार करते हैं। उन्होंने विशिष्ट उदाहरणों का निर्माण किया जिससे पता चलता है कि एक धनात्मक निश्चित अनंत मैट्रिक्स के पास कुछ वेक्टर्स पर अपने कार्य के लिए कोई आइजनवैल्यू नहीं हो सकती है, और इसमें वर्गमूल भी नहीं हो सकता, भले ही यह व्युत्क्रमणीय (invertible) हो। उन्होंने यह भी दिखाया कि अनंत क्षेत्र में मैट्रिक्स गुणन हमेशा "एसोसिएटिव" (associative) नहीं होता है, जिसका अर्थ है कि यदि आप तीन मैट्रिक्स को एक साथ गुणा करते हैं, तो $(A \times B) \times C$ शायद $A \times (B \times C)$ के बराबर नहीं होगा, भले ही सभी गुणन परिभाषित हों। यह एक मौलिक नियम को तोड़ता है जो सभी परिमित मैट्रिसेस के लिए सत्य है।

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

तकनीकी सारांश: रो- और कॉलम-फाइनाइट मैट्रिक्स बीजगणित में धनात्मक निश्चित आव्यूह और इनवोल्यूशन (Involutions)

समस्या विवरण
यह शोध पत्र अनंत आव्यूहों (infinite matrices), विशेष रूप से एक क्षेत्र $F$ (जहाँ $F$ $\mathbb{R}$ या $\mathbb{C}$ है) पर रो- और कॉलम-फाइनाइट $\omega \times \omega$ आव्यूहों के बीजगणित $B(F)$ के संरचनात्मक गुणों की जांच करता है। जबकि परिमित आव्यूहों ( $M_n(F)$ ) के लिए धनात्मक निश्चितता (positive definiteness), चोलेस्की गुणनखंडन (Cholesky factorization), और इनवोल्यूशन जैसी अवधारणाएं सुस्थापित हैं, अनंत आयामों में इनका विस्तार करना महत्वपूर्ण बाधाएं प्रस्तुत करता है। लेखक बताते हैं कि अनंत मैट्रिक्स गुणन आवश्यक रूप से साहचर्य (associative) नहीं होता है, भले ही इसमें शामिल सभी गुणनफल परिभाषित हों। इसके अतिरिक्त, मानक स्पेक्ट्रल गुण (आइगेनमान/eigenvalues) और गुणनखंड प्रमेय (वर्गमूल, चोलेस्की) जो परिमित आव्यूहों के लिए मान्य होते हैं, अनंत परिवेश में अक्सर विफल हो जाते हैं या अप्रत्याशित व्यवहार करते हैं। मुख्य लक्ष्य $B(F)$ पर धनात्मक निश्चित इनवोल्यूशनों का लक्षण वर्णन करना है और यह निर्धारित करना है कि शास्त्रीय मैट्रिक्स गुण (व्युत्क्रमणीयता, गुणनखंड, स्पेक्ट्रल सिद्धांत) इस अनंत संदर्भ में किस सीमा तक बने रहते हैं।

कार्यप्रणाली
लेखक रिंग-थ्योरेटिक विश्लेषण, मॉड्यूल सिद्धांत और स्पष्ट मैट्रिक्स निर्माण के संयोजन का उपयोग करते हैं।

बीजगणिक ढांचा: अध्ययन $B(F)$ को एक एक्सचेंज रिंग के रूप में और रो-फाइनाइट ($RF $) तथा कॉलम-फाइनाइट ($ CF$) आव्यूहों के बीजगणित के साथ इसके संबंध के रूप में आधारित है। लेखक गैर-साहचर्य (non-associativity) वाले सामान्य मैट्रिक्स उत्पादों के माध्यम से नेविगेट करने के लिए $R \cdot M \cdot C$ -साहचर्यता (रो-फाइनाइट $\times$ मनमाना $\times$ कॉलम-फाइनाइट) की अवधारणा का उपयोग करते हैं।
मॉड्यूल-थ्योरेटिक लक्षण वर्णन: व्युत्क्रमणीयता (invertibility) और शून्यांक (annihilator) स्थितियों का विश्लेषण सीमित-सपोर्ट वाले वेक्टरों के स्थान ( $V$ ) और सभी वेक्टरों के स्थान ( $W$ ) पर क्रियाओं के बीच अंतर करके किया जाता है। शोध पत्र $CF $और$ RF $में लेफ्ट/राइट व्युत्क्रमणीयता बनाम$ B(F)$ में व्युत्क्रमणीयता के बीच अंतर स्पष्ट करता है।
रचनात्मक प्रतिउदाहरण (Constructive Counterexamples): कार्यप्रणाली का एक महत्वपूर्ण हिस्सा विशिष्ट अनंत आव्यूहों (जैसे, शिफ्ट मैट्रिसेस, ब्लॉक ट्रिडायगोनल मैट्रिसेस) का निर्माण करना है ताकि उन गुणों की विफलता को प्रदर्शित किया जा सके जो परिमित मामले में मान्य होते हैं, जैसे कि आइगेनमानों का अस्तित्व, वर्गमूल, या व्युत्क्रमणीयता।
जेकोब्सन की तकनीक (Jacobson's Trick): इनवोल्यूशनों के लक्षण वर्णन के लिए, लेखक नाथन जेकोब्सन के उस प्रमेय का लाभ उठाते हैं जिसके अनुसार $B(F)$ के सभी ऑटोमोर्फिज्म्स 'इनर' (inner) हैं। यह उन्हें सामान्य ट्रांसपोज़ (या कॉन्जुगेट-ट्रांसपोज़) इनवोल्यूशन को एक यूनिट मैट्रिक्स द्वारा संयुग्मन (conjugation) के रूप में व्यक्त करने की अनुमति देता है।

मुख्य योगदान और परिणाम

1. साहचर्यता और व्युत्क्रमणीयता
शोध पत्र $M(F)$ में साहचर्यता की विफलता का कड़ाई से दस्तावेजीकरण करता है, जहाँ उदाहरण दिए गए हैं कि $(AB)C \neq A(BC)$ है, भले ही सभी गुणनफल परिभाषित हों। यह स्थापित करता है कि $B(F)$ एक $(RF, CF)$-बाइमॉड्यूल है जहाँ साहचर्यता बनी रहती है।

व्युत्क्रमणीयता मानदंड: एक मैट्रिक्स $A \in B(F)$ , $B(F)$ में व्युत्क्रमणीय है यदि और केवल यदि उसका कॉलम स्पेस $V$ के बराबर है और उसका रो स्पेस $V^t$ के बराबर है। लेखक स्पष्ट करते हैं कि $CF $(या$ RF $) में व्युत्क्रमणीयता$ B(F) $में व्युत्क्रमणीयता को सुनिश्चित नहीं करती है, और न ही$ V $में शून्यांकों का शून्य होना$ B(F)$ में व्युत्क्रमणीयता की गारंटी देता है।

2. धनात्मक निश्चित आव्यूह और गुणनखंड
लेखक एक मैट्रिक्स $A \in M$ को धनात्मक निश्चित तब परिभाषित करते हैं जब वह हर्मिटियन (Hermitian) हो और सभी गैर-शून्य $x \in V$ के लिए $x^*Ax > 0$ हो।

चोलेस्की गुणनखंडन: परिमित आव्यूहों के विपरीत जहाँ धनात्मक निश्चितता व्युत्क्रमणीयता को दर्शाती है, $B(F)$ में अनंत धनात्मक निश्चित आव्यूह व्युत्क्रमणीय होने आवश्यक नहीं हैं। हालांकि, शोध पत्र सिद्ध करता है कि $B(F)$ में प्रत्येक धनात्मक निश्चित मैट्रिक्स का $B(F)$ के भीतर एक अद्वितीय चोलेस्की गुणनखंड $A = U^*U$ होता है, जहाँ $U$ धनात्मक विकर्ण प्रविष्टियों वाला अपर ट्राइएंगुलर मैट्रिक्स है।
कारकों की व्युत्क्रमणीयता: $B(F)$ में $A$ की व्युत्क्रमणीयता उसके चोलेस्की कारक $U$ की $B(F)$ में व्युत्क्रमणीयता के समतुल्य है।
स्पेक्ट्रल विसंगतियाँ: लेखक $B(F)$ में ऐसे धनात्मक निश्चित आव्यूहों के उदाहरण निर्मित करते हैं जिनके पास $V$ पर अपनी क्रिया के लिए कोई आइगेनमान नहीं होता है, जबकि साथ ही $W$ पर अपनी क्रिया के लिए $F$ के प्रत्येक स्केलर को आइगेनमान के रूप में रखते हैं।

3. वर्गमूल (Square Roots)
परिमित मैट्रिक्स सिद्धांत से एक बड़ा विचलन वर्गमूलों का अस्तित्व न होना है। लेखक सिद्ध करते हैं कि $B(F)$ में ऐसे धनात्मक निश्चित आव्यूह (व्युत्क्रमणीय और गैर-व्युत्क्रमणीय दोनों) मौजूद हैं जिनका $B(F)$ में, या बड़े बीजगणितों $RF $या$ CF$ में कोई वर्गमूल नहीं है। इसे विशिष्ट स्पेक्ट्रल गुणों वाले आव्यूहों का निर्माण करके प्रदर्शित किया गया है जो एक कम्यूटिंग वर्गमूल के अस्तित्व को रोकते हैं।

4. इनवोल्यूशन का लक्षण वर्णन
मुख्य सैद्धांतिक परिणाम $B(F)$ पर धनात्मक निश्चित इनवोल्यूशनों के वर्गीकरण से संबंधित है।

प्रमेय A (मुख्य परिणाम): एक इनवोल्यूशन $\#$ $B(F)$ पर (यदि $F=\mathbb{R}$ के लिए रैखिक, $F=\mathbb{C}$ के लिए कॉन्जुगेट-लीनियर) "प्रॉपर" (अर्थात, $A^\# A = 0 \implies A=0$ ) या "धनात्मक निश्चित" (अर्थात, $\sum A_i^\# A_i = 0 \implies$ सभी $A_i = 0$ ) है यदि और केवल यदि वह मानक ट्रांसपोज़ (या कॉन्जुगेट-ट्रांसपोज़) इनवोल्यूशन के तुल्य है।
इनवोल्यूशन का रूप: विशेष रूप से, ऐसा इनवोल्यूशन $A^\# = C^{-1} A^* C$ द्वारा दिया जाता है, जहाँ $C$ एक व्युत्क्रमणीय धनात्मक निश्चित मैट्रिक्स $\in B(F)$ है।
तुल्यता: शोध पत्र स्थापित करता है कि कोई भी प्रॉपर इनवोल्यूशन एक इनर ऑटोमोर्फिज्म के माध्यम से मानक इनवोल्यूशन के तुल्य है। इसके विपरीत, यदि संयुग्मन मैट्रिक्स $C$ धनात्मक निश्चित (या उसका ऋणात्मक) नहीं है, तो परिणामी इनवोल्यूशन प्रॉपर नहीं होगा।

महत्व और दावे
शोध पत्र का दावा है कि यह रो- और कॉलम-फाइनाइट आव्यूहों के बीजगणित पर धनात्मक निश्चित इनवोल्यूशनों के वर्गीकरण को हल करता है, यह दिखाते हुए कि वे एक धनात्मक निश्चित मैट्रिक्स द्वारा संयुग्मन के माध्यम से संरचनात्मक रूप से मानक इनवोल्यूशनों के समान हैं।
लेखक इस बात पर जोर देते हैं कि जबकि अनंत आव्यूहों के "बुरे व्यवहार" (गैर-साहचर्यता, आइगेनमानों की कमी, वर्गमूलों की कमी) ज्ञात हैं, चोलेस्की गुणनखंडन की निरंतरता और धनात्मक निश्चित इनवोल्यूशनों का विशिष्ट लक्षण वर्णन इन वस्तुओं के साथ काम करने के लिए एक मजबूत ढांचा प्रदान करता है। ये परिणाम इस बात पर प्रकाश डालते हैं कि अनंत सेटिंग में धनात्मक निश्चितता एक मजबूत स्थिति है जो इनवोल्यूशन को मानक वाले के "करीब" होने के लिए मजबूर करती है, बावजूद इसके कि अन्य शास्त्रीय मैट्रिक्स गुणों का विफल होना स्वाभाविक है। यह शोध पत्र सामान्य अनंत मैट्रिक्स बीजगणितों (बिना रो/कॉलम फाइनाइटता की बाधा के) में इन परिणामों के विस्तार का दावा नहीं करता है, न ही यह इन संरचनात्मक गुणों के लक्षण वर्णन से परे नए अनुप्रयोगों का प्रस्ताव करता है।

इसी तरह के और पेपर