एकल मान: Difference between revisions

From Vigyanwiki
(Created page with "{{Short description|Square roots of the eigenvalues of the self-adjoint operator}} गणित में, विशेष रूप से कार्यात्मक...")
 
No edit summary
Line 1: Line 1:
{{Short description|Square roots of the eigenvalues of the self-adjoint operator}}
{{Short description|Square roots of the eigenvalues of the self-adjoint operator}}
गणित में, विशेष रूप से [[कार्यात्मक विश्लेषण]] में, एक [[कॉम्पैक्ट ऑपरेटर]] के एकल मान, या ''s''-संख्याएँ <math>T: X \rightarrow Y</math> [[हिल्बर्ट स्थान]]ों के बीच अभिनय  <math>X</math> और <math>Y</math>, स्व-सहायक ऑपरेटर के (आवश्यक रूप से गैर-नकारात्मक) [[eigenvalue]]s ​​​​के वर्गमूल हैं <math>T^*T</math> (कहाँ <math>T^*</math> के सहायक संचालक को दर्शाता है <math>T</math>).
गणित में विशेष रूप से [[कार्यात्मक विश्लेषण]] में [[कॉम्पैक्ट ऑपरेटर]] <math>T: X \rightarrow Y</math> के एकल मान या ''s''-संख्याएँ [[हिल्बर्ट स्थान|हिल्बर्ट स्थानों]] <math>X</math> और <math>Y</math> के मध्य एक्टर स्व-सहायक ऑपरेटर <math>T^*T</math> के (आवश्यक रूप से गैर-नकारात्मक) [[eigenvalue]]s ​​​​के वर्गमूल हैं (जहाँ <math>T^*</math>, <math>T</math> के सहायक संचालक को दर्शाता है)


