सम्मिश्रता

For एक वास्तविक लाइ समूह की जटिलता, see जटिलता (लाइ समूह).

गणित में वास्तविक संख्या (एक "वास्तविक सदिश स्थान") के क्षेत्र में सदिश स्थान V का जटिलीकरण सम्मिश्र संख्या क्षेत्र (गणित) पर एक सदिश स्थान V^C उत्पन्न करता है, जो औपचारिक रूप से सम्मिश्र संख्याओं द्वारा उनके स्केलिंग (गुणन) को सम्मिलित करने के लिए वास्तविक संख्याओं द्वारा सदिशों के स्केलिंग का विस्तार करके प्राप्त किया जाता है। V के लिए कोई आधार (रैखिक बीजगणित) (वास्तविक संख्याओं पर एक स्थान) सम्मिश्र संख्याओं पर V^C के आधार के रूप में भी काम कर सकता है।

औपचारिक परिभाषा

मान लीजिए कि $V$ एक वास्तविक सदिश समष्टि है। V की जटिलता को जटिल संख्याओं (वास्तविकताओं पर 2-आयामी वेक्टर स्पेस के रूप में माना जाता है) के साथ $V$ के टेंसर उत्पाद को ले कर परिभाषित किया गया है:

$V^{\mathbb {C} }=V\otimes _{\mathbb {R} }\mathbb {C} \,.$

टेंसर उत्पाद पर सबस्क्रिप्ट, $\mathbb {R}$ निरुपित करता है कि टेंसर उत्पाद को वास्तविक संख्याओं (चूंकि $V$ वास्तविक सदिश स्थान है वैसे भी यह एकमात्र समझदार विकल्प है, इसलिए सबस्क्रिप्ट को सुरक्षित रूप से छोड़ा जा सकता है) पर ले लिया गया है। जैसा यह प्रतीक होता है, $V^{\mathbb {C} }$ केवल वास्तविक सदिश स्थान है। चूँकि, हम जटिल गुणन को निम्नानुसार परिभाषित करके $V^{\mathbb {C} }$ को एक जटिल सदिश स्थान बना सकते हैं:

$\alpha (v\otimes \beta )=v\otimes (\alpha \beta )\qquad {\mbox{ for all }}v\in V{\mbox{ and }}\alpha ,\beta \in \mathbb {C} .$

सामान्यतः, जटिलीकरण अदिशों के विस्तार का उदाहरण है - जो अदिशों को वास्तविक संख्याओं से सम्मिश्र संख्याओं तक विस्तारित करता है - जो कि किसी भी क्षेत्र विस्तार के लिए किया जा सकता है, या वास्तव में वलयों के किसी भी आकारिकी के लिए किया जा सकता है।

औपचारिक रूप से, जटिलता वास्तविक वेक्टर रिक्त स्थान की श्रेणी से जटिल वेक्टर रिक्त स्थान की श्रेणी में एक कार्यात्मक Vect_R → Vect_C है। यह आसन्न फ़ैक्टर है - विशेष रूप से बाएं आसन्न - फॉरगेटफुल फ़ैक्टर Vect_C → Vect_R के लिए जो जटिल संरचना को भूल जाता है।

एक जटिल सदिश स्थान $V$ की जटिल संरचना को भूल जाने को विसंकुलीकरण (या कभी-कभी "प्राप्ति") कहा जाता है। आधार $e_{\mu }$ के साथ एक जटिल सदिश स्थान $V$ का अपघटन, अदिशों के जटिल गुणन की संभावना को हटा देता है, इस प्रकार आधार $\{e_{\mu },ie_{\mu }\}$ के साथ दो बार आयाम का एक वास्तविक सदिश स्थान $W_{\mathbb {R} }$ उत्पन्न करता है।

मूल गुण

टेंसर उत्पाद की प्रकृति से, V^C में प्रत्येक वेक्टर v को विशिष्ट रूप से

$v=v_{1}\otimes 1+v_{2}\otimes i$

के रूप में लिखा जा सकता है जहां v₁ और v₂ V में सदिश हैं। टेंसर उत्पाद प्रतीक को छोड़ना और लिखना सामान्य बात है

$v=v_{1}+iv_{2}.\,$

सम्मिश्र संख्या से गुणा a + i b तब सामान्य नियम द्वारा दिया जाता है

