View source for प्रतिरेखीय प्रतिचित्र

{{Short description|Conjugate homogeneous additive map}}
गणित में, फलन (गणित) <math>f : V \to W</math> दो जटिल वेक्टर रिक्त स्थान के बीच एंटीलीनियर या संयुग्म-रैखिक कहा जाता है यदि
<math display=block>\begin{alignat}{9}
f(x + y) &= f(x) + f(y) && \qquad \text{ (additivity) } \\
f(s x) &= \overline{s} f(x) && \qquad \text{ (conjugate homogeneity) } \\
\end{alignat}</math>
सभी वैक्टरों के लिए पकड़ो <math>x, y \in V</math> और हर [[जटिल संख्या]] <math>s,</math> कहाँ <math>\overline{s}</math> के जटिल संयुग्म को दर्शाता है <math>s.</math> एंटीलीनियर मैप्स रैखिक ऑपरेटरों के विपरीत खड़े होते हैं, जो [[ योगात्मक नक्शा ]]्स होते हैं जो कॉन्जुगेट एकरूपता के बजाय सजातीय मानचित्र होते हैं। यदि सदिश समष्टि वास्तविक सदिश समष्टि है तो प्रतिरैखिकता रैखिकता के समान है।

टी-समरूपता और [[स्पिनर कैलकुलस]] के अध्ययन में क्वांटम यांत्रिकी में एंटीलीनियर मैप्स होते हैं, जहां सूचकांकों के ऊपर लगाए गए डॉट्स द्वारा बेस वैक्टर और ज्यामितीय वस्तुओं के घटकों पर बार को बदलने की प्रथा है। जटिल संख्या आंतरिक उत्पाद रिक्त स्थान और हिल्बर्ट रिक्त स्थान के साथ व्यवहार करते समय स्केलर-मूल्यवान एंटीलाइनर मानचित्र अक्सर उत्पन्न होते हैं।

== परिभाषाएँ और विशेषताएँ ==

एक समारोह कहा जाता है {{em|antilinear}} या {{em|conjugate linear}} यदि यह योगात्मक नक्शा है और सजातीय संयुग्मित है।
एक {{em|antilinear functional}} सदिश स्थान पर <math>V</math> एक अदिश-मूल्यवान प्रतिरेखीय मानचित्र है।

एक समारोह <math>f</math> कहा जाता है {{em|[[Additive map|additive]]}} अगर
<math display=block>f(x + y) = f(x) + f(y) \quad \text{ for all vectors } x, y</math>
जबकि कहा जाता है {{em|[[Conjugate homogeneity|conjugate homogeneous]]}} अगर
 <math display=block>f(ax) = \overline{a} f(x) \quad \text{ for all vectors } x \text{ and all scalars } a.</math> इसके विपरीत, एक रेखीय मानचित्र एक ऐसा कार्य है जो योगात्मक और [[सजातीय]] है, जहाँ <math>f</math> कहा जाता है {{em|homogeneous}} अगर
<math display=block>f(ax) = a f(x) \quad \text{ for all vectors } x \text{ and all scalars } a.</math> एक एंटीलाइनर नक्शा <math>f : V \to W</math> रैखिक मानचित्र के संदर्भ में समान रूप से वर्णित किया जा सकता है <math>\overline{f} : V \to \overline{W}</math> से <math>V</math> जटिल संयुग्म वेक्टर अंतरिक्ष के लिए <math>\overline{W}.</math>


=== उदाहरण ===

==== एंटी-लीनियर डुअल मैप ====

एक जटिल सदिश स्थान दिया गया है <math>V</math> रैंक 1 का, हम एक एंटी-लीनियर डुअल मैप बना सकते हैं जो एक एंटी-लीनियर मैप है <math display="block">l:V \to \Complex</math> एक तत्व भेज रहा है <math>x_1 + iy_1</math> के लिए <math>x_1,y_1 \in \R</math> को <math display="block">x_1 + iy_1 \mapsto a_1 x_1 - i b_1 y_1</math> कुछ निश्चित वास्तविक संख्याओं के लिए <math>a_1,b_1.</math> हम इसे किसी भी परिमित आयामी जटिल सदिश स्थान तक बढ़ा सकते हैं, जहाँ यदि हम मानक आधार लिखते हैं <math>e_1, \ldots, e_n</math> और प्रत्येक मानक आधार तत्व के रूप में <math display="block">e_k = x_k + iy_k</math> फिर एक विरोधी रेखीय जटिल नक्शा <math>\Complex</math>स्वरूप का होगा <math display="block">\sum_k x_k + iy_k \mapsto \sum_k a_k x_k - i b_k y_k</math> के लिए <math>a_k,b_k \in \R.</math>


==== वास्तविक दोहरे के साथ रैखिक-विरोधी दोहरे का समरूपता ====

