वास्तविक संरचना: Difference between revisions

From Vigyanwiki
No edit summary
No edit summary
Line 1: Line 1:
{{Short description|Mathematics concept}}
{{Short description|Mathematics concept}}
गणित में, एक सम्मिश्र सदिश समष्टि पर '''वास्तविक संरचना''', सम्मिश्र सदिश समष्टि को दो वास्तविक सदिश समष्टि के प्रत्यक्ष योग में विघटित करने की एक विधि है। ऐसी संरचना का प्रोटोटाइप स्वयं सम्मिश्र संख्याओं का क्षेत्र है, जिसे स्वयं पर एक सम्मिश्र सदिश समष्टि माना जाता है और संयुग्मन मानचित्र <math>\sigma: {\mathbb C} \to {\mathbb C}\,</math>, के साथ <math>\sigma (z)={\bar z}</math>, जो कि <math>{\mathbb C}\,</math> पर "कैनोनिकल" वास्तविक संरचना देता है, अर्थात <math>{\mathbb C}={\mathbb R}\oplus i{\mathbb R}\,</math>
गणित में, एक सम्मिश्र सदिश समष्टि पर '''वास्तविक संरचना''', सम्मिश्र सदिश समष्टि को दो वास्तविक सदिश समष्टि के प्रत्यक्ष योग में विघटित करने की एक विधि है। इस प्रकार ऐसी संरचना का प्रोटोटाइप स्वयं सम्मिश्र संख्याओं का क्षेत्र है, जिसे स्वयं पर एक सम्मिश्र सदिश समष्टि माना जाता है और संयुग्मन मानचित्र <math>\sigma: {\mathbb C} \to {\mathbb C}\,</math>, के साथ <math>\sigma (z)={\bar z}</math>, जो कि <math>{\mathbb C}\,</math> पर "कैनोनिकल" वास्तविक संरचना देता है, अर्थात <math>{\mathbb C}={\mathbb R}\oplus i{\mathbb R}\,</math>


संयुग्मन मानचित्र [[प्रतिरेखीय]] <math>\sigma (\lambda z)={\bar \lambda}\sigma(z)\,</math> और <math>\sigma (z_1+z_2)=\sigma(z_1)+\sigma(z_2)\,</math> है:
संयुग्मन मानचित्र [[प्रतिरेखीय]] <math>\sigma (\lambda z)={\bar \lambda}\sigma(z)\,</math> और <math>\sigma (z_1+z_2)=\sigma(z_1)+\sigma(z_2)\,</math> है:
Line 6: Line 6:
==सदिश समष्टि==
==सदिश समष्टि==


सम्मिश्र सदिश समष्टि ''V'' पर वास्तविक संरचना प्रतिरेखीय समावेशन <math>\sigma: V \to V</math> (गणित) है। वास्तविक संरचना वास्तविक उप-समष्टि <math>V_{\mathbb{R}} \subset V</math> , इसके निश्चित समष्टि और प्राकृतिक मानचित्र को परिभाषित करती है  
सम्मिश्र सदिश समष्टि ''V'' पर वास्तविक संरचना प्रतिरेखीय समावेशन <math>\sigma: V \to V</math> (गणित) है। इस प्रकार वास्तविक संरचना वास्तविक उप-समष्टि <math>V_{\mathbb{R}} \subset V</math> , इसके निश्चित समष्टि और प्राकृतिक मानचित्र को परिभाषित करती है  


:<math> V_{\mathbb R} \otimes_{\mathbb{R}} {\mathbb C} \to V </math>
:<math> V_{\mathbb R} \otimes_{\mathbb{R}} {\mathbb C} \to V </math>
Line 14: Line 14:


