ऑर्थोनॉर्मलिटी: Difference between revisions

From Vigyanwiki
No edit summary
No edit summary
Tag: Manual revert
 
(16 intermediate revisions by 4 users not shown)
Line 1: Line 1:
रैखिक बीजगणित में, आंतरिक गुणन समष्टि में दो सदिश प्रसामान्य लांबिक होते हैं यदि वे लंबकोणीय (या एक पंक्ति के साथ लंबवत) एकांक सदिश होते हैं। सदिशों का एक समूह प्रसामान्य लांबिक समुच्चय का निर्माण करता है, यदि समूह में सभी सदिश परस्पर लंबकोणीय और सभी एकांक लंबाई के होते हैं। एक प्रसामान्य लांबिक सेट जो एक आधार (रैखिक बीजगणित) बनाता है एक प्रसामान्य लांबिक आधार कहा जाता है।
रैखिक बीजगणित में, आंतरिक गुणन अंतराल में दो सदिश प्रसामान्य लांबिक होते हैं यदि वे लंबकोणीय(या एक पंक्ति के साथ लंबवत) एकांक सदिश होते हैं। सदिशों का एक समूह प्रसामान्य लांबिक समुच्चय का निर्माण करता है, यदि समूह में सभी सदिश परस्पर लंबकोणीय और सभी एकांक लंबाई के होते हैं। एक प्रसामान्य लांबिक समुच्चय जो एक आधार(रैखिक बीजगणित) बनाता है एक प्रसामान्य लांबिक आधार कहा जाता है।


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


इसी तरह, एक वेक्टर के मानदंड (गणित) का निर्माण एक वेक्टर के सामान्य (गणित)#यूक्लिडियन मानदंड की सहज धारणा को उच्च-आयामी स्थानों तक विस्तारित करने की इच्छा से प्रेरित है। कार्तीय स्थान में, एक सदिश का मानदंड स्वयं के साथ बिंदीदार सदिश का वर्गमूल है। वह है,
इसी प्रकार, सदिश के परिमाण का निर्माण किसी सदिश की लंबाई को उच्च-आयामी स्थानों तक विस्तृत करने की इच्छा से प्रेरित होता है। कार्तीय तल में, एक सदिश का परिमाण स्वयं के साथ बिंदु गुणन का वर्गमूल होता है। जैसे कि,
:<math>\| \mathbf{x} \| = \sqrt{ \mathbf{x} \cdot \mathbf{x}}</math>
:<math>\| \mathbf{x} \| = \sqrt{ \mathbf{x} \cdot \mathbf{x}}</math>
रैखिक बीजगणित में कई महत्वपूर्ण परिणाम दो या दो से अधिक ऑर्थोगोनल वैक्टर के संग्रह से संबंधित हैं। लेकिन अक्सर, यूनिट वेक्टर के वैक्टर से निपटना आसान होता है। अर्थात्, यह अक्सर केवल उन सदिशों पर विचार करने के लिए चीजों को सरल बनाता है जिनका मानदंड 1 के बराबर होता है। सदिशों के ऑर्थोगोनल जोड़े को केवल इकाई लंबाई तक सीमित करने की धारणा एक विशेष नाम देने के लिए पर्याप्त महत्वपूर्ण है। दो सदिश जो ओर्थोगोनल हैं और जिनकी लंबाई 1 है उन्हें ऑर्थोनॉर्मल कहा जाता है।
रैखिक बीजगणित के कई महत्वपूर्ण सिद्धांत दो या दो से अधिक लंबकोणीय सदिशो के समूहों पर कार्य करते हैं। लेकिन अधिकांशता, यूनिट लंबाई के सदिश के साथ कार्य करना आसान होता है। अर्थात्, यह अधिकांशता केवल उन सदिशों पर पर कार्य करना सरल बनाते है जिनका परिमाण 1 के बराबर होता है। सदिशों के लंबकोणीय युग्म को केवल एकांक लंबाई तक सीमित करने की धारणा पर्याप्त महत्वपूर्ण है जिससे इसे एक विशेष नाम दिया जा सकता है। दो सदिश जो लंबकोणीय हैं और जिनकी लंबाई एकांक है उन्हें प्रसामान्य लांबिक कहा जाता है।


