दोहरा आधार: Difference between revisions

From Vigyanwiki
(Created page with "{{Short description|Linear algebra concept}} रैखिक बीजगणित में, एक सदिश स्थान दिया गया है <math>V</math>...")
 
No edit summary
Line 1: Line 1:
{{Short description|Linear algebra concept}}
{{Short description|Linear algebra concept}}
रैखिक बीजगणित में, एक सदिश स्थान दिया गया है <math>V</math> एक आधार के साथ (रैखिक बीजगणित) <math>B</math> [[वेक्टर (गणित और भौतिकी)]] को एक [[सूचकांक सेट]] द्वारा अनुक्रमित किया गया <math>I</math> (की [[प्रमुखता]] <math>I</math> का आयाम है <math>V</math>), का दोहरा सेट <math>B</math> एक सेट है <math>B^*</math> दोहरे स्थान में सदिशों का <math>V^*</math> उसी इंडेक्स सेट के साथ मैं ऐसा हूं <math>B</math> और <math>B^*</math> एक [[बायोर्थोगोनल प्रणाली]] बनाएं। दोहरा सेट हमेशा [[रैखिक रूप से स्वतंत्र]] होता है लेकिन आवश्यक रूप से [[रैखिक विस्तार]] नहीं होता है <math>V^*</math>. यदि यह फैलता है <math>V^*</math>, तब <math>B^*</math> आधार के लिए दोहरा आधार या पारस्परिक आधार कहा जाता है <math>B</math>.
रैखिक बीजगणित में, एक सदिश स्थान दिया गया है <math>V</math> एक आधार के साथ (रैखिक बीजगणित) <math>B</math> [[वेक्टर (गणित और भौतिकी)]] को एक [[सूचकांक सेट]] के लिए अनुक्रमित किया गया <math>I</math> (की [[प्रमुखता]] <math>I</math> का आयाम है <math>V</math>), का दोहरा सेट <math>B</math> एक सेट है <math>B^*</math> दोहरे स्थान में सदिशों का <math>V^*</math> उसी इंडेक्स सेट के साथ मैं ऐसा हूं <math>B</math> और <math>B^*</math> एक [[बायोर्थोगोनल प्रणाली]] बनाएं। दोहरा सेट सदैव [[रैखिक रूप से स्वतंत्र]] होता है किन्तु आवश्यक रूप से [[रैखिक विस्तार]] नहीं होता है <math>V^*</math>. यदि यह फैलता है <math>V^*</math>, तब <math>B^*</math> आधार के लिए दोहरा आधार या पारस्परिक आधार कहा जाता है <math>B</math>.  


अनुक्रमित वेक्टर सेट को इस रूप में निरूपित करना <math>B = \{v_i\}_{i\in I}</math> और <math>B^{*} = \{v^i\}_{i \in I}</math>, बायोर्थोगोनल होने का मतलब है कि तत्वों की जोड़ी का आंतरिक उत्पाद 1 के बराबर होता है यदि सूचकांक बराबर हैं, और अन्यथा 0 के बराबर होता है। प्रतीकात्मक रूप से, एक दोहरे वेक्टर का मूल्यांकन करना <math>V^*</math> मूल स्थान में एक वेक्टर पर <math>V</math>:
अनुक्रमित वेक्टर सेट को इस रूप में निरूपित करना <math>B = \{v_i\}_{i\in I}</math> और <math>B^{*} = \{v^i\}_{i \in I}</math>, बायोर्थोगोनल होने का अर्थ है कि तत्वों की जोड़ी का आंतरिक उत्पाद 1 के समान होता है यदि सूचकांक समान हैं, और अन्यथा 0 के समान होता है। प्रतीकात्मक रूप से, एक दोहरे वेक्टर का मूल्यांकन करना <math>V^*</math> मूल स्थान में एक वेक्टर पर <math>V</math>:
:<math>
:<math>
v^i\cdot v_j = \delta^i_j =
v^i\cdot v_j = \delta^i_j =
Line 16: Line 16:


: <math>\mathbf{x} = x^1 \mathbf{i}_1 + x^2 \mathbf{i}_2 + x^3 \mathbf{i}_3</math>
: <math>\mathbf{x} = x^1 \mathbf{i}_1 + x^2 \mathbf{i}_2 + x^3 \mathbf{i}_3</math>
कहाँ <math>\mathbf{i}_k</math> कार्टेशियन फ्रेम में आधार है। के घटक <math>\mathbf{x}</math> द्वारा पाया जा सकता है
कहाँ <math>\mathbf{i}_k</math> कार्टेशियन फ्रेम में आधार है। के घटक <math>\mathbf{x}</math> के लिए पाया जा सकता है


: <math>x^k = \mathbf{x} \cdot \mathbf{i}_k.</math>
: <math>x^k = \mathbf{x} \cdot \mathbf{i}_k.</math>
हालाँकि, गैर-कार्टेशियन फ्रेम में, हमारे पास जरूरी नहीं है <math>\mathbf{e}_i\cdot\mathbf{e}_j=0</math> सभी के लिए <math>i\neq j</math>. हालाँकि, एक वेक्टर खोजना हमेशा संभव होता है <math>\mathbf{e}^i</math> ऐसा है कि
यद्यपि, गैर-कार्टेशियन फ्रेम में, हमारे पास जरूरी नहीं है <math>\mathbf{e}_i\cdot\mathbf{e}_j=0</math> सभी के लिए <math>i\neq j</math>. यद्यपि, एक वेक्टर खोजना सदैव संभव होता है <math>\mathbf{e}^i</math> ऐसा है कि


: <math>x^i = \mathbf{x}\cdot\mathbf{e}^i \qquad  (i = 1, 2, 3).</math>
: <math>x^i = \mathbf{x}\cdot\mathbf{e}^i \qquad  (i = 1, 2, 3).</math>
Line 28: Line 28:


==अस्तित्व और विशिष्टता==
==अस्तित्व और विशिष्टता==
दोहरा सेट हमेशा मौजूद रहता है और वी से वी में इंजेक्शन देता है<sup>∗</sup>, अर्थात् मैपिंग जो v भेजती है<sub>i</sub>अक्षर बी<sup>मैं</sup>. यह, विशेष रूप से, कहता है कि दोहरे स्थान का आयाम V के बराबर या उससे बड़ा है।
दोहरा सेट सदैव उपस्थित रहता है और वी से वी में इंजेक्शन देता है<sup>∗</sup>, अर्थात् मैपिंग जो v भेजती है<sub>i</sub>अक्षर बी<sup>मैं</sup>. यह, विशेष रूप से, कहता है कि दोहरे स्थान का आयाम V के बराबर या उससे बड़ा है।


हालाँकि, अनंत-आयामी V का दोहरा सेट इसके दोहरे स्थान V का विस्तार नहीं करता है<sup>∗</sup>. उदाहरण के लिए, V में मानचित्र w पर विचार करें<sup>∗</sup>V से अंतर्निहित अदिश F द्वारा दिए गए में {{nowrap|1=''w''(''v<sub>i</sub>'') = 1}} सबके लिए मैं. यह मानचित्र सभी वी पर स्पष्ट रूप से शून्येतर है<sub>i</sub>. यदि w दोहरे आधार वाले सदिशों v का एक परिमित रैखिक संयोजन होता<sup>मैं</sup>, कहो <math display="inline">w=\sum_{i\in K}\alpha_iv^i</math> I के एक परिमित उपसमुच्चय K के लिए, फिर किसी भी j के लिए जो K में नहीं है, <math display="inline">w(v_j)=\left(\sum_{i\in K}\alpha_iv^i\right)\left(v_j\right)=0</math>, डब्ल्यू की परिभाषा का खंडन करता है। अतः, यह w दोहरे समुच्चय के विस्तार में नहीं है।
यद्यपि, अनंत-आयामी V का दोहरा सेट इसके दोहरे स्थान V का विस्तार नहीं करता है<sup>∗</sup>. उदाहरण के लिए, V में मानचित्र w पर विचार करें<sup>∗</sup>V से अंतर्निहित अदिश F के लिए दिए गए में {{nowrap|1=''w''(''v<sub>i</sub>'') = 1}} सबके लिए मैं. यह मानचित्र सभी वी पर स्पष्ट रूप से शून्येतर है<sub>i</sub>. यदि w दोहरे आधार वाले सदिशों v का एक परिमित रैखिक संयोजन होता<sup>मैं</sup>, कहो <math display="inline">w=\sum_{i\in K}\alpha_iv^i</math> I के एक परिमित उपसमुच्चय K के लिए, फिर किसी भी j के लिए जो K में नहीं है, <math display="inline">w(v_j)=\left(\sum_{i\in K}\alpha_iv^i\right)\left(v_j\right)=0</math>, डब्ल्यू की परिभाषा का खंडन करता है। अतः, यह w दोहरे समुच्चय के विस्तार में नहीं है।


अनंत-आयामी स्थान के दोहरे में मूल स्थान की तुलना में अधिक आयामीता (यह एक बड़ी अनंत कार्डिनैलिटी है) है, और इस प्रकार इनका एक ही अनुक्रमण सेट के साथ कोई आधार नहीं हो सकता है। हालाँकि, वैक्टर का एक दोहरा सेट मौजूद है, जो मूल स्थान के दोहरे समरूपी उप-स्थान को परिभाषित करता है। इसके अलावा, [[टोपोलॉजिकल वेक्टर स्पेस]] के लिए, एक सतत दोहरे स्थान को परिभाषित किया जा सकता है, जिस स्थिति में दोहरा आधार मौजूद हो सकता है।
अनंत-आयामी स्थान के दोहरे में मूल स्थान की तुलना में अधिक आयामीता (यह एक बड़ी अनंत कार्डिनैलिटी है) है, और इस प्रकार इनका एक ही अनुक्रमण सेट के साथ कोई आधार नहीं हो सकता है। यद्यपि, वैक्टर का एक दोहरा सेट उपस्थित है, जो मूल स्थान के दोहरे समरूपी उप-स्थान को परिभाषित करता है। इसके अतिरिक्त, [[टोपोलॉजिकल वेक्टर स्पेस]] के लिए, एक सतत दोहरे स्थान को परिभाषित किया जा सकता है, जिस स्थिति में दोहरा आधार उपस्थित हो सकता है।


===परिमित-आयामी वेक्टर रिक्त स्थान===
===परिमित-आयामी वेक्टर रिक्त स्थान===


परिमित-आयामी वेक्टर रिक्त स्थान के मामले में, दोहरा सेट हमेशा दोहरा आधार होता है और यह अद्वितीय होता है। इन आधारों को निरूपित किया जाता है <math>B=\{e_1,\dots,e_n\}</math> और <math>B^*=\{e^1,\dots,e^n\}</math>. यदि कोई वेक्टर पर कोवेक्टर के मूल्यांकन को एक युग्म के रूप में निरूपित करता है, तो बायोरथोगोनैलिटी स्थिति बन जाती है:
परिमित-आयामी वेक्टर रिक्त स्थान के स्थितियों में, दोहरा सेट हमेशा दोहरा आधार होता है और यह अद्वितीय होता है। इन आधारों को निरूपित किया जाता है <math>B=\{e_1,\dots,e_n\}</math> और <math>B^*=\{e^1,\dots,e^n\}</math>. यदि कोई वेक्टर पर कोवेक्टर के मूल्यांकन को एक युग्म के रूप में निरूपित करता है, तो बायोरथोगोनैलिटी स्थिति बन जाती है:
:<math>\left\langle e^i, e_j \right\rangle = \delta^i_j.</math>
:<math>\left\langle e^i, e_j \right\rangle = \delta^i_j.</math>
एक आधार के साथ दोहरे आधार का जुड़ाव वी के आधारों के स्थान से वी के आधारों के स्थान तक एक नक्शा देता है<sup>∗</sup>, और यह भी एक समरूपता है। वास्तविक संख्याओं जैसे [[टोपोलॉजिकल क्षेत्र]]ों के लिए, दोहरे का स्थान एक [[टोपोलॉजिकल स्पेस]] है, और यह इन स्थानों के आधारों के [[स्टिफ़ेल मैनिफ़ोल्ड]] के बीच एक [[होमियोमोर्फिज्म]] देता है।
एक आधार के साथ दोहरे आधार का जुड़ाव वी के आधारों के स्थान से वी के आधारों के स्थान तक एक नक्शा देता है<sup>∗</sup>, और यह भी एक समरूपता है। वास्तविक संख्याओं जैसे [[टोपोलॉजिकल क्षेत्र]]ों के लिए, दोहरे का स्थान एक [[टोपोलॉजिकल स्पेस]] है, और यह इन स्थानों के आधारों के [[स्टिफ़ेल मैनिफ़ोल्ड]] के बीच एक [[होमियोमोर्फिज्म]] देता है।
Line 44: Line 44:
वेक्टर स्पेस ([[मॉड्यूल (गणित)]]) के दोहरे स्थान को पेश करने का दूसरा तरीका इसे एक श्रेणीबद्ध अर्थ में पेश करना है। ऐसा करने के लिए, चलो <math>A</math> रिंग के ऊपर परिभाषित एक मॉड्यूल बनें <math>R</math> (वह है, <math>A</math> श्रेणी में एक वस्तु है <math>R\text{-}\mathbf{Mod}</math>). फिर हम दोहरे स्थान को परिभाषित करते हैं <math>A</math>, निरूपित <math>A^{\ast}</math>, होना <math>\text{Hom}_R(A,R)</math>, मॉड्यूल सभी का गठन किया <math>R</math>-रैखिक मॉड्यूल समरूपता से <math>A</math> में <math>R</math>. ध्यान दें कि हम दोहरे को दोहरे में परिभाषित कर सकते हैं, जिसे दोहरे दोहरे के रूप में जाना जाता है <math>A</math>, के रूप में लिखा गया है <math>A^{\ast\ast}</math>, और के रूप में परिभाषित किया गया है <math>\text{Hom}_R(A^{\ast},R)</math>.
वेक्टर स्पेस ([[मॉड्यूल (गणित)]]) के दोहरे स्थान को पेश करने का दूसरा तरीका इसे एक श्रेणीबद्ध अर्थ में पेश करना है। ऐसा करने के लिए, चलो <math>A</math> रिंग के ऊपर परिभाषित एक मॉड्यूल बनें <math>R</math> (वह है, <math>A</math> श्रेणी में एक वस्तु है <math>R\text{-}\mathbf{Mod}</math>). फिर हम दोहरे स्थान को परिभाषित करते हैं <math>A</math>, निरूपित <math>A^{\ast}</math>, होना <math>\text{Hom}_R(A,R)</math>, मॉड्यूल सभी का गठन किया <math>R</math>-रैखिक मॉड्यूल समरूपता से <math>A</math> में <math>R</math>. ध्यान दें कि हम दोहरे को दोहरे में परिभाषित कर सकते हैं, जिसे दोहरे दोहरे के रूप में जाना जाता है <math>A</math>, के रूप में लिखा गया है <math>A^{\ast\ast}</math>, और के रूप में परिभाषित किया गया है <math>\text{Hom}_R(A^{\ast},R)</math>.


दोहरे स्थान के लिए औपचारिक रूप से आधार तैयार करने के लिए, अब हम अपना दृष्टिकोण उस मामले तक सीमित रखेंगे जहां <math>F</math> एक परिमित-आयामी मुक्त है (बाएं) <math>R</math>-मॉड्यूल, कहाँ <math>R</math> एकता के साथ एक अंगूठी है. फिर, हम मान लेते हैं कि सेट <math>X</math> के लिए एक आधार है <math>F</math>. यहां से, हम क्रोनकर डेल्टा फ़ंक्शन को परिभाषित करते हैं <math>\delta_{xy}</math> आधार के ऊपर <math>X</math> द्वारा <math>\delta_{xy}=1</math> अगर <math>x=y</math> और <math>\delta_{xy}=0</math> अगर <math>x\ne y</math>. फिर सेट <math> S = \lbrace f_x:F \to R \; | \; f_x(y)=\delta_{xy} \rbrace </math> प्रत्येक के साथ एक रैखिक रूप से स्वतंत्र सेट का वर्णन करता है <math>f_x \in \text{Hom}_R(F,R)</math>. तब से <math>F</math> परिमित-आयामी है, आधार <math>X</math> परिमित प्रमुखता का है. फिर, सेट <math> S </math> का एक आधार है <math>F^\ast</math> और <math>F^\ast</math> एक स्वतंत्र (सही) है <math>R</math>-मापांक।
दोहरे स्थान के लिए औपचारिक रूप से आधार तैयार करने के लिए, अब हम अपना दृष्टिकोण उस स्थितियों तक सीमित रखेंगे जहां <math>F</math> एक परिमित-आयामी मुक्त है (बाएं) <math>R</math>-मॉड्यूल, कहाँ <math>R</math> एकता के साथ एक अंगूठी है. फिर, हम मान लेते हैं कि सेट <math>X</math> के लिए एक आधार है <math>F</math>. यहां से, हम क्रोनकर डेल्टा फ़ंक्शन को परिभाषित करते हैं <math>\delta_{xy}</math> आधार के ऊपर <math>X</math> के लिए <math>\delta_{xy}=1</math> अगर <math>x=y</math> और <math>\delta_{xy}=0</math> अगर <math>x\ne y</math>. फिर सेट <math> S = \lbrace f_x:F \to R \; | \; f_x(y)=\delta_{xy} \rbrace </math> प्रत्येक के साथ एक रैखिक रूप से स्वतंत्र सेट का वर्णन करता है <math>f_x \in \text{Hom}_R(F,R)</math>. तब से <math>F</math> परिमित-आयामी है, आधार <math>X</math> परिमित प्रमुखता का है. फिर, सेट <math> S </math> का एक आधार है <math>F^\ast</math> और <math>F^\ast</math> एक स्वतंत्र (सही) है <math>R</math>-मापांक।


==उदाहरण==
==उदाहरण==
Line 71: Line 71:
     \right\}\text{.}
     \right\}\text{.}
</math>
</math>
किसी दिए गए आधार के लिए, 3-आयामी यूक्लिडियन अंतरिक्ष में <math>\{\mathbf{e}_1, \mathbf{e}_2, \mathbf{e}_3\}</math>, बायोर्थोगोनल (दोहरा) आधार <math>\{\mathbf{e}^1, \mathbf{e}^2, \mathbf{e}^3\}</math> नीचे दिए गए सूत्रों द्वारा पाया जा सकता है:
किसी दिए गए आधार के लिए, 3-आयामी यूक्लिडियन अंतरिक्ष में <math>\{\mathbf{e}_1, \mathbf{e}_2, \mathbf{e}_3\}</math>, बायोर्थोगोनल (दोहरा) आधार <math>\{\mathbf{e}^1, \mathbf{e}^2, \mathbf{e}^3\}</math> नीचे दिए गए सूत्रों के लिए पाया जा सकता है:


:<math>
:<math>
Line 88: Line 88:
   \mathbf{e}_3\cdot(\mathbf{e}_1\times\mathbf{e}_2)
   \mathbf{e}_3\cdot(\mathbf{e}_1\times\mathbf{e}_2)
</math>
</math>
आधार सदिशों द्वारा निर्मित समांतर चतुर्भुज का आयतन है <math>\mathbf{e}_1,\,\mathbf{e}_2</math> और <math>\mathbf{e}_3.</math>
आधार सदिशों के लिए निर्मित समांतर चतुर्भुज का आयतन है <math>\mathbf{e}_1,\,\mathbf{e}_2</math> और <math>\mathbf{e}_3.</math>
सामान्य तौर पर एक परिमित-आयामी वेक्टर स्थान में आधार के दोहरे आधार की गणना निम्नानुसार आसानी से की जा सकती है: आधार दिया गया <math>f_1,\ldots,f_n</math> और संगत दोहरा आधार <math>f^1,\ldots,f^n</math> हम मैट्रिक्स बना सकते हैं
 
सामान्यतः एक परिमित-आयामी वेक्टर स्थान में आधार के दोहरे आधार की गणना निम्नानुसार आसानी से की जा सकती है: आधार दिया गया <math>f_1,\ldots,f_n</math> और संगत दोहरा आधार <math>f^1,\ldots,f^n</math> हम मैट्रिक्स बना सकते हैं
:<math>
:<math>
\begin{align}
\begin{align}

Revision as of 00:08, 11 July 2023

रैखिक बीजगणित में, एक सदिश स्थान दिया गया है एक आधार के साथ (रैखिक बीजगणित) वेक्टर (गणित और भौतिकी) को एक सूचकांक सेट के लिए अनुक्रमित किया गया (की प्रमुखता का आयाम है ), का दोहरा सेट एक सेट है दोहरे स्थान में सदिशों का उसी इंडेक्स सेट के साथ मैं ऐसा हूं और एक बायोर्थोगोनल प्रणाली बनाएं। दोहरा सेट सदैव रैखिक रूप से स्वतंत्र होता है किन्तु आवश्यक रूप से रैखिक विस्तार नहीं होता है . यदि यह फैलता है , तब आधार के लिए दोहरा आधार या पारस्परिक आधार कहा जाता है .

अनुक्रमित वेक्टर सेट को इस रूप में निरूपित करना और , बायोर्थोगोनल होने का अर्थ है कि तत्वों की जोड़ी का आंतरिक उत्पाद 1 के समान होता है यदि सूचकांक समान हैं, और अन्यथा 0 के समान होता है। प्रतीकात्मक रूप से, एक दोहरे वेक्टर का मूल्यांकन करना मूल स्थान में एक वेक्टर पर :

कहाँ क्रोनकर डेल्टा प्रतीक है।

परिचय

एक वेक्टर के साथ संचालन करने के लिए, हमारे पास इसके घटकों की गणना करने की एक सीधी विधि होनी चाहिए। कार्टेशियन फ्रेम में आवश्यक ऑपरेशन वेक्टर और बेस वेक्टर का डॉट उत्पाद है।[1] उदाहरण के लिए,

कहाँ कार्टेशियन फ्रेम में आधार है। के घटक के लिए पाया जा सकता है

यद्यपि, गैर-कार्टेशियन फ्रेम में, हमारे पास जरूरी नहीं है सभी के लिए . यद्यपि, एक वेक्टर खोजना सदैव संभव होता है ऐसा है कि

समता कब टिकती है का दोहरा आधार है . सूचकांक की स्थिति में अंतर पर ध्यान दें .

कार्टेशियन फ्रेम में, हमारे पास है


अस्तित्व और विशिष्टता

दोहरा सेट सदैव उपस्थित रहता है और वी से वी में इंजेक्शन देता है, अर्थात् मैपिंग जो v भेजती हैiअक्षर बीमैं. यह, विशेष रूप से, कहता है कि दोहरे स्थान का आयाम V के बराबर या उससे बड़ा है।

यद्यपि, अनंत-आयामी V का दोहरा सेट इसके दोहरे स्थान V का विस्तार नहीं करता है. उदाहरण के लिए, V में मानचित्र w पर विचार करेंV से अंतर्निहित अदिश F के लिए दिए गए में w(vi) = 1 सबके लिए मैं. यह मानचित्र सभी वी पर स्पष्ट रूप से शून्येतर हैi. यदि w दोहरे आधार वाले सदिशों v का एक परिमित रैखिक संयोजन होतामैं, कहो I के एक परिमित उपसमुच्चय K के लिए, फिर किसी भी j के लिए जो K में नहीं है, , डब्ल्यू की परिभाषा का खंडन करता है। अतः, यह w दोहरे समुच्चय के विस्तार में नहीं है।

अनंत-आयामी स्थान के दोहरे में मूल स्थान की तुलना में अधिक आयामीता (यह एक बड़ी अनंत कार्डिनैलिटी है) है, और इस प्रकार इनका एक ही अनुक्रमण सेट के साथ कोई आधार नहीं हो सकता है। यद्यपि, वैक्टर का एक दोहरा सेट उपस्थित है, जो मूल स्थान के दोहरे समरूपी उप-स्थान को परिभाषित करता है। इसके अतिरिक्त, टोपोलॉजिकल वेक्टर स्पेस के लिए, एक सतत दोहरे स्थान को परिभाषित किया जा सकता है, जिस स्थिति में दोहरा आधार उपस्थित हो सकता है।

परिमित-आयामी वेक्टर रिक्त स्थान

परिमित-आयामी वेक्टर रिक्त स्थान के स्थितियों में, दोहरा सेट हमेशा दोहरा आधार होता है और यह अद्वितीय होता है। इन आधारों को निरूपित किया जाता है और . यदि कोई वेक्टर पर कोवेक्टर के मूल्यांकन को एक युग्म के रूप में निरूपित करता है, तो बायोरथोगोनैलिटी स्थिति बन जाती है:

एक आधार के साथ दोहरे आधार का जुड़ाव वी के आधारों के स्थान से वी के आधारों के स्थान तक एक नक्शा देता है, और यह भी एक समरूपता है। वास्तविक संख्याओं जैसे टोपोलॉजिकल क्षेत्रों के लिए, दोहरे का स्थान एक टोपोलॉजिकल स्पेस है, और यह इन स्थानों के आधारों के स्टिफ़ेल मैनिफ़ोल्ड के बीच एक होमियोमोर्फिज्म देता है।

दोहरे स्थान का एक श्रेणीबद्ध और बीजगणितीय निर्माण

वेक्टर स्पेस (मॉड्यूल (गणित)) के दोहरे स्थान को पेश करने का दूसरा तरीका इसे एक श्रेणीबद्ध अर्थ में पेश करना है। ऐसा करने के लिए, चलो रिंग के ऊपर परिभाषित एक मॉड्यूल बनें (वह है, श्रेणी में एक वस्तु है ). फिर हम दोहरे स्थान को परिभाषित करते हैं , निरूपित , होना , मॉड्यूल सभी का गठन किया -रैखिक मॉड्यूल समरूपता से में . ध्यान दें कि हम दोहरे को दोहरे में परिभाषित कर सकते हैं, जिसे दोहरे दोहरे के रूप में जाना जाता है , के रूप में लिखा गया है , और के रूप में परिभाषित किया गया है .

दोहरे स्थान के लिए औपचारिक रूप से आधार तैयार करने के लिए, अब हम अपना दृष्टिकोण उस स्थितियों तक सीमित रखेंगे जहां एक परिमित-आयामी मुक्त है (बाएं) -मॉड्यूल, कहाँ एकता के साथ एक अंगूठी है. फिर, हम मान लेते हैं कि सेट के लिए एक आधार है . यहां से, हम क्रोनकर डेल्टा फ़ंक्शन को परिभाषित करते हैं आधार के ऊपर के लिए अगर और अगर . फिर सेट प्रत्येक के साथ एक रैखिक रूप से स्वतंत्र सेट का वर्णन करता है . तब से परिमित-आयामी है, आधार परिमित प्रमुखता का है. फिर, सेट का एक आधार है और एक स्वतंत्र (सही) है -मापांक।

उदाहरण

उदाहरण के लिए, मानक आधार वैक्टर (कार्तीय तल) हैं

और इसके दोहरे स्थान के मानक आधार वैक्टर हैं

किसी दिए गए आधार के लिए, 3-आयामी यूक्लिडियन अंतरिक्ष में , बायोर्थोगोनल (दोहरा) आधार नीचे दिए गए सूत्रों के लिए पाया जा सकता है:

कहाँ T स्थानान्तरण को दर्शाता है और

आधार सदिशों के लिए निर्मित समांतर चतुर्भुज का आयतन है और

सामान्यतः एक परिमित-आयामी वेक्टर स्थान में आधार के दोहरे आधार की गणना निम्नानुसार आसानी से की जा सकती है: आधार दिया गया और संगत दोहरा आधार हम मैट्रिक्स बना सकते हैं

फिर दोहरे आधार की परिभाषित संपत्ति यह बताती है

इसलिए दोहरे आधार के लिए मैट्रिक्स के रूप में गणना की जा सकती है


यह भी देखें

टिप्पणियाँ


संदर्भ

  • Lebedev, Leonid P.; Cloud, Michael J.; Eremeyev, Victor A. (2010). Tensor Analysis With Applications to Mechanics. World Scientific. ISBN 978-981431312-4.
  • "Finding the Dual Basis". Stack Exchange. May 27, 2012.