:<math> \dim_{\mathbb R}V = 2\dim_{\mathbb C}V </math>
:<math> \dim_{\mathbb R}V = 2\dim_{\mathbb C}V </math>
स्वाभाविक रूप से, कोई V को दो वास्तविक सदिश समष्टियो, V के वास्तविक और काल्पनिक भागों के प्रत्यक्ष योग के रूप में प्रस्तुत करना चाहेगा। ऐसा करने का कोई विहित विधि नहीं है: इस प्रकार का विभाजन V में अतिरिक्त 'वास्तविक संरचना' है। इसे निम्नानुसार प्रस्तुत किया जा सकता है।<ref>Budinich, P. and Trautman, A. ''The Spinorial Chessboard''. Springer-Verlag, 1988, p. 29.</ref> मान लीजिए कि <math>\sigma: V \to V\,</math> ऐसा [[प्रतिरेखीय मानचित्र]] है जैसे कि <math>\sigma\circ\sigma=id_{V}\,</math> सम्मिश्र समष्टि V का प्रतिरेखीय समावेशन है।
स्वाभाविक रूप से, कोई V को दो वास्तविक सदिश समष्टियो, V के वास्तविक और काल्पनिक भागों के प्रत्यक्ष योग के रूप में प्रस्तुत करना चाहेगा। ऐसा करने का कोई विहित विधि नहीं है: इस प्रकार का विभाजन V में अतिरिक्त 'वास्तविक संरचना' है। इस प्रकार इसे निम्नानुसार प्रस्तुत किया जा सकता है।<ref>Budinich, P. and Trautman, A. ''The Spinorial Chessboard''. Springer-Verlag, 1988, p. 29.</ref> मान लीजिए कि <math>\sigma: V \to V\,</math> ऐसा [[प्रतिरेखीय मानचित्र]] है जैसे कि <math>\sigma\circ\sigma=id_{V}\,</math> सम्मिश्र समष्टि V का प्रतिरेखीय समावेशन है।


कोई भी सदिश <math>v\in V\,</math>, <math>{v = v^{+} + v^{-}}\,</math> लिखा जा सकता है, जहां <math>v^+ ={1\over {2}}(v+\sigma v)</math> और <math>v^- ={1\over {2}}(v-\sigma v)\,</math>
कोई भी सदिश <math>v\in V\,</math>, <math>{v = v^{+} + v^{-}}\,</math> लिखा जा सकता है, जहां <math>v^+ ={1\over {2}}(v+\sigma v)</math> और <math>v^- ={1\over {2}}(v-\sigma v)\,</math>


इसलिए, किसी को सदिश समष्टियो <math>V=V^{+}\oplus V^{-}\,</math> का सीधा योग प्राप्त होता है जहाँ:
इसलिए, किसी को सदिश समष्टियो <math>V=V^{+}\oplus V^{-}\,</math> का सीधा योग प्राप्त होता है जहाँ:


:<math>V^{+}=\{v\in V | \sigma v = v\}</math> और <math>V^{-}=\{v\in V | \sigma v = -v\}\,</math>.
:<math>V^{+}=\{v\in V | \sigma v = v\}</math> और <math>V^{-}=\{v\in V | \sigma v = -v\}\,</math>.
Line 26: Line 26:
:<math> \dim_{\mathbb R}V^+ = \dim_{\mathbb R}V^- = \dim_{\mathbb C}V\,</math>.
:<math> \dim_{\mathbb R}V^+ = \dim_{\mathbb R}V^- = \dim_{\mathbb C}V\,</math>.


पहला कारक <math>V^+\,</math>को <math>V_{\mathbb{R}}\,</math> द्वारा भी निरूपित किया जाता है और <math>\sigma\,</math> द्वारा अपरिवर्तनीय छोड़ दिया गया है , अर्थात <math>\sigma(V_{\mathbb{R}})\subset V_{\mathbb{R}}\,</math>. दूसरा कारक <math>V^-\,</math> है सामान्यतः <math>iV_{\mathbb{R}}\,</math> द्वारा निरूपित किया जाता है, सीधा योग <math>V=V^{+}\oplus V^{-}\,</math> अब इस प्रकार पढ़ता है:
पहला कारक <math>V^+\,</math>को <math>V_{\mathbb{R}}\,</math> द्वारा भी निरूपित किया जाता है और <math>\sigma\,</math> द्वारा अपरिवर्तनीय छोड़ दिया गया है , अर्थात <math>\sigma(V_{\mathbb{R}})\subset V_{\mathbb{R}}\,</math>. दूसरा कारक <math>V^-\,</math> है सामान्यतः <math>iV_{\mathbb{R}}\,</math> द्वारा निरूपित किया जाता है, सीधा योग <math>V=V^{+}\oplus V^{-}\,</math> अब इस प्रकार पढ़ता है:


:<math>V=V_{\mathbb{R}} \oplus iV_{\mathbb{R}}\,</math>,
:<math>V=V_{\mathbb{R}} \oplus iV_{\mathbb{R}}\,</math>,


