दोहरा आधार

रैखिक बीजगणित में, एक सदिश स्थान दिया गया है $$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$$:

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 भेजती हैiअक्षर बीमैं. यह, विशेष रूप से, कहता है कि दोहरे स्थान का आयाम 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{.} $$ किसी दिए गए आधार के लिए, 3-आयामी यूक्लिडियन अंतरिक्ष में $$\{\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}$$

यह भी देखें

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

संदर्भ


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