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

From Vigyanwiki
(Created page with "{{Short description|Specific linear basis (mathematics)}} गणित में, विशेष रूप से रैखिक बीजगणित में, परि...")
 
No edit summary
 
(13 intermediate revisions by 4 users not shown)
Line 1: Line 1:
{{Short description|Specific linear basis (mathematics)}}
{{Short description|Specific linear basis (mathematics)}}
गणित में, विशेष रूप से रैखिक बीजगणित में, परिमित [[आयाम (रैखिक बीजगणित)]] के साथ एक [[आंतरिक उत्पाद स्थान]] ''वी'' के लिए एक ऑर्थोनॉर्मल आधार एक [[आधार (रैखिक बीजगणित)]] है <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}} विशेष रूप से, आधार का [[रैखिक विस्तार]] Dense सेट होना चाहिए <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>\text{diag}(+1,\cdots,+1,-1,\cdots,-1)</math> साथ <math>p</math> सकारात्मक वाले और <math>q</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}^{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}^n</math> के लिए, मानक आधार और आंतरिक उत्पाद को समान रूप से परिभाषित किया गया है। कोई भी अन्य ऑर्थोनॉर्मल आधार समूह O(n) में ऑर्थोगोनल परिवर्तन द्वारा मानक आधार से संबंधित है।
* सेट <math>\left\{f_n : n \in \Z\right\}</math> साथ <math>f_n(x) = \exp(2 \pi inx),</math> कहाँ <math>\exp</math> घातांकीय फ़ंक्शन को दर्शाता है, परिमित लेबेस्ग इंटीग्रल्स के साथ फ़ंक्शन के स्थान का एक ऑर्थोनॉर्मल आधार बनाता है, <math>L^2([0,1]),</math> [[2-मानदंड]] के संबंध में। यह फूरियर श्रृंखला के अध्ययन के लिए मौलिक है।
*छद्म-यूक्लिडियन स्थान <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>\left\{e_b : b \in B\right\}</math> साथ <math>e_b(c) = 1</math> अगर <math>b = c</math> और <math>e_b(c) = 0</math> अन्यथा का एक लंबात्मक आधार बनता है <math>\ell^2(B).</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>B</math> का एक ऑर्थोगोनल आधार है <math>H,</math> फिर हर तत्व <math>x \in H</math> के रूप में लिखा जा सकता है
यदि <math>B</math>, <math>H</math> का ऑर्थोगोनल आधार है, तो प्रत्येक तत्व <math>x \in H</math> को इस प्रकार लिखा जा सकता है
<math display=block>x = \sum_{b\in B} \frac{\langle b,x\rangle}{\lVert b\rVert^2} b.</math>
<math display=block>x = \sum_{b\in B} \frac{\langle b,x\rangle}{\lVert b\rVert^2} b.</math>
कब <math>B</math> ऑर्थोनॉर्मल है, इससे यह सरल हो जाता है
जब <math>B</math> ऑर्थोनॉर्मल है, इससे यह सरल हो जाता है
<math display=block>x = \sum_{b\in B}\langle b,x\rangle b</math>
<math display=block>x = \sum_{b\in B}\langle b,x\rangle b</math>
और नॉर्म (गणित) का वर्ग <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> उपस्थित है जैसे कि
<math display=block>\langle\Phi(x),\Phi(y)\rangle=\langle x,y\rangle \quad \text{ for all } x, y \in H.</math>
<math display=block>\langle\Phi(x),\Phi(y)\rangle=\langle x,y\rangle \quad \text{ for all } x, y \in H.</math>




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


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


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


ज़ोर्न्स लेम्मा|ज़ोर्न्स लेम्मा और ग्राम-श्मिट प्रक्रिया (या अधिक सरल रूप से सुव्यवस्थित और ट्रांसफिनिट रिकर्सन) का उपयोग करके, कोई यह दिखा सकता है कि प्रत्येक हिल्बर्ट स्थान एक ऑर्थोनॉर्मल आधार को स्वीकार करता है;<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>n</math> आयामी वेक्टर स्थान <math>V</math> एक सकारात्मक निश्चित सममित द्विरेखीय रूप के साथ <math>\phi=\langle\cdot,\cdot\rangle</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>
अब हम आधार को मानचित्र के रूप में देख सकते हैं <math>\psi_\mathcal{B}:V\rightarrow \mathbb{R}^n</math> जो आंतरिक उत्पाद स्थानों की एक समरूपता है: इसे और अधिक स्पष्ट करने के लिए हम लिख सकते हैं
 
अब हम आधार को माप <math>\psi_\mathcal{B}:V\rightarrow \mathbb{R}^n</math> के रूप में देख सकते हैं जो आंतरिक उत्पाद स्थानों की समरूपता है: इसे और अधिक स्पष्ट करने के लिए हम लिख सकते हैं
:<math>\psi_\mathcal{B}:(V,\phi)\rightarrow (\mathbb{R}^n,\delta_{ij}).</math>
:<math>\psi_\mathcal{B}:(V,\phi)\rightarrow (\mathbb{R}^n,\delta_{ij}).</math>
स्पष्ट रूप से हम लिख सकते हैं <math>(\psi_\mathcal{B}(v))^i = e^i(v) = \phi(e_i,v)</math> कहाँ <math>e^i</math> का दोहरा आधार तत्व है <math>e_i</math>.
स्पष्ट रूप से हम <math>(\psi_\mathcal{B}(v))^i = e^i(v) = \phi(e_i,v)</math> लिख सकते हैं जहाँ <math>e^i</math>, <math>e_i</math> का दोहरा आधार तत्व हैं।


व्युत्क्रम एक घटक मानचित्र है
व्युत्क्रम घटक माप है
:<math>C_\mathcal{B}:\mathbb{R}^n\rightarrow V, (v^i)\mapsto \sum_{i=1}^n v^ie_i.</math>
:<math>C_\mathcal{B}:\mathbb{R}^n\rightarrow V, (v^i)\mapsto \sum_{i=1}^n v^ie_i.</math>
ये परिभाषाएँ यह प्रकट करती हैं कि आपत्ति है
ये परिभाषाएँ यह प्रकट करती हैं कि आपत्ति है
:<math>\{\text{Space of orthogonal bases } \mathcal{B}\}\leftrightarrow \{\text{Space of isomorphisms }V\leftrightarrow \mathbb{R}^n\}.</math>
:<math>\{\text{Space of orthogonal bases } \mathcal{B}\}\leftrightarrow \{\text{Space of isomorphisms }V\leftrightarrow \mathbb{R}^n\}.</math>
समरूपता का स्थान दोनों में से किसी एक पर ऑर्थोगोनल समूहों की क्रियाओं को स्वीकार करता है <math>V</math> पक्ष या <math>\mathbb{R}^n</math> ओर। ठोसता के लिए हम दिशा को इंगित करने के लिए समरूपता को ठीक करते हैं <math>\mathbb{R}^n\rightarrow V</math>, और ऐसे मानचित्रों के स्थान पर विचार करें, <math>\text{Iso}(\mathbb{R}^n\rightarrow V)</math>.
समरूपता का स्थान <math>V</math> पक्ष या <math>\mathbb{R}^n</math> ओर पक्ष पर ऑर्थोगोनल समूहों की क्रियाओं को स्वीकार करता है। ठोसता के लिए हम दिशा <math>\mathbb{R}^n\rightarrow V</math> में निरुपित करने के लिए समरूपता को ठीक करते हैं, और ऐसे मापों के स्थान <math>\text{Iso}(\mathbb{R}^n\rightarrow V)</math> पर विचार करें,
 
यह स्थान <math>V</math> के आइसोमेट्रीज़ के समूह द्वारा बाईं ओर की कार्रवाई को स्वीकार करता है, अर्थात, <math>R\in \text{GL}(V)</math> ऐसा है कि <math>\phi(\cdot,\cdot) = \phi(R\cdot,R\cdot)</math>, रचना द्वारा दी गई क्रिया के साथ: <math>R*C=R\circ C.</math>
 
यह स्थान <math>\mathbb{R}^n</math> के आइसोमेट्रीज़ के समूह द्वारा सही कार्रवाई को भी स्वीकार करता है, वह है, <math>R_{ij} \in \text{O}(n)\subset \text{Mat}_{n\times n}(\mathbb{R})</math>, रचना द्वारा फिर से दी गई क्रिया के साथ: <math>C*R_{ij} = C\circ R_{ij}</math>.


यह स्थान आइसोमेट्रीज़ के समूह द्वारा बाईं ओर की कार्रवाई को स्वीकार करता है <math>V</math>, वह है, <math>R\in \text{GL}(V)</math> ऐसा है कि <math>\phi(\cdot,\cdot) = \phi(R\cdot,R\cdot)</math>, रचना द्वारा दी गई क्रिया के साथ: <math>R*C=R\circ C.</math>
==प्रमुख सजातीय स्थान के रूप में==
यह स्थान आइसोमेट्रीज़ के समूह द्वारा एक सही कार्रवाई को भी स्वीकार करता है <math>\mathbb{R}^n</math>, वह है, <math>R_{ij} \in \text{O}(n)\subset \text{Mat}_{n\times n}(\mathbb{R})</math>, रचना द्वारा फिर से दी गई क्रिया के साथ: <math>C*R_{ij} = C\circ R_{ij}</math>.
{{Main|स्टिफ़ेल मैनिफ़ोल्ड}}


==एक प्रमुख सजातीय स्थान के रूप में==
मानक आंतरिक उत्पाद के साथ <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>
{{Main|Stiefel manifold}}


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


* के लिए ऑर्थोनॉर्मल आधारों का सेट <math>\mathbb{R}^{p,q}</math> के लिए एक जी-टॉर्सर है <math>G = \text{O}(p,q)</math>.
* <math>\mathbb{R}^{p,q}</math> के लिए ऑर्थोनॉर्मल आधारों का समूह <math>G = \text{O}(p,q)</math> के लिए G-टॉर्सर है।
* के लिए ऑर्थोनॉर्मल आधारों का सेट <math>\mathbb{C}^n</math> के लिए एक जी-टॉर्सर है <math>G = \text{U}(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{C}^{p,q}</math> के लिए ऑर्थोनॉर्मल आधारों का समूह <math>G = \text{U}(p,q)</math> के लिए जी-टॉर्सर है।
* दाएं हाथ के ऑर्थोनॉर्मल आधारों का सेट <math>\mathbb{R}^n</math> के लिए एक जी-टॉर्सर है <math>G = \text{SO}(n)</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 107: 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]).