ऑर्थोनॉर्मल आधार: Difference between revisions

From Vigyanwiki
No edit summary
No edit summary
 
(7 intermediate revisions by 4 users not shown)
Line 1: Line 1:
{{Short description|Specific linear basis (mathematics)}}
{{Short description|Specific linear basis (mathematics)}}
गणित में विशेष रूप से रैखिक बीजगणित में परिमित [[आयाम (रैखिक बीजगणित)]] वाले [[आंतरिक उत्पाद स्थान]] ''V'' के लिए एक ऑर्थोनॉर्मल आधार <math>V</math> के लिए एक [[आधार (रैखिक बीजगणित)]] है, जिसके वेक्टर [[ऑर्थोनॉर्मल]] हैं, अर्थात् वे सभी [[ इकाई वेक्टर ]] और एक-दूसरे के लिए [[ओर्थोगोनालिटी|ऑर्थोगोनल]] हैं।<ref>{{cite book|last=Lay|first=David C.|title=रेखीय बीजगणित और इसके अनुप्रयोग|url=https://archive.org/details/studyguidetoline0000layd|url-access=registration|publisher=[[Addison–Wesley]]|year=2006|edition = 3rd|isbn=0-321-28713-4}}</ref><ref>{{cite book|last=Strang|first=Gilbert|author-link=Gilbert Strang|title=रेखीय बीजगणित और इसके अनुप्रयोग|publisher=[[Brooks Cole]]|year=2006|edition = 4th|isbn=0-03-010567-6}}</ref><ref>{{cite book|last = Axler|first = Sheldon|title = रैखिक बीजगणित सही ढंग से किया गया|publisher = [[Springer Science+Business Media|Springer]]|year = 2002|edition = 2nd|isbn = 0-387-98258-2}}</ref> उदाहरण के लिए, [[यूक्लिडियन स्थान]] <math>\R^n</math> के लिए [[मानक आधार]] एक ऑर्थोनॉर्मल आधार है, जहां प्रासंगिक आंतरिक उत्पाद वैक्टर का [[डॉट उत्पाद|डॉट गुणन]] है। किसी घूर्णन (गणित) या प्रतिबिंब (गणित) (या किसी [[ऑर्थोगोनल परिवर्तन]]) के अनुसार मानक आधार की [[छवि (गणित)]] भी ऑर्थोनॉर्मल होती है, और <math>\R^n</math> के लिए प्रत्येक ऑर्थोनॉर्मल आधार इसी तरह उत्पन्न होता है।
गणित में विशेष रूप से रैखिक बीजगणित में परिमित [[आयाम (रैखिक बीजगणित)]] वाले [[आंतरिक उत्पाद स्थान]] ''V'' के लिए एक '''ऑर्थोनॉर्मल आधार''' <math>V</math> के लिए एक [[आधार (रैखिक बीजगणित)]] है, जिसके सदिश ऑर्थोनॉर्मल हैं, अर्थात् वे सभी [[ इकाई वेक्टर |इकाई सदिश]] और एक-दूसरे के लिए [[ओर्थोगोनालिटी|ऑर्थोगोनल]] हैं।<ref>{{cite book|last=Lay|first=David C.|title=रेखीय बीजगणित और इसके अनुप्रयोग|url=https://archive.org/details/studyguidetoline0000layd|url-access=registration|publisher=[[Addison–Wesley]]|year=2006|edition = 3rd|isbn=0-321-28713-4}}</ref><ref>{{cite book|last=Strang|first=Gilbert|author-link=Gilbert Strang|title=रेखीय बीजगणित और इसके अनुप्रयोग|publisher=[[Brooks Cole]]|year=2006|edition = 4th|isbn=0-03-010567-6}}</ref><ref>{{cite book|last = Axler|first = Sheldon|title = रैखिक बीजगणित सही ढंग से किया गया|publisher = [[Springer Science+Business Media|Springer]]|year = 2002|edition = 2nd|isbn = 0-387-98258-2}}</ref> उदाहरण के लिए, [[यूक्लिडियन स्थान]] <math>\R^n</math> के लिए [[मानक आधार]] एक ऑर्थोनॉर्मल आधार है, जहां प्रासंगिक आंतरिक उत्पाद सदिश का [[डॉट उत्पाद|डॉट गुणन]] है। किसी घूर्णन (गणित) या प्रतिबिंब (गणित) (या किसी [[ऑर्थोगोनल परिवर्तन]]) के अनुसार मानक आधार की [[छवि (गणित)]] भी ऑर्थोनॉर्मल होती है, और <math>\R^n</math> के लिए प्रत्येक ऑर्थोनॉर्मल आधार इसी तरह उत्पन्न होता है।


सामान्य आंतरिक उत्पाद स्थान <math>V</math> के लिए, <math>V</math> पर सामान्यीकृत [[ऑर्थोगोनल निर्देशांक]] को परिभाषित करने के लिए एक ऑर्थोनॉर्मल आधार का उपयोग किया जा सकता है। इन निर्देशांक के अनुसार, आंतरिक उत्पाद वैक्टर का एक डॉट उत्पाद बन जाता है। इस प्रकार एक ऑर्थोनॉर्मल आधार की उपस्थिति [[आयाम (वेक्टर स्थान)|डॉट उत्पाद (वेक्टर स्थान)]] के अनुसार <math>\R^n</math> के अध्ययन के लिए एक परिमित-आयामी आंतरिक उत्पाद स्थान के अध्ययन को कम कर देती है। प्रत्येक परिमित-आयामी आंतरिक उत्पाद स्थान का एक ऑर्थोनॉर्मल आधार होता है, जिसे ग्राम-श्मिट प्रक्रिया का उपयोग करके एक स्वैच्छिक आधार से प्राप्त किया जा सकता है।
सामान्य आंतरिक उत्पाद स्थान <math>V</math> के लिए, <math>V</math> पर सामान्यीकृत [[ऑर्थोगोनल निर्देशांक]] को परिभाषित करने के लिए एक ऑर्थोनॉर्मल आधार का उपयोग किया जा सकता है। इन निर्देशांक के अनुसार, आंतरिक उत्पाद सदिश का एक डॉट उत्पाद बन जाता है। इस प्रकार एक ऑर्थोनॉर्मल आधार की उपस्थिति [[आयाम (वेक्टर स्थान)|डॉट उत्पाद (सदिश स्थान)]] के अनुसार <math>\R^n</math> के अध्ययन के लिए एक परिमित-आयामी आंतरिक उत्पाद स्थान के अध्ययन को कम कर देती है। प्रत्येक परिमित-आयामी आंतरिक उत्पाद स्थान का एक ऑर्थोनॉर्मल आधार होता है, जिसे ग्राम-श्मिट प्रक्रिया का उपयोग करके एक स्वैच्छिक आधार से प्राप्त किया जा सकता है।


[[कार्यात्मक विश्लेषण]] में, ऑर्थोनॉर्मल आधार की अवधारणा को स्वैच्छिक विधि से (अनंत-आयामी) आंतरिक उत्पाद स्थानों में सामान्यीकृत किया जा सकता है।<ref>{{cite book|last=Rudin|first=Walter|author-link=Walter Rudin|title=वास्तविक एवं जटिल विश्लेषण|publisher=[[McGraw-Hill]]|year=1987|isbn=0-07-054234-1}}</ref> पूर्व-हिल्बर्ट स्पेस <math>H</math> को देखते हुए, <math>H</math> के लिए एक ऑर्थोनॉर्मल आधार इस संपत्ति के साथ वैक्टर का एक ऑर्थोनॉर्मल सेट है कि <math>H</math> में प्रत्येक वेक्टर को आधार में वैक्टरों के एक [[अनंत रैखिक संयोजन]] के रूप में लिखा जा सकता है। इस स्थिति में, ऑर्थोनॉर्मल आधार को कभी-कभी <math>H</math> के लिए हिल्बर्ट आधार कहा जाता है। ध्यान दें कि इस अर्थ में ऑर्थोनॉर्मल आधार सामान्यतः हैमेल आधार नहीं होता है, क्योंकि अनंत रैखिक संयोजनों की आवश्यकता होती है।{{sfn|Roman|2008|p=218|loc=ch. 9}} विशेष रूप से, आधार का [[रैखिक विस्तार]] <math>H</math> में सघन होना चाहिए, किन्तु यह संपूर्ण स्थान नहीं हो सकता है।
[[कार्यात्मक विश्लेषण]] में, ऑर्थोनॉर्मल आधार की अवधारणा को स्वैच्छिक विधि से (अनंत-आयामी) आंतरिक उत्पाद स्थानों में सामान्यीकृत किया जा सकता है।<ref>{{cite book|last=Rudin|first=Walter|author-link=Walter Rudin|title=वास्तविक एवं जटिल विश्लेषण|publisher=[[McGraw-Hill]]|year=1987|isbn=0-07-054234-1}}</ref> पूर्व-हिल्बर्ट स्पेस <math>H</math> को देखते हुए, <math>H</math> के लिए एक ऑर्थोनॉर्मल आधार इस संपत्ति के साथ सदिश का एक ऑर्थोनॉर्मल समूह है कि <math>H</math> में प्रत्येक सदिश को आधार में सदिशों के एक [[अनंत रैखिक संयोजन]] के रूप में लिखा जा सकता है। इस स्थिति में, ऑर्थोनॉर्मल आधार को कभी-कभी <math>H</math> के लिए हिल्बर्ट आधार कहा जाता है। ध्यान दें कि इस अर्थ में ऑर्थोनॉर्मल आधार सामान्यतः हैमेल आधार नहीं होता है, क्योंकि अनंत रैखिक संयोजनों की आवश्यकता होती है।{{sfn|Roman|2008|p=218|loc=ch. 9}} विशेष रूप से, आधार का [[रैखिक विस्तार]] <math>H</math> में सघन होना चाहिए, किन्तु यह संपूर्ण स्थान नहीं हो सकता है।


यदि हम [[ हिल्बर्ट स्थान ]] पर जाएं, तो ऑर्थोनॉर्मल आधार के समान रैखिक विस्तार वाले वैक्टर का गैर-ऑर्थोनॉर्मल सेट बिल्कुल भी आधार नहीं हो सकता है। उदाहरण के लिए, अंतराल <math>[-1,1]</math> पर किसी भी वर्ग-अभिन्न फलन ([[लगभग हर जगह|लगभग प्रत्येक स्थान]]) लिजेंड्रे बहुपदों (ऑर्थोनॉर्मल आधार) के अनंत योग के रूप में व्यक्त किया जा सकता है, किन्तु आवश्यक नहीं कि [[एकपद|एकपदी]] <math>x^n</math> के अनंत योग के रूप में व्यक्त किया जा सके।  
यदि हम [[ हिल्बर्ट स्थान |हिल्बर्ट स्थान]] पर जाएं, तो ऑर्थोनॉर्मल आधार के समान रैखिक विस्तार वाले सदिश का गैर-ऑर्थोनॉर्मल समूह बिल्कुल भी आधार नहीं हो सकता है। उदाहरण के लिए, अंतराल <math>[-1,1]</math> पर किसी भी वर्ग-अभिन्न फलन ([[लगभग हर जगह|लगभग प्रत्येक स्थान]]) लिजेंड्रे बहुपदों (ऑर्थोनॉर्मल आधार) के अनंत योग के रूप में व्यक्त किया जा सकता है, किन्तु आवश्यक नहीं कि [[एकपद|एकपदी]] <math>x^n</math> के अनंत योग के रूप में व्यक्त किया जा सके।  


एक अलग सामान्यीकरण छद्म-आंतरिक उत्पाद रिक्त स्थान, परिमित-आयामी वेक्टर रिक्त स्थान <math>M</math> के लिए है जो एक गैर-अपक्षयी [[सममित द्विरेखीय रूप]] से सुसज्जित है जिसे [[मीट्रिक टेंसर]] के रूप में जाना जाता है। ऐसे आधार पर, मीट्रिक <math>p</math> धनात्मक और <math>q</math> ऋणात्मक वाले <math>\text{diag}(+1,\cdots,+1,-1,\cdots,-1)</math> का रूप लेता है।
एक अलग सामान्यीकरण छद्म-आंतरिक उत्पाद रिक्त स्थान, परिमित-आयामी सदिश रिक्त स्थान <math>M</math> के लिए है जो एक गैर-अपक्षयी [[सममित द्विरेखीय रूप]] से सुसज्जित है जिसे [[मीट्रिक टेंसर]] के रूप में जाना जाता है। ऐसे आधार पर, मीट्रिक <math>p</math> धनात्मक और <math>q</math> ऋणात्मक वाले <math>\text{diag}(+1,\cdots,+1,-1,\cdots,-1)</math> का रूप लेता है।


==उदाहरण==
==उदाहरण==


* <math>\mathbb{R}^3</math> के लिए, वैक्टर <math>\left\{e_1 = (1,0,0), e_2 = (0,1,0), e_3 = (0,0,1)\right\},</math> के सेट को मानक आधार कहा जाता है और मानक डॉट उत्पाद के संबंध में <math>\mathbb{R}^3</math> का एक ऑर्थोनॉर्मल आधार बनाता है। ध्यान दें कि मानक आधार और मानक डॉट उत्पाद दोनों ही <math>\mathbb{R}^3</math> को कार्टेशियन उत्पाद <math>\mathbb{R}\times\mathbb{R}\times\mathbb{R}</math> के रूप में देखने पर निर्भर करते हैं
* <math>\mathbb{R}^3</math> के लिए, सदिश <math>\left\{e_1 = (1,0,0), e_2 = (0,1,0), e_3 = (0,0,1)\right\},</math> के समूह को मानक आधार कहा जाता है और मानक डॉट उत्पाद के संबंध में <math>\mathbb{R}^3</math> का एक ऑर्थोनॉर्मल आधार बनाता है। ध्यान दें कि मानक आधार और मानक डॉट उत्पाद दोनों ही <math>\mathbb{R}^3</math> को कार्टेशियन उत्पाद <math>\mathbb{R}\times\mathbb{R}\times\mathbb{R}</math> के रूप में देखने पर निर्भर करते हैं
*:'''प्रमाण''': एक सीधी गणना से पता चलता है कि इन वैक्टरों का आंतरिक उत्पाद शून्य, <math>\left\langle e_1, e_2 \right\rangle = \left\langle e_1, e_3 \right\rangle = \left\langle e_2, e_3 \right\rangle = 0</math> के बराबर है और उनका प्रत्येक परिमाण एक, <math>\left\|e_1\right\| = \left\|e_2\right\| = \left\|e_3\right\| = 1</math> के बराबर है। इसका अर्थ है कि <math>\left\{e_1, e_2, e_3\right\}</math> ऑर्थोनॉर्मल सेट है। सभी वैक्टर <math>(x, y, z) \in \R^3</math> स्केल किए गए आधार वैक्टर के योग के रूप में व्यक्त किया जा सकता है <math display="block"> (x,y,z) = x e_1 + y e_2 + z e_3,</math>इसलिए <math>\left\{e_1, e_2, e_3\right\}</math> का विस्तार <math>\R^3</math> और इसलिए आधार होना चाहिए। यह भी दिखाया जा सकता है कि मानक आधार मूल के माध्यम से अक्ष के चारों ओर घूमता है या मूल के माध्यम से विमान में परिलक्षित होता है, जो <math>\R^3</math> का एक लंबात्मक आधार भी बनाता है।
*:'''प्रमाण''': एक सीधी गणना से पता चलता है कि इन सदिशों का आंतरिक उत्पाद शून्य, <math>\left\langle e_1, e_2 \right\rangle = \left\langle e_1, e_3 \right\rangle = \left\langle e_2, e_3 \right\rangle = 0</math> के बराबर है और उनका प्रत्येक परिमाण एक, <math>\left\|e_1\right\| = \left\|e_2\right\| = \left\|e_3\right\| = 1</math> के बराबर है। इसका अर्थ है कि <math>\left\{e_1, e_2, e_3\right\}</math> ऑर्थोनॉर्मल समूह है। सभी सदिश <math>(x, y, z) \in \R^3</math> स्केल किए गए आधार सदिश के योग के रूप में व्यक्त किया जा सकता है <math display="block"> (x,y,z) = x e_1 + y e_2 + z e_3,</math>इसलिए <math>\left\{e_1, e_2, e_3\right\}</math> का विस्तार <math>\R^3</math> और इसलिए आधार होना चाहिए। यह भी दिखाया जा सकता है कि मानक आधार मूल के माध्यम से अक्ष के चारों ओर घूमता है या मूल के माध्यम से विमान में परिलक्षित होता है, जो <math>\R^3</math> का एक लंबात्मक आधार भी बनाता है।
*:
*:
* <math>\mathbb{R}^n</math> के लिए, मानक आधार और आंतरिक उत्पाद को समान रूप से परिभाषित किया गया है। कोई भी अन्य ऑर्थोनॉर्मल आधार समूह O(n) में ऑर्थोगोनल परिवर्तन द्वारा मानक आधार से संबंधित है।
* <math>\mathbb{R}^n</math> के लिए, मानक आधार और आंतरिक उत्पाद को समान रूप से परिभाषित किया गया है। कोई भी अन्य ऑर्थोनॉर्मल आधार समूह O(n) में ऑर्थोगोनल परिवर्तन द्वारा मानक आधार से संबंधित है।
*छद्म-यूक्लिडियन स्थान <math>\mathbb{R}^{p,q}</math> के लिए, एक ऑर्थोगोनल आधार <math>\{e_\mu\}</math> इसके अतिरिक्त मीट्रिक <math>\eta</math> के साथ <math>\eta(e_\mu,e_\nu) = 0</math> को संतुष्ट करता है यदि <math>\mu\neq \nu</math>, <math>\eta(e_\mu,e_\mu) = +1</math> और <math>1\leq\mu\leq p</math>, और <math>\eta(e_\mu,e_\mu) =-1</math> यदि <math>p+1\leq\mu\leq p+q</math> है। कोई भी दो ऑर्थोनॉर्मल आधार छद्म-ऑर्थोगोनल परिवर्तन से संबंधित होते हैं। यदि <math>(p,q) = (1,3)</math>, ये लोरेंत्ज़ परिवर्तन हैं।
*छद्म-यूक्लिडियन स्थान <math>\mathbb{R}^{p,q}</math> के लिए, एक ऑर्थोगोनल आधार <math>\{e_\mu\}</math> इसके अतिरिक्त मीट्रिक <math>\eta</math> के साथ <math>\eta(e_\mu,e_\nu) = 0</math> को संतुष्ट करता है यदि <math>\mu\neq \nu</math>, <math>\eta(e_\mu,e_\mu) = +1</math> और <math>1\leq\mu\leq p</math>, और <math>\eta(e_\mu,e_\mu) =-1</math> यदि <math>p+1\leq\mu\leq p+q</math> है। कोई भी दो ऑर्थोनॉर्मल आधार छद्म-ऑर्थोगोनल परिवर्तन से संबंधित होते हैं। यदि <math>(p,q) = (1,3)</math>, ये लोरेंत्ज़ परिवर्तन हैं।
* <math>f_n(x) = \exp(2 \pi inx)</math> के साथ सेट <math>\left\{f_n : n \in \Z\right\}</math> जहां <math>\exp</math> घातीय फलन को दर्शाता है, [[2-मानदंड]] के संबंध में परिमित लेबेस्ग इंटीग्रल, <math>L^2([0,1]),</math> के साथ फलन के स्थान का एक ऑर्थोनॉर्मल आधार बनाता है। यह फूरियर श्रृंखला के अध्ययन के लिए मौलिक है।
* <math>f_n(x) = \exp(2 \pi inx)</math> के साथ समूह <math>\left\{f_n : n \in \Z\right\}</math> जहां <math>\exp</math> घातीय फलन को दर्शाता है, [[2-मानदंड]] के संबंध में परिमित लेबेस्ग इंटीग्रल, <math>L^2([0,1]),</math> के साथ फलन के स्थान का एक ऑर्थोनॉर्मल आधार बनाता है। यह फूरियर श्रृंखला के अध्ययन के लिए मौलिक है।
* <math>e_b(c) = 1</math> के साथ सेट <math>\left\{e_b : b \in B\right\}</math> यदि <math>b = c</math> और <math>e_b(c) = 0</math> अन्यथा <math>\ell^2(B)</math> का एक लंबात्मक आधार बनाता है।
* <math>e_b(c) = 1</math> के साथ समूह <math>\left\{e_b : b \in B\right\}</math> यदि <math>b = c</math> और <math>e_b(c) = 0</math> अन्यथा <math>\ell^2(B)</math> का एक लंबात्मक आधार बनाता है।
* स्टर्म-लिउविले ईजेनप्रॉब्लम के ईजेनफंक्शन।
* स्टर्म-लिउविले ईजेनप्रॉब्लम के ईजेनफंक्शन।
* [[ऑर्थोगोनल मैट्रिक्स]] के [[स्तंभ सदिश]] ऑर्थोनॉर्मल सेट बनाते हैं।
* [[ऑर्थोगोनल मैट्रिक्स]] के [[स्तंभ सदिश]] ऑर्थोनॉर्मल समूह बनाते हैं।


==मूल सूत्र==
==मूल सूत्र==
Line 30: Line 30:
और नॉर्म (गणित) का वर्ग <math>x</math> द्वारा दिया जा सकता है
और नॉर्म (गणित) का वर्ग <math>x</math> द्वारा दिया जा सकता है
<math display=block>\|x\|^2 = \sum_{b\in B}|\langle x,b\rangle |^2.</math>
<math display=block>\|x\|^2 = \sum_{b\in B}|\langle x,b\rangle |^2.</math>
तथापि <math>B</math> [[बेशुमार सेट|अगणनीय सेट]] है, इस योग में केवल गणनीय रूप से कई पद गैर-शून्य होंगे, और इसलिए अभिव्यक्ति अच्छी तरह से परिभाषित है। इस राशि को <math>x</math> का [[सामान्यीकृत फूरियर श्रृंखला]] भी कहा जाता है, और सूत्र को सामान्यतः पार्सेवल की पहचान के रूप में जाना जाता है।
तथापि <math>B</math> [[बेशुमार सेट|अगणनीय समूह]] है, इस योग में केवल गणनीय रूप से कई पद गैर-शून्य होंगे, और इसलिए अभिव्यक्ति अच्छी तरह से परिभाषित है। इस राशि को <math>x</math> का [[सामान्यीकृत फूरियर श्रृंखला]] भी कहा जाता है, और सूत्र को सामान्यतः पार्सेवल की पहचान के रूप में जाना जाता है।


यदि <math>B</math>, <math>H</math> का एक ऑर्थोनॉर्मल आधार है, तब <math>H</math> निम्नलिखित अर्थों में <math>\ell^2(B)</math> का समरूपी है: एक विशेषण [[रैखिक ऑपरेटर]] <math>\Phi : H \to \ell^2(B)</math> उपस्थित है जैसे कि
यदि <math>B</math>, <math>H</math> का एक ऑर्थोनॉर्मल आधार है, तब <math>H</math> निम्नलिखित अर्थों में <math>\ell^2(B)</math> का समरूपी है: एक विशेषण [[रैखिक ऑपरेटर]] <math>\Phi : H \to \ell^2(B)</math> उपस्थित है जैसे कि
Line 36: Line 36:




==अपूर्ण ओर्थोगोनल सेट==
==अपूर्ण ओर्थोगोनल समूह==


हिल्बर्ट स्पेस <math>H</math> और <math>H
हिल्बर्ट स्पेस <math>H</math> और <math>H
</math> में परस्पर ऑर्थोगोनल वैक्टर के एक सेट <math>S</math> को देखते हुए, हम <math>S</math> युक्त <math>H</math> का सबसे छोटा बंद रैखिक उपस्पेस <math>V</math> ले सकते हैं। तब <math>S</math> <math>V</math> का ऑर्थोगोनल आधार होगा; जो निश्चित रूप से अपूर्ण ऑर्थोगोनल सेट होने के कारण <math>H</math> से छोटा हो सकता है या पूर्ण ऑर्थोगोनल सेट होने पर <math>H</math> हो सकता है।
</math> में परस्पर ऑर्थोगोनल सदिश के एक समूह <math>S</math> को देखते हुए, हम <math>S</math> युक्त <math>H</math> का सबसे छोटा बंद रैखिक उपस्पेस <math>V</math> ले सकते हैं। तब <math>S</math> <math>V</math> का ऑर्थोगोनल आधार होगा; जो निश्चित रूप से अपूर्ण ऑर्थोगोनल समूह होने के कारण <math>H</math> से छोटा हो सकता है या पूर्ण ऑर्थोगोनल समूह होने पर <math>H</math> हो सकता है।


==अस्तित्व==
==अस्तित्व==


ज़ोर्न के लेम्मा और ग्राम-श्मिट प्रक्रिया (या अधिक सरल रूप से सुव्यवस्थित और ट्रांसफिनिट रिकर्सन) का उपयोग करके, कोई यह दिखा सकता है कि प्रत्येक हिल्बर्ट स्थान एक ऑर्थोनॉर्मल आधार को स्वीकार करता है;<ref> [https://books.google.com/books?id=-m3jBwAAQBAJ Linear Functional Analysis] Authors: Rynne, Bryan, Youngson, M.A. page 79</ref> इसके अतिरिक्त, एक ही स्थान के किन्हीं दो ऑर्थोनॉर्मल आधारों में समान कार्डिनैलिटी (इसे वेक्टर रिक्त स्थान के लिए सामान्य आयाम प्रमेय के प्रमाण के समान ही सिद्ध किया जा सकता है, भिन्न-भिन्न स्थितियों में यह इस बात पर निर्भर करता है कि बड़ा आधार उम्मीदवार [[गणनीय]] है या नहीं) होती है। हिल्बर्ट स्पेस को तभी अलग किया जा सकता है जब वह गणनीय ऑर्थोनॉर्मल आधार को स्वीकार करता है। (पसंद के सिद्धांत का उपयोग किए बिना कोई इस अंतिम कथन को सिद्ध कर सकता है।)
ज़ोर्न के लेम्मा और ग्राम-श्मिट प्रक्रिया (या अधिक सरल रूप से सुव्यवस्थित और ट्रांसफिनिट रिकर्सन) का उपयोग करके, कोई यह दिखा सकता है कि प्रत्येक हिल्बर्ट स्थान एक ऑर्थोनॉर्मल आधार को स्वीकार करता है;<ref> [https://books.google.com/books?id=-m3jBwAAQBAJ Linear Functional Analysis] Authors: Rynne, Bryan, Youngson, M.A. page 79</ref> इसके अतिरिक्त, एक ही स्थान के किन्हीं दो ऑर्थोनॉर्मल आधारों में समान कार्डिनैलिटी (इसे सदिश रिक्त स्थान के लिए सामान्य आयाम प्रमेय के प्रमाण के समान ही सिद्ध किया जा सकता है, भिन्न-भिन्न स्थितियों में यह इस बात पर निर्भर करता है कि बड़ा आधार उम्मीदवार [[गणनीय]] है या नहीं) होती है। हिल्बर्ट स्पेस को तभी अलग किया जा सकता है जब वह गणनीय ऑर्थोनॉर्मल आधार को स्वीकार करता है। (पसंद के सिद्धांत का उपयोग किए बिना कोई इस अंतिम कथन को सिद्ध कर सकता है।)


==समरूपता के विकल्प के रूप में आधार का चुनाव==
==समरूपता के विकल्प के रूप में आधार का चुनाव==


ठोसता के लिए हम एक सकारात्मक निश्चित सममित द्विरेखीय रूप <math>\phi=\langle\cdot,\cdot\rangle</math> के साथ एक वास्तविक <math>n</math> आयामी वेक्टर अंतरिक्ष <math>V</math> के लिए ऑर्थोनॉर्मल आधारों पर चर्चा करते हैं।
ठोसता के लिए हम एक सकारात्मक निश्चित सममित द्विरेखीय रूप <math>\phi=\langle\cdot,\cdot\rangle</math> के साथ एक वास्तविक <math>n</math> आयामी सदिश अंतरिक्ष <math>V</math> के लिए ऑर्थोनॉर्मल आधारों पर चर्चा करते हैं।


<math>\phi</math> के संबंध में ऑर्थोनॉर्मल आधार को देखने का एक तरीका वैक्टर <math>\mathcal{B} = \{e_i\}</math> के एक सेट के रूप में है, जो हमें <math>v = v^ie_i</math> के लिए <math>v\in V</math>, और <math>v^i\in \mathbb{R}</math> या <math>(v^i) \in \mathbb{R}^n</math> लिखने की अनुमति देता हैं। इस आधार के संबंध में, <math>\phi</math> के घटक विशेष रूप से सरल हैं:
<math>\phi</math> के संबंध में ऑर्थोनॉर्मल आधार को देखने का एक तरीका सदिश <math>\mathcal{B} = \{e_i\}</math> के एक समूह के रूप में है, जो हमें <math>v = v^ie_i</math> के लिए <math>v\in V</math>, और <math>v^i\in \mathbb{R}</math> या <math>(v^i) \in \mathbb{R}^n</math> लिखने की अनुमति देता हैं। इस आधार के संबंध में, <math>\phi</math> के घटक विशेष रूप से सरल हैं:


<math>\phi(e_i,e_j) = \delta_{ij}.</math>
<math>\phi(e_i,e_j) = \delta_{ij}.</math>
Line 68: Line 68:


==प्रमुख सजातीय स्थान के रूप में==
==प्रमुख सजातीय स्थान के रूप में==
{{Main|Stiefel manifold}}
{{Main|स्टिफ़ेल मैनिफ़ोल्ड}}


के लिए लम्बवत् आधारों का समुच्चय <math>\mathbb{R}^n</math> मानक आंतरिक उत्पाद के साथ [[ऑर्थोगोनल समूह]] के लिए [[प्रमुख सजातीय स्थान]] या जी-टॉर्सर है <math>G = \text{O}(n),</math> और इसे [[स्टिफ़ेल मैनिफ़ोल्ड]] कहा जाता है <math>V_n(\R^n)</math> ऑर्थोनॉर्मल क्यू-फ़्रेम का<math>n</math>-फ्रेम।<ref>{{Cite web|title=सीयू संकाय|url=https://engfac.cooper.edu/fred|access-date=2021-04-15|website=engfac.cooper.edu}}</ref>
मानक आंतरिक उत्पाद के साथ <math>\mathbb{R}^n</math> के लिए ऑर्थोनॉर्मल आधारों का समूह [[ऑर्थोगोनल समूह]] <math>G = \text{O}(n),</math> के लिए एक [[प्रमुख सजातीय स्थान]] या G-टॉर्सर है, और इसे ऑर्थोनॉर्मल n-फ़्रेम का [[स्टिफ़ेल मैनिफ़ोल्ड]] <math>V_n(\R^n)</math> कहा जाता है।<ref>{{Cite web|title=सीयू संकाय|url=https://engfac.cooper.edu/fred|access-date=2021-04-15|website=engfac.cooper.edu}}</ref>
दूसरे शब्दों में, ऑर्थोनॉर्मल आधारों का स्थान ऑर्थोगोनल समूह की तरह है, किन्तु आधार बिंदु के विकल्प के बिना: ऑर्थोनॉर्मल आधारों के स्थान को देखते हुए, ऑर्थोनॉर्मल आधारों का कोई प्राकृतिक विकल्प नहीं है, किन्तु बार दिया जाता है, तो होता है -आधारों और ऑर्थोगोनल समूह के बीच एक-से-पत्राचार।
सीधे तौर पर, रेखीय माप इस बात से निर्धारित होता है कि वह किसी दिए गए आधार को कहां भेजता है: जिस तरह उलटा नक्शा किसी भी आधार को किसी अन्य आधार पर ले जा सकता है, ऑर्थोगोनल नक्शा किसी भी ऑर्थोगोनल आधार को किसी अन्य ऑर्थोगोनल आधार पर ले जा सकता है।


अन्य स्टिफ़ेल मैनिफोल्ड्स <math>V_k(\R^n)</math> के लिए <math>k < n</math> अपूर्ण ऑर्थोनॉर्मल आधार का (ऑर्थोनॉर्मल)। <math>k</math>-फ़्रेम) ऑर्थोगोनल समूह के लिए अभी भी सजातीय स्थान हैं, किन्तु प्रमुख सजातीय स्थान नहीं: कोई भी <math>k</math>-फ्रेम को किसी अन्य पर ले जाया जा सकता है <math>k</math>-ऑर्थोगोनल माप द्वारा फ़्रेम, किन्तु यह माप विशिष्ट रूप से निर्धारित नहीं है।
दूसरे शब्दों में, ऑर्थोनॉर्मल आधारों का स्थान ऑर्थोगोनल समूह की तरह है, किन्तु आधार बिंदु के विकल्प के बिना: ऑर्थोनॉर्मल आधारों के स्थान को देखते हुए, ऑर्थोनॉर्मल आधारों का कोई प्राकृतिक विकल्प नहीं है, किन्तु एक बार एक दिए जाने के बाद आधारों और ऑर्थोगोनल समूह के बीच एक से एक पत्राचार होता है। सामान्यतः, एक रेखीय मानचित्र इस बात से निर्धारित होता है कि वह किसी दिए गए आधार को कहां भेजता है: जिस तरह एक व्युत्क्रम माप किसी भी आधार को किसी अन्य आधार पर ले जा सकता है, एक ऑर्थोगोनल नक्शा किसी भी ऑर्थोगोनल आधार को किसी अन्य ऑर्थोगोनल आधार पर ले जा सकता है।


* के लिए ऑर्थोनॉर्मल आधारों का सेट <math>\mathbb{R}^{p,q}</math> के लिए जी-टॉर्सर है <math>G = \text{O}(p,q)</math>.
अन्य स्टिफ़ेल अपूर्ण ऑर्थोनॉर्मल आधारों (ऑर्थोनॉर्मल <math>k</math>-फ़्रेम) के <math>k < n</math> के लिए <math>V_k(\R^n)</math> को मैनिफोल्ड करता है, ऑर्थोगोनल समूह के लिए अभी भी सजातीय स्थान हैं, किन्तु प्रमुख सजातीय स्थान नहीं हैं: किसी भी <math>k</math>-फ़्रेम को ऑर्थोगोनल माप द्वारा किसी अन्य <math>k</math>-फ़्रेम में ले जाया जा सकता है, किन्तु यह मानचित्र विशिष्ट रूप से निर्धारित नहीं है।
* के लिए ऑर्थोनॉर्मल आधारों का सेट <math>\mathbb{C}^n</math> के लिए जी-टॉर्सर है <math>G = \text{U}(n)</math>.
 
* के लिए ऑर्थोनॉर्मल आधारों का सेट <math>\mathbb{C}^{p,q}</math> के लिए जी-टॉर्सर है <math>G = \text{U}(p,q)</math>.
* <math>\mathbb{R}^{p,q}</math> के लिए ऑर्थोनॉर्मल आधारों का समूह <math>G = \text{O}(p,q)</math> के लिए G-टॉर्सर है।
* दाएं हाथ के ऑर्थोनॉर्मल आधारों का सेट <math>\mathbb{R}^n</math> के लिए जी-टॉर्सर है <math>G = \text{SO}(n)</math>
* <math>\mathbb{C}^n</math> के लिए ऑर्थोनॉर्मल आधारों का समूह <math>G = \text{U}(n)</math> के लिए जी-टॉर्सर है।
* <math>\mathbb{C}^{p,q}</math> के लिए ऑर्थोनॉर्मल आधारों का समूह <math>G = \text{U}(p,q)</math> के लिए जी-टॉर्सर है।
* <math>\mathbb{R}^n</math> के लिए दाएं हाथ के ऑर्थोनॉर्मल आधारों का समूह <math>G = \text{SO}(n)</math> के लिए जी-टॉर्सर है।




==यह भी देखें==
==यह भी देखें==


* {{annotated link|Orthogonal basis}}
* {{annotated link|ऑर्थोगोनल आधार}}
* {{annotated link|Basis (linear algebra)}}
* {{annotated link|आधार(रैखिक बीजगणित) }}
* {{annotated link|Affine space#Affine coordinates|Orthonormal frame}}
* {{annotated link|एफ़िन स्पेस एफ़िन निर्देशांक|ऑर्थोनॉर्मल फ़्रेम}}
* {{annotated link|Schauder basis}}
* {{annotated link|शॉडर आधार}}
* {{annotated link|Total set}}
* {{annotated link|कुल सेट}}


==संदर्भ==
==संदर्भ==
Line 113: Line 113:


{{linear algebra}}
{{linear algebra}}
{{Hilbert space}}
{{DEFAULTSORT:Orthonormal Basis}}
{{Functional analysis}}
 
{{DEFAULTSORT:Orthonormal Basis}}[[Category: फूरियर विश्लेषण]] [[Category: कार्यात्मक विश्लेषण]] [[Category: लीनियर अलजेब्रा]]
 
 


[[Category: Machine Translated Page]]
[[Category:Articles with hatnote templates targeting a nonexistent page|Orthonormal Basis]]
[[Category:Created On 30/06/2023]]
[[Category:Collapse templates|Orthonormal Basis]]
[[Category:Created On 30/06/2023|Orthonormal Basis]]
[[Category:Lua-based templates|Orthonormal Basis]]
[[Category:Machine Translated Page|Orthonormal Basis]]
[[Category:Navigational boxes| ]]
[[Category:Navigational boxes without horizontal lists|Orthonormal Basis]]
[[Category:Pages with script errors|Orthonormal Basis]]
[[Category:Sidebars with styles needing conversion|Orthonormal Basis]]
[[Category:Template documentation pages|Documentation/doc]]
[[Category:Templates Translated in Hindi|Orthonormal Basis]]
[[Category:Templates Vigyan Ready|Orthonormal Basis]]
[[Category:Templates generating microformats|Orthonormal Basis]]
[[Category:Templates that add a tracking category|Orthonormal Basis]]
[[Category:Templates that are not mobile friendly|Orthonormal Basis]]
[[Category:Templates that generate short descriptions|Orthonormal Basis]]
[[Category:Templates using TemplateData|Orthonormal Basis]]
[[Category:Wikipedia metatemplates|Orthonormal Basis]]
[[Category:कार्यात्मक विश्लेषण|Orthonormal Basis]]
[[Category:फूरियर विश्लेषण|Orthonormal Basis]]
[[Category:लीनियर अलजेब्रा|Orthonormal Basis]]

Latest revision as of 21:29, 11 July 2023

गणित में विशेष रूप से रैखिक बीजगणित में परिमित आयाम (रैखिक बीजगणित) वाले आंतरिक उत्पाद स्थान V के लिए एक ऑर्थोनॉर्मल आधार के लिए एक आधार (रैखिक बीजगणित) है, जिसके सदिश ऑर्थोनॉर्मल हैं, अर्थात् वे सभी इकाई सदिश और एक-दूसरे के लिए ऑर्थोगोनल हैं।[1][2][3] उदाहरण के लिए, यूक्लिडियन स्थान के लिए मानक आधार एक ऑर्थोनॉर्मल आधार है, जहां प्रासंगिक आंतरिक उत्पाद सदिश का डॉट गुणन है। किसी घूर्णन (गणित) या प्रतिबिंब (गणित) (या किसी ऑर्थोगोनल परिवर्तन) के अनुसार मानक आधार की छवि (गणित) भी ऑर्थोनॉर्मल होती है, और के लिए प्रत्येक ऑर्थोनॉर्मल आधार इसी तरह उत्पन्न होता है।

सामान्य आंतरिक उत्पाद स्थान के लिए, पर सामान्यीकृत ऑर्थोगोनल निर्देशांक को परिभाषित करने के लिए एक ऑर्थोनॉर्मल आधार का उपयोग किया जा सकता है। इन निर्देशांक के अनुसार, आंतरिक उत्पाद सदिश का एक डॉट उत्पाद बन जाता है। इस प्रकार एक ऑर्थोनॉर्मल आधार की उपस्थिति डॉट उत्पाद (सदिश स्थान) के अनुसार के अध्ययन के लिए एक परिमित-आयामी आंतरिक उत्पाद स्थान के अध्ययन को कम कर देती है। प्रत्येक परिमित-आयामी आंतरिक उत्पाद स्थान का एक ऑर्थोनॉर्मल आधार होता है, जिसे ग्राम-श्मिट प्रक्रिया का उपयोग करके एक स्वैच्छिक आधार से प्राप्त किया जा सकता है।

कार्यात्मक विश्लेषण में, ऑर्थोनॉर्मल आधार की अवधारणा को स्वैच्छिक विधि से (अनंत-आयामी) आंतरिक उत्पाद स्थानों में सामान्यीकृत किया जा सकता है।[4] पूर्व-हिल्बर्ट स्पेस को देखते हुए, के लिए एक ऑर्थोनॉर्मल आधार इस संपत्ति के साथ सदिश का एक ऑर्थोनॉर्मल समूह है कि में प्रत्येक सदिश को आधार में सदिशों के एक अनंत रैखिक संयोजन के रूप में लिखा जा सकता है। इस स्थिति में, ऑर्थोनॉर्मल आधार को कभी-कभी के लिए हिल्बर्ट आधार कहा जाता है। ध्यान दें कि इस अर्थ में ऑर्थोनॉर्मल आधार सामान्यतः हैमेल आधार नहीं होता है, क्योंकि अनंत रैखिक संयोजनों की आवश्यकता होती है।[5] विशेष रूप से, आधार का रैखिक विस्तार में सघन होना चाहिए, किन्तु यह संपूर्ण स्थान नहीं हो सकता है।

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

एक अलग सामान्यीकरण छद्म-आंतरिक उत्पाद रिक्त स्थान, परिमित-आयामी सदिश रिक्त स्थान के लिए है जो एक गैर-अपक्षयी सममित द्विरेखीय रूप से सुसज्जित है जिसे मीट्रिक टेंसर के रूप में जाना जाता है। ऐसे आधार पर, मीट्रिक धनात्मक और ऋणात्मक वाले का रूप लेता है।

उदाहरण

  • के लिए, सदिश के समूह को मानक आधार कहा जाता है और मानक डॉट उत्पाद के संबंध में का एक ऑर्थोनॉर्मल आधार बनाता है। ध्यान दें कि मानक आधार और मानक डॉट उत्पाद दोनों ही को कार्टेशियन उत्पाद के रूप में देखने पर निर्भर करते हैं
    प्रमाण: एक सीधी गणना से पता चलता है कि इन सदिशों का आंतरिक उत्पाद शून्य, के बराबर है और उनका प्रत्येक परिमाण एक, के बराबर है। इसका अर्थ है कि ऑर्थोनॉर्मल समूह है। सभी सदिश स्केल किए गए आधार सदिश के योग के रूप में व्यक्त किया जा सकता है
    इसलिए का विस्तार और इसलिए आधार होना चाहिए। यह भी दिखाया जा सकता है कि मानक आधार मूल के माध्यम से अक्ष के चारों ओर घूमता है या मूल के माध्यम से विमान में परिलक्षित होता है, जो का एक लंबात्मक आधार भी बनाता है।
  • के लिए, मानक आधार और आंतरिक उत्पाद को समान रूप से परिभाषित किया गया है। कोई भी अन्य ऑर्थोनॉर्मल आधार समूह O(n) में ऑर्थोगोनल परिवर्तन द्वारा मानक आधार से संबंधित है।
  • छद्म-यूक्लिडियन स्थान के लिए, एक ऑर्थोगोनल आधार इसके अतिरिक्त मीट्रिक के साथ को संतुष्ट करता है यदि , और , और यदि है। कोई भी दो ऑर्थोनॉर्मल आधार छद्म-ऑर्थोगोनल परिवर्तन से संबंधित होते हैं। यदि , ये लोरेंत्ज़ परिवर्तन हैं।
  • के साथ समूह जहां घातीय फलन को दर्शाता है, 2-मानदंड के संबंध में परिमित लेबेस्ग इंटीग्रल, के साथ फलन के स्थान का एक ऑर्थोनॉर्मल आधार बनाता है। यह फूरियर श्रृंखला के अध्ययन के लिए मौलिक है।
  • के साथ समूह यदि और अन्यथा का एक लंबात्मक आधार बनाता है।
  • स्टर्म-लिउविले ईजेनप्रॉब्लम के ईजेनफंक्शन।
  • ऑर्थोगोनल मैट्रिक्स के स्तंभ सदिश ऑर्थोनॉर्मल समूह बनाते हैं।

मूल सूत्र

यदि , का ऑर्थोगोनल आधार है, तो प्रत्येक तत्व को इस प्रकार लिखा जा सकता है

जब ऑर्थोनॉर्मल है, इससे यह सरल हो जाता है
और नॉर्म (गणित) का वर्ग द्वारा दिया जा सकता है
तथापि अगणनीय समूह है, इस योग में केवल गणनीय रूप से कई पद गैर-शून्य होंगे, और इसलिए अभिव्यक्ति अच्छी तरह से परिभाषित है। इस राशि को का सामान्यीकृत फूरियर श्रृंखला भी कहा जाता है, और सूत्र को सामान्यतः पार्सेवल की पहचान के रूप में जाना जाता है।

यदि , का एक ऑर्थोनॉर्मल आधार है, तब निम्नलिखित अर्थों में का समरूपी है: एक विशेषण रैखिक ऑपरेटर उपस्थित है जैसे कि


अपूर्ण ओर्थोगोनल समूह

हिल्बर्ट स्पेस और में परस्पर ऑर्थोगोनल सदिश के एक समूह को देखते हुए, हम युक्त का सबसे छोटा बंद रैखिक उपस्पेस ले सकते हैं। तब का ऑर्थोगोनल आधार होगा; जो निश्चित रूप से अपूर्ण ऑर्थोगोनल समूह होने के कारण से छोटा हो सकता है या पूर्ण ऑर्थोगोनल समूह होने पर हो सकता है।

अस्तित्व

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

समरूपता के विकल्प के रूप में आधार का चुनाव

ठोसता के लिए हम एक सकारात्मक निश्चित सममित द्विरेखीय रूप के साथ एक वास्तविक आयामी सदिश अंतरिक्ष के लिए ऑर्थोनॉर्मल आधारों पर चर्चा करते हैं।

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

अब हम आधार को माप के रूप में देख सकते हैं जो आंतरिक उत्पाद स्थानों की समरूपता है: इसे और अधिक स्पष्ट करने के लिए हम लिख सकते हैं

स्पष्ट रूप से हम लिख सकते हैं जहाँ , का दोहरा आधार तत्व हैं।

व्युत्क्रम घटक माप है

ये परिभाषाएँ यह प्रकट करती हैं कि आपत्ति है

समरूपता का स्थान पक्ष या ओर पक्ष पर ऑर्थोगोनल समूहों की क्रियाओं को स्वीकार करता है। ठोसता के लिए हम दिशा में निरुपित करने के लिए समरूपता को ठीक करते हैं, और ऐसे मापों के स्थान पर विचार करें,

यह स्थान के आइसोमेट्रीज़ के समूह द्वारा बाईं ओर की कार्रवाई को स्वीकार करता है, अर्थात, ऐसा है कि , रचना द्वारा दी गई क्रिया के साथ:

यह स्थान के आइसोमेट्रीज़ के समूह द्वारा सही कार्रवाई को भी स्वीकार करता है, वह है, , रचना द्वारा फिर से दी गई क्रिया के साथ: .

प्रमुख सजातीय स्थान के रूप में

मानक आंतरिक उत्पाद के साथ के लिए ऑर्थोनॉर्मल आधारों का समूह ऑर्थोगोनल समूह के लिए एक प्रमुख सजातीय स्थान या G-टॉर्सर है, और इसे ऑर्थोनॉर्मल n-फ़्रेम का स्टिफ़ेल मैनिफ़ोल्ड कहा जाता है।[7]

दूसरे शब्दों में, ऑर्थोनॉर्मल आधारों का स्थान ऑर्थोगोनल समूह की तरह है, किन्तु आधार बिंदु के विकल्प के बिना: ऑर्थोनॉर्मल आधारों के स्थान को देखते हुए, ऑर्थोनॉर्मल आधारों का कोई प्राकृतिक विकल्प नहीं है, किन्तु एक बार एक दिए जाने के बाद आधारों और ऑर्थोगोनल समूह के बीच एक से एक पत्राचार होता है। सामान्यतः, एक रेखीय मानचित्र इस बात से निर्धारित होता है कि वह किसी दिए गए आधार को कहां भेजता है: जिस तरह एक व्युत्क्रम माप किसी भी आधार को किसी अन्य आधार पर ले जा सकता है, एक ऑर्थोगोनल नक्शा किसी भी ऑर्थोगोनल आधार को किसी अन्य ऑर्थोगोनल आधार पर ले जा सकता है।

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

  • के लिए ऑर्थोनॉर्मल आधारों का समूह के लिए G-टॉर्सर है।
  • के लिए ऑर्थोनॉर्मल आधारों का समूह के लिए जी-टॉर्सर है।
  • के लिए ऑर्थोनॉर्मल आधारों का समूह के लिए जी-टॉर्सर है।
  • के लिए दाएं हाथ के ऑर्थोनॉर्मल आधारों का समूह के लिए जी-टॉर्सर है।


यह भी देखें

संदर्भ

  1. Lay, David C. (2006). रेखीय बीजगणित और इसके अनुप्रयोग (3rd ed.). Addison–Wesley. ISBN 0-321-28713-4.
  2. Strang, Gilbert (2006). रेखीय बीजगणित और इसके अनुप्रयोग (4th ed.). Brooks Cole. ISBN 0-03-010567-6.
  3. Axler, Sheldon (2002). रैखिक बीजगणित सही ढंग से किया गया (2nd ed.). Springer. ISBN 0-387-98258-2.
  4. Rudin, Walter (1987). वास्तविक एवं जटिल विश्लेषण. McGraw-Hill. ISBN 0-07-054234-1.
  5. Roman 2008, p. 218, ch. 9.
  6. Linear Functional Analysis Authors: Rynne, Bryan, Youngson, M.A. page 79
  7. "सीयू संकाय". engfac.cooper.edu. Retrieved 2021-04-15.


बाहरी संबंध

  • This Stack Exchange Post discusses why the set of Dirac Delta functions is not a basis of L2([0,1]).