=== सरल उदाहरण ===
=== सरल उदाहरण ===
2-डी यूक्लिडियन अंतरिक्ष में ऑर्थोनॉर्मल वैक्टर की जोड़ी कैसी दिखती है?
क्या 2 डी यूक्लिडियन समष्‍टि में प्रसामान्य लांबिक सदिश एक युग्म की तरह दिखते हैं?


चलो यू = (एक्स<sub>1</sub>, वाई<sub>1</sub>) और वी = (एक्स<sub>2</sub>, वाई<sub>2</sub>).
माना u =(x1, y1) और v =(x2, y2). x1, x2, y1, y2 पर प्रतिबंधों पर विचार करें जो u और v को एक ऑर्थोनॉर्मल युग्म बनाने के लिए आवश्यक हैं।
एक्स पर प्रतिबंधों पर विचार करें<sub>1</sub>, एक्स<sub>2</sub>, वाई<sub>1</sub>, वाई<sub>2</sub> यू और वी को एक ऑर्थोनॉर्मल जोड़ी बनाने के लिए आवश्यक है।


* ओर्थोगोनलिटी प्रतिबंध से, यू • वी = 0।
* लंबकोणीयता प्रतिबंध से, U.V = 0.
* यू पर इकाई लंबाई प्रतिबंध से, ||यू|| = 1।
* U पर एकांक लंबाई प्रतिबंध से, || U|| = 1.
* v, ||v|| पर इकाई लंबाई प्रतिबंध से = 1।
* V पर एकांक लंबाई प्रतिबंध से, || V|| = 1.


इन शर्तों का विस्तार करने से 3 समीकरण मिलते हैं:
इन शर्तों का विस्तार करने से 3 समीकरण मिलते हैं:
Line 22: Line 21:
#<math>\sqrt{{x_1}^2 + {y_1}^2} = 1</math>
#<math>\sqrt{{x_1}^2 + {y_1}^2} = 1</math>
#<math>\sqrt{{x_2}^2 + {y_2}^2} = 1</math>
#<math>\sqrt{{x_2}^2 + {y_2}^2} = 1</math>
कार्तीय से ध्रुवीय निर्देशांक में रूपांतरण, और समीकरण पर विचार करना <math>(2)</math> और समीकरण <math>(3)</math> तुरंत परिणाम आर देता है<sub>1</sub> = आर<sub>2</sub> = 1. दूसरे शब्दों में, सदिशों को इकाई लंबाई का होना आवश्यक होने पर सदिशों को इकाई वृत्त पर स्थित होने से रोकता है।
कार्तीय से ध्रुवीय निर्देशांक में परिवर्तित करने पर, और समीकरण(2) तथा समीकरण(3) के अनुसार परिणाम r1 = r2 = 1 प्राप्त होता है। दूसरे शब्दों में, सदिशों को इकाई लंबाई का होना आवश्यक होने पर सदिशों को इकाई वृत्त पर निर्भर होने से रोकता है।


