प्रतिरेखीय प्रतिचित्र

गणित में, फलन (गणित) $f:V\to W$ दो जटिल वेक्टर रिक्त स्थान के बीच एंटीलीनियर या संयुग्म-रैखिक कहा जाता है यदि

$${\begin{alignedat}{9}f(x+y)&=f(x)+f(y)&&\qquad {\text{ (additivity) }}\\f(sx)&={\overline {s}}f(x)&&\qquad {\text{ (conjugate homogeneity) }}\\\end{alignedat}}$$

सभी वैक्टरों के लिए पकड़ो $x,y\in V$ और हर जटिल संख्या $s,$ कहाँ ${\overline {s}}$ के जटिल संयुग्म को दर्शाता है $s.$ एंटीलीनियर मैप्स रैखिक ऑपरेटरों के विपरीत खड़े होते हैं, जो योगात्मक नक्शा ्स होते हैं जो कॉन्जुगेट एकरूपता के बजाय सजातीय मानचित्र होते हैं। यदि सदिश समष्टि वास्तविक सदिश समष्टि है तो प्रतिरैखिकता रैखिकता के समान है।

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

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

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

एक समारोह $f$ कहा जाता है additive अगर

$$f(x+y)=f(x)+f(y)\quad {\text{ for all vectors }}x,y$$

जबकि कहा जाता है conjugate homogeneous अगर

$$f(ax)={\overline {a}}f(x)\quad {\text{ for all vectors }}x{\text{ and all scalars }}a.$$
 इसके विपरीत, एक रेखीय मानचित्र एक ऐसा कार्य है जो योगात्मक और सजातीय है, जहाँ $f$ कहा जाता है homogeneous अगर

$$f(ax)=af(x)\quad {\text{ for all vectors }}x{\text{ and all scalars }}a.$$

एक एंटीलाइनर नक्शा $f:V\to W$ रैखिक मानचित्र के संदर्भ में समान रूप से वर्णित किया जा सकता है ${\overline {f}}:V\to {\overline {W}}$ से $V$ जटिल संयुग्म वेक्टर अंतरिक्ष के लिए ${\overline {W}}.$

उदाहरण

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

एक जटिल सदिश स्थान दिया गया है $V$ रैंक 1 का, हम एक एंटी-लीनियर डुअल मैप बना सकते हैं जो एक एंटी-लीनियर मैप है

$$l:V\to \mathbb {C}$$

एक तत्व भेज रहा है $x_{1}+iy_{1}$ के लिए $x_{1},y_{1}\in \mathbb {R}$ को

$$x_{1}+iy_{1}\mapsto a_{1}x_{1}-ib_{1}y_{1}$$

कुछ निश्चित वास्तविक संख्याओं के लिए $a_{1},b_{1}.$ हम इसे किसी भी परिमित आयामी जटिल सदिश स्थान तक बढ़ा सकते हैं, जहाँ यदि हम मानक आधार लिखते हैं $e_{1},\ldots ,e_{n}$ और प्रत्येक मानक आधार तत्व के रूप में

$$e_{k}=x_{k}+iy_{k}$$

फिर एक विरोधी रेखीय जटिल नक्शा $\mathbb {C}$स्वरूप का होगा

$$\sum _{k}x_{k}+iy_{k}\mapsto \sum _{k}a_{k}x_{k}-ib_{k}y_{k}$$

के लिए $a_{k},b_{k}\in \mathbb {R} .$

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

विरोधी रेखीय दोहरी^{पृष्ठ 36} एक जटिल सदिश स्थान का $V$

$$\operatorname {Hom} _{\overline {\mathbb {C} }}(V,\mathbb {C} )$$

एक विशेष उदाहरण है क्योंकि यह अंतर्निहित वास्तविक सदिश स्थान के वास्तविक दोहरे के लिए समरूप है $V,$ ${\text{Hom}}_{\mathbb {R} }(V,\mathbb {R} ).$ यह एक एंटी-लीनियर मैप भेजने वाले मैप द्वारा दिया गया है

$$\ell :V\to \mathbb {C}$$

को

$$\operatorname {Im} (\ell ):V\to \mathbb {R}$$

दूसरी दिशा में, उलटा नक्शा है जो एक वास्तविक दोहरे वेक्टर को भेजता है

$$\lambda :V\to \mathbb {R}$$

को

$$\ell (v)=-\lambda (iv)+i\lambda (v)$$

वांछित नक्शा दे रहा है।

गुण

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

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

सदिश समष्टि पर सभी प्रतिरेखीय रूपों का सदिश स्थान $X$ कहा जाता है algebraic anti-dual space का $X.$ अगर $X$ एक टोपोलॉजिकल वेक्टर स्पेस है, फिर सभी का वेक्टर स्पेस continuous एंटीलाइनर फंक्शंस ऑन $X,$ द्वारा चिह्नित ${\textstyle {\overline {X}}^{\prime },}$ कहा जाता है continuous anti-dual space या बस anti-dual space का $X$ अगर कोई भ्रम पैदा नहीं हो सकता।

