दोहरा आधार

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

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

यह भी देखें

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

संदर्भ


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