विरोधी रेखीय दोहरी<ref name=":0">{{Cite book|last=Birkenhake|first=Christina| url=https://www.worldcat.org/oclc/851380558 | title=जटिल एबेलियन किस्में| date=2004 | publisher=Springer Berlin Heidelberg|others=Herbert Lange |isbn=978-3-662-06307-1| edition=Second, augmented| location=Berlin, Heidelberg| oclc=851380558}}</ref><sup>पृष्ठ 36</sup> एक जटिल सदिश स्थान का <math>V</math> <math display="block">\operatorname{Hom}_{\overline{\Complex}}(V,\Complex)</math> एक विशेष उदाहरण है क्योंकि यह अंतर्निहित वास्तविक सदिश स्थान के वास्तविक दोहरे के लिए समरूप है <math>V,</math> <math>\text{Hom}_\R(V,\R).</math> यह एक एंटी-लीनियर मैप भेजने वाले मैप द्वारा दिया गया है <math display="block">\ell: V \to \Complex</math>को <math display="block">\operatorname{Im}(\ell) : V \to \R</math> दूसरी दिशा में, उलटा नक्शा है जो एक वास्तविक दोहरे वेक्टर को भेजता है <math display="block">\lambda : V \to \R</math> को <math display="block">\ell(v) = -\lambda(iv) + i\lambda(v)</math> वांछित नक्शा दे रहा है।

== गुण ==

दो प्रतिरेखीय मानचित्रों के [[संबंधों की संरचना]] एक रेखीय मानचित्र है। अर्धरेखीय मानचित्रों का वर्ग प्रतिरेखीय मानचित्रों के वर्ग का सामान्यीकरण करता है।

== एंटी-डुअल स्पेस ==

सदिश समष्टि पर सभी प्रतिरेखीय रूपों का सदिश स्थान <math>X</math> कहा जाता है {{em|algebraic [[anti-dual space]]}} का <math>X.</math> अगर <math>X</math> एक [[टोपोलॉजिकल वेक्टर स्पेस]] है, फिर सभी का वेक्टर स्पेस {{em|continuous}} एंटीलाइनर फंक्शंस ऑन <math>X,</math> द्वारा चिह्नित <math display="inline">\overline{X}^{\prime},</math> कहा जाता है {{em|continuous anti-dual space}} या बस {{em|anti-dual space}} का <math>X</math>{{sfn|Trèves|2006|pp=112-123}} अगर कोई भ्रम पैदा नहीं हो सकता।

कब <math>H</math> एक आदर्श स्थान है तो (निरंतर) विरोधी दोहरे स्थान पर विहित मानदंड <math display="inline">\overline{X}^{\prime},</math> द्वारा चिह्नित <math display="inline">\|f\|_{\overline{X}^{\prime}},</math> इसी समीकरण का उपयोग करके परिभाषित किया गया है:{{sfn|Trèves|2006|pp=112–123}}
 <math display=block>\|f\|_{\overline{X}^{\prime}} ~:=~ \sup_{\|x\| \leq 1, x \in X} |f(x)| \quad \text{ for every } f \in \overline{X}^{\prime}.</math> यह सूत्र के सूत्र के समान है {{em|[[dual norm]]}} निरंतर दोहरे स्थान पर <math>X^{\prime}</math> का <math>X,</math> जिसके द्वारा परिभाषित किया गया है{{sfn|Trèves|2006|pp=112–123}}
<math display=block>\|f\|_{X^{\prime}} ~:=~ \sup_{\|x\| \leq 1, x \in X} |f(x)| \quad \text{ for every } f \in X^{\prime}.</math> दोहरे और विरोधी दोहरे के बीच कैननिकल आइसोमेट्री

जटिल संयुग्म <math>\overline{f}</math> एक कार्यात्मक का <math>f</math> भेजकर परिभाषित किया गया है <math>x \in \operatorname{domain} f</math> को <math display="inline">\overline{f(x)}.</math> यह संतुष्ट करता है
 <math display=block>\|f\|_{X^{\prime}} ~=~ \left\|\overline{f}\right\|_{\overline{X}^{\prime}} \quad \text{ and } \quad \left\|\overline{g}\right\|_{X^{\prime}} ~=~ \|g\|_{\overline{X}^{\prime}}</math>
हरएक के लिए <math>f \in X^{\prime}</math> और हर <math display="inline">g \in \overline{X}^{\prime}.</math> यह ठीक यही कहता है कि कैनोनिकल एंटीलीनियर [[विशेषण नक्शा]] द्वारा परिभाषित किया गया है
<math display=block>\operatorname{Cong} ~:~ X^{\prime} \to \overline{X}^{\prime} \quad \text{ where } \quad \operatorname{Cong}(f) := \overline{f}</math> साथ ही इसका उलटा भी <math>\operatorname{Cong}^{-1} ~:~ \overline{X}^{\prime} \to X^{\prime}</math> एंटीलीनियर [[आइसोमेट्री]] हैं और इसके परिणामस्वरूप [[होमियोमोर्फिज्म]] भी हैं।

अगर <math>\mathbb{F} = \R</math> तब <math>X^{\prime} = \overline{X}^{\prime}</math> और यह विहित नक्शा <math>\operatorname{Cong} : X^{\prime} \to \overline{X}^{\prime}</math> पहचान मानचित्र तक कम हो जाता है।

आंतरिक उत्पाद रिक्त स्थान

अगर <math>X</math> एक आंतरिक उत्पाद स्थान है तो दोनों विहित मानदंड <math>X^{\prime}</math> और पर <math>\overline{X}^{\prime}</math> समांतरोग्राम कानून को संतुष्ट करता है, जिसका अर्थ है कि [[ध्रुवीकरण पहचान]] का उपयोग परिभाषित करने के लिए किया जा सकता है {{em|canonical inner product on <math>X^{\prime}</math>}} और आगे भी <math>\overline{X}^{\prime},</math> जिसे यह लेख अंकन द्वारा दर्शाएगा
 <math display=block>\langle f, g \rangle_{X^{\prime}} := \langle g \mid f \rangle_{X^{\prime}} \quad \text{ and } \quad \langle f, g \rangle_{\overline{X}^{\prime}} := \langle g \mid f \rangle_{\overline{X}^{\prime}}</math> जहां यह आंतरिक उत्पाद बनाता है <math>X^{\prime}</math> और <math>\overline{X}^{\prime}</math> हिल्बर्ट रिक्त स्थान में।
आंतरिक उत्पाद <math display="inline">\langle f, g \rangle_{X^{\prime}}</math> और <math display="inline">\langle f, g \rangle_{\overline{X}^{\prime}}</math> अपने दूसरे तर्कों में एंटीलीनियर हैं। इसके अलावा, इस आंतरिक उत्पाद द्वारा प्रेरित विहित मानदंड (अर्थात, द्वारा परिभाषित मानदंड <math display="inline">f \mapsto \sqrt{\left\langle f, f \right\rangle_{X^{\prime}}}</math>) दोहरे मानदंड के अनुरूप है (अर्थात, जैसा कि यूनिट बॉल पर सुप्रीमम द्वारा ऊपर परिभाषित किया गया है); स्पष्ट रूप से, इसका अर्थ है कि निम्नलिखित प्रत्येक के लिए है <math>f \in X^{\prime}:</math>
<math display=block>\sup_{\|x\| \leq 1, x \in X} |f(x)| = \|f\|_{X^{\prime}} ~=~ \sqrt{\langle f, f \rangle_{X^{\prime}}} ~=~ \sqrt{\langle f \mid f \rangle_{X^{\prime}}}.</math> अगर <math>X</math> एक आंतरिक उत्पाद स्थान है तो दोहरी जगह पर आंतरिक उत्पाद <math>X^{\prime}</math> और विरोधी दोहरी जगह <math display="inline">\overline{X}^{\prime},</math> द्वारा क्रमशः निरूपित किया गया <math display="inline">\langle \,\cdot\,, \,\cdot\, \rangle_{X^{\prime}}</math> और <math display="inline">\langle \,\cdot\,, \,\cdot\, \rangle_{\overline{X}^{\prime}},</math> से संबंधित हैं
<math display=block>\langle \,\overline{f}\, | \,\overline{g}\, \rangle_{\overline{X}^{\prime}} 
= \overline{\langle \,f\, | \,g\, \rangle_{X^{\prime}}} 
= \langle \,g\, | \,f\, \rangle_{X^{\prime}} \qquad \text{ for all } f, g \in X^{\prime}</math>
और
<math display=block>\langle \,\overline{f}\, | \,\overline{g}\, \rangle_{X^{\prime}} 
= \overline{\langle \,f\, | \,g\, \rangle_{\overline{X}^{\prime}}} 
= \langle \,g\, | \,f\, \rangle_{\overline{X}^{\prime}} \qquad \text{ for all } f, g \in \overline{X}^{\prime}.</math>


== यह भी देखें ==

* {{annotated link|Cauchy's functional equation}}
* {{annotated link|Complex conjugate}}
* {{annotated link|Complex conjugate vector space}}
* {{annotated link|Fundamental theorem of Hilbert spaces}}
* {{annotated link|Inner product space}}
* {{annotated link|Linear map}}
* {{annotated link|Matrix consimilarity}}
* {{annotated link|Riesz representation theorem}}
* {{annotated link|Sesquilinear form}}
* {{annotated link|T-symmetry|Time reversal}}

== उद्धरण ==
{{reflist}}
{{reflist|group=note}}


== संदर्भ ==

* Budinich, P. and Trautman, A. ''The Spinorial Chessboard''. Springer-Verlag, 1988. {{isbn|0-387-19078-3}}. (antilinear maps are discussed in section 3.3).
* Horn and Johnson, ''Matrix Analysis,'' Cambridge University Press, 1985. {{isbn|0-521-38632-2}}. (antilinear maps are discussed in section 4.6).
* {{Trèves François Topological vector spaces, distributions and kernels}} <!-- {{sfn|Trèves|2006|p=}} -->
[[Category: कार्य और मानचित्रण]] [[Category: लीनियर अलजेब्रा]] [[Category: कार्यों के प्रकार]] 

{{linear-algebra-stub}}



[[Category: Machine Translated Page]]
[[Category:Created On 17/03/2023]]