अर्थात वास्तविक <math>V_{\mathbb{R}}\,</math> और काल्पनिक <math>iV_{\mathbb{R}}\,</math> V के भाग के प्रत्यक्ष योग के रूप में। यह निर्माण दृढ़ता से सम्मिश्र सदिश समष्टि V के प्रतिरेखीय समावेशन (गणित) के विकल्प पर निर्भर करता है। वास्तविक सदिश समष्टि <math>V_{\mathbb{R}}\,</math> की सम्मिश्रता , अर्थात <math>V^{\mathbb{C}}= V_{\mathbb R} \otimes_{\mathbb{R}} \mathbb{C}\,</math> प्राकृतिक वास्तविक संरचना और इसलिए इसकी दो प्रतियों <math>V_{\mathbb R}\,</math> के प्रत्यक्ष योग के लिए विहित रूप से आइसोमोर्फिक है।,
अर्थात वास्तविक <math>V_{\mathbb{R}}\,</math> और काल्पनिक <math>iV_{\mathbb{R}}\,</math> V के भाग के प्रत्यक्ष योग के रूप में। यह निर्माण दृढ़ता से सम्मिश्र सदिश समष्टि V के प्रतिरेखीय समावेशन (गणित) के विकल्प पर निर्भर करता है। वास्तविक सदिश समष्टि <math>V_{\mathbb{R}}\,</math> की सम्मिश्रता , अर्थात <math>V^{\mathbb{C}}= V_{\mathbb R} \otimes_{\mathbb{R}} \mathbb{C}\,</math> प्राकृतिक वास्तविक संरचना और इसलिए इसकी दो प्रतियों <math>V_{\mathbb R}\,</math> के प्रत्यक्ष योग के लिए विहित रूप से आइसोमोर्फिक है।,
:<math>V_{\mathbb R} \otimes_{\mathbb{R}} \mathbb{C}= V_{\mathbb{R}} \oplus iV_{\mathbb{R}}\,</math>.
:<math>V_{\mathbb R} \otimes_{\mathbb{R}} \mathbb{C}= V_{\mathbb{R}} \oplus iV_{\mathbb{R}}\,</math>.


यह किसी दी गई वास्तविक संरचना के साथ सम्मिश्र सदिश समष्टियो के मध्य प्राकृतिक रैखिक समरूपता <math> V_{\mathbb R} \otimes_{\mathbb{R}} \mathbb{C} \to V\,</math> का अनुसरण करता है।
यह किसी दी गई वास्तविक संरचना के साथ सम्मिश्र सदिश समष्टियो के मध्य प्राकृतिक रैखिक समरूपता <math> V_{\mathbb R} \otimes_{\mathbb{R}} \mathbb{C} \to V\,</math> का अनुसरण करता है।


सम्मिश्र सदिश समष्टि ''V'' पर वास्तविक संरचना, जो एंटीलीनियर इनवोलुशन <math>\sigma: V \to V\,</math> है , रैखिक मानचित्र के संदर्भ में समान रूप से वर्णित किया जा सकता है।<math>\hat \sigma:V\to\bar V\,</math> सदिश समष्टि से <math>V\,</math> सम्मिश्र संयुग्मी सदिश समष्टि के लिए <math>\bar V\,</math> द्वारा परिभाषित है।
सम्मिश्र सदिश समष्टि ''V'' पर वास्तविक संरचना, जो प्रतिरेखीय समावेशन <math>\sigma: V \to V\,</math> है , रैखिक मानचित्र के संदर्भ में समान रूप से वर्णित किया जा सकता है।<math>\hat \sigma:V\to\bar V\,</math> सदिश समष्टि से <math>V\,</math> सम्मिश्र संयुग्मी सदिश समष्टि के लिए <math>\bar V\,</math> द्वारा परिभाषित है।


:<math>v \mapsto \hat\sigma (v):=\overline{\sigma(v)}\,</math>.<ref>Budinich, P. and Trautman, A. ''The Spinorial Chessboard''. Springer-Verlag, 1988, p. 29.</ref>
:<math>v \mapsto \hat\sigma (v):=\overline{\sigma(v)}\,</math>.<ref>Budinich, P. and Trautman, A. ''The Spinorial Chessboard''. Springer-Verlag, 1988, p. 29.</ref>
Line 41: Line 41:


==[[बीजगणितीय विविधता]]==
==[[बीजगणितीय विविधता]]==
[[वास्तविक संख्या]]ओं के [[फ़ील्ड विस्तार|उपक्षेत्र]] पर परिभाषित बीजगणितीय विविधता के लिए, वास्तविक संरचना सम्मिश्र प्रक्षेप्य या एफ़िन समष्टि में विविधता के बिंदुओं पर कार्य करने वाला सम्मिश्र संयुग्मन है। इसका निश्चित समष्टि विविधता के वास्तविक बिंदुओं का समष्टि है (जो खाली हो सकता है)।
[[वास्तविक संख्या]]ओं के [[फ़ील्ड विस्तार|उपक्षेत्र]] पर परिभाषित बीजगणितीय विविधता के लिए, वास्तविक संरचना सम्मिश्र प्रक्षेप्य या एफ़िन समष्टि में विविधता के बिंदुओं पर कार्य करने वाला सम्मिश्र संयुग्मन है। इस प्रकार इसका निश्चित समष्टि विविधता के वास्तविक बिंदुओं का समष्टि है (जो खाली हो सकता है)।


==योजना==
==योजना==
वास्तविक संख्याओं के उपक्षेत्र पर परिभाषित योजना के लिए, सम्मिश्र संयुग्मन स्वाभाविक रूप से आधार क्षेत्र के [[बीजगणितीय समापन]] के गैलोज़ समूह का सदस्य है। वास्तविक संरचना आधार क्षेत्र के बीजगणितीय समापन पर योजना के विस्तार पर इस संयुग्मन की गैलोज़ क्रिया है । वास्तविक बिंदु वे बिंदु हैं जिनका अवशेष क्षेत्र निश्चित है (जो खाली हो सकता है)।
इस प्रकार वास्तविक संख्याओं के उपक्षेत्र पर परिभाषित योजना के लिए, सम्मिश्र संयुग्मन स्वाभाविक रूप से आधार क्षेत्र के [[बीजगणितीय समापन]] के गैलोज़ समूह का सदस्य है। वास्तविक संरचना आधार क्षेत्र के बीजगणितीय समापन पर योजना के विस्तार पर इस संयुग्मन की गैलोज़ क्रिया है । इस प्रकार वास्तविक बिंदु वह बिंदु हैं जिनका अवशेष क्षेत्र निश्चित है (जो खाली हो सकता है)।


==वास्तविकता संरचना==
==वास्तविकता संरचना==
Line 60: Line 60:
:<math>\overline{\overline v} = v,\quad \overline{v + w} = \overline{v} + \overline{w},\quad\text{and}\quad
:<math>\overline{\overline v} = v,\quad \overline{v + w} = \overline{v} + \overline{w},\quad\text{and}\quad
\overline{\alpha v} = \overline\alpha \, \overline{v}.</math>
\overline{\alpha v} = \overline\alpha \, \overline{v}.</math>
इसके विपरीत, सम्मिश्र सदिश समष्टि V पर, <math>v \mapsto c(v)</math> दिया गया है। इस प्रकार V पर वास्तविकता संरचना को निम्नानुसार परिभाषित करना संभव है। मान लीजिए
इसके विपरीत, सम्मिश्र सदिश समष्टि V पर, <math>v \mapsto c(v)</math> दिया गया है। इस प्रकार V पर वास्तविकता संरचना को निम्नानुसार परिभाषित करना संभव है। मान लीजिए


:<math>\operatorname{Re}\{v\}=\frac{1}{2}\left(v + c(v)\right),</math>
:<math>\operatorname{Re}\{v\}=\frac{1}{2}\left(v + c(v)\right),</math>
Line 67: Line 67:
तब
तब
:<math>V = V_\mathbb{R} \oplus i V_\mathbb{R}.</math>
:<math>V = V_\mathbb{R} \oplus i V_\mathbb{R}.</math>
यह वास्तव में वास्तविक रैखिक संचालिका c के [[eigenspace|एगेनस्पेस]] के रूप में V का अपघटन है। इस प्रकार c के एगेनवैल्यू औरएगेनस्पेस ​​क्रमशः V<sub>'''R'''</sub> और <math>i</math> V<sub>'''R'''</sub> के साथ +1 और −1 हैं।। सामान्यतः, ऑपरेटर c को, ईजेनस्पेस अपघटन के अतिरिक्त, V पर 'वास्तविकता संरचना' के रूप में जाना जाता है।
यह वास्तव में वास्तविक रैखिक संचालिका c के [[eigenspace|एगेनस्पेस]] के रूप में V का अपघटन है। इस प्रकार c के एगेनवैल्यू औरएगेनस्पेस ​​क्रमशः V<sub>'''R'''</sub> और <math>i</math> V<sub>'''R'''</sub> के साथ +1 और −1 हैं।। सामान्यतः, ऑपरेटर c को, ईजेनस्पेस अपघटन के अतिरिक्त, V पर 'वास्तविकता संरचना' के रूप में जाना जाता है।


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

