मैट्रिक्स का लघुगणक: Difference between revisions

Revision as of 14:57, 25 July 2023

गणित में, आव्यूह का लघुगणक अन्य आव्यूह (गणित) होता है, जैसे कि बाद वाले आव्यूह का आव्यूह घातांक मूल आव्यूह के समान होता है। इस प्रकार यह अदिश लघुगणक का सामान्यीकरण है और कुछ अर्थों में आव्यूह घातांक का व्युत्क्रम फलन है। सभी आव्यूहों में लघुगणक नहीं होता और जिन आव्यूहों में लघुगणक होता है उनमें से अधिक लघुगणक हो सकते हैं। आव्यूहों के लघुगणक का अध्ययन लाई सिद्धांत की ओर ले जाता है क्योंकि जब किसी आव्यूह में लघुगणक होता है तो वह लाई समूह के अवयव में होता है और लघुगणक लाई बीजगणित के सदिश समिष्ट का संगत अवयव होता है।

परिभाषा

आव्यूह एक्सपोनेंशियल A द्वारा परिभाषित किया गया है

e^{A}\equiv \sum _{n=0}^{\infty }{\frac {A^{n}}{n!}}

.

एक आव्यूह B को देखते हुए, दूसरे आव्यूह A को 'आव्यूह लॉगरिदम' कहा जाता है यदि $B if e A = B$ . क्योंकि घातांकीय फलन सम्मिश्र संख्याओं के लिए विशेषण नहीं है (उदाहरण. $e^{\pi i}=e^{3\pi i}=-1$ ), संख्याओं में एकाधिक सम्मिश्र लघुगणक हो सकते हैं, और इसके परिणामस्वरूप, कुछ आव्यूहों में से अधिक लघुगणक हो सकते हैं, जैसा कि नीचे बताया गया है।

शक्ति श्रृंखला अभिव्यक्ति

यदि B पहचान आव्यूह के पर्याप्त रूप से निकट है, तो B के लघुगणक की गणना निम्नलिखित शक्ति श्रृंखला के माध्यम से की जा सकती है:

\log(B)=\sum _{k=1}^{\infty }{(-1)^{k+1}{\frac {(B-I)^{k}}{k}}}=(B-I)-{\frac {(B-I)^{2}}{2}}+{\frac {(B-I)^{3}}{3}}-{\frac {(B-I)^{4}}{4}}+\cdots

.

विशेष रूप से, यदि $\left\|B-I\right\|<1$ , फिर पूर्ववर्ती श्रृंखला अभिसरण करती है और $e^{\log(B)}=B$ .^[1]

उदाहरण: समतल में घूर्णन का लघुगणक

समतल में घूमना सरल उदाहरण देता है। मूल बिंदु के चारों ओर कोण α का घूर्णन 2×2-आव्यूह द्वारा दर्शाया जाता है

A={\begin{pmatrix}\cos(\alpha )&-\sin(\alpha )\\\sin(\alpha )&\cos(\alpha )\\\end{pmatrix}}.

किसी भी पूर्णांक n के लिए, आव्यूह

B_{n}=(\alpha +2\pi n){\begin{pmatrix}0&-1\\1&0\\\end{pmatrix}},

A का लघुगणक है।

style="background: #F0F2F5; font-size:87%; padding:0.2em 0.3em; text-align:center; " |

प्रमाण

$\log(A)=B_{n}~$ ⇔ $~~e^{B_{n}}=A$

$e^{B_{n}}=\sum _{k=0}^{\infty }{1 \over k!}B_{n}^{k}~$ जहाँ

$(B_{n})^{0}=1~I_{2},$

$(B_{n})^{1}=(\alpha +2\pi n){\begin{pmatrix}0&-1\\+1&0\\\end{pmatrix}},$

$(B_{n})^{2}=(\alpha +2\pi n)^{2}{\begin{pmatrix}-1&0\\0&-1\\\end{pmatrix}},$

$(B_{n})^{3}=(\alpha +2\pi n)^{3}{\begin{pmatrix}0&1\\-1&0\\\end{pmatrix}},$

 $(B_{n})^{4}=(\alpha +2\pi n)^{4}~I_{2}$

…

$\sum _{k=0}^{\infty }{1 \over k!}B_{n}^{k}={\begin{pmatrix}\cos(\alpha )&-\sin(\alpha )\\\sin(\alpha )&\cos(\alpha )\\\end{pmatrix}}=A~.$
प्राणी

इस प्रकार, आव्यूह A में अपरिमित रूप से कई लघुगणक हैं। यह इस तथ्य से मेल खाता है कि घूर्णन कोण केवल 2π के गुणकों तक ही निर्धारित होता है।

लाई सिद्धांत की भाषा में, रोटेशन आव्यूह A, लाई ग्रुप वृत्त समूह या so(2) के अवयव हैं। संबंधित लघुगणक B, ली बीजगणित so(2) के अवयव हैं, जिसमें सभी विषम-सममित आव्यूह या विषम-सममित आव्यूह सम्मिलित हैं। आव्यूह

{\begin{pmatrix}0&1\\-1&0\\\end{pmatrix}}

लाई बीजगणित का एक जनरेटर है इसलिए(2)।

अस्तित्व

जब सम्मिश्र सेटिंग में विचार किया जाता है तो इस प्रश्न का उत्तर सबसे सरल होता है कि आव्यूह में लघुगणक है या नहीं है। सम्मिश्र आव्यूह में लघुगणक होता है यदि और केवल तभी जब यह विपरीत आव्यूह होता है।^[2] लघुगणक अद्वितीय नहीं है, किन्तु यदि किसी आव्यूह में कोई ऋणात्मक वास्तविक इजेनवैल्यू नहीं है, तो अद्वितीय लघुगणक है जिसमें सभी इजेनवैल्यू पट्टी {z ∈ 'C' | −π < Im z < π}. इस लघुगणक को प्रमुख लघुगणक के रूप में जाना जाता है।^[3]

उत्तर वास्तविक सेटिंग में अधिक सम्मिलित है। वास्तविक आव्यूह में वास्तविक लघुगणक होता है यदि और केवल यदि यह विपरीत हो और ऋणात्मक इजेनवैल्यू से संबंधित प्रत्येक जॉर्डन ब्लॉक सम संख्या में होता है।^[4] यदि विपरीत वास्तविक आव्यूह जॉर्डन ब्लॉक के साथ नियम को पूरा नहीं करता है, तो इसमें केवल गैर-वास्तविक लघुगणक हैं। इसे अदिश स्थिति में पहले से ही देखा जा सकता है: लघुगणक की कोई भी शाखा -1 पर वास्तविक नहीं हो सकती है। वास्तविक 2×2 आव्यूहों के वास्तविक आव्यूह लघुगणक के अस्तित्व पर बाद के अनुभाग में विचार किया गया है।

गुण

यदि A और B दोनों धनात्मक-निश्चित आव्यूह हैं, तो

\operatorname {tr} {\log {(AB)}}=\operatorname {tr} {\log {(A)}}+\operatorname {tr} {\log {(B)}}.

मान लीजिए कि A और B आवागमन करते हैं, जिसका अर्थ है कि AB = BA। तब

\log {(AB)}=\log {(A)}+\log {(B)}\,

यदि और केवल यदि $\operatorname {arg} (\mu _{j})+\operatorname {arg} (\nu _{j})\in (-\pi ,\pi ]$ , जहां $\mu _{j}$ $A$ का एक इजेनवैल्यू है और $\nu _{j}$ $B$ का संगत इजेनवैल्यू है।^[5] विशेष रूप से, $\log(AB)=\log(A)+\log(B)$ जब A और B आवागमन करते हैं और दोनों धनात्मक-निश्चित हैं। इस समीकरण में B = A ⁻¹ समुच्चय करने से परिणाम मिलते हैं

\log {(A^{-1})}=-\log {(A)}.

इसी तरह, गैर-आवागमन करने वाले $A$ और $B$ के लिए, कोई यह दिखा सकता है कि ^[6]

\log {(A+tB)}=\log {(A)}+t\int _{0}^{\infty }dz~{\frac {I}{A+zI}}B{\frac {I}{A+zI}}+O(t^{2}).

अधिक सामान्यतः, लघुगणक की अभिन्न परिभाषा का उपयोग करके $t$ की शक्तियों में $\log {(A+tB)}$ का एक श्रृंखला विस्तार प्राप्त किया जा सकता है