एकवचन मान गैर-नकारात्मक [[वास्तविक संख्या]]एँ हैं, जिन्हें आमतौर पर घटते क्रम (σ) में सूचीबद्ध किया जाता है<sub>1</sub>(टी), पी<sub>2</sub>(टी), …)सबसे बड़ा एकवचन मान σ<sub>1</sub>(टी) टी के [[ऑपरेटर मानदंड]] के बराबर है (एकवचन मानों के लिए न्यूनतम-अधिकतम प्रमेय#न्यूनतम-अधिकतम सिद्धांत देखें|न्यूनतम-अधिकतम प्रमेय)।
एकवचन मान गैर-नकारात्मक [[वास्तविक संख्या|वास्तविक संख्याएँ]] हैं जिन्हें सामान्य रूप से घटते क्रम (σ<sub>1</sub>(T), σ<sub>2</sub>(T), …) में सूचीबद्ध किया जाता है। सबसे बड़ा एकवचन मान σ<sub>1</sub>(T), T के [[ऑपरेटर मानदंड]] के बराबर है (न्यूनतम-अधिकतम प्रमेय देखें)।


[[File:Singular value decomposition.gif|thumb|right|280px|2-आयामी, वास्तविक :en:शीयर मैपिंग एम के एकवचन मूल्य अपघटन (एसवीडी) का विज़ुअलाइज़ेशन। सबसे पहले, हम दो [[मानक आधार]]ों के साथ [[यूनिट डिस्क]] को नीले रंग में देखते हैं। फिर हम एम की क्रिया देखते हैं, जो डिस्क को एक दीर्घवृत्त में विकृत कर देती है। एसवीडी एम को तीन सरल परिवर्तनों में विघटित करता है: एक [[रोटेशन मैट्रिक्स]] वी{{sup|*}}, घुमाए गए समन्वय अक्षों के साथ एक [[स्केलिंग (ज्यामिति)]] Σ और दूसरा घूर्णन यू। Σ एक (वर्ग, इस उदाहरण में) [[विकर्ण मैट्रिक्स]] है जिसमें इसके विकर्ण में एम के एकवचन मान शामिल हैं, जो लंबाई का प्रतिनिधित्व करते हैं σ<sub>1</sub> और पी<sub>2</sub> दीर्घवृत्त के#दीर्घवृत्त के तत्व|दीर्घवृत्त के अर्ध-अक्ष।]]यदि T यूक्लिडियन समष्टि पर कार्य करता है <math>\Reals ^n</math>, एकवचन मानों के लिए एक सरल ज्यामितीय व्याख्या है: छवि पर विचार करें <math>T</math> [[एन-क्षेत्र]] का; यह एक दीर्घवृत्ताकार है, और इसके अर्ध-अक्षों की लंबाई एकवचन मान हैं <math>T</math> (आंकड़ा एक उदाहरण प्रदान करता है <math>\Reals^2</math>).
[[File:Singular value decomposition.gif|thumb|right|280px|2-आयामी, वास्तविक :en:शीयर मैपिंग एम के एकवचन मूल्य अपघटन (एसवीडी) का विज़ुअलाइज़ेशन। सबसे पहले, हम दो [[मानक आधार]]ों के साथ [[यूनिट डिस्क]] को नीले रंग में देखते हैं। फिर हम एम की क्रिया देखते हैं, जो डिस्क को एक दीर्घवृत्त में विकृत कर देती है। एसवीडी एम को तीन सरल परिवर्तनों में विघटित करता है: एक [[रोटेशन मैट्रिक्स]] वी{{sup|*}}, घुमाए गए समन्वय अक्षों के साथ एक [[स्केलिंग (ज्यामिति)]] Σ और दूसरा घूर्णन यू। Σ एक (वर्ग, इस उदाहरण में) [[विकर्ण मैट्रिक्स]] है जिसमें इसके विकर्ण में एम के एकवचन मान शामिल हैं, जो लंबाई का प्रतिनिधित्व करते हैं σ<sub>1</sub> और पी<sub>2</sub> दीर्घवृत्त के#दीर्घवृत्त के तत्व|दीर्घवृत्त के अर्ध-अक्ष।]]यदि T यूक्लिडियन समष्टि <math>\Reals ^n</math> पर कार्य करता है एवं एकवचन मानों के लिए सरल ज्यामितीय व्याख्या है: इकाई वृत्त की <math>T</math> द्वारा छवि पर विचार करें; यह एक दीर्घवृत्ताकार है और इसके अर्ध-अक्षों की लंबाई, <math>T</math> का एकवचन मान हैं (आंकड़ा <math>\Reals^2</math> में एक उदाहरण प्रदान करता है)


एकवचन मान एक [[सामान्य मैट्रिक्स]] के [[eigenvalues]] ​​​​के पूर्ण मान हैं, क्योंकि [[वर्णक्रमीय प्रमेय]] को एकात्मक विकर्ण प्राप्त करने के लिए लागू किया जा सकता है <math>A</math> जैसा <math>A = U\Lambda U^*</math>. इसलिए, {{nowrap|<math display="inline">\sqrt{A^* A} = \sqrt{U \Lambda^* \Lambda U^*} = U \left| \Lambda \right| U^*</math>.}}
एकवचन मान [[सामान्य मैट्रिक्स]] A के [[eigenvalues]] ​​​​के पूर्ण मान हैं क्योंकि [[वर्णक्रमीय प्रमेय]] को एकात्मक विकर्ण प्राप्त करने के लिए लागू किया जा सकता है <math>A</math> जैसा <math>A = U\Lambda U^*</math>


हिल्बर्ट अंतरिक्ष ऑपरेटरों पर अध्ययन किए गए अधिकांश मानक रैखिक स्थान को एस-संख्याओं का उपयोग करके परिभाषित किया गया है। उदाहरण के लिए, Ky फैन-k-मानदंड पहले k एकवचन मानों का योग है, ट्रेस मानदंड सभी एकवचन मानों का योग है, और स्कैटन मानदंड एकवचन मानों की pth शक्तियों के योग का pth मूल है। ध्यान दें कि प्रत्येक मानदंड केवल ऑपरेटरों के एक विशेष वर्ग पर परिभाषित किया गया है, इसलिए एस-नंबर विभिन्न ऑपरेटरों को वर्गीकृत करने में उपयोगी होते हैं।
इसलिए, {{nowrap|<math display="inline">\sqrt{A^* A} = \sqrt{U \Lambda^* \Lambda U^*} = U \left| \Lambda \right| U^*</math>.}}


परिमित-आयामी मामले में, एक [[मैट्रिक्स (गणित)]] को हमेशा रूप में विघटित किया जा सकता है <math>\mathbf{U\Sigma V^*}</math>, कहाँ <math>\mathbf{U}</math> और <math>\mathbf{V^*}</math> [[एकात्मक मैट्रिक्स]] हैं और <math>\mathbf{\Sigma}</math> एक [[आयताकार विकर्ण मैट्रिक्स]] है जिसके विकर्ण पर एकवचन मान स्थित हैं। यह विलक्षण मूल्य अपघटन है.
हिल्बर्ट स्पेस ऑपरेटरों पर अध्ययन किए गए अधिकांश मानक रैखिक स्थान को s-संख्याओं का उपयोग करके परिभाषित किया गया है। उदाहरण के लिए, Ky फैन-k-मानदंड पहले k एकवचन मानों का योग है, ट्रेस मानदंड सभी एकवचन मानों का योग है और स्कैटन मानदंड एकवचन मानों की pth शक्तियों के योग का pth मूल है। ध्यान दें कि प्रत्येक मानदंड केवल ऑपरेटरों के विशेष वर्ग पर परिभाषित किया गया है इसलिए s-नंबर विभिन्न ऑपरेटरों को वर्गीकृत करने में उपयोगी होते हैं।
 
परिमित-आयामी स्थितियों में [[मैट्रिक्स (गणित)]] को हमेशा <math>\mathbf{U\Sigma V^*}</math> रूप में विघटित किया जा सकता है जहाँ <math>\mathbf{U}</math> और <math>\mathbf{V^*}</math> [[एकात्मक मैट्रिक्स]] हैं और <math>\mathbf{\Sigma}</math> [[आयताकार विकर्ण मैट्रिक्स]] है जिसके विकर्ण पर एकवचन मान स्थित हैं। यह एकवचन मूल्य अपघटन है।


== मूल गुण ==
== मूल गुण ==


के लिए <math>A \in \mathbb{C}^{m \times n}</math>, और <math>i = 1,2, \ldots, \min \{m,n\}</math>.
<math>A \in \mathbb{C}^{m \times n}</math>, और <math>i = 1,2, \ldots, \min \{m,n\}</math> के लिए


न्यूनतम-अधिकतम प्रमेय#एकवचन मानों के लिए न्यूनतम-अधिकतम सिद्धांत|एकवचन मानों के लिए न्यूनतम-अधिकतम प्रमेय। यहाँ <math>U: \dim(U) = i</math> का एक उपस्थान है <math>\mathbb{C}^n</math> आयाम का <math>i</math>.
एकवचन मानों के लिए न्यूनतम-अधिकतम प्रमेय। यहाँ <math>U: \dim(U) = i</math> आयाम <math>i</math>, <math>\mathbb{C}^n</math>का उपस्थान है।


:<math>\begin{align}
:<math>\begin{align}

Revision as of 23:26, 29 July 2023

गणित में विशेष रूप से कार्यात्मक विश्लेषण में कॉम्पैक्ट ऑपरेटर के एकल मान या s-संख्याएँ हिल्बर्ट स्थानों और के मध्य एक्टर स्व-सहायक ऑपरेटर के (आवश्यक रूप से गैर-नकारात्मक) eigenvalues ​​​​के वर्गमूल हैं (जहाँ , के सहायक संचालक को दर्शाता है)।

एकवचन मान गैर-नकारात्मक वास्तविक संख्याएँ हैं जिन्हें सामान्य रूप से घटते क्रम (σ1(T), σ2(T), …) में सूचीबद्ध किया जाता है। सबसे बड़ा एकवचन मान σ1(T), T के ऑपरेटर मानदंड के बराबर है (न्यूनतम-अधिकतम प्रमेय देखें)।

दीर्घवृत्त के अर्ध-अक्ष।

यदि T यूक्लिडियन समष्टि पर कार्य करता है एवं एकवचन मानों के लिए सरल ज्यामितीय व्याख्या है: इकाई वृत्त की द्वारा छवि पर विचार करें; यह एक दीर्घवृत्ताकार है और इसके अर्ध-अक्षों की लंबाई, का एकवचन मान हैं (आंकड़ा में एक उदाहरण प्रदान करता है)।

एकवचन मान सामान्य मैट्रिक्स A के eigenvalues ​​​​के पूर्ण मान हैं क्योंकि वर्णक्रमीय प्रमेय को एकात्मक विकर्ण प्राप्त करने के लिए लागू किया जा सकता है जैसा

इसलिए, .

हिल्बर्ट स्पेस ऑपरेटरों पर अध्ययन किए गए अधिकांश मानक रैखिक स्थान को s-संख्याओं का उपयोग करके परिभाषित किया गया है। उदाहरण के लिए, Ky फैन-k-मानदंड पहले k एकवचन मानों का योग है, ट्रेस मानदंड सभी एकवचन मानों का योग है और स्कैटन मानदंड एकवचन मानों की pth शक्तियों के योग का pth मूल है। ध्यान दें कि प्रत्येक मानदंड केवल ऑपरेटरों के विशेष वर्ग पर परिभाषित किया गया है इसलिए s-नंबर विभिन्न ऑपरेटरों को वर्गीकृत करने में उपयोगी होते हैं।

परिमित-आयामी स्थितियों में मैट्रिक्स (गणित) को हमेशा रूप में विघटित किया जा सकता है जहाँ और एकात्मक मैट्रिक्स हैं और आयताकार विकर्ण मैट्रिक्स है जिसके विकर्ण पर एकवचन मान स्थित हैं। यह एकवचन मूल्य अपघटन है।

मूल गुण

, और के लिए

एकवचन मानों के लिए न्यूनतम-अधिकतम प्रमेय। यहाँ आयाम , का उपस्थान है।

मैट्रिक्स ट्रांसपोज़ और कंजुगेट एकवचन मानों में परिवर्तन नहीं करते हैं।

किसी एकात्मक के लिए

स्वदेशी मूल्यों से संबंध:

ट्रेस से संबंध (रैखिक बीजगणित):

.

अगर पूर्ण रैंक है, एकवचन मूल्यों का उत्पाद है .

अगर पूर्ण रैंक है, एकवचन मूल्यों का उत्पाद है .

अगर पूर्ण रैंक है, एकवचन मूल्यों का उत्पाद है .

एकवचन मानों के बारे में असमानताएँ

यह सभी देखें।[1]


उप-आव्यूहों का एकवचन मान

के लिए

  1. होने देना निरूपित इसकी एक पंक्ति या स्तंभ हटा दिया गया है। तब
  2. होने देना निरूपित इसकी एक पंक्ति और स्तंभ हटा दिया गया है। तब
  3. होने देना एक को निरूपित करें का सबमैट्रिक्स . तब


ए + बी का एकवचन मान

के लिए


AB का एकवचन मान

के लिए

के लिए [2]


एकवचन मान और eigenvalues

के लिए .

  1. देखना[3]
  2. मान लीजिए . फिर के लिए :
    1. वेइल की असमानता#मैट्रिक्स सिद्धांत में वेइल की असमानता|वेइल का प्रमेय
    2. के लिए .


इतिहास

यह अवधारणा 1907 में एरहार्ड श्मिट द्वारा पेश की गई थी। श्मिट ने उस समय एकवचन मूल्यों को आइगेनवैल्यू कहा था। नाम एकवचन मान को पहली बार 1937 में स्मिथीज़ द्वारा उद्धृत किया गया था। 1957 में, अल्लाह्वरडीव ने nवें s-संख्या के निम्नलिखित लक्षण वर्णन को साबित किया:[4] : इस सूत्रीकरण ने बैनाच क्षेत्र में ऑपरेटरों के लिए एस-नंबरों की धारणा का विस्तार करना संभव बना दिया।

यह भी देखें

  • शर्त क्रमांक
  • न्यूनतम-अधिकतम प्रमेय#कॉची इंटरलेसिंग प्रमेय या पोंकारे पृथक्करण प्रमेय
  • शूर-हॉर्न प्रमेय
  • विलक्षण मान अपघटन

संदर्भ

  1. R. A. Horn and C. R. Johnson. Topics in Matrix Analysis. Cambridge University Press, Cambridge, 1991. Chap. 3
  2. X. Zhan. Matrix Inequalities. Springer-Verlag, Berlin, Heidelberg, 2002. p.28
  3. R. Bhatia. Matrix Analysis. Springer-Verlag, New York, 1997. Prop. III.5.1
  4. I. C. Gohberg and M. G. Krein. Introduction to the Theory of Linear Non-selfadjoint Operators. American Mathematical Society, Providence, R.I.,1969. Translated from the Russian by A. Feinstein. Translations of Mathematical Monographs, Vol. 18.