Revision as of 18:31, 4 October 2023

गणित में, एक सम्मिश्र सदिश समष्टि पर वास्तविक संरचना, सम्मिश्र सदिश समष्टि को दो वास्तविक सदिश समष्टि के प्रत्यक्ष योग में विघटित करने की एक विधि है। इस प्रकार ऐसी संरचना का प्रोटोटाइप स्वयं सम्मिश्र संख्याओं का क्षेत्र है, जिसे स्वयं पर एक सम्मिश्र सदिश समष्टि माना जाता है और संयुग्मन मानचित्र , के साथ , जो कि पर "कैनोनिकल" वास्तविक संरचना देता है, अर्थात

संयुग्मन मानचित्र प्रतिरेखीय और है:

सदिश समष्टि

सम्मिश्र सदिश समष्टि V पर वास्तविक संरचना प्रतिरेखीय समावेशन (गणित) है। इस प्रकार वास्तविक संरचना वास्तविक उप-समष्टि , इसके निश्चित समष्टि और प्राकृतिक मानचित्र को परिभाषित करती है

एक समरूपता है इसके विपरीत कोई भी सदिश समष्टि जो वास्तविक सदिश समष्टि का सम्मिश्र है उसकी एक प्राकृतिक वास्तविक संरचना होती है।

पहला नोट यह है कि प्रत्येक सम्मिश्र समष्टि V में मूल समुच्चय के समान सदिश और अदिश के प्रतिबंध को वास्तविक मानकर प्राप्ति प्राप्त की जाती है। यदि और फिर सदिश और V की प्राप्ति में रैखिक स्वतंत्रता हैं। इसलिए:

स्वाभाविक रूप से, कोई V को दो वास्तविक सदिश समष्टियो, V के वास्तविक और काल्पनिक भागों के प्रत्यक्ष योग के रूप में प्रस्तुत करना चाहेगा। ऐसा करने का कोई विहित विधि नहीं है: इस प्रकार का विभाजन V में अतिरिक्त 'वास्तविक संरचना' है। इस प्रकार इसे निम्नानुसार प्रस्तुत किया जा सकता है।[1] मान लीजिए कि ऐसा प्रतिरेखीय मानचित्र है जैसे कि सम्मिश्र समष्टि V का प्रतिरेखीय समावेशन है।

कोई भी सदिश , लिखा जा सकता है, जहां और

इसलिए, किसी को सदिश समष्टियो का सीधा योग प्राप्त होता है जहाँ:

और .

दोनों समुच्चय और वास्तविक सदिश समष्टि हैं। रेखीय मानचित्र , जहाँ , वास्तविक सदिश समष्टियो की समरूपता है, जहां से:

.

पहला कारक को द्वारा भी निरूपित किया जाता है और द्वारा अपरिवर्तनीय छोड़ दिया गया है , अर्थात . दूसरा कारक है सामान्यतः द्वारा निरूपित किया जाता है, सीधा योग अब इस प्रकार पढ़ता है:

,

अर्थात वास्तविक और काल्पनिक V के भाग के प्रत्यक्ष योग के रूप में। यह निर्माण दृढ़ता से सम्मिश्र सदिश समष्टि V के प्रतिरेखीय समावेशन (गणित) के विकल्प पर निर्भर करता है। वास्तविक सदिश समष्टि की सम्मिश्रता , अर्थात प्राकृतिक वास्तविक संरचना और इसलिए इसकी दो प्रतियों के प्रत्यक्ष योग के लिए विहित रूप से आइसोमोर्फिक है।,

.

यह किसी दी गई वास्तविक संरचना के साथ सम्मिश्र सदिश समष्टियो के मध्य प्राकृतिक रैखिक समरूपता का अनुसरण करता है।