$(a+ib)(v_{1}+iv_{2})=(av_{1}-bv_{2})+i(bv_{1}+av_{2}).\,$

इसके बाद हम V^C को V:

$V^{\mathbb {C} }\cong V\oplus iV$

की दो प्रतियों के प्रत्यक्ष योग के रूप में जटिल संख्याओं से गुणा करने के उपरोक्त नियम के साथ मान सकते हैं।

$v\mapsto v\otimes 1$ द्वारा दिए गए V^C में V का एक प्राकृतिक एम्बेडिंग है।

वेक्टर स्थान V को तब V^C की वास्तविक रैखिक उपसमष्टि के रूप में माना जा सकता है। यदि V का आधार { e_i } (क्षेत्र R पर) है तो V^C के लिए संबंधित आधार क्षेत्र C पर { e_i ⊗ 1 } द्वारा दिया जाता है। इसलिए V^C का जटिल आयाम (रैखिक बीजगणित) V के वास्तविक आयाम के बराबर है:

$\dim _{\mathbb {C} }V^{\mathbb {C} }=\dim _{\mathbb {R} }V.$

वैकल्पिक रूप से, टेंसर उत्पादों का उपयोग करने के अतिरिक्त, इस प्रत्यक्ष योग का उपयोग जटिलता की परिभाषा के रूप में किया जा सकता है:

$V^{\mathbb {C} }:=V\oplus V,$

जहाँ $V^{\mathbb {C} }$ को $J(v,w):=(-w,v),$ के रूप में परिभाषित ऑपरेटर J द्वारा एक रैखिक जटिल संरचना दी गई है, जहाँ J "गुणन i द्वारा" के संचालन को कूटबद्ध करता है। मैट्रिक्स रूप में, J द्वारा दिया गया है:

$J={\begin{bmatrix}0&-I_{V}\\I_{V}&0\end{bmatrix}}.$

यह समान स्थान उत्पन्न करता है - रैखिक जटिल संरचना वाला वास्तविक वेक्टर स्थान जटिल वेक्टर स्थान के समान डेटा है - चूंकि यह अंतरिक्ष को अलग विधि से बनाता है। इसलिए, $V^{\mathbb {C} }$ को $V\oplus JV$ या $V\oplus iV$ के रूप में लिखा जा सकता है जो V को पहले प्रत्यक्ष योग के साथ पहचानता है। यह दृष्टिकोण अधिक ठोस है, और इसमें तकनीकी रूप से सम्मिलित टेंसर उत्पाद के उपयोग से बचने का लाभ है, किन्तु यह तदर्थ है।

उदाहरण

• वास्तविक समन्वय स्थान Rⁿ की जटिलता जटिल समन्वय स्थान Cⁿ है।
• इसी तरह, यदि V में वास्तविक प्रविष्टियों के साथ m×n मैट्रिक्स (गणित) होते हैं, तो V^C में जटिल प्रविष्टियों के साथ m×n मैट्रिक्स सम्मिलित होंगे।

डिकसन दोहरीकरण

Main article: केली-डिक्सन निर्माण

लियोनार्ड डिक्सन सहित बीसवीं शताब्दी के गणितज्ञों द्वारा R को C तक जाने की जटिलता की प्रक्रिया को सारगर्भित किया गया था। एक पहचान मानचित्रण x* = x को R पर एक तुच्छ इनवोल्यूशन के रूप में उपयोग करने के साथ प्रारंभ होता है। R की अगली दो प्रतियों का उपयोग z = (a , b) बनाने के लिए किया जाता है, जिसमें इनवोल्यूशन z* = (a, −b) के रूप में प्रस्तुत जटिल संयुग्मन होता है। दो तत्व w और z दोगुने सेट में से गुणा करें

$wz=(a,b)\times (c,d)=(ac\ -\ d^{*}b,\ da\ +\ bc^{*}).$

अंत में, दोगुने सेट को मानदंड N(z) = z* z दिया जाता है। आइडेंटिटी इन्वॉल्वमेंट के साथ R से प्रारंभ करते समय, दोगुना सेट मानदंड a² + b² के साथ C होता है।