प्रतिस्थापन के बाद, समीकरण <math>(1)</math> हो जाता है  <math> \cos \theta _1 \cos \theta _2 + \sin \theta _1 \sin \theta _2 = 0</math>. पुनर्व्यवस्थित करता है <math>\tan \theta _1 = - \cot \theta _2</math>. त्रिकोणमितीय पहचानों की एक सूची का उपयोग करना # शिफ्ट और आवधिकता को कोटेंगेंट शब्द को परिवर्तित करने के लिए देता है
प्रतिस्थापन के बाद, समीकरण(1) <math> \cos \theta _1 \cos \theta _2 + \sin \theta _1 \sin \theta _2 = 0 </math> हो जाता है। समीकरण को पुनर्व्यवस्थित करने पर <math> \tan \theta _1 = - \cot \theta _2 </math> प्राप्त होता है। त्रिकोणमितीय सूत्र का उपयोग करने से कोटेंजेंट को बदलने पर निम्नलिखित समीकरण प्राप्त होता है -
:<math> \tan ( \theta_1 ) = \tan \left( \theta_2 + \tfrac{\pi}{2} \right) </math>
:<math> \tan ( \theta_1 ) = \tan \left( \theta_2 + \tfrac{\pi}{2} \right) </math>
:<math> \Rightarrow \theta _1 = \theta _2 + \tfrac{\pi}{2} </math>
:<math> \Rightarrow \theta _1 = \theta _2 + \tfrac{\pi}{2} </math>
यह स्पष्ट है कि समतल में, लम्बवत सदिश केवल इकाई वृत्त की त्रिज्याएँ हैं जिनके कोणों में अंतर 90° के बराबर है।
उप्युक्त परिणाम से यह स्पष्ट है कि समतल में, प्रसामान्य लांबिक सदिश केवल एकांक वृत्त की त्रिज्याएँ हैं जिनके कोणों में अंतर 90° के बराबर है।


== परिभाषा ==
== परिभाषा ==
होने देना <math>\mathcal{V}</math> एक आंतरिक-उत्पाद स्थान बनें। वैक्टर का एक सेट
मान लीजिए <math>\mathcal{V}</math> एक आंतरिक गुणन अंतराल है। सदिशों का एक समुच्य
:<math> \left\{ u_1 , u_2 , \ldots , u_n , \ldots \right\} \in \mathcal{V} </math>
:<math> \left\{ u_1 , u_2 , \ldots , u_n , \ldots \right\} \in \mathcal{V} </math>
ऑर्थोनॉर्मल कहा जाता है अगर और केवल अगर
प्रसामान्य लांबिक कहा जाता है यदि और केवल यदि
:<math> \forall i,j : \langle u_i , u_j \rangle = \delta_{ij} </math>
:<math> \forall i,j : \langle u_i , u_j \rangle = \delta_{ij} </math>
कहाँ पे <math>\delta_{ij} \,</math> क्रोनकर डेल्टा है और <math>\langle \cdot , \cdot \rangle </math> आंतरिक उत्पाद परिभाषित किया गया है <math>\mathcal{V}</math>.
जँहा पर <math>\delta_{ij} \,</math> क्रोनकर डेल्टा है और <math>\langle \cdot , \cdot \rangle </math> आंतरिक गुणन अंतराल को <math>\mathcal{V}</math> से प्रदर्शित किया गया है।


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


=== गुण ===
=== गुण ===
ऑर्थोनॉर्मल सेट में कुछ बहुत ही आकर्षक गुण होते हैं, जो उन्हें विशेष रूप से काम करने में आसान बनाते हैं।
ऑर्थोनॉर्मल समुच्चय में कुछ बहुत ही आकर्षक गुण होते हैं, जो उन्हें विशेष रूप से काम करने में आसान बनाते हैं।
* प्रमेय। यदि {<sub>1</sub>, तथा<sub>2</sub>, ..., तथा<sub>''n''</sub>} तब वैक्टरों की एक असामान्य सूची है <math display="block"> \forall \textbf{a} := [a_1, \cdots, a_n]; \ \|a_1 \textbf{e}_1 + a_2 \textbf{e}_2 + \cdots + a_n \textbf{e}_n\|^2 = |a_1|^2 + |a_2|^2 + \cdots + |a_n|^2</math>
* प्रमेय। यदि {'''e'''<sub>1</sub>, '''e'''<sub>2</sub>, ..., '''e'''<sub>''n''</sub>} सदिशों की एक प्रसामान्य लांबिक श्रृंखला है, तो <math display="block"> \forall \textbf{a} := [a_1, \cdots, a_n]; \ \|a_1 \textbf{e}_1 + a_2 \textbf{e}_2 + \cdots + a_n \textbf{e}_n\|^2 = |a_1|^2 + |a_2|^2 + \cdots + |a_n|^2</math>
* प्रमेय। सदिशों की प्रत्येक ऑर्थोनॉर्मल सूची रैखिक रूप से स्वतंत्र होती है।
* प्रमेय सदिशों की प्रत्येक प्रसामान्य लांबिक श्रृंखला रैखिक स्वतन्त्र होती है।