कब $H$ एक आदर्श स्थान है तो (निरंतर) विरोधी दोहरे स्थान पर विहित मानदंड ${\textstyle {\overline {X}}^{\prime },}$ द्वारा चिह्नित ${\textstyle \|f\|_{{\overline {X}}^{\prime }},}$ इसी समीकरण का उपयोग करके परिभाषित किया गया है:

$$\|f\|_{{\overline {X}}^{\prime }}~:=~\sup _{\|x\|\leq 1,x\in X}|f(x)|\quad {\text{ for every }}f\in {\overline {X}}^{\prime }.$$
 यह सूत्र के सूत्र के समान है dual norm निरंतर दोहरे स्थान पर $X^{\prime }$ का $X,$ जिसके द्वारा परिभाषित किया गया है

$$\|f\|_{X^{\prime }}~:=~\sup _{\|x\|\leq 1,x\in X}|f(x)|\quad {\text{ for every }}f\in X^{\prime }.$$

दोहरे और विरोधी दोहरे के बीच कैननिकल आइसोमेट्री

जटिल संयुग्म ${\overline {f}}$ एक कार्यात्मक का $f$ भेजकर परिभाषित किया गया है $x\in \operatorname {domain} f$ को ${\textstyle {\overline {f(x)}}.}$ यह संतुष्ट करता है

$$\|f\|_{X^{\prime }}~=~\left\|{\overline {f}}\right\|_{{\overline {X}}^{\prime }}\quad {\text{ and }}\quad \left\|{\overline {g}}\right\|_{X^{\prime }}~=~\|g\|_{{\overline {X}}^{\prime }}$$

हरएक के लिए $f\in X^{\prime }$ और हर ${\textstyle g\in {\overline {X}}^{\prime }.}$ यह ठीक यही कहता है कि कैनोनिकल एंटीलीनियर विशेषण नक्शा द्वारा परिभाषित किया गया है

$$\operatorname {Cong} ~:~X^{\prime }\to {\overline {X}}^{\prime }\quad {\text{ where }}\quad \operatorname {Cong} (f):={\overline {f}}$$

साथ ही इसका उलटा भी $\operatorname {Cong} ^{-1}~:~{\overline {X}}^{\prime }\to X^{\prime }$ एंटीलीनियर आइसोमेट्री हैं और इसके परिणामस्वरूप होमियोमोर्फिज्म भी हैं।

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

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

अगर $X$ एक आंतरिक उत्पाद स्थान है तो दोनों विहित मानदंड $X^{\prime }$ और पर ${\overline {X}}^{\prime }$ समांतरोग्राम कानून को संतुष्ट करता है, जिसका अर्थ है कि ध्रुवीकरण पहचान का उपयोग परिभाषित करने के लिए किया जा सकता है canonical inner product on $X^{\prime }$ और आगे भी ${\overline {X}}^{\prime },$ जिसे यह लेख अंकन द्वारा दर्शाएगा

$$\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 }}$$
 जहां यह आंतरिक उत्पाद बनाता है $X^{\prime }$ और ${\overline {X}}^{\prime }$ हिल्बर्ट रिक्त स्थान में।

आंतरिक उत्पाद ${\textstyle \langle f,g\rangle _{X^{\prime }}}$ और ${\textstyle \langle f,g\rangle _{{\overline {X}}^{\prime }}}$ अपने दूसरे तर्कों में एंटीलीनियर हैं। इसके अलावा, इस आंतरिक उत्पाद द्वारा प्रेरित विहित मानदंड (अर्थात, द्वारा परिभाषित मानदंड ${\textstyle f\mapsto {\sqrt {\left\langle f,f\right\rangle _{X^{\prime }}}}}$) दोहरे मानदंड के अनुरूप है (अर्थात, जैसा कि यूनिट बॉल पर सुप्रीमम द्वारा ऊपर परिभाषित किया गया है); स्पष्ट रूप से, इसका अर्थ है कि निम्नलिखित प्रत्येक के लिए है $f\in X^{\prime }:$

$$\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 }}}}.$$

अगर $X$ एक आंतरिक उत्पाद स्थान है तो दोहरी जगह पर आंतरिक उत्पाद $X^{\prime }$ और विरोधी दोहरी जगह ${\textstyle {\overline {X}}^{\prime },}$ द्वारा क्रमशः निरूपित किया गया ${\textstyle \langle \,\cdot \,,\,\cdot \,\rangle _{X^{\prime }}}$ और ${\textstyle \langle \,\cdot \,,\,\cdot \,\rangle _{{\overline {X}}^{\prime }},}$ से संबंधित हैं

$$\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 }$$

और

$$\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 }.$$

यह भी देखें

• Cauchy's functional equation
• Complex conjugate
• Complex conjugate vector space
• Fundamental theorem of Hilbert spaces
• Inner product space
• Linear map
• Matrix consimilarity
• Riesz representation theorem
• Sesquilinear form
• Time reversal

संदर्भ

• 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 (2006) [1967]. Topological Vector Spaces, Distributions and Kernels. Mineola, N.Y.: Dover Publications. ISBN 978-0-486-45352-1. OCLC 853623322.