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

गणित में, एक फलन (गणित) $$f : V \to W$$ दो जटिल वेक्टर रिक्त स्थान के बीच एंटीलीनियर या संयुग्म-रैखिक कहा जाता है यदि $$\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}$$ सभी वैक्टरों के लिए पकड़ो $$x, y \in V$$ और हर जटिल संख्या $$s,$$ कहाँ $$\overline{s}$$ के जटिल संयुग्म को दर्शाता है $$s.$$ एंटीलीनियर मैप्स रैखिक ऑपरेटरों के विपरीत खड़े होते हैं, जो योगात्मक नक्शा ्स होते हैं जो कॉन्जुगेट एकरूपता के बजाय सजातीय मानचित्र होते हैं। यदि सदिश समष्टि वास्तविक सदिश समष्टि है तो प्रतिरैखिकता रैखिकता के समान है।

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

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

एक समारोह $$f$$ कहा जाता है अगर $$f(x + y) = f(x) + f(y) \quad \text{ for all vectors } x, y$$ जबकि कहा जाता है अगर $$f(ax) = \overline{a} f(x) \quad \text{ for all vectors } x \text{ and all scalars } a.$$ इसके विपरीत, एक रेखीय मानचित्र एक ऐसा कार्य है जो योगात्मक और सजातीय है, जहाँ $$f$$ कहा जाता है अगर $$f(ax) = a f(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 \Complex$$ एक तत्व भेज रहा है $$x_1 + iy_1$$ के लिए $$x_1,y_1 \in \R$$ को $$x_1 + iy_1 \mapsto a_1 x_1 - i b_1 y_1$$ कुछ निश्चित वास्तविक संख्याओं के लिए $$a_1,b_1.$$ हम इसे किसी भी परिमित आयामी जटिल सदिश स्थान तक बढ़ा सकते हैं, जहाँ यदि हम मानक आधार लिखते हैं $$e_1, \ldots, e_n$$ और प्रत्येक मानक आधार तत्व के रूप में $$e_k = x_k + iy_k$$ फिर एक विरोधी रेखीय जटिल नक्शा $$\Complex$$स्वरूप का होगा $$\sum_k x_k + iy_k \mapsto \sum_k a_k x_k - i b_k y_k$$ के लिए $$a_k,b_k \in \R.$$

वास्तविक दोहरे के साथ रैखिक-विरोधी दोहरे का समरूपता
विरोधी रेखीय दोहरी पृष्ठ 36 एक जटिल सदिश स्थान का $$V$$ $$\operatorname{Hom}_{\overline{\Complex}}(V,\Complex)$$ एक विशेष उदाहरण है क्योंकि यह अंतर्निहित वास्तविक सदिश स्थान के वास्तविक दोहरे के लिए समरूप है $$V,$$ $$\text{Hom}_\R(V,\R).$$ यह एक एंटी-लीनियर मैप भेजने वाले मैप द्वारा दिया गया है $$\ell: V \to \Complex$$को $$\operatorname{Im}(\ell) : V \to \R$$ दूसरी दिशा में, उलटा नक्शा है जो एक वास्तविक दोहरे वेक्टर को भेजता है $$\lambda : V \to \R$$ को $$\ell(v) = -\lambda(iv) + i\lambda(v)$$ वांछित नक्शा दे रहा है।

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

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

कब $$H$$ एक आदर्श स्थान है तो (निरंतर) विरोधी दोहरे स्थान पर विहित मानदंड $\overline{X}^{\prime},$ द्वारा चिह्नित $\|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}.$$ यह सूत्र के सूत्र के समान है निरंतर दोहरे स्थान पर $$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$$ को $\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}$$ और हर $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} = \R$$ तब $$X^{\prime} = \overline{X}^{\prime}$$ और यह विहित नक्शा $$\operatorname{Cong} : X^{\prime} \to \overline{X}^{\prime}$$ पहचान मानचित्र तक कम हो जाता है।

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

अगर $$X$$ एक आंतरिक उत्पाद स्थान है तो दोनों विहित मानदंड $$X^{\prime}$$ और पर $$\overline{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}$$ हिल्बर्ट रिक्त स्थान में। आंतरिक उत्पाद $\langle f, g \rangle_{X^{\prime}}$ और $\langle f, g \rangle_{\overline{X}^{\prime}}$  अपने दूसरे तर्कों में एंटीलीनियर हैं। इसके अलावा, इस आंतरिक उत्पाद द्वारा प्रेरित विहित मानदंड (अर्थात, द्वारा परिभाषित मानदंड $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}$$ और विरोधी दोहरी जगह $\overline{X}^{\prime},$ द्वारा क्रमशः निरूपित किया गया $\langle \,\cdot\,, \,\cdot\, \rangle_{X^{\prime}}$  और $\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}.$$

संदर्भ

 * 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).