=== अस्तित्व ===
=== अस्तित्व ===
* ग्राम-श्मिट प्रमेय। यदि {वि<sub>1</sub>, में<sub>2</sub>,...,में<sub>n</sub>} आंतरिक-उत्पाद स्थान में वैक्टरों की एक रैखिक रूप से स्वतंत्र सूची है <math>\mathcal{V}</math>, तो वहाँ एक अलंकारिक सूची मौजूद है {e<sub>1</sub>, तथा<sub>2</sub>,...,तथा<sub>n</sub>} वैक्टर में <math>\mathcal{V}</math> ऐसा वह स्पैन (''<sub>1</sub>, तथा<sub>2</sub>,...,तथा<sub>n</sub>) = स्पैन (बीबी<sub>1</sub>, में<sub>2</sub>,...,में<sub>n</sub>).
* ग्राम-श्मिट प्रमेय, यदि{'''v'''<sub>1</sub>, '''v'''<sub>2</sub>,...,'''v'''<sub>n</sub>} आंतरिक गुणन अंतराल <math>\mathcal{V}</math> में सदिशों की एक रैखिक स्वतंत्र सूची है, तब  {'''e'''<sub>1</sub>, '''e'''<sub>2</sub>,...,'''e'''<sub>n</sub>} सदिशों की एक प्रसामान्य लांबिक श्रृंखला <math>\mathcal{V}</math> इस तरह से होगी कि ''स्पैन''('''e'''<sub>1</sub>, '''e'''<sub>2</sub>,...,'''e'''<sub>n</sub>) = ''स्पैन''('''v'''<sub>1</sub>, '''v'''<sub>2</sub>,...,'''v'''<sub>n</sub>)


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


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


=== मानक आधार ===
=== मानक आधार ===
समन्वय स्थान F के लिए मानक आधार<sup>एन</sup> है
चतुर्थांश अंतराल '''F'''<sup>''n''</sup> के लिए मानक आधार है


:{|
:{|
|-
|-
|{'''e'''<sub>1</sub>, '''e'''<sub>2</sub>,...,'''e'''<sub>n</sub>}&nbsp;&nbsp;&nbsp;where
|{'''e'''<sub>1</sub>, '''e'''<sub>2</sub>,...,'''e'''<sub>n</sub>}&nbsp;&nbsp;जँहा
|&nbsp;&nbsp;&nbsp;'''e'''<sub>1</sub> = (1, 0, ..., 0)
|&nbsp;&nbsp;&nbsp;'''e'''<sub>1</sub> =(1, 0, ..., 0)
|-
|-
|
|
|&nbsp;&nbsp;&nbsp;'''e'''<sub>2</sub> = (0, 1, ..., 0)
|&nbsp;&nbsp;&nbsp;'''e'''<sub>2</sub> =(0, 1, ..., 0)
|-
|-
|
|
Line 66: Line 65:
|-
|-
|
|
|&nbsp;&nbsp;&nbsp;'''e'''<sub>n</sub> = (0, 0, ..., 1)
|&nbsp;&nbsp;&nbsp;'''e'''<sub>n</sub> =(0, 0, ..., 1)
|}
|}
कोई भी दो वैक्टर ई<sub>i</sub>, तथा<sub>j</sub> जहाँ i≠j ओर्थोगोनल हैं, और सभी सदिश स्पष्ट रूप से इकाई लंबाई के हैं। अतः {<sub>1</sub>, तथा<sub>2</sub>,...,तथा<sub>n</sub>} n ऑर्थोनॉर्मल आधार बनाता है।
कोई भी दो सदिश '''e'''<sub>i</sub>, तथा '''e'''<sub>j</sub> जहाँ i≠j प्रसामान्य लांबिक हैं, और सभी सदिश स्पष्ट रूप से इकाई लंबाई के हैं। अतः {'''e'''<sub>1</sub>, '''e'''<sub>2</sub>,...,'''e'''<sub>n</sub>} प्रसामान्य लांबिक आधार बनाते है।