\log {(X+\lambda I)}-\log {(X)}=\int _{0}^{\lambda }dz{\frac {I}{X+zI}},

सीमा $\lambda \rightarrow \infty$ में $X=A$ और $X=A+tB$ दोनों पर प्रयुक्त होता है

अगला उदाहरण: 3डी अंतरिक्ष में घूर्णन का लघुगणक

एक घुमाव $R$ ℝ³ में SO(3) 3×3 ऑर्थोगोनल आव्यूह द्वारा दिया गया है।

ऐसे घूर्णन आव्यूह का लघुगणक $R$ की गणना रोड्रिग्स के रोटेशन सूत्र के एंटीसिमेट्रिक भाग से सरली से की जा सकती है, स्पष्ट रूप से एक्सिस-कोण प्रतिनिधित्व या लॉग मैप में SO.283.29 से so.283.29 तक यह न्यूनतम फ्रोबेनियस मानदंड का लघुगणक उत्पन्न करता है, किन्तु जब विफल हो जाता है इस प्रकार $R$ का इजेनवैल्यू −1 के समान है जहां यह अद्वितीय नहीं है।

आगे ध्यान दें कि, दिए गए रोटेशन आव्यूह A और B,

d_{g}(A,B):=\|\log(A^{\top }B)\|_{F}

रोटेशन मैट्रिसेस के 3डी मैनिफोल्ड पर जियोडेसिक दूरी है।

विकर्णीय आव्यूह के लघुगणक की गणना

विकर्णीय आव्यूह विपरीत के लिए एलएन A खोजने की विधि निम्नलिखित है:

A के इजेनवेक्टर का आव्यूह V खोजें (V का प्रत्येक स्तंभ A का इजेनवेक्टर है)।

V का व्युत्क्रम V⁻¹ ज्ञात कीजिए।

मान लीजिए

A'=V^{-1}AV.\,

तब A' विकर्ण आव्यूह होगा जिसके विकर्ण अवयव A के इजेनवैल्यू हैं।

\log A'

प्राप्त करने के लिए A' के प्रत्येक विकर्ण अवयव को उसके (प्राकृतिक) लघुगणक से बदलें .

तब

\log A=V(\log A')V^{-1}.\,

A का लघुगणक सम्मिश्र आव्यूह हो सकता है, तथापि A वास्तविक होता है, तो इस तथ्य से पता चलता है कि वास्तविक और धनात्मक प्रविष्टियों वाले आव्यूह में फिर भी ऋणात्मक या सम्मिश्र इजेनवैल्यू हो सकते हैं (उदाहरण के लिए रोटेशन आव्यूह के लिए यह सत्य है)। आव्यूह के लघुगणक की गैर-विशिष्टता सम्मिश्र संख्या के लघुगणक की गैर-विशिष्टता से उत्पन्न होती है।

एक गैर-विकर्णीय आव्यूह का लघुगणक

ऊपर दर्शाया गया एल्गोरिदम गैर-विकर्णीय आव्यूह जैसे कि के लिए कार्य नहीं करता है

{\begin{bmatrix}1&1\\0&1\end{bmatrix}}.

ऐसे आव्यूह के लिए किसी को इसके जॉर्डन को खोजने की आवश्यकता होती है और, ऊपर दिए गए विकर्ण प्रविष्टियों के लघुगणक की गणना करने के अतिरिक्त, जॉर्डन आव्यूह के लघुगणक की गणना करनी होती है।

उत्तरार्द्ध को इस बात पर ध्यान देकर पूरा किया जाता है कि कोई जॉर्डन ब्लॉक को इस प्रकार लिख सकता है

B={\begin{pmatrix}\lambda &1&0&0&\cdots &0\\0&\lambda &1&0&\cdots &0\\0&0&\lambda &1&\cdots &0\\\vdots &\vdots &\vdots &\ddots &\ddots &\vdots \\0&0&0&0&\lambda &1\\0&0&0&0&0&\lambda \\\end{pmatrix}}=\lambda {\begin{pmatrix}1&\lambda ^{-1}&0&0&\cdots &0\\0&1&\lambda ^{-1}&0&\cdots &0\\0&0&1&\lambda ^{-1}&\cdots &0\\\vdots &\vdots &\vdots &\ddots &\ddots &\vdots \\0&0&0&0&1&\lambda ^{-1}\\0&0&0&0&0&1\\\end{pmatrix}}=\lambda (I+K)

जहां K आव्यूह है जिसके मुख्य विकर्ण पर और नीचे शून्य है। (संख्या λ इस धारणा से शून्य नहीं है कि जिस आव्यूह का लघुगणक लेने का प्रयास किया जाता है वह विपरीत होता है।)

फिर, मर्केटर श्रृंखला द्वारा

\log(1+x)=x-{\frac {x^{2}}{2}}+{\frac {x^{3}}{3}}-{\frac {x^{4}}{4}}+\cdots

एक मिलता है

\log B=\log {\big (}\lambda (I+K){\big )}=\log(\lambda I)+\log(I+K)=(\log \lambda )I+K-{\frac {K^{2}}{2}}+{\frac {K^{3}}{3}}-{\frac {K^{4}}{4}}+\cdots

इस श्रृंखला (गणित) में पदों की सीमित संख्या है (K^m शून्य है यदि m, K के आयाम के समान या उससे अधिक है), और इसलिए इसका योग अच्छी तरह से परिभाषित है।

इस दृष्टिकोण का उपयोग करके कोई पाता है

\log {\begin{bmatrix}1&1\\0&1\end{bmatrix}}={\begin{bmatrix}0&1\\0&0\end{bmatrix}}.

एक कार्यात्मक विश्लेषण परिप्रेक्ष्य

एक वर्ग आव्यूह यूक्लिडियन समिष्ट Rⁿ पर रैखिक ऑपरेटर का प्रतिनिधित्व करता है जहां n आव्यूह का आयाम है। चूँकि ऐसा समिष्ट परिमित-आयामी है, यह ऑपरेटर वास्तव में परिबद्ध ऑपरेटर है।

होलोमोर्फिक कार्यात्मक कैलकुलस के उपकरणों का उपयोग करते हुए, सम्मिश्र विमान में विवृत समुच्चय और बंधे हुए रैखिक ऑपरेटर T पर परिभाषित होलोमोर्फिक फलन F को देखते हुए, कोई F (T) की गणना कर सकता है जब तक F को T के ऑपरेटर के स्पेक्ट्रम पर परिभाषित किया जाता है। .

फलन f(z)=log z को सम्मिश्र तल में किसी भी सरल रूप से जुड़े विवृत समुच्चय पर परिभाषित किया जा सकता है जिसमें मूल नहीं है, और यह ऐसे डोमेन पर होलोमोर्फिक है। इसका तात्पर्य यह है कि कोई एलएन T को तब तक परिभाषित कर सकता है जब तक कि T के स्पेक्ट्रम में मूल सम्मिलित नहीं है और मूल से अनंत तक जाने वाला पथ है जो T के स्पेक्ट्रम को पार नहीं करता है (उदाहरण के लिए, यदि T का स्पेक्ट्रम वृत्त है) इसके अंदर उत्पत्ति, LN T) को परिभाषित करना असंभव है।

'Rⁿ' पर रैखिक ऑपरेटर का स्पेक्ट्रम इसके आव्यूह के इजेनवैल्यू का समुच्चय है, और इसलिए यह परिमित समुच्चय है। जब तक मूल स्पेक्ट्रम में नहीं है (आव्यूह विपरीत है), पिछले पैराग्राफ से पथ की स्थिति संतुष्ट है, और एलएन T अच्छी तरह से परिभाषित है। आव्यूह लघुगणक की गैर-विशिष्टता इस तथ्य से उत्पन्न होती है कि कोई व्यक्ति लघुगणक की से अधिक शाखा चुन सकता है जिसे आव्यूह के इजेनवैल्यू के समुच्चय पर परिभाषित किया गया है।

एक लाई समूह सिद्धांत परिप्रेक्ष्य

लाई समूहों के सिद्धांत में, लाई बीजगणित ${\mathfrak {g}}$ से संबंधित लाई समूह g तक एक घातीय मानचित्र होता है।