यदि कोई C को दोगुना करता है, और संयुग्मन (a,b)* = (a*, -b) का उपयोग करता है, तो निर्माण चतुर्भुज उत्पन्न करता है। दोहरीकरण फिर से ऑक्टोनियन उत्पन्न करता है, जिसे केली संख्या भी कहा जाता है। यह इस बिंदु पर था कि 1919 में डिक्सन ने बीजगणितीय संरचना को प्रकाशित करने में योगदान दिया।

इस प्रक्रिया को C और छोटे इनवोल्यूशन z* = z से भी प्रारंभ किया जा सकता है। R को दोगुना करके C की पीढ़ी के विपरीत, उत्पादित मानदंड केवल z² है। जब इस C को दोगुना किया जाता है, तो यह द्विसम्मिश्र संख्या उत्पन्न करता है, और दोहरीकरण जो द्विभाजितता उत्पन्न करता है, और फिर से दोगुना करने से बायोक्टनियन उत्पन्न होते हैं। जब आधार बीजगणित सहयोगी होता है, तो इस केली-डिक्सन निर्माण द्वारा निर्मित बीजगणित को एक संरचना बीजगणित कहा जाता है क्योंकि यह दिखाया जा सकता है कि इसकी गुण है।

$N(p\,q)=N(p)\,N(q)\,.$

जटिल संयुग्मन

जटिल वेक्टर स्थान V^C में सामान्य जटिल सदिश स्थान की तुलना में अधिक संरचना होती है। यह विहित रूप जटिल संयुग्मन मानचित्र के साथ आता है:

$\chi :V^{\mathbb {C} }\to {\overline {V^{\mathbb {C} }}}$

द्वारा परिभाषित

$\chi (v\otimes z)=v\otimes {\bar {z}}.$ वो नक्शा χ को या तो संयुग्म-रैखिक मानचित्र के रूप में माना जा सकता है V^C खुद से या जटिल रेखीय समरूपता के रूप में V^C इसके जटिल संयुग्मित सदिश स्थान के लिए ${\overline {V^{\mathbb {C} }}}$.

इसके विपरीत, जटिल सदिश स्थान दिया गया है W जटिल संयुग्मन के साथ χ, W जटिलता के लिए जटिल सदिश स्थान के रूप में आइसोमॉर्फिक है V^C वास्तविक उप-स्थान का

$V=\{w\in W:\chi (w)=w\}.$

दूसरे शब्दों में, जटिल संयुग्मन के साथ सभी जटिल सदिश स्थान वास्तविक सदिश स्थान की जटिलता हैं।

उदाहरण के लिए, कब W = Cⁿ मानक जटिल संयुग्मन के साथ

$\chi (z_{1},\ldots ,z_{n})=({\bar {z}}_{1},\ldots ,{\bar {z}}_{n})$

अपरिवर्तनीय उप-स्थान V केवल वास्तविक उपस्थान है Rⁿ.

रैखिक परिवर्तन

वास्तविक रैखिक परिवर्तन को देखते हुए f : V → W दो वास्तविक वेक्टर रिक्त स्थान के बीच प्राकृतिक जटिल रैखिक परिवर्तन होता है

$f^{\mathbb {C} }:V^{\mathbb {C} }\to W^{\mathbb {C} }$

द्वारा दिए गए

$f^{\mathbb {C} }(v\otimes z)=f(v)\otimes z.$

वो नक्शा $f^{\mathbb {C} }$ 'एफ' की जटिलता कहलाती है। रैखिक परिवर्तनों की जटिलता निम्नलिखित गुणों को संतुष्ट करती है

• $(\mathrm {id} _{V})^{\mathbb {C} }=\mathrm {id} _{V^{\mathbb {C} }}$
• $(f\circ g)^{\mathbb {C} }=f^{\mathbb {C} }\circ g^{\mathbb {C} }$
• $(f+g)^{\mathbb {C} }=f^{\mathbb {C} }+g^{\mathbb {C} }$
• $(af)^{\mathbb {C} }=af^{\mathbb {C} }\quad \forall a\in \mathbb {R}$

श्रेणी सिद्धांत की भाषा में कोई कहता है कि जटिल वेक्टर रिक्त स्थान की श्रेणी से जटिल वेक्टर रिक्त स्थान की श्रेणी में (योगात्मक कारक) फ़ंक्टर को परिभाषित करता है।

