सम्मिश्रता: Difference between revisions
No edit summary |
No edit summary |
||
Line 18: | Line 18: | ||
== मूल गुण == | == मूल गुण == | ||
टेंसर उत्पाद की प्रकृति से, | टेंसर उत्पाद की प्रकृति से, {{math|''V''{{i sup|'''C'''}}}} में प्रत्येक वेक्टर {{math|''v''}} को विशिष्ट रूप से | ||
:<math>v = v_1\otimes 1 + v_2\otimes i</math> | :<math>v = v_1\otimes 1 + v_2\otimes i</math> | ||
के रूप में लिखा जा सकता है जहां {{math|''v''<sub>1</sub>}} और {{math|''v''<sub>2</sub>}} {{math|''V''}} में सदिश हैं। टेंसर उत्पाद प्रतीक को छोड़ना और लिखना सामान्य बात है | |||
:<math>v = v_1 + iv_2.\,</math> | :<math>v = v_1 + iv_2.\,</math> | ||
सम्मिश्र संख्या से गुणा {{math|''a'' + ''i b''}} तब सामान्य नियम द्वारा दिया जाता है | सम्मिश्र संख्या से गुणा {{math|''a'' + ''i b''}} तब सामान्य नियम द्वारा दिया जाता है | ||
:<math>(a+ib)(v_1 + iv_2) = (av_1 - bv_2) + i(bv_1 + av_2).\,</math> | :<math>(a+ib)(v_1 + iv_2) = (av_1 - bv_2) + i(bv_1 + av_2).\,</math> | ||
हम | इसके बाद हम {{math|''V''{{i sup|'''C'''}}}} को {{math|''V''}}: | ||
:<math>V^{\Complex} \cong V \oplus i V</math> | :<math>V^{\Complex} \cong V \oplus i V</math> | ||
की दो प्रतियों के प्रत्यक्ष योग के रूप में जटिल संख्याओं से गुणा करने के उपरोक्त नियम के साथ मान सकते हैं। | |||
<math>v\mapsto v\otimes 1</math> द्वारा दिए गए {{math|''V''{{i sup|'''C'''}}}} में {{math|''V''}} का एक प्राकृतिक एम्बेडिंग है। | |||
वेक्टर स्थान {{math|''V''}} को तब | वेक्टर स्थान {{math|''V''}} को तब {{math|''V''{{i sup|'''C'''}}}} की वास्तविक रैखिक उपसमष्टि के रूप में माना जा सकता है। यदि {{math|''V''}} का आधार {{math|{{mset| ''e''<sub>''i''</sub> }}}} (क्षेत्र {{math|'''R'''}} पर) है तो {{math|''V''{{i sup|'''C'''}}}} के लिए संबंधित आधार क्षेत्र {{math|'''C'''}} पर {{math|{ ''e''<sub>''i''</sub> ⊗ 1 } }}द्वारा दिया जाता है। इसलिए {{math|''V''{{i sup|'''C'''}}}} का जटिल [[आयाम (रैखिक बीजगणित)]] {{math|''V''}} के वास्तविक आयाम के बराबर है: | ||
:<math>\dim_{\Complex} V^{\Complex} = \dim_{\R} V.</math> | :<math>\dim_{\Complex} V^{\Complex} = \dim_{\R} V.</math> | ||
वैकल्पिक रूप से, टेंसर उत्पादों का उपयोग करने के | वैकल्पिक रूप से, टेंसर उत्पादों का उपयोग करने के अतिरिक्त, इस प्रत्यक्ष योग का उपयोग जटिलता की परिभाषा के रूप में किया जा सकता है: | ||
:<math>V^{\Complex} := V \oplus V,</math> | :<math>V^{\Complex} := V \oplus V,</math> | ||
जहाँ <math>V^{\Complex}</math> ऑपरेटर द्वारा [[रैखिक जटिल संरचना]] दी जाती है {{math|''J''}} के रूप में परिभाषित <math>J(v,w) := (-w,v),</math> जहाँ {{math|''J''}} "द्वारा गुणन" के संचालन को कूटबद्ध करता है {{mvar|i}}”। मैट्रिक्स रूप में, {{math|''J''}} द्वारा दिया गया है: | |||
:<math>J = \begin{bmatrix}0 & -I_V \\ I_V & 0\end{bmatrix}.</math> | :<math>J = \begin{bmatrix}0 & -I_V \\ I_V & 0\end{bmatrix}.</math> | ||
यह समान स्थान उत्पन्न करता है - रैखिक जटिल संरचना वाला वास्तविक वेक्टर स्थान जटिल वेक्टर स्थान के समान डेटा है - हालांकि यह अंतरिक्ष को अलग तरीके से बनाता है। इसलिए, <math>V^{\Complex}</math> रूप में लिखा जा सकता है <math>V \oplus JV</math> या <math>V \oplus i V,</math> की पहचान {{math|''V''}} पहले सीधे योग के साथ। यह दृष्टिकोण अधिक ठोस है, और इसमें तकनीकी रूप से सम्मिलित टेंसर उत्पाद के उपयोग से बचने का लाभ है, लेकिन यह तदर्थ है। | यह समान स्थान उत्पन्न करता है - रैखिक जटिल संरचना वाला वास्तविक वेक्टर स्थान जटिल वेक्टर स्थान के समान डेटा है - हालांकि यह अंतरिक्ष को अलग तरीके से बनाता है। इसलिए, <math>V^{\Complex}</math> रूप में लिखा जा सकता है <math>V \oplus JV</math> या <math>V \oplus i V,</math> की पहचान {{math|''V''}} पहले सीधे योग के साथ। यह दृष्टिकोण अधिक ठोस है, और इसमें तकनीकी रूप से सम्मिलित टेंसर उत्पाद के उपयोग से बचने का लाभ है, लेकिन यह तदर्थ है। | ||
Line 48: | Line 48: | ||
:<math>w z = (a,b) \times (c,d) = (ac\ - \ d^*b,\ da \ + \ b c^*).</math> | :<math>w z = (a,b) \times (c,d) = (ac\ - \ d^*b,\ da \ + \ b c^*).</math> | ||
अंत में, दोगुने सेट को मानदंड दिया जाता है {{math|1=''N''(''z'') = ''z* z''}}. से शुरू करते समय {{math|'''R'''}} पहचान सम्मिलित होने के साथ, दोगुना सेट है {{math|'''C'''}} मानदंड के साथ {{math|''a''<sup>2</sup> + ''b''<sup>2</sup>}}. | अंत में, दोगुने सेट को मानदंड दिया जाता है {{math|1=''N''(''z'') = ''z* z''}}. से शुरू करते समय {{math|'''R'''}} पहचान सम्मिलित होने के साथ, दोगुना सेट है {{math|'''C'''}} मानदंड के साथ {{math|''a''<sup>2</sup> + ''b''<sup>2</sup>}}. | ||
यदि कोई दोगुना हो जाता है {{math|'''C'''}}, और संयुग्मन (ए, बी) * = (ए *, -बी) का उपयोग करता है, निर्माण उपज चतुष्कोणीय है। दोहरीकरण फिर से [[ऑक्टोनियन]] पैदा करता है, जिसे केली नंबर भी कहा जाता है। यह इस बिंदु पर था कि 1919 में डिक्सन ने बीजगणितीय संरचना को उजागर करने में योगदान दिया। | |||
प्रक्रिया भी शुरू की जा सकती है {{math|'''C'''}} और तुच्छ समावेशन {{math|1=''z''* = ''z''}}. उत्पादित मानदंड बस है {{math|''z''<sup>2</sup>}}, की पीढ़ी के विपरीत {{math|'''C'''}} दोगुना करके {{math|'''R'''}}. जब यह {{math|'''C'''}} को दुगुना करने पर यह [[द्विजटिल संख्या|द्विसम्मिश्र संख्या]] उत्पन्न करता है, और दुगना करने से द्विचतुर्भुज संख्याएँ उत्पन्न होती हैं, और दुगनी करने पर फिर से द्विकणात्मक संख्याएँ उत्पन्न होती हैं। जब आधार बीजगणित साहचर्य होता है, तो इस केली-डिक्सन निर्माण द्वारा निर्मित बीजगणित को [[रचना बीजगणित]] कहा जाता है क्योंकि यह दिखाया जा सकता है कि इसमें संपत्ति है | प्रक्रिया भी शुरू की जा सकती है {{math|'''C'''}} और तुच्छ समावेशन {{math|1=''z''* = ''z''}}. उत्पादित मानदंड बस है {{math|''z''<sup>2</sup>}}, की पीढ़ी के विपरीत {{math|'''C'''}} दोगुना करके {{math|'''R'''}}. जब यह {{math|'''C'''}} को दुगुना करने पर यह [[द्विजटिल संख्या|द्विसम्मिश्र संख्या]] उत्पन्न करता है, और दुगना करने से द्विचतुर्भुज संख्याएँ उत्पन्न होती हैं, और दुगनी करने पर फिर से द्विकणात्मक संख्याएँ उत्पन्न होती हैं। जब आधार बीजगणित साहचर्य होता है, तो इस केली-डिक्सन निर्माण द्वारा निर्मित बीजगणित को [[रचना बीजगणित]] कहा जाता है क्योंकि यह दिखाया जा सकता है कि इसमें संपत्ति है | ||
Line 80: | Line 80: | ||
[[श्रेणी सिद्धांत]] की भाषा में कोई कहता है कि जटिल [[वेक्टर रिक्त स्थान की श्रेणी]] से जटिल वेक्टर रिक्त स्थान की श्रेणी में ([[योगात्मक कारक]]) फ़ंक्टर को परिभाषित करता है। | [[श्रेणी सिद्धांत]] की भाषा में कोई कहता है कि जटिल [[वेक्टर रिक्त स्थान की श्रेणी]] से जटिल वेक्टर रिक्त स्थान की श्रेणी में ([[योगात्मक कारक]]) फ़ंक्टर को परिभाषित करता है। | ||
वो नक्शा {{math|''f''{{i sup|'''C'''}}}} संयुग्मन के साथ संचार करता है और इसलिए V के वास्तविक उप-क्षेत्र को मैप करता है{{i sup|'''C'''}} के वास्तविक उप-स्थान पर {{math|''W''{{i sup|'''C'''}}}} (नक्शे के माध्यम से {{math|''f''}}). इसके अलावा, जटिल रैखिक नक्शा {{math|''g'' : ''V''{{i sup|'''C'''}} → ''W''{{i sup|'''C'''}}}} वास्तविक रेखीय मानचित्र की जटिलता है | वो नक्शा {{math|''f''{{i sup|'''C'''}}}} संयुग्मन के साथ संचार करता है और इसलिए V के वास्तविक उप-क्षेत्र को मैप करता है{{i sup|'''C'''}} के वास्तविक उप-स्थान पर {{math|''W''{{i sup|'''C'''}}}} (नक्शे के माध्यम से {{math|''f''}}). इसके अलावा, जटिल रैखिक नक्शा {{math|''g'' : ''V''{{i sup|'''C'''}} → ''W''{{i sup|'''C'''}}}} वास्तविक रेखीय मानचित्र की जटिलता है यदि और केवल यदि यह संयुग्मन के साथ शुरू होता है। | ||
उदाहरण के रूप से रैखिक परिवर्तन पर विचार करें {{math|'''R'''<sup>''n''</sup>}} को {{math|'''R'''<sup>''m''</sup>}} के रूप में सोचा {{math|''m''×''n''}} मैट्रिक्स (गणित)। उस परिवर्तन की जटिलता बिल्कुल ही मैट्रिक्स है, लेकिन अब इसे रेखीय मानचित्र के रूप में माना जाता है {{math|'''C'''<sup>''n''</sup>}} को {{math|'''C'''<sup>''m''</sup>}}. | उदाहरण के रूप से रैखिक परिवर्तन पर विचार करें {{math|'''R'''<sup>''n''</sup>}} को {{math|'''R'''<sup>''m''</sup>}} के रूप में सोचा {{math|''m''×''n''}} मैट्रिक्स (गणित)। उस परिवर्तन की जटिलता बिल्कुल ही मैट्रिक्स है, लेकिन अब इसे रेखीय मानचित्र के रूप में माना जाता है {{math|'''C'''<sup>''n''</sup>}} को {{math|'''C'''<sup>''m''</sup>}}. | ||
Line 90: | Line 90: | ||
समरूपता किसके द्वारा दी जाती है | समरूपता किसके द्वारा दी जाती है | ||
<math display=block>(\varphi_1\otimes 1 + \varphi_2\otimes i) \leftrightarrow \varphi_1 + i \varphi_2</math> | <math display=block>(\varphi_1\otimes 1 + \varphi_2\otimes i) \leftrightarrow \varphi_1 + i \varphi_2</math> | ||
जहाँ {{math|''φ''<sub>1</sub>}} और {{math|''φ''<sub>2</sub>}} के तत्व हैं {{math|''V''*}}. जटिल संयुग्मन तब सामान्य ऑपरेशन द्वारा दिया जाता है | |||
<math display=block>\overline{\varphi_1 + i\varphi_2} = \varphi_1 - i \varphi_2.</math> | <math display=block>\overline{\varphi_1 + i\varphi_2} = \varphi_1 - i \varphi_2.</math> | ||
वास्तविक रेखीय नक्शा दिया {{math|''φ'' : ''V'' → '''C'''}} हम जटिल रेखीय मानचित्र प्राप्त करने के लिए रैखिकता द्वारा विस्तार कर सकते हैं {{math|''φ'' : ''V''{{i sup|'''C'''}} → '''C'''}}. वह है, | वास्तविक रेखीय नक्शा दिया {{math|''φ'' : ''V'' → '''C'''}} हम जटिल रेखीय मानचित्र प्राप्त करने के लिए रैखिकता द्वारा विस्तार कर सकते हैं {{math|''φ'' : ''V''{{i sup|'''C'''}} → '''C'''}}. वह है, |
Revision as of 07:36, 24 April 2023
गणित में वास्तविक संख्या (एक "वास्तविक सदिश स्थान") के क्षेत्र में सदिश स्थान V का जटिलीकरण सम्मिश्र संख्या क्षेत्र (गणित) पर एक सदिश स्थान VC उत्पन्न करता है, जो औपचारिक रूप से सम्मिश्र संख्याओं द्वारा उनके स्केलिंग (गुणन) को सम्मिलित करने के लिए वास्तविक संख्याओं द्वारा सदिशों के स्केलिंग का विस्तार करके प्राप्त किया जाता है। V के लिए कोई आधार (रैखिक बीजगणित) (वास्तविक संख्याओं पर एक स्थान) सम्मिश्र संख्याओं पर VC के आधार के रूप में भी काम कर सकता है।
औपचारिक परिभाषा
मान लीजिए कि एक वास्तविक सदिश समष्टि है। V की जटिलता को जटिल संख्याओं (वास्तविकताओं पर 2-आयामी वेक्टर स्पेस के रूप में माना जाता है) के साथ के टेंसर उत्पाद को ले कर परिभाषित किया गया है:
टेंसर उत्पाद पर सबस्क्रिप्ट, निरुपित करता है कि टेंसर उत्पाद को वास्तविक संख्याओं (चूंकि वास्तविक सदिश स्थान है वैसे भी यह एकमात्र समझदार विकल्प है, इसलिए सबस्क्रिप्ट को सुरक्षित रूप से छोड़ा जा सकता है) पर ले लिया गया है। जैसा यह प्रतीक होता है, केवल वास्तविक सदिश स्थान है। चूँकि, हम जटिल गुणन को निम्नानुसार परिभाषित करके को एक जटिल सदिश स्थान बना सकते हैं:
सामान्यतः, जटिलीकरण अदिशों के विस्तार का उदाहरण है - जो अदिशों को वास्तविक संख्याओं से सम्मिश्र संख्याओं तक विस्तारित करता है - जो कि किसी भी क्षेत्र विस्तार के लिए किया जा सकता है, या वास्तव में वलयों के किसी भी आकारिकी के लिए किया जा सकता है।
औपचारिक रूप से, जटिलता वास्तविक वेक्टर रिक्त स्थान की श्रेणी से जटिल वेक्टर रिक्त स्थान की श्रेणी में एक कार्यात्मक VectR → VectC है। यह आसन्न फ़ैक्टर है - विशेष रूप से बाएं आसन्न - फॉरगेटफुल फ़ैक्टर VectC → VectR के लिए जो जटिल संरचना को भूल जाता है।
एक जटिल सदिश स्थान की जटिल संरचना को भूल जाने को विसंकुलीकरण (या कभी-कभी "प्राप्ति") कहा जाता है। आधार के साथ एक जटिल सदिश स्थान का अपघटन, अदिशों के जटिल गुणन की संभावना को हटा देता है, इस प्रकार आधार के साथ दो बार आयाम का एक वास्तविक सदिश स्थान उत्पन्न करता है।[1]
मूल गुण
टेंसर उत्पाद की प्रकृति से, VC में प्रत्येक वेक्टर v को विशिष्ट रूप से
के रूप में लिखा जा सकता है जहां v1 और v2 V में सदिश हैं। टेंसर उत्पाद प्रतीक को छोड़ना और लिखना सामान्य बात है
सम्मिश्र संख्या से गुणा a + i b तब सामान्य नियम द्वारा दिया जाता है
इसके बाद हम VC को V:
की दो प्रतियों के प्रत्यक्ष योग के रूप में जटिल संख्याओं से गुणा करने के उपरोक्त नियम के साथ मान सकते हैं।
द्वारा दिए गए VC में V का एक प्राकृतिक एम्बेडिंग है।
वेक्टर स्थान V को तब VC की वास्तविक रैखिक उपसमष्टि के रूप में माना जा सकता है। यदि V का आधार { ei } (क्षेत्र R पर) है तो VC के लिए संबंधित आधार क्षेत्र C पर { ei ⊗ 1 } द्वारा दिया जाता है। इसलिए VC का जटिल आयाम (रैखिक बीजगणित) V के वास्तविक आयाम के बराबर है:
वैकल्पिक रूप से, टेंसर उत्पादों का उपयोग करने के अतिरिक्त, इस प्रत्यक्ष योग का उपयोग जटिलता की परिभाषा के रूप में किया जा सकता है:
जहाँ ऑपरेटर द्वारा रैखिक जटिल संरचना दी जाती है J के रूप में परिभाषित जहाँ J "द्वारा गुणन" के संचालन को कूटबद्ध करता है i”। मैट्रिक्स रूप में, J द्वारा दिया गया है:
यह समान स्थान उत्पन्न करता है - रैखिक जटिल संरचना वाला वास्तविक वेक्टर स्थान जटिल वेक्टर स्थान के समान डेटा है - हालांकि यह अंतरिक्ष को अलग तरीके से बनाता है। इसलिए, रूप में लिखा जा सकता है या की पहचान V पहले सीधे योग के साथ। यह दृष्टिकोण अधिक ठोस है, और इसमें तकनीकी रूप से सम्मिलित टेंसर उत्पाद के उपयोग से बचने का लाभ है, लेकिन यह तदर्थ है।
उदाहरण
- वास्तविक समन्वय स्थान की जटिलता Rn जटिल समन्वय स्थान है Cn.
- इसी प्रकार यदि V के होते हैं m×n मैट्रिक्स (गणित) वास्तविक प्रविष्टियों के साथ, VC से मिलकर बनेगा m×n जटिल प्रविष्टियों के साथ matrices।
डिकसन दोहरीकरण
से हटकर जटिलता की प्रक्रिया R को C लियोनार्ड डिक्सन सहित बीसवीं सदी के गणितज्ञों द्वारा अमूर्त किया गया था। पहचान मानचित्रण के उपयोग से शुरू होता है x* = x तुच्छ समावेशन (गणित) के रूप में R. R की अगली दो प्रतियाँ बनाने के लिए उपयोग की जाती हैं z = (a , b) इनवोल्यूशन के रूप में पेश किए गए जटिल संयुग्मन के साथ z* = (a, −b). दो तत्व w और z दोगुने सेट में से गुणा करें
अंत में, दोगुने सेट को मानदंड दिया जाता है N(z) = z* z. से शुरू करते समय R पहचान सम्मिलित होने के साथ, दोगुना सेट है C मानदंड के साथ a2 + b2. यदि कोई दोगुना हो जाता है C, और संयुग्मन (ए, बी) * = (ए *, -बी) का उपयोग करता है, निर्माण उपज चतुष्कोणीय है। दोहरीकरण फिर से ऑक्टोनियन पैदा करता है, जिसे केली नंबर भी कहा जाता है। यह इस बिंदु पर था कि 1919 में डिक्सन ने बीजगणितीय संरचना को उजागर करने में योगदान दिया।
प्रक्रिया भी शुरू की जा सकती है C और तुच्छ समावेशन z* = z. उत्पादित मानदंड बस है z2, की पीढ़ी के विपरीत C दोगुना करके R. जब यह C को दुगुना करने पर यह द्विसम्मिश्र संख्या उत्पन्न करता है, और दुगना करने से द्विचतुर्भुज संख्याएँ उत्पन्न होती हैं, और दुगनी करने पर फिर से द्विकणात्मक संख्याएँ उत्पन्न होती हैं। जब आधार बीजगणित साहचर्य होता है, तो इस केली-डिक्सन निर्माण द्वारा निर्मित बीजगणित को रचना बीजगणित कहा जाता है क्योंकि यह दिखाया जा सकता है कि इसमें संपत्ति है
जटिल संयुग्मन
जटिल वेक्टर स्थान VC में सामान्य जटिल सदिश स्थान की तुलना में अधिक संरचना होती है। यह विहित रूप जटिल संयुग्मन मानचित्र के साथ आता है:
द्वारा परिभाषित
- वो नक्शा χ को या तो संयुग्म-रैखिक मानचित्र के रूप में माना जा सकता है VC खुद से या जटिल रेखीय समरूपता के रूप में VC इसके जटिल संयुग्मित सदिश स्थान के लिए .
इसके विपरीत, जटिल सदिश स्थान दिया गया है W जटिल संयुग्मन के साथ χ, W जटिलता के लिए जटिल सदिश स्थान के रूप में आइसोमॉर्फिक है VC वास्तविक उप-स्थान का
दूसरे शब्दों में, जटिल संयुग्मन के साथ सभी जटिल सदिश स्थान वास्तविक सदिश स्थान की जटिलता हैं।
उदाहरण के लिए, कब W = Cn मानक जटिल संयुग्मन के साथ
अपरिवर्तनीय उप-स्थान V केवल वास्तविक उपस्थान है Rn.
रैखिक परिवर्तन
वास्तविक रैखिक परिवर्तन को देखते हुए f : V → W दो वास्तविक वेक्टर रिक्त स्थान के बीच प्राकृतिक जटिल रैखिक परिवर्तन होता है
द्वारा दिए गए
वो नक्शा 'एफ' की जटिलता कहलाती है। रैखिक परिवर्तनों की जटिलता निम्नलिखित गुणों को संतुष्ट करती है
श्रेणी सिद्धांत की भाषा में कोई कहता है कि जटिल वेक्टर रिक्त स्थान की श्रेणी से जटिल वेक्टर रिक्त स्थान की श्रेणी में (योगात्मक कारक) फ़ंक्टर को परिभाषित करता है।
वो नक्शा fC संयुग्मन के साथ संचार करता है और इसलिए V के वास्तविक उप-क्षेत्र को मैप करता हैC के वास्तविक उप-स्थान पर WC (नक्शे के माध्यम से f). इसके अलावा, जटिल रैखिक नक्शा g : VC → WC वास्तविक रेखीय मानचित्र की जटिलता है यदि और केवल यदि यह संयुग्मन के साथ शुरू होता है।
उदाहरण के रूप से रैखिक परिवर्तन पर विचार करें Rn को Rm के रूप में सोचा m×n मैट्रिक्स (गणित)। उस परिवर्तन की जटिलता बिल्कुल ही मैट्रिक्स है, लेकिन अब इसे रेखीय मानचित्र के रूप में माना जाता है Cn को Cm.
दोहरे स्थान और टेंसर उत्पाद
वास्तविक सदिश स्थान का दोहरा स्थान V स्थान है V* सभी वास्तविक रेखीय मानचित्रों से V को R. की जटिलता V* स्वाभाविक रूप से सभी वास्तविक रैखिक मानचित्रों के स्थान के रूप में सोचा जा सकता है V को C (निरूपित HomR(V,C)). वह है,
यह भी देखें
- अदिशों का विस्तार - सामान्य प्रक्रिया
- रैखिक जटिल संरचना
- बेकर-कैंपबेल-हॉसडॉर्फ सूत्र
संदर्भ
- ↑ Kostrikin, Alexei I.; Manin, Yu I. (July 14, 1989). रेखीय बीजगणित और ज्यामिति. CRC Press. p. 75. ISBN 978-2881246838.
- Halmos, Paul (1974) [1958]. Finite-Dimensional Vector Spaces. Springer. p 41 and §77 Complexification, pp 150–153. ISBN 0-387-90093-4.
- Shaw, Ronald (1982). Linear Algebra and Group Representations. Vol. I: Linear Algebra and Introduction to Group Representations. Academic Press. p. 196. ISBN 0-12-639201-3.
- Roman, Steven (2005). Advanced Linear Algebra. Graduate Texts in Mathematics. Vol. 135 (2nd ed.). New York: Springer. ISBN 0-387-24766-1.