=== वास्तविक मूल्यवान कार्य ===
=== वास्तविक संख्या फलन ===
वास्तविक संख्या-मूल्यवान फ़ंक्शन (गणित) का जिक्र करते समय, आमतौर पर Lp स्पेस | L² आंतरिक उत्पाद को तब तक ग्रहण किया जाता है जब तक कि अन्यथा न कहा गया हो। दो कार्य <math>\phi(x)</math> तथा <math>\psi(x)</math> अंतराल पर ऑर्थोनॉर्मल हैं (गणित) <math>[a,b]</math> यदि
वास्तविक संख्या फलन को संदर्भित करते हुए, सामान्यता  को आंतरिक गुणन मान लिया जाता है जब तक कि इसे न कहा गया हो। दो फलन <math>\phi(x)</math> तथा <math>\psi(x)</math> एक अंतराल <math>[a,b]</math> पर प्रसामान्य लांबिक हैं होते यदि
:<math>(1)\quad\langle\phi(x),\psi(x)\rangle = \int_a^b\phi(x)\psi(x)dx = 0,\quad{\rm and}</math>
:<math>(1)\quad\langle\phi(x),\psi(x)\rangle = \int_a^b\phi(x)\psi(x)dx = 0,\quad{\rm}</math>और
:<math>(2)\quad||\phi(x)||_2 = ||\psi(x)||_2 = \left[\int_a^b|\phi(x)|^2dx\right]^\frac{1}{2} = \left[\int_a^b|\psi(x)|^2dx\right]^\frac{1}{2} = 1.</math>
:<math>(2)\quad||\phi(x)||_2 = ||\psi(x)||_2 = \left[\int_a^b|\phi(x)|^2dx\right]^\frac{1}{2} = \left[\int_a^b|\psi(x)|^2dx\right]^\frac{1}{2} = 1.</math>




=== फूरियर श्रृंखला ===
=== फूरियर श्रृंखला ===
फूरियर श्रृंखला साइनसॉइडल स्कॉडर आधार कार्यों के संदर्भ में आवधिक कार्य को व्यक्त करने की एक विधि है।
फूरियर श्रृंखला साइनसोइडल आधार फलन के संदर्भ में एक आवधिक कार्य को व्यक्त करने की एक विधि है।  
C[−π,π] को अंतराल [−π,π] पर निरंतर सभी वास्तविक-मूल्यवान कार्यों का स्थान लेना और आंतरिक उत्पाद को लेना
C[−π,π] को अंतराल [−π,π] पर निरंतर सभी वास्तविक-संख्या फलन का स्थान लेना तथा आंतरिक गुणन को लेना
:<math>\langle f, g \rangle = \int_{-\pi}^{\pi} f(x)g(x)dx</math>
:<math>\langle f, g \rangle = \int_{-\pi}^{\pi} f(x)g(x)dx</math>
यह दिखाया जा सकता है
यह दिखाया जा सकता है
:<math>\left\{ \frac{1}{\sqrt{2\pi}}, \frac{\sin(x)}{\sqrt{\pi}}, \frac{\sin(2x)}{\sqrt{\pi}}, \ldots, \frac{\sin(nx)}{\sqrt{\pi}}, \frac{\cos(x)}{\sqrt{\pi}}, \frac{\cos(2x)}{\sqrt{\pi}}, \ldots, \frac{\cos(nx)}{\sqrt{\pi}} \right\}, \quad n \in \mathbb{N}</math>
:<math>\left\{ \frac{1}{\sqrt{2\pi}}, \frac{\sin(x)}{\sqrt{\pi}}, \frac{\sin(2x)}{\sqrt{\pi}}, \ldots, \frac{\sin(nx)}{\sqrt{\pi}}, \frac{\cos(x)}{\sqrt{\pi}}, \frac{\cos(2x)}{\sqrt{\pi}}, \ldots, \frac{\cos(nx)}{\sqrt{\pi}} \right\}, \quad n \in \mathbb{N}</math>
एक असामान्य सेट बनाता है।
एक प्रसामान्य लांबिक समूह बनाता है।


