दोहरा आधार

रैखिक बीजगणित में, सदिश समिष्ट दिया गया है $$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}$$, यदि तत्वों के अनुक्रमित समान होते हैं तो द्विपरक होना अर्थ है कि उनका आंतरिक गुणांक 1 होता है, और अन्यथा 0 होता है। प्रतीकात्मक रूप से, मूल समिष्ट $$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∗ में इंजेक्शन प्रदान करती है, निरंतर वह मानचित्रण है जो vi को vi पर भेजता है। यह कहता है, विशेष रूप से, कि द्वित्वीय समिष्ट की आयाम V की आयाम से अधिक या उसके समान होती है।

यद्यपि, असीमित-आयामी V की द्वित्वीय समूह अपने द्वित्वीय समिष्ट V∗ को नहीं छात्रित करती है। उदाहरण के लिए, सोचें V से उपस्थित राशियों F के लिए w नामक अवलोकन w(vi) = 1 के लिए जहां सभी i के लिए। यह अवलोकन स्पष्ट रूप से सभी vi पर गैरशून्य है। यदि w द्वित्वीय आधार वेक्टरों vi के सीमित रूप होती, उदाहरण के लिए$w=\sum_{i\in K}\alpha_iv^i$ जहां I की सीमित उपसमूह K के लिए, तो K में नहीं होने के लिए किसी भी j के लिए, $w(v_j)=\left(\sum_{i\in K}\alpha_iv^i\right)\left(v_j\right)=0$, होगा, w की परिभाषा के खंडन को प्रतिरोधित करता है। इसलिए, यह 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^{\ast\ast}$$, और इसे निम्न रूप में परिभाषित किया जाता है: $$\text{Hom}_R(A^{\ast},R)$$।

द्वित्वीय समिष्ट के लिए आधार का समर्पित निर्माण करने के लिए, हम अब अपनी दृष्टि को सीमित करेंगे जहां $$F$$ सीमित-आयामी मुक्त (बायां) $$R$$-मॉड्यूल, है, जहाँ $$R$$ एकता युक्त अवधारणा के साथ अवधारणा है। फिर, हम मानते हैं कि समूह $$X$$, $$F$$ के लिए आधार है। यहां से, हम आधार $$X$$ पर क्रोनेकर डेल्टा फ़ंक्शन द्वारा परिभाषित करते हैं $$\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}$$

यह भी देखें

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

संदर्भ


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