सम्मिश्र सदिश समष्टि V पर वास्तविक संरचना, जो प्रतिरेखीय समावेशन है , रैखिक मानचित्र के संदर्भ में समान रूप से वर्णित किया जा सकता है। सदिश समष्टि से सम्मिश्र संयुग्मी सदिश समष्टि के लिए द्वारा परिभाषित है।

.[2]


बीजगणितीय विविधता

वास्तविक संख्याओं के उपक्षेत्र पर परिभाषित बीजगणितीय विविधता के लिए, वास्तविक संरचना सम्मिश्र प्रक्षेप्य या एफ़िन समष्टि में विविधता के बिंदुओं पर कार्य करने वाला सम्मिश्र संयुग्मन है। इस प्रकार इसका निश्चित समष्टि विविधता के वास्तविक बिंदुओं का समष्टि है (जो खाली हो सकता है)।

योजना

इस प्रकार वास्तविक संख्याओं के उपक्षेत्र पर परिभाषित योजना के लिए, सम्मिश्र संयुग्मन स्वाभाविक रूप से आधार क्षेत्र के बीजगणितीय समापन के गैलोज़ समूह का सदस्य है। वास्तविक संरचना आधार क्षेत्र के बीजगणितीय समापन पर योजना के विस्तार पर इस संयुग्मन की गैलोज़ क्रिया है । इस प्रकार वास्तविक बिंदु वह बिंदु हैं जिनका अवशेष क्षेत्र निश्चित है (जो खाली हो सकता है)।

वास्तविकता संरचना

गणित में, सम्मिश्र सदिश समष्टि V पर वास्तविकता संरचना V का दो वास्तविक उप-समष्टियो में अपघटन है, जिसे V का वास्तविक भाग और काल्पनिक भाग कहा जाता है:

यहां VR V का वास्तविक उपसमष्टि है, अर्थात V का उपसमष्टि वास्तविक संख्याओं पर सदिश समष्टि के रूप में माना जाता है। यदि V का सम्मिश्र आयाम n (वास्तविक आयाम 2n) है, तो VR वास्तविक आयाम n होना चाहिए।

सदिश समष्टि पर 'मानक वास्तविकता संरचना' विघटन है

वास्तविकता संरचना की उपस्थिति में, V में प्रत्येक सदिश का वास्तविक भाग और काल्पनिक भाग होता है, जिनमें से प्रत्येक VR में सदिश होता है:

इस स्थिति में, सदिश v के सम्मिश्र संयुग्म को निम्नानुसार परिभाषित किया गया है:

यह मानचित्र प्रतिरेखीय समावेशन (गणित) है, अर्थात।

इसके विपरीत, सम्मिश्र सदिश समष्टि V पर, दिया गया है। इस प्रकार V पर वास्तविकता संरचना को निम्नानुसार परिभाषित करना संभव है। मान लीजिए

और परिभाषित करें

तब

यह वास्तव में वास्तविक रैखिक संचालिका c के एगेनस्पेस के रूप में V का अपघटन है। इस प्रकार c के एगेनवैल्यू औरएगेनस्पेस ​​क्रमशः VR और VR के साथ +1 और −1 हैं।। सामान्यतः, ऑपरेटर c को, ईजेनस्पेस अपघटन के अतिरिक्त, V पर 'वास्तविकता संरचना' के रूप में जाना जाता है।

यह भी देखें

टिप्पणियाँ

  1. Budinich, P. and Trautman, A. The Spinorial Chessboard. Springer-Verlag, 1988, p. 29.
  2. Budinich, P. and Trautman, A. The Spinorial Chessboard. Springer-Verlag, 1988, p. 29.


संदर्भ

  • Horn and Johnson, Matrix Analysis, Cambridge University Press, 1985. ISBN 0-521-38632-2. (antilinear maps are discussed in section 4.6).
  • Budinich, P. and Trautman, A. The Spinorial Chessboard. Springer-Verlag, 1988. ISBN 0-387-19078-3. (antilinear maps are discussed in section 3.3).
  • Penrose, Roger; Rindler, Wolfgang (1986), Spinors and space-time. Vol. 2, Cambridge Monographs on Mathematical Physics, Cambridge University Press, ISBN 978-0-521-25267-6, MR 0838301