\exp :{\mathfrak {g}}\rightarrow G.

आव्यूह लाई समूहों के लिए, ${\mathfrak {g}}$ और G के अवयव वर्ग आव्यूह हैं और घातांकीय मानचित्र आव्यूह घातांक द्वारा दिया गया है। विपरीत मैपिंग $\log =\exp ^{-1}$ बहुमूल्यांकित है और यहां चर्चा किए गए आव्यूह लघुगणक के साथ मेल खाता है। लघुगणक लाई समूह g से लाई बीजगणित ${\mathfrak {g}}$ में मैप करता है

ध्यान दें कि घातीय मानचित्र शून्य आव्यूह ${\underline {0}}\in {\mathfrak {g}}$ के वर्ग u और पहचान आव्यूह ${\underline {1}}\in G$ के वर्ग V के बीच एक स्थानीय भिन्नता है।^[7] इस प्रकार (आव्यूह) लघुगणक एक मानचित्र के रूप में अच्छी तरह से परिभाषित है,

\log :G\supset V\rightarrow U\subset {\mathfrak {g}}.

जैकोबी के सूत्र का महत्वपूर्ण परिणाम यह है

\log(\det(A))=\mathrm {tr} (\log A)~.

2 × 2 स्थिति में बाधाएँ

यदि 2 × 2 वास्तविक आव्यूह में ऋणात्मक निर्धारक है, तो इसका कोई वास्तविक लघुगणक नहीं है। पहले ध्यान दें कि किसी भी 2 × 2 वास्तविक आव्यूह को सम्मिश्र संख्या z = x + y ε के तीन प्रकारों में से माना जा सकता है, जहां ε² ∈ { −1, 0, +1 }। यह z आव्यूहों के वलय (गणित) के सम्मिश्र उपतल पर बिंदु है।^[8] ऐसी स्थिति जहां निर्धारक ऋणात्मक है, केवल ε² =+1 वाले विमान में उत्पन्न होता है, जो विभाजित-सम्मिश्र संख्या विमान है। इस तल का केवल चौथाई भाग घातीय मानचित्र की छवि है, इसलिए लघुगणक केवल उस तिमाही (चतुर्थांश) पर परिभाषित किया गया है। अन्य तीन चतुर्थांश ε और -1 द्वारा उत्पन्न क्लेन चार-समूह के अंतर्गत इसकी छवियां हैं।

उदाहरण के लिए, मान लीजिए a = log 2 ; तब कॉश A = 5/4 और सिंह A = 3/4 आव्यूह के लिए, इसका कारण यह है

A=\exp {\begin{pmatrix}0&a\\a&0\end{pmatrix}}={\begin{pmatrix}\cosh a&\sinh a\\\sinh a&\cosh a\end{pmatrix}}={\begin{pmatrix}1.25&.75\\.75&1.25\end{pmatrix}}

.

तो इस अंतिम आव्यूह में लघुगणक है

\log A={\begin{pmatrix}0&\log 2\\\log 2&0\end{pmatrix}}

.

चूँकि, इन आव्यूहों में लघुगणक नहीं होता है:

{\begin{pmatrix}3/4&5/4\\5/4&3/4\end{pmatrix}},\ {\begin{pmatrix}-3/4&-5/4\\-5/4&-3/4\end{pmatrix}},\ {\begin{pmatrix}-5/4&-3/4\\-3/4&-5/4\end{pmatrix}}

.

वे उपरोक्त आव्यूह के चार-समूह द्वारा तीन अन्य संयुग्मों का प्रतिनिधित्व करते हैं जिनमें लघुगणक होता है।

एक गैर-एकवचन 2 x 2 आव्यूह में आवश्यक रूप से लघुगणक नहीं होता है, किन्तु यह चार-समूह द्वारा आव्यूह से संयुग्मित होता है जिसमें लघुगणक होता है।

इससे यह भी पता चलता है कि, उदाहरण के लिए, इस आव्यूह A का वर्गमूल सीधे घातांक (logA)/2 से प्राप्त किया जा सकता है,

{\sqrt {A}}={\begin{pmatrix}\cosh((\log 2)/2)&\sinh((\log 2)/2)\\\sinh((\log 2)/2)&\cosh((\log 2)/2)\end{pmatrix}}={\begin{pmatrix}1.06&.35\\.35&1.06\end{pmatrix}}~.

एक समृद्ध उदाहरण के लिए, पाइथागोरस ट्रिपल (p,q,r) से प्रारंभ करें और माना $a = log(p + r) - log q$ . तब

e^{a}={\frac {p+r}{q}}=\cosh a+\sinh a

.

अब

\exp {\begin{pmatrix}0&a\\a&0\end{pmatrix}}={\begin{pmatrix}r/q&p/q\\p/q&r/q\end{pmatrix}}

.

इस प्रकार

{\tfrac {1}{q}}{\begin{pmatrix}r&p\\p&r\end{pmatrix}}

लघुगणक आव्यूह है

{\begin{pmatrix}0&a\\a&0\end{pmatrix}}

,

जहाँ $a = log(p + r) - log q$ .

यह भी देखें

आव्यूह फलन
आव्यूह का वर्गमूल
आव्यूह घातांक
बेकर-कैंपबेल-हॉसडॉर्फ सूत्र
घातांकीय मानचित्र का व्युत्पन्न

↑ Hall 2015 Theorem 2.8
↑ Higham (2008), Theorem 1.27
↑ Higham (2008), Theorem 1.31
↑ Culver (1966)
↑ APRAHAMIAN, MARY; HIGHAM, NICHOLAS J. (2014). "मैट्रिक्स अनवाइंडिंग फ़ंक्शन, मैट्रिक्स एक्सपोनेंशियल की गणना करने के लिए एक अनुप्रयोग के साथ". SIAM Journal on Matrix Analysis and Applications. 35 (1): 97. doi:10.1137/130920137. Retrieved 13 December 2022.
↑ Unpublished memo by S Adler (IAS)
↑ Hall 2015 Theorem 3.42
↑ Abstract Algebra/2x2 real matrices at Wikibooks

संदर्भ

Gantmacher, Felix R. (1959), The Theory of Matrices, vol. 1, New York: Chelsea, pp. 239–241.
Hall, Brian C. (2015), Lie Groups, Lie Algebras, and Representations An Elementary Introduction, Graduate Texts in Mathematics, vol. 222 (2nd ed.), Springer, ISBN 978-3319134666
Culver, Walter J. (1966), "On the existence and uniqueness of the real logarithm of a matrix", Proceedings of the American Mathematical Society, 17 (5): 1146–1151, doi:10.1090/S0002-9939-1966-0202740-6, ISSN 0002-9939.
Higham, Nicholas (2008), Functions of Matrices. Theory and Computation, SIAM, ISBN 978-0-89871-646-7.
Engø, Kenth (June 2001), "On the BCH-formula in so(3)", BIT Numerical Mathematics, 41 (3): 629–632, doi:10.1023/A:1021979515229, ISSN 0006-3835, S2CID 126053191

[1] Hall 2015 Theorem 2.8

[2] Higham (2008), Theorem 1.27

[3] Higham (2008), Theorem 1.31

[4] Culver (1966)

[5] APRAHAMIAN, MARY; HIGHAM, NICHOLAS J. (2014). "मैट्रिक्स अनवाइंडिंग फ़ंक्शन, मैट्रिक्स एक्सपोनेंशियल की गणना करने के लिए एक अनुप्रयोग के साथ". SIAM Journal on Matrix Analysis and Applications. 35 (1): 97. doi:10.1137/130920137. Retrieved 13 December 2022.

[6] Unpublished memo by S Adler (IAS)

[7] Hall 2015 Theorem 3.42

[8] Abstract Algebra/2x2 real matrices at Wikibooks

[1]

[2]

[3]

[4]

[5]

[6]

[7]

[8]

@@ Line 1: / Line 1: @@
 {{Short description|Mathematical operation on invertible matrices}}