वो नक्शा f^C संयुग्मन के साथ संचार करता है और इसलिए V के वास्तविक उप-क्षेत्र को मैप करता है^C के वास्तविक उप-स्थान पर W^C (नक्शे के माध्यम से f). इसके अलावा, जटिल रैखिक नक्शा g : V^C → W^C वास्तविक रेखीय मानचित्र की जटिलता है यदि और केवल यदि यह संयुग्मन के साथ प्रारंभ होता है।

उदाहरण के रूप से रैखिक परिवर्तन पर विचार करें Rⁿ को R^m के रूप में सोचा m×n मैट्रिक्स (गणित)। उस परिवर्तन की जटिलता बिल्कुल ही मैट्रिक्स है, किन्तु अब इसे रेखीय मानचित्र के रूप में माना जाता है Cⁿ को C^m.

दोहरे स्थान और टेंसर उत्पाद

वास्तविक सदिश स्थान का दोहरा स्थान V स्थान है V* सभी वास्तविक रेखीय मानचित्रों से V को R. की जटिलता V* स्वाभाविक रूप से सभी वास्तविक रैखिक मानचित्रों के स्थान के रूप में सोचा जा सकता है V को C (निरूपित Hom_R(V,C)). वह है,

$$(V^{*})^{\mathbb {C} }=V^{*}\otimes \mathbb {C} \cong \mathrm {Hom} _{\mathbb {R} }(V,\mathbb {C} ).$$

समरूपता किसके द्वारा दी जाती है

$$(\varphi _{1}\otimes 1+\varphi _{2}\otimes i)\leftrightarrow \varphi _{1}+i\varphi _{2}$$

जहाँ φ₁ और φ₂ के तत्व हैं V*. जटिल संयुग्मन तब सामान्य ऑपरेशन द्वारा दिया जाता है

$${\overline {\varphi _{1}+i\varphi _{2}}}=\varphi _{1}-i\varphi _{2}.$$

वास्तविक रेखीय नक्शा दिया φ : V → C हम जटिल रेखीय मानचित्र प्राप्त करने के लिए रैखिकता द्वारा विस्तार कर सकते हैं φ : V^C → C. वह है,

$$\varphi (v\otimes z)=z\varphi (v).$$

यह विस्तार से समरूपता देता है Hom_R(V,C) को Hom_C(V^C,C). उत्तरार्द्ध सिर्फ जटिल दोहरी जगह है V^C, इसलिए हमारे पास प्राकृतिक समरूपता है:

$$(V^{*})^{\mathbb {C} }\cong (V^{\mathbb {C} })^{*}.$$

अधिक आम तौर पर, वास्तविक वेक्टर रिक्त स्थान दिए गए हैं V और W प्राकृतिक समरूपता है

$$\mathrm {Hom} _{\mathbb {R} }(V,W)^{\mathbb {C} }\cong \mathrm {Hom} _{\mathbb {C} }(V^{\mathbb {C} },W^{\mathbb {C} }).$$

टेंसर उत्पादों, बाहरी शक्तियों और सममित शक्तियों को लेने के संचालन के साथ जटिलता भी प्रारंभ होती है। उदाहरण के लिए, यदि V और W वास्तविक सदिश स्थान हैं, प्राकृतिक समरूपता है

$$(V\otimes _{\mathbb {R} }W)^{\mathbb {C} }\cong V^{\mathbb {C} }\otimes _{\mathbb {C} }W^{\mathbb {C} }\,.$$

ध्यान दें कि बाएं हाथ के टेंसर उत्पाद को वास्तविक पर ले लिया जाता है जबकि दाएं हाथ वाले को परिसरों पर ले लिया जाता है। सामान्य तौर पर यही पैटर्न सही है। उदाहरण के लिए, किसी के पास है

$$(\Lambda _{\mathbb {R} }^{k}V)^{\mathbb {C} }\cong \Lambda _{\mathbb {C} }^{k}(V^{\mathbb {C} }).$$

सभी मामलों में, समरूपताएं "स्पष्ट" होती हैं।

यह भी देखें

• अदिशों का विस्तार - सामान्य प्रक्रिया
• रैखिक जटिल संरचना
• बेकर-कैंपबेल-हॉसडॉर्फ सूत्र

संदर्भ

• 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.