हालांकि, इसका बहुत कम परिणाम है, क्योंकि C[−π,π] अनंत-आयामी है, और सदिशों का एक परिमित सेट इसे विस्तृत नहीं कर सकता है। लेकिन, ''n'' के परिमित होने के प्रतिबंध को हटाने से समुच्चय C[−π,π] में सघन उपसमुच्चय बन जाता है और इसलिए C[−π,π] का एक असामान्य आधार बन जाता है।
हालाँकि, यह बहुत कम महत्त्वपूर्ण है, क्योंकि C [π,, π] अनंत-आयामी है, और सदिशो का एक परमित समूह इसे विस्तृत नहीं कर सकता है। लेकिन, n के परिमित होने के प्रतिबंध को हटाने से समुच्चय C[−π,π] में सघन उपसमुच्चय बन जाता है और इसलिए C[−π,π] का एक प्रसामान्य लांबिक आधार बन जाता है।


== यह भी देखें ==
== यह भी देखें ==
Line 96: Line 95:
श्रेणी:कार्यात्मक विश्लेषण
श्रेणी:कार्यात्मक विश्लेषण


[[Category: Machine Translated Page]]
[[Category:Created On 25/11/2022]]
[[Category:Created On 25/11/2022]]
[[Category:Machine Translated Page]]

Latest revision as of 09:50, 10 December 2022

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

सहज अवलोकन

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

इसी प्रकार, सदिश के परिमाण का निर्माण किसी सदिश की लंबाई को उच्च-आयामी स्थानों तक विस्तृत करने की इच्छा से प्रेरित होता है। कार्तीय तल में, एक सदिश का परिमाण स्वयं के साथ बिंदु गुणन का वर्गमूल होता है। जैसे कि,

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

सरल उदाहरण

क्या 2 डी यूक्लिडियन समष्‍टि में प्रसामान्य लांबिक सदिश एक युग्म की तरह दिखते हैं?

माना u =(x1, y1) और v =(x2, y2). x1, x2, y1, y2 पर प्रतिबंधों पर विचार करें जो u और v को एक ऑर्थोनॉर्मल युग्म बनाने के लिए आवश्यक हैं।

  • लंबकोणीयता प्रतिबंध से, U.V = 0.
  • U पर एकांक लंबाई प्रतिबंध से, || U|| = 1.
  • V पर एकांक लंबाई प्रतिबंध से, || V|| = 1.

इन शर्तों का विस्तार करने से 3 समीकरण मिलते हैं:

कार्तीय से ध्रुवीय निर्देशांक में परिवर्तित करने पर, और समीकरण(2) तथा समीकरण(3) के अनुसार परिणाम r1 = r2 = 1 प्राप्त होता है। दूसरे शब्दों में, सदिशों को इकाई लंबाई का होना आवश्यक होने पर सदिशों को इकाई वृत्त पर निर्भर होने से रोकता है।

प्रतिस्थापन के बाद, समीकरण(1) हो जाता है। समीकरण को पुनर्व्यवस्थित करने पर प्राप्त होता है। त्रिकोणमितीय सूत्र का उपयोग करने से कोटेंजेंट को बदलने पर निम्नलिखित समीकरण प्राप्त होता है -