-गणित में, मैट्रिक्स का लघुगणक अन्य [[मैट्रिक्स (गणित)]] होता है, जैसे कि बाद वाले मैट्रिक्स का [[मैट्रिक्स घातांक]] मूल मैट्रिक्स के बराबर होता है। इस प्रकार यह अदिश लघुगणक का सामान्यीकरण है और कुछ अर्थों में मैट्रिक्स घातांक का व्युत्क्रम फलन है। सभी आव्यूहों में लघुगणक नहीं होता और जिन आव्यूहों में लघुगणक होता है उनमें से अधिक लघुगणक हो सकते हैं। आव्यूहों के लघुगणक का अध्ययन लाई सिद्धांत की ओर ले जाता है क्योंकि जब किसी मैट्रिक्स में लघुगणक होता है तो वह लाई समूह के तत्व में होता है और लघुगणक लाई बीजगणित के वेक्टर स्थान का संगत तत्व होता है।
+गणित में, '''आव्यूह का लघुगणक''' अन्य [[मैट्रिक्स (गणित)|आव्यूह (गणित)]] होता है, जैसे कि बाद वाले आव्यूह का [[मैट्रिक्स घातांक|आव्यूह घातांक]] मूल आव्यूह के समान होता है। इस प्रकार यह अदिश लघुगणक का सामान्यीकरण है और कुछ अर्थों में आव्यूह घातांक का व्युत्क्रम फलन है। सभी आव्यूहों में लघुगणक नहीं होता और जिन आव्यूहों में लघुगणक होता है उनमें से अधिक लघुगणक हो सकते हैं। आव्यूहों के लघुगणक का अध्ययन लाई सिद्धांत की ओर ले जाता है क्योंकि जब किसी आव्यूह में लघुगणक होता है तो वह लाई समूह के अवयव में होता है और लघुगणक लाई बीजगणित के सदिश समिष्ट का संगत अवयव होता है।
 ==परिभाषा==
-मैट्रिक्स_एक्सपोनेंशियल ए द्वारा परिभाषित किया गया है
+आव्यूह एक्सपोनेंशियल A द्वारा परिभाषित किया गया है
 :<math>e^{A} \equiv \sum_{n=0}^{\infty} \frac{A^{n}}{n!}</math>.
-एक मैट्रिक्स बी को देखते हुए, दूसरे मैट्रिक्स ए को 'मैट्रिक्स लॉगरिदम' कहा जाता है {{math|''B'' if ''e''<sup>''A''</sup> {{=}} ''B''}}. क्योंकि घातांकीय फलन सम्मिश्र संख्याओं के लिए विशेषण नहीं है (उदा. <math>e^{\pi i} = e^{3 \pi i} = -1</math>), संख्याओं में एकाधिक जटिल लघुगणक हो सकते हैं, और इसके परिणामस्वरूप, कुछ आव्यूहों में से अधिक लघुगणक हो सकते हैं, जैसा कि नीचे बताया गया है।
+एक आव्यूह B को देखते हुए, दूसरे आव्यूह A को 'आव्यूह लॉगरिदम' कहा जाता है यदि {{math|''B'' if ''e''<sup>''A''</sup> {{=}} ''B''}}. क्योंकि घातांकीय फलन सम्मिश्र संख्याओं के लिए विशेषण नहीं है (उदाहरण. <math>e^{\pi i} = e^{3 \pi i} = -1</math>), संख्याओं में एकाधिक सम्मिश्र लघुगणक हो सकते हैं, और इसके परिणामस्वरूप, कुछ आव्यूहों में से अधिक लघुगणक हो सकते हैं, जैसा कि नीचे बताया गया है।
 ==शक्ति श्रृंखला अभिव्यक्ति==
-यदि बी पहचान मैट्रिक्स के पर्याप्त रूप से करीब है, तो बी के लघुगणक की गणना निम्नलिखित शक्ति श्रृंखला के माध्यम से की जा सकती है:
+यदि B पहचान आव्यूह के पर्याप्त रूप से निकट है, तो B के लघुगणक की गणना निम्नलिखित शक्ति श्रृंखला के माध्यम से की जा सकती है:
 :<math>\log(B)= \sum_{k=1}^\infty{(-1)^{k+1}\frac{(B-I)^k}{k}} =(B-I)-\frac{(B-I)^2}{2}+\frac{(B-I)^3}{3}-\frac{(B-I)^4}{4}+\cdots</math>.
 विशेष रूप से, यदि <math>\left\|B-I\right\|<1</math>, फिर पूर्ववर्ती श्रृंखला अभिसरण करती है और <math>e^{\log(B)}=B</math>.<ref>{{harvnb|Hall|2015}} Theorem 2.8</ref>
+==उदाहरण: समतल में घूर्णन का लघुगणक                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                               ==
-==उदाहरण: समतल में घूर्णन का लघुगणक==
+समतल में घूमना सरल उदाहरण देता है। मूल बिंदु के चारों ओर कोण α का घूर्णन 2×2-आव्यूह द्वारा दर्शाया जाता है
-समतल में घूमना सरल उदाहरण देता है। मूल बिंदु के चारों ओर कोण α का घूर्णन 2×2-मैट्रिक्स द्वारा दर्शाया जाता है
 :<math> A =
 \begin{pmatrix}
@@ Line 22: / Line 21: @@
 \end{pmatrix}.
 </math>
-किसी भी पूर्णांक n के लिए, मैट्रिक्स
+किसी भी पूर्णांक n के लिए, आव्यूह
 :<math>
@@ Line 33: / Line 32: @@
 A का लघुगणक है। <br>
-{{Collapse top|title=Proof}}
+{{Collapse top|title=प्रमाण}}
 <math>
@@ Line 41: / Line 40: @@
 <math>
 e^{B_n} = \sum_{k=0}^\infty{1 \over k!}B_n^k
-~</math> कहां <br>
+~</math> जहाँ <br>
 <math>
@@ Line 89: / Line 88: @@
 {{Collapse bottom}}<br>
-इस प्रकार, मैट्रिक्स A में अपरिमित रूप से कई लघुगणक हैं। यह इस तथ्य से मेल खाता है कि घूर्णन कोण केवल 2π के गुणकों तक ही निर्धारित होता है।
+इस प्रकार, आव्यूह A में अपरिमित रूप से कई लघुगणक हैं। यह इस तथ्य से मेल खाता है कि घूर्णन कोण केवल 2π के गुणकों तक ही निर्धारित होता है।
-लाई सिद्धांत की भाषा में, रोटेशन मैट्रिक्स ए, लाई ग्रुप [[वृत्त समूह]]|एसओ(2) के तत्व हैं। संबंधित लघुगणक बी, ली बीजगणित so(2) के तत्व हैं, जिसमें सभी [[तिरछा-सममित मैट्रिक्स]] | तिरछा-सममित मैट्रिक्स शामिल हैं। गणित का सवाल
+लाई सिद्धांत की भाषा में, रोटेशन आव्यूह A, लाई ग्रुप [[वृत्त समूह]] या so(2) के अवयव हैं। संबंधित लघुगणक B, ली बीजगणित so(2) के अवयव हैं, जिसमें सभी [[तिरछा-सममित मैट्रिक्स|विषम-सममित आव्यूह]] या  विषम-सममित आव्यूह सम्मिलित हैं। आव्यूह
 :<math>
@@ Line 99: / Line 98: @@
 \end{pmatrix}
 </math>
-झूठ बीजगणित का जनरेटर है इसलिए(2)।
+लाई बीजगणित का एक जनरेटर है इसलिए(2)।
 ==अस्तित्व==
