दोहरा आधार

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

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

v^i\cdot v_j = \delta^i_j = \begin{cases} 1 & \text{if } i = j\\ 0 & \text{if } i \ne j\text{,} \end{cases} $$ कहाँ $$\delta^i_j$$ क्रोनकर डेल्टा प्रतीक है।

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


 * $$\mathbf{x} = x^1 \mathbf{i}_1 + x^2 \mathbf{i}_2 + x^3 \mathbf{i}_3$$

कहाँ $$\mathbf{i}_k$$ कार्टेशियन फ्रेम में आधार है। के घटक $$\mathbf{x}$$ के लिए पाया जा सकता है


 * $$x^k = \mathbf{x} \cdot \mathbf{i}_k.$$

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


 * $$x^i = \mathbf{x}\cdot\mathbf{e}^i \qquad (i = 1, 2, 3).$$

समता कब टिकती है $$\mathbf{e}^i$$ का दोहरा आधार है $$\mathbf{e}_i$$. सूचकांक की स्थिति में अंतर पर ध्यान दें $$i$$.

कार्टेशियन फ्रेम में, हमारे पास है $$\mathbf{e}^k = \mathbf{e}_k = \mathbf{i}_k.$$

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

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

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

परिमित-आयामी वेक्टर रिक्त स्थान
इसलिए परिमित-आयामी वेक्टर रिक्त स्थान के स्थितियों में, दोहरा सेट हमेशा दोहरा आधार होता है और इस प्रकार यह अद्वितीय होता है। इन आधारों को निरूपित किया जाता है $$B=\{e_1,\dots,e_n\}$$ और $$B^*=\{e^1,\dots,e^n\}$$. यदि कोई वेक्टर पर कोवेक्टर के मूल्यांकन को युग्म के रूप में निरूपित करता है, तो बायोरथोगोनैलिटी स्थिति बन जाती है:
 * $$\left\langle e^i, e_j \right\rangle = \delta^i_j.$$

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

दोहरे स्थान का श्रेणीबद्ध और बीजगणितीय निर्माण
वेक्टर स्पेस (मॉड्यूल (गणित)) के दोहरे स्थान को पेश करने का दूसरा तरीका इसे श्रेणीबद्ध अर्थ में पेश करना है। ऐसा करने के लिए, चलो $$A$$ रिंग के ऊपर परिभाषित मॉड्यूल बनें $$R$$ (वह है, $$A$$ श्रेणी में वस्तु है $$R\text{-}\mathbf{Mod}$$). फिर हम इस प्रकार दोहरे स्थान को परिभाषित करते हैं $$A$$, निरूपित $$A^{\ast}$$, होना $$\text{Hom}_R(A,R)$$, मॉड्यूल सभी का गठन किया $$R$$-रैखिक मॉड्यूल समरूपता से $$A$$ में $$R$$. ध्यान दें कि हम दोहरे को दोहरे में परिभाषित कर सकते हैं, जिसे दोहरे दोहरे के रूप में जाना जाता है $$A$$, के रूप में लिखा गया है $$A^{\ast\ast}$$, और के रूप में परिभाषित किया गया है $$\text{Hom}_R(A^{\ast},R)$$.

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

उदाहरण
निर्देशीय रूप में उदाहरण के रूप में, $$\R^2$$ (कार्तीय तल) के मानक आधार वेक्टर हैं

\left\{\mathbf{e}_1, \mathbf{e}_2\right\} = \left\{ \begin{pmatrix} 1 \\     0     \end{pmatrix}, \begin{pmatrix} 0 \\    1     \end{pmatrix} \right\} $$ और उसके द्वितीय स्थान $$(\R^2)^*$$के मानक आधार वेक्टर हैं

\left\{\mathbf{e}^1, \mathbf{e}^2\right \} = \left\{ \begin{pmatrix} 1 & 0    \end{pmatrix}, \begin{pmatrix} 0 & 1    \end{pmatrix} \right\}\text{.} $$ त्रिआयामी यूक्लिडीय अंतर्वास्त्र में, दिए गए आधार $$\{\mathbf{e}_1, \mathbf{e}_2, \mathbf{e}_3\}$$, के लिए, द्विपक्षीय (द्वित्वीय) आधार $$\{\mathbf{e}^1, \mathbf{e}^2, \mathbf{e}^3\}$$ निम्नलिखित सूत्रों द्वारा प्राप्त किया जा सकता है:



\mathbf{e}^1 = \left(\frac{\mathbf{e}_2 \times \mathbf{e}_3}{V}\right)^\mathsf{T},\ \mathbf{e}^2 = \left(\frac{\mathbf{e}_3 \times \mathbf{e}_1}{V}\right)^\mathsf{T},\ \mathbf{e}^3 = \left(\frac{\mathbf{e}_1 \times \mathbf{e}_2}{V}\right)^\mathsf{T}. $$

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



V                                                  \,=\, \left(\mathbf{e}_1;\mathbf{e}_2;\mathbf{e}_3\right) \,=\, \mathbf{e}_1\cdot(\mathbf{e}_2\times\mathbf{e}_3)  \,=\, \mathbf{e}_2\cdot(\mathbf{e}_3\times\mathbf{e}_1)  \,=\, \mathbf{e}_3\cdot(\mathbf{e}_1\times\mathbf{e}_2) $$ यह आधार वेक्टर $$\mathbf{e}_1,\,\mathbf{e}_2$$ और $$\mathbf{e}_3.$$ द्वारा बनाए गए त्रिपादीय अनुपात के चतुर्भुज के द्वारा बनाए गए परलेलेपाइपेड के आयतन को दर्शाता है।

सामान्यतः, एक सीमित-आयामी वेक्टर स्थान के आधार के द्वित्वीय आधार को निम्न रूप से सीधे निर्धारित किया जा सकता है: दिए गए आधार $$f_1,\ldots,f_n$$ और संबंधित द्वित्वीय आधार $$f^1,\ldots,f^n$$ के लिए हम निम्नलिखित मैट्रिक्स बना सकते हैं:

\begin{align} F &= \begin{bmatrix}f_1 & \cdots & f_n \end{bmatrix} \\ G &= \begin{bmatrix}f^1 & \cdots & f^n \end{bmatrix} \end{align} $$ तब द्वित्वीय आधार के परिभाषित गुण का दावा करता है कि
 * $$G^\mathsf{T}F = I$$

इसलिए द्वित्वीय आधार के लिए मैट्रिक्स $$G$$ की गणना की जा सकती है जैसे कि
 * $$G = \left(F^{-1}\right)^\mathsf{T}$$

यह भी देखें

 * पारस्परिक जाली
 * मिलर सूचकांक
 * जोन अक्ष

संदर्भ


מרחב דואלי 对偶基