उप्युक्त परिणाम से यह स्पष्ट है कि समतल में, प्रसामान्य लांबिक सदिश केवल एकांक वृत्त की त्रिज्याएँ हैं जिनके कोणों में अंतर 90° के बराबर है।

परिभाषा

मान लीजिए एक आंतरिक गुणन अंतराल है। सदिशों का एक समुच्य

प्रसामान्य लांबिक कहा जाता है यदि और केवल यदि

जँहा पर क्रोनकर डेल्टा है और आंतरिक गुणन अंतराल को से प्रदर्शित किया गया है।

महत्व

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

गुण

ऑर्थोनॉर्मल समुच्चय में कुछ बहुत ही आकर्षक गुण होते हैं, जो उन्हें विशेष रूप से काम करने में आसान बनाते हैं।

  • प्रमेय। यदि {e1, e2, ..., en} सदिशों की एक प्रसामान्य लांबिक श्रृंखला है, तो
  • प्रमेय सदिशों की प्रत्येक प्रसामान्य लांबिक श्रृंखला रैखिक स्वतन्त्र होती है।

अस्तित्व

  • ग्राम-श्मिट प्रमेय, यदि{v1, v2,...,vn} आंतरिक गुणन अंतराल में सदिशों की एक रैखिक स्वतंत्र सूची है, तब {e1, e2,...,en} सदिशों की एक प्रसामान्य लांबिक श्रृंखला इस तरह से होगी कि स्पैन(e1, e2,...,en) = स्पैन(v1, v2,...,vn)

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

उदाहरण

मानक आधार

चतुर्थांश अंतराल Fn के लिए मानक आधार है

{e1, e2,...,en}  जँहा    e1 =(1, 0, ..., 0)
   e2 =(0, 1, ..., 0)
   en =(0, 0, ..., 1)

कोई भी दो सदिश ei, तथा ej जहाँ i≠j प्रसामान्य लांबिक हैं, और सभी सदिश स्पष्ट रूप से इकाई लंबाई के हैं। अतः {e1, e2,...,en} प्रसामान्य लांबिक आधार बनाते है।

वास्तविक संख्या फलन

वास्तविक संख्या फलन को संदर्भित करते हुए, सामान्यता  L² को आंतरिक गुणन मान लिया जाता है जब तक कि इसे न कहा गया हो। दो फलन तथा एक अंतराल पर प्रसामान्य लांबिक हैं होते यदि

और


फूरियर श्रृंखला

फूरियर श्रृंखला साइनसोइडल आधार फलन के संदर्भ में एक आवधिक कार्य को व्यक्त करने की एक विधि है। C[−π,π] को अंतराल [−π,π] पर निरंतर सभी वास्तविक-संख्या फलन का स्थान लेना तथा आंतरिक गुणन को लेना

यह दिखाया जा सकता है

एक प्रसामान्य लांबिक समूह बनाता है।

हालाँकि, यह बहुत कम महत्त्वपूर्ण है, क्योंकि C [π,, π] अनंत-आयामी है, और सदिशो का एक परमित समूह इसे विस्तृत नहीं कर सकता है। लेकिन, n के परिमित होने के प्रतिबंध को हटाने से समुच्चय C[−π,π] में सघन उपसमुच्चय बन जाता है और इसलिए C[−π,π] का एक प्रसामान्य लांबिक आधार बन जाता है।

यह भी देखें

  • ऑर्थोगोनलाइजेशन

स्रोत

  • Axler, Sheldon (1997), Linear Algebra Done Right (2nd ed.), Berlin, New York: Springer-Verlag, p. 106–110, ISBN 978-0-387-98258-8
  • Chen, Wai-Kai (2009), Fundamentals of Circuits and Filters (3rd ed.), Boca Raton: CRC Press, p. 62, ISBN 978-1-4200-5887-1

श्रेणी:रैखिक बीजगणित श्रेणी:कार्यात्मक विश्लेषण