-जब जटिल सेटिंग में विचार किया जाता है तो इस प्रश्न का उत्तर सबसे आसान होता है कि मैट्रिक्स में लघुगणक है या नहीं। जटिल मैट्रिक्स में लघुगणक होता है यदि और केवल तभी जब यह [[उलटा मैट्रिक्स]] हो।<ref>{{harvtxt|Higham|2008}}, Theorem 1.27</ref> लघुगणक अद्वितीय नहीं है, लेकिन यदि किसी मैट्रिक्स में कोई नकारात्मक वास्तविक [[eigenvalue]]s नहीं है, तो अद्वितीय लघुगणक है जिसमें सभी eigenvalues पट्टी {z ∈ 'C' | −π < Im z < π}. इस लघुगणक को प्रमुख लघुगणक के रूप में जाना जाता है।<ref>{{harvtxt|Higham|2008}}, Theorem 1.31</ref>
+जब सम्मिश्र सेटिंग में विचार किया जाता है तो इस प्रश्न का उत्तर सबसे सरल होता है कि आव्यूह में लघुगणक है या नहीं है। सम्मिश्र आव्यूह में लघुगणक होता है यदि और केवल तभी जब यह [[उलटा मैट्रिक्स|विपरीत आव्यूह]] होता है।<ref>{{harvtxt|Higham|2008}}, Theorem 1.27</ref> लघुगणक अद्वितीय नहीं है, किन्तु यदि किसी आव्यूह में कोई ऋणात्मक वास्तविक [[eigenvalue|इजेनवैल्यू]] नहीं है, तो अद्वितीय लघुगणक है जिसमें सभी इजेनवैल्यू पट्टी {z ∈ 'C' | −π < Im z < π}. इस लघुगणक को प्रमुख लघुगणक के रूप में जाना जाता है।<ref>{{harvtxt|Higham|2008}}, Theorem 1.31</ref>
-उत्तर वास्तविक सेटिंग में अधिक शामिल है। वास्तविक मैट्रिक्स में वास्तविक लघुगणक होता है यदि और केवल यदि यह उलटा हो और नकारात्मक eigenvalue से संबंधित प्रत्येक [[जॉर्डन ब्लॉक]] सम संख्या में होता है।<ref>{{harvtxt|Culver|1966}}</ref> यदि उलटा वास्तविक मैट्रिक्स जॉर्डन ब्लॉक के साथ शर्त को पूरा नहीं करता है, तो इसमें केवल गैर-वास्तविक लघुगणक हैं। इसे अदिश मामले में पहले से ही देखा जा सकता है: लघुगणक की कोई भी शाखा -1 पर वास्तविक नहीं हो सकती है। वास्तविक 2×2 आव्यूहों के वास्तविक मैट्रिक्स लघुगणक के अस्तित्व पर बाद के अनुभाग में विचार किया गया है।
+उत्तर वास्तविक सेटिंग में अधिक सम्मिलित है। वास्तविक आव्यूह में वास्तविक लघुगणक होता है यदि और केवल यदि यह विपरीत हो और ऋणात्मक इजेनवैल्यू से संबंधित प्रत्येक [[जॉर्डन ब्लॉक]] सम संख्या में होता है।<ref>{{harvtxt|Culver|1966}}</ref> यदि विपरीत वास्तविक आव्यूह जॉर्डन ब्लॉक के साथ नियम को पूरा नहीं करता है, तो इसमें केवल गैर-वास्तविक लघुगणक हैं। इसे अदिश स्थिति में पहले से ही देखा जा सकता है: लघुगणक की कोई भी शाखा -1 पर वास्तविक नहीं हो सकती है। वास्तविक 2×2 आव्यूहों के वास्तविक आव्यूह लघुगणक के अस्तित्व पर बाद के अनुभाग में विचार किया गया है।
 ==गुण==
 यदि A और B दोनों धनात्मक-निश्चित आव्यूह हैं, तो
 :<math>\operatorname{tr}{\log{(AB)}} = \operatorname{tr}{\log{(A)}} + \operatorname{tr}{\log{(B)}}.</math>
-मान लीजिए कि ए और बी आवागमन करते हैं, जिसका अर्थ है कि एबी = बीए। तब
+मान लीजिए कि A और B आवागमन करते हैं, जिसका अर्थ है कि AB = BA। तब
 :<math>\log{(AB)} = \log{(A)}+\log{(B)} \, </math>
-अगर और केवल अगर <math>\operatorname{arg}(\mu_j) + \operatorname{arg}(\nu_j) \in (- \pi, \pi]</math>, कहाँ <math>\mu_j</math> का प्रतिरूप है <math>A</math> और <math>\nu_j</math> का संगत eigenvalue है <math>B</math>.<ref>{{cite journal |last1=APRAHAMIAN |first1=MARY |last2=HIGHAM |first2=NICHOLAS J. |title=मैट्रिक्स अनवाइंडिंग फ़ंक्शन, मैट्रिक्स एक्सपोनेंशियल की गणना करने के लिए एक अनुप्रयोग के साथ|journal=SIAM Journal on Matrix Analysis and Applications |year=2014 |volume=35 |issue=1 |page=97 |doi=10.1137/130920137 |url=https://epubs.siam.org/doi/pdf/10.1137/130920137 |access-date=13 December 2022|doi-access=free }}</ref> विशेष रूप से, <math>\log(AB) = \log(A) + \log(B)</math> जब ए और बी आवागमन करते हैं और दोनों [[निश्चित मैट्रिक्स]] | सकारात्मक-निश्चित हैं। सेटिंग बी = ए<sup>इस समीकरण में −1</sup> प्राप्त होता है
+यदि और केवल यदि <math>\operatorname{arg}(\mu_j) + \operatorname{arg}(\nu_j) \in (- \pi, \pi]</math>, जहां <math>\mu_j</math> <math>A</math> का एक इजेनवैल्यू है और <math>\nu_j</math> <math>B</math> का संगत इजेनवैल्यू है।<ref>{{cite journal |last1=APRAHAMIAN |first1=MARY |last2=HIGHAM |first2=NICHOLAS J. |title=मैट्रिक्स अनवाइंडिंग फ़ंक्शन, मैट्रिक्स एक्सपोनेंशियल की गणना करने के लिए एक अनुप्रयोग के साथ|journal=SIAM Journal on Matrix Analysis and Applications |year=2014 |volume=35 |issue=1 |page=97 |doi=10.1137/130920137 |url=https://epubs.siam.org/doi/pdf/10.1137/130920137 |access-date=13 December 2022|doi-access=free }}</ref> विशेष रूप से, <math>\log(AB) = \log(A) + \log(B)</math> जब A और B आवागमन करते हैं और दोनों धनात्मक-निश्चित हैं। इस समीकरण में B = A <sup>−1</sup> समुच्चय करने से परिणाम मिलते हैं
 :<math> \log{(A^{-1})} = -\log{(A)}.</math>
-इसी तरह, गैर-यात्रा के लिए भी <math>A</math> और <math>B</math>, कोई इसे दिखा सकता है<ref>[https://www.ias.edu/sites/default/files/sns/files/1-matrixlog_tex(1).pdf  Unpublished memo] by S Adler (IAS)</ref>
+इसी तरह, गैर-आवागमन करने वाले <math>A</math> और <math>B</math> के लिए, कोई यह दिखा सकता है कि <ref>[https://www.ias.edu/sites/default/files/sns/files/1-matrixlog_tex(1).pdf Unpublished memo] by S Adler (IAS)</ref>
 :<math>\log{(A+tB)} = \log{(A)} + t\int_0^\infty dz ~\frac{I}{A+zI} B \frac{I}{A+zI} + O(t^2).</math>
-अधिक सामान्यतः, की श्रृंखला का विस्तार <math>\log{(A+tB)}</math> की शक्तियों में <math>t</math> लघुगणक की अभिन्न परिभाषा का उपयोग करके प्राप्त किया जा सकता है
+अधिक सामान्यतः, लघुगणक की अभिन्न परिभाषा का उपयोग करके <math>t</math> की शक्तियों में <math>\log{(A+tB)}</math> का एक श्रृंखला विस्तार प्राप्त किया जा सकता है
 :<math>\log{(X + \lambda I)} - \log{(X)} = \int_0^\lambda dz \frac{I}{X + zI},</math>
-दोनों पर लागू <math>X=A</math> और <math>X=A+tB</math> सीमा में <math>\lambda\rightarrow\infty</math>.
+सीमा <math>\lambda\rightarrow\infty</math> में <math>X=A</math> और <math>X=A+tB</math> दोनों पर प्रयुक्त होता है
 == अगला उदाहरण: 3डी अंतरिक्ष में घूर्णन का लघुगणक==
-एक घुमाव {{mvar|R}} ℝ³ में SO(3) 3×3 [[ऑर्थोगोनल मैट्रिक्स]] द्वारा दिया गया है।
+एक घुमाव {{mvar|R}} ℝ³ में SO(3) 3×3 [[ऑर्थोगोनल मैट्रिक्स|ऑर्थोगोनल आव्यूह]] द्वारा दिया गया है।
+ऐसे घूर्णन आव्यूह का लघुगणक {{mvar|R}} की गणना रोड्रिग्स के रोटेशन सूत्र के एंटीसिमेट्रिक भाग से सरली से की जा सकती है, स्पष्ट रूप से एक्सिस-कोण प्रतिनिधित्व या लॉग मैप में SO.283.29 से so.283.29 तक यह न्यूनतम [[फ्रोबेनियस मानदंड]] का लघुगणक उत्पन्न करता है, किन्तु जब विफल हो जाता है इस प्रकार {{mvar|R}} का इजेनवैल्यू −1 के समान है जहां यह अद्वितीय नहीं है।
-ऐसे घूर्णन मैट्रिक्स का लघुगणक {{mvar|R}} की गणना रोड्रिग्स के रोटेशन फॉर्मूले के एंटीसिमेट्रिक भाग से आसानी से की जा सकती है, स्पष्ट रूप से एक्सिस-कोण प्रतिनिधित्व#लॉग मैप में SO.283.29 से so.283.29 तक। यह न्यूनतम [[फ्रोबेनियस मानदंड]] का लघुगणक उत्पन्न करता है, लेकिन जब विफल हो जाता है {{mvar|R}} का eigenvalues −1 के बराबर है जहां यह अद्वितीय नहीं है।
+आगे ध्यान दें कि, दिए गए रोटेशन आव्यूह A और B,
-आगे ध्यान दें कि, दिए गए रोटेशन मैट्रिक्स ए और बी,
 :<math> d_g(A,B) := \| \log(A^\top B)\|_F </math>
 रोटेशन मैट्रिसेस के 3डी मैनिफोल्ड पर जियोडेसिक दूरी है।
-==[[विकर्णीय मैट्रिक्स]] के लघुगणक की गणना==
+==[[विकर्णीय मैट्रिक्स|विकर्णीय आव्यूह]] के लघुगणक की गणना==
-विकर्णीय [[मैट्रिक्स उलटा]] के लिए एलएन ए खोजने की विधि निम्नलिखित है:
+विकर्णीय [[मैट्रिक्स उलटा|आव्यूह विपरीत]] के लिए एलएन A खोजने की विधि निम्नलिखित है:
-:A के [[eigenvector]]s का मैट्रिक्स V खोजें (V का प्रत्येक स्तंभ A का eigenvector है)।
+:A के [[eigenvector|इजेनवेक्टर]] का आव्यूह V खोजें (V का प्रत्येक स्तंभ A का इजेनवेक्टर है)।
-:आव्यूह का व्युत्क्रम V ज्ञात कीजिए<sup>−1</sup>वी का.
+:
-:होने देना
+:V का व्युत्क्रम V<sup>−1</sup> ज्ञात कीजिए।
+:मान लीजिए
 ::<math> A' = V^{-1}  A  V.\, </math>
-:तब A' विकर्ण मैट्रिक्स होगा जिसके विकर्ण तत्व A के eigenvalues हैं।
+:तब A' विकर्ण आव्यूह होगा जिसके विकर्ण अवयव A के इजेनवैल्यू हैं।
-:प्राप्त करने के लिए A' के प्रत्येक विकर्ण तत्व को उसके (प्राकृतिक) लघुगणक से बदलें <math> \log  A' </math>.
+:<math> \log  A' </math> प्राप्त करने के लिए A' के प्रत्येक विकर्ण अवयव को उसके (प्राकृतिक) लघुगणक से बदलें .
 :तब
 ::<math> \log A = V ( \log A' ) V^{-1}. \, </math>
-A का लघुगणक जटिल मैट्रिक्स हो सकता है, भले ही A वास्तविक हो, तो इस तथ्य से पता चलता है कि वास्तविक और सकारात्मक प्रविष्टियों वाले मैट्रिक्स में फिर भी नकारात्मक या जटिल eigenvalues हो सकते हैं (उदाहरण के लिए [[रोटेशन मैट्रिक्स]] के लिए यह सच है)। मैट्रिक्स के लघुगणक की गैर-विशिष्टता जटिल संख्या के लघुगणक की गैर-विशिष्टता से उत्पन्न होती है।
+A का लघुगणक सम्मिश्र आव्यूह हो सकता है, तथापि A वास्तविक होता है, तो इस तथ्य से पता चलता है कि वास्तविक और धनात्मक प्रविष्टियों वाले आव्यूह में फिर भी ऋणात्मक या सम्मिश्र इजेनवैल्यू हो सकते हैं (उदाहरण के लिए [[रोटेशन मैट्रिक्स|रोटेशन आव्यूह]] के लिए यह सत्य है)। आव्यूह के लघुगणक की गैर-विशिष्टता सम्मिश्र संख्या के लघुगणक की गैर-विशिष्टता से उत्पन्न होती है।
-==एक गैर-विकर्णीय मैट्रिक्स का लघुगणक==
+==एक गैर-विकर्णीय आव्यूह का लघुगणक==
-ऊपर दर्शाया गया एल्गोरिदम गैर-विकर्णीय मैट्रिक्स जैसे कि के लिए काम नहीं करता है
+ऊपर दर्शाया गया एल्गोरिदम गैर-विकर्णीय आव्यूह जैसे कि के लिए कार्य नहीं करता है
 :<math>\begin{bmatrix}1 & 1\\ 0 & 1\end{bmatrix}. </math>
-ऐसे मैट्रिक्स के लिए किसी को इसके [[जॉर्डन सामान्य रूप]] को खोजने की आवश्यकता होती है और, ऊपर दिए गए विकर्ण प्रविष्टियों के लघुगणक की गणना करने के बजाय, [[जॉर्डन मैट्रिक्स]] के लघुगणक की गणना करनी होगी।
+ऐसे आव्यूह के लिए किसी को इसके [[जॉर्डन सामान्य रूप|जॉर्डन]]  को खोजने की आवश्यकता होती है और, ऊपर दिए गए विकर्ण प्रविष्टियों के लघुगणक की गणना करने के अतिरिक्त, [[जॉर्डन मैट्रिक्स|जॉर्डन आव्यूह]] के लघुगणक की गणना करनी होती है।
 उत्तरार्द्ध को इस बात पर ध्यान देकर पूरा किया जाता है कि कोई जॉर्डन ब्लॉक को इस प्रकार लिख सकता है
@@ Line 164: / Line 166: @@
        & 0       & 0       & 0      & 1 & \lambda^{-1}       \\
        & 0       & 0       & 0      & 0       & 1 \\\end{pmatrix}=\lambda(I+K)</math>
-जहां K मैट्रिक्स है जिसके मुख्य विकर्ण पर और नीचे शून्य है। (संख्या λ इस धारणा से शून्य नहीं है कि जिस मैट्रिक्स का लघुगणक लेने का प्रयास किया जाता है वह उलटा होता है।)
+जहां K आव्यूह है जिसके मुख्य विकर्ण पर और नीचे शून्य है। (संख्या λ इस धारणा से शून्य नहीं है कि जिस आव्यूह का लघुगणक लेने का प्रयास किया जाता है वह विपरीत होता है।)
 फिर, [[मर्केटर श्रृंखला]] द्वारा
@@ Line 172: / Line 174: @@
 :<math>\log B=\log \big(\lambda(I+K)\big)=\log (\lambda I) +\log (I+K)= (\log \lambda) I + K-\frac{K^2}{2}+\frac{K^3}{3}-\frac{K^4}{4}+\cdots </math>
-इस [[श्रृंखला (गणित)]] में पदों की सीमित संख्या है (K<sup>m</sup>शून्य है यदि m, K के आयाम के बराबर या उससे अधिक है), और इसलिए इसका योग अच्छी तरह से परिभाषित है।
+इस [[श्रृंखला (गणित)]] में पदों की सीमित संख्या है (K<sup>m</sup> शून्य है यदि m, K के आयाम के समान या उससे अधिक है), और इसलिए इसका योग अच्छी तरह से परिभाषित है।
 इस दृष्टिकोण का उपयोग करके कोई पाता है
@@ Line 182: / Line 184: @@
 == एक कार्यात्मक विश्लेषण परिप्रेक्ष्य ==
-एक वर्ग मैट्रिक्स [[ यूक्लिडियन स्थान |यूक्लिडियन स्थान]] आर पर [[रैखिक ऑपरेटर]] का प्रतिनिधित्व करता है<sup>n</sup> जहां n मैट्रिक्स का आयाम है। चूँकि ऐसा स्थान परिमित-आयामी है, यह ऑपरेटर वास्तव में परिबद्ध ऑपरेटर है।
+एक वर्ग आव्यूह [[ यूक्लिडियन स्थान |यूक्लिडियन समिष्ट]] R<sup>n</sup> पर [[रैखिक ऑपरेटर]] का प्रतिनिधित्व करता है जहां n आव्यूह का आयाम है। चूँकि ऐसा समिष्ट परिमित-आयामी है, यह ऑपरेटर वास्तव में परिबद्ध ऑपरेटर है।
-[[होलोमोर्फिक कार्यात्मक कैलकुलस]] के उपकरणों का उपयोग करते हुए, [[जटिल विमान]] में खुले सेट और बंधे हुए रैखिक ऑपरेटर टी पर परिभाषित [[होलोमोर्फिक फ़ंक्शन]] एफ को देखते हुए, कोई एफ (टी) की गणना कर सकता है जब तक एफ को टी के ऑपरेटर के स्पेक्ट्रम पर परिभाषित किया जाता है। .
+[[होलोमोर्फिक कार्यात्मक कैलकुलस]] के उपकरणों का उपयोग करते हुए, [[जटिल विमान|सम्मिश्र विमान]] में विवृत समुच्चय और बंधे हुए रैखिक ऑपरेटर T पर परिभाषित [[होलोमोर्फिक फ़ंक्शन|होलोमोर्फिक फलन]] F को देखते हुए, कोई F (T) की गणना कर सकता है जब तक F को T के ऑपरेटर के स्पेक्ट्रम पर परिभाषित किया जाता है। .
-फ़ंक्शन f(z)=log z को जटिल तल में किसी भी सरल रूप से जुड़े खुले सेट पर परिभाषित किया जा सकता है जिसमें मूल नहीं है, और यह ऐसे डोमेन पर होलोमोर्फिक है। इसका तात्पर्य यह है कि कोई एलएन टी को तब तक परिभाषित कर सकता है जब तक कि टी के स्पेक्ट्रम में मूल शामिल नहीं है और मूल से अनंत तक जाने वाला पथ है जो टी के स्पेक्ट्रम को पार नहीं करता है (उदाहरण के लिए, यदि टी का स्पेक्ट्रम वृत्त है) इसके अंदर उत्पत्ति, एलएन टी) को परिभाषित करना असंभव है।
+फलन f(z)=log z को सम्मिश्र तल में किसी भी सरल रूप से जुड़े विवृत समुच्चय पर परिभाषित किया जा सकता है जिसमें मूल नहीं है, और यह ऐसे डोमेन पर होलोमोर्फिक है। इसका तात्पर्य यह है कि कोई एलएन T को तब तक परिभाषित कर सकता है जब तक कि T के स्पेक्ट्रम में मूल सम्मिलित नहीं है और मूल से अनंत तक जाने वाला पथ है जो T के स्पेक्ट्रम को पार नहीं करता है (उदाहरण के लिए, यदि T का स्पेक्ट्रम वृत्त है) इसके अंदर उत्पत्ति, LN T) को परिभाषित करना असंभव है।
-'आर' पर रैखिक ऑपरेटर का स्पेक्ट्रम<sup>n</sup> इसके मैट्रिक्स के eigenvalues का सेट है, और इसलिए यह परिमित सेट है। जब तक मूल स्पेक्ट्रम में नहीं है (मैट्रिक्स उलटा है), पिछले पैराग्राफ से पथ की स्थिति संतुष्ट है, और एलएन टी अच्छी तरह से परिभाषित है। मैट्रिक्स लघुगणक की गैर-विशिष्टता इस तथ्य से उत्पन्न होती है कि कोई व्यक्ति लघुगणक की से अधिक शाखा चुन सकता है जिसे मैट्रिक्स के eigenvalues के सेट पर परिभाषित किया गया है।
+'R<sup>n</sup>' पर रैखिक ऑपरेटर का स्पेक्ट्रम इसके आव्यूह के इजेनवैल्यू का समुच्चय है, और इसलिए यह परिमित समुच्चय है। जब तक मूल स्पेक्ट्रम में नहीं है (आव्यूह विपरीत है), पिछले पैराग्राफ से पथ की स्थिति संतुष्ट है, और एलएन T अच्छी तरह से परिभाषित है। आव्यूह लघुगणक की गैर-विशिष्टता इस तथ्य से उत्पन्न होती है कि कोई व्यक्ति लघुगणक की से अधिक शाखा चुन सकता है जिसे आव्यूह के इजेनवैल्यू के समुच्चय पर परिभाषित किया गया है।
-== एक झूठ समूह सिद्धांत परिप्रेक्ष्य ==
+== एक लाई समूह सिद्धांत परिप्रेक्ष्य ==
-लाई समूहों के सिद्धांत में, लाई बीजगणित से घातीय मानचित्र (लाई सिद्धांत) होता है <math>\mathfrak{g}</math> संगत लाई समूह जी के लिए
+लाई समूहों के सिद्धांत में, लाई बीजगणित <math>\mathfrak{g}</math> से संबंधित लाई समूह g तक एक घातीय मानचित्र होता है।
 : <math> \exp : \mathfrak{g} \rightarrow G. </math>
-मैट्रिक्स झूठ समूहों के लिए, के तत्व <math>\mathfrak{g}</math> और G वर्ग आव्यूह हैं और घातांकीय मानचित्र मैट्रिक्स घातांक द्वारा दिया गया है। उलटा नक्शा <math> \log=\exp^{-1} </math> बहुमूल्यांकित है और यहां चर्चा किए गए मैट्रिक्स लघुगणक के साथ मेल खाता है। लघुगणक लाई समूह जी से लाई बीजगणित में मैप करता है <math>\mathfrak{g}</math>.
-ध्यान दें कि घातीय मानचित्र शून्य मैट्रिक्स के पड़ोस यू के बीच स्थानीय भिन्नता है <math> \underline{0} \in \mathfrak{g}</math> और पहचान मैट्रिक्स का पड़ोस V <math>\underline{1}\in G</math>.<ref>{{harvnb|Hall|2015}} Theorem 3.42</ref>
-इस प्रकार (मैट्रिक्स) लघुगणक मानचित्र के रूप में अच्छी तरह से परिभाषित है,
+आव्यूह लाई समूहों के लिए,  <math>\mathfrak{g}</math> और G के अवयव वर्ग आव्यूह हैं और घातांकीय मानचित्र आव्यूह घातांक द्वारा दिया गया है। विपरीत मैपिंग <math> \log=\exp^{-1} </math> बहुमूल्यांकित है और यहां चर्चा किए गए आव्यूह लघुगणक के साथ मेल खाता है। लघुगणक लाई समूह g से लाई बीजगणित <math>\mathfrak{g}</math> में मैप करता है
+ध्यान दें कि घातीय मानचित्र शून्य आव्यूह <math> \underline{0} \in \mathfrak{g}</math> के वर्ग u और पहचान आव्यूह <math>\underline{1}\in G</math> के वर्ग V के बीच एक स्थानीय भिन्नता है।<ref>{{harvnb|Hall|2015}} Theorem 3.42</ref> इस प्रकार (आव्यूह) लघुगणक एक मानचित्र के रूप में अच्छी तरह से परिभाषित है,
 :<math> \log: G\supset V \rightarrow U\subset \mathfrak{g}.</math>
 जैकोबी के सूत्र का महत्वपूर्ण परिणाम यह है
@@ Line 203: / Line 207: @@
-==2 × 2 मामले में बाधाएँ==
+==2 × 2 स्थिति में बाधाएँ==
-यदि 2 × 2 वास्तविक मैट्रिक्स में नकारात्मक निर्धारक है, तो इसका कोई वास्तविक लघुगणक नहीं है। पहले ध्यान दें कि किसी भी 2 × 2 वास्तविक मैट्रिक्स को जटिल संख्या z = x + y ε के तीन प्रकारों में से माना जा सकता है, जहां ε² ∈ { −1, 0, +1 }। यह z आव्यूहों के वलय (गणित) के जटिल उपतल पर बिंदु है।<ref>{{Wikibooks-inline|Abstract Algebra/2x2 real matrices}}</ref>
+यदि 2 × 2 वास्तविक आव्यूह में ऋणात्मक निर्धारक है, तो इसका कोई वास्तविक लघुगणक नहीं है। पहले ध्यान दें कि किसी भी 2 × 2 वास्तविक आव्यूह को सम्मिश्र संख्या z = x + y ε के तीन प्रकारों में से माना जा सकता है, जहां ε² ∈ { −1, 0, +1 }। यह z आव्यूहों के वलय (गणित) के सम्मिश्र उपतल पर बिंदु है।<ref>{{Wikibooks-inline|Abstract Algebra/2x2 real matrices}}</ref> ऐसी स्थिति जहां निर्धारक ऋणात्मक है, केवल ε² =+1 वाले विमान में उत्पन्न होता है, जो [[विभाजित-जटिल संख्या|विभाजित-सम्मिश्र संख्या]] विमान है। इस तल का केवल चौथाई भाग घातीय मानचित्र की छवि है, इसलिए लघुगणक केवल उस तिमाही (चतुर्थांश) पर परिभाषित किया गया है। अन्य तीन चतुर्थांश ε और -1 द्वारा उत्पन्न क्लेन चार-समूह के अंतर्गत इसकी छवियां हैं।
-ऐसा मामला जहां निर्धारक ऋणात्मक है, केवल ε² =+1 वाले विमान में उत्पन्न होता है, जो [[विभाजित-जटिल संख्या]] विमान है। इस तल का केवल चौथाई भाग घातीय मानचित्र की छवि है, इसलिए लघुगणक केवल उस तिमाही (चतुर्थांश) पर परिभाषित किया गया है। अन्य तीन चतुर्थांश ε और -1 द्वारा उत्पन्न क्लेन चार-समूह के अंतर्गत इसकी छवियां हैं।
+उदाहरण के लिए, मान लीजिए a = log 2 ; तब कॉश A = 5/4 और सिंह A = 3/4 आव्यूह के लिए, इसका कारण यह है
-उदाहरण के लिए, मान लीजिए a = log 2 ; तब कॉश ए = 5/4 और सिंह ए = 3/4।
-मैट्रिक्स के लिए, इसका मतलब यह है
 :<math>A=\exp \begin{pmatrix}0 & a \\ a & 0 \end{pmatrix} =
 \begin{pmatrix}\cosh a & \sinh a \\ \sinh a & \cosh a  \end{pmatrix} =
 \begin{pmatrix}1.25 & .75\\ .75 & 1.25 \end{pmatrix}</math>.
-तो इस अंतिम मैट्रिक्स में लघुगणक है
+तो इस अंतिम आव्यूह में लघुगणक है
 :<math>\log A = \begin{pmatrix}0 & \log 2 \\ \log 2 & 0 \end{pmatrix}</math>.
-हालाँकि, इन आव्यूहों में लघुगणक नहीं होता है:
+चूँकि, इन आव्यूहों में लघुगणक नहीं होता है:
 :<math>\begin{pmatrix}3/4 & 5/4 \\ 5/4 & 3/4 \end{pmatrix},\
 \begin{pmatrix}-3/4 & -5/4 \\ -5/4 & -3/4\end{pmatrix}, \
 \begin{pmatrix}-5/4 & -3/4\\ -3/4 & -5/4 \end{pmatrix}</math>.
-वे उपरोक्त मैट्रिक्स के चार-समूह द्वारा तीन अन्य संयुग्मों का प्रतिनिधित्व करते हैं जिनमें लघुगणक होता है।
+वे उपरोक्त आव्यूह के चार-समूह द्वारा तीन अन्य संयुग्मों का प्रतिनिधित्व करते हैं जिनमें लघुगणक होता है।
+एक गैर-एकवचन 2 x 2 आव्यूह में आवश्यक रूप से लघुगणक नहीं होता है, किन्तु यह चार-समूह द्वारा आव्यूह से संयुग्मित होता है जिसमें लघुगणक होता है।
-एक गैर-एकवचन 2 x 2 मैट्रिक्स में आवश्यक रूप से लघुगणक नहीं होता है, लेकिन यह चार-समूह द्वारा मैट्रिक्स से संयुग्मित होता है जिसमें लघुगणक होता है।
-इससे यह भी पता चलता है कि, उदाहरण के लिए, 2 बटा 2 मैट्रिक्स ए का वर्गमूल सीधे घातांक (लॉगए)/2 से प्राप्त किया जा सकता है,
+इससे यह भी पता चलता है कि, उदाहरण के लिए, इस आव्यूह A का वर्गमूल सीधे घातांक (logA)/2 से प्राप्त किया जा सकता है,
 :<math>\sqrt{A}= \begin{pmatrix}\cosh ((\log 2)/2)  & \sinh ((\log 2)/2)  \\ \sinh  ((\log 2)/2)  & \cosh ((\log 2)/2)  \end{pmatrix} =
 \begin{pmatrix}1.06 & .35\\ .35 & 1.06 \end{pmatrix}   ~.      </math>
-एक समृद्ध उदाहरण के लिए, [[पाइथागोरस ट्रिपल]] (p,q,r) से प्रारंभ करें
+एक समृद्ध उदाहरण के लिए, [[पाइथागोरस ट्रिपल]] (p,q,r) से प्रारंभ करें और माना {{math|''a'' {{=}} log(''p'' + ''r'') &minus; log ''q''}}. तब
-और जाने {{math|''a'' {{=}} log(''p'' + ''r'') &minus; log ''q''}}. तब
 :<math>e^a = \frac {p + r} {q} = \cosh a + \sinh a</math>.
@@ Line 235: / Line 238: @@
 इस प्रकार
 :<math>\tfrac{1}{q}\begin{pmatrix}r & p \\ p & r \end{pmatrix}</math>
-लघुगणक मैट्रिक्स है
+लघुगणक आव्यूह है
 :<math>\begin{pmatrix}0 & a \\ a & 0 \end{pmatrix}</math> ,
-कहाँ {{math| ''a'' {{=}} log(''p'' + ''r'') &minus; log ''q''}}.
+जहाँ {{math| ''a'' {{=}} log(''p'' + ''r'') &minus; log ''q''}}.
 ==यह भी देखें==
-*[[मैट्रिक्स फ़ंक्शन]]
+*[[मैट्रिक्स फ़ंक्शन|आव्यूह फलन]]
-*[[मैट्रिक्स का वर्गमूल]]
+*[[मैट्रिक्स का वर्गमूल|आव्यूह का वर्गमूल]]
-*मैट्रिक्स घातांक
+*आव्यूह घातांक
-*बेकर-कैंपबेल-हॉसडॉर्फ फॉर्मूला
+*बेकर-कैंपबेल-हॉसडॉर्फ सूत्र
 *घातांकीय मानचित्र का व्युत्पन्न

Anonymous

Search

मैट्रिक्स का लघुगणक: Difference between revisions

Namespaces

More

Page actions

Revision as of 14:57, 25 July 2023

Contents

परिभाषा

शक्ति श्रृंखला अभिव्यक्ति

उदाहरण: समतल में घूर्णन का लघुगणक

अस्तित्व

गुण

अगला उदाहरण: 3डी अंतरिक्ष में घूर्णन का लघुगणक

विकर्णीय आव्यूह के लघुगणक की गणना

एक गैर-विकर्णीय आव्यूह का लघुगणक

एक कार्यात्मक विश्लेषण परिप्रेक्ष्य

एक लाई समूह सिद्धांत परिप्रेक्ष्य

2 × 2 स्थिति में बाधाएँ

यह भी देखें

टिप्पणियाँ

संदर्भ

Navigation

Navigation

Wiki tools

Wiki tools

Anonymous

Search

मैट्रिक्स का लघुगणक: Difference between revisions

Revision as of 14:57, 25 July 2023

परिभाषा

शक्ति श्रृंखला अभिव्यक्ति

उदाहरण: समतल में घूर्णन का लघुगणक

अस्तित्व

गुण

अगला उदाहरण: 3डी अंतरिक्ष में घूर्णन का लघुगणक

विकर्णीय आव्यूह के लघुगणक की गणना

एक गैर-विकर्णीय आव्यूह का लघुगणक

एक कार्यात्मक विश्लेषण परिप्रेक्ष्य

एक लाई समूह सिद्धांत परिप्रेक्ष्य

2 × 2 स्थिति में बाधाएँ

यह भी देखें

टिप्पणियाँ

संदर्भ

Navigation

Wiki tools

Page tools

Other projects

Categories