वास्तविक समन्वय स्थान: Difference between revisions
No edit summary |
No edit summary |
||
| Line 98: | Line 98: | ||
परिभाषित किया गया है, जो कि इसकी सजातीय संरचना के अतिरिक्त {{math|'''R'''<sup>''n''</sup>}} पर [[मीट्रिक स्थान]] संरचना प्रदान करता है। | परिभाषित किया गया है, जो कि इसकी सजातीय संरचना के अतिरिक्त {{math|'''R'''<sup>''n''</sup>}} पर [[मीट्रिक स्थान]] संरचना प्रदान करता है। | ||
सदिश स्थान संरचना के लिए, विशेष स्पष्टीकरण के बिना डॉट उत्पाद और यूक्लिडियन दूरी को सामान्यतः {{math|'''R'''<sup>''n''</sup>}} में उपस्थित माना जाता है। चूँकि, वास्तविक {{mvar|n}}-स्थान और यूक्लिडियन {{mvar|n}}-स्थान विशिष्ट वस्तुएं हैं, किसी भी यूक्लिडियन {{mvar|n}}-स्थान में समन्वय प्रणाली होती है, जहां डॉट उत्पाद और यूक्लिडियन दूरी के ऊपर दिखाया गया रूप है, जिसे कार्टेशियन कहा जाता है। | सदिश स्थान संरचना के लिए, विशेष स्पष्टीकरण के बिना डॉट उत्पाद और यूक्लिडियन दूरी को सामान्यतः {{math|'''R'''<sup>''n''</sup>}} में उपस्थित माना जाता है। चूँकि, वास्तविक {{mvar|n}}-स्थान और यूक्लिडियन {{mvar|n}}-स्थान विशिष्ट वस्तुएं हैं, किसी भी यूक्लिडियन {{mvar|n}}-स्थान में समन्वय प्रणाली होती है, जहां डॉट उत्पाद और यूक्लिडियन दूरी के ऊपर दिखाया गया रूप है, जिसे कार्टेशियन कहा जाता है। किंतु यूक्लिडियन स्थान पर विभिन्न कार्टेशियन समन्वय प्रणाली हैं। | ||
इसके विपरीत, यूक्लिडियन मीट्रिक के लिए उपरोक्त सूत्र मानक यूक्लिडियन संरचना को परिभाषित करता है {{math|'''R'''<sup>''n''</sup>}}, | इसके विपरीत, यूक्लिडियन मीट्रिक के लिए उपरोक्त सूत्र मानक यूक्लिडियन संरचना को परिभाषित करता है {{math|'''R'''<sup>''n''</sup>}}, किंतु यह एकमात्र संभव नहीं है। दरअसल, कोई [[सकारात्मक-निश्चित द्विघात रूप]] {{mvar|q}} अपनी दूरी तय करता है {{math|{{sqrt|''q''('''x''' − '''y''')}}}}, किंतु यह इस मायने में यूक्लिडियन से बहुत अलग नहीं है कि | ||
<math display="block">\exist C_1 > 0,\ \exist C_2 > 0,\ \forall \mathbf{x}, \mathbf{y} \in \mathbb{R}^n: | <math display="block">\exist C_1 > 0,\ \exist C_2 > 0,\ \forall \mathbf{x}, \mathbf{y} \in \mathbb{R}^n: | ||
C_1 d(\mathbf{x}, \mathbf{y}) \le \sqrt{q(\mathbf{x} - \mathbf{y})} \le | C_1 d(\mathbf{x}, \mathbf{y}) \le \sqrt{q(\mathbf{x} - \mathbf{y})} \le | ||
| Line 132: | Line 132: | ||
कुछ के लिए, [[क्रॉस-पॉलीटॉप]] के प्रत्येक शीर्ष में है {{mvar|k}}, द {{mvar|x<sub>k</sub>}} निर्देशांक ±1 के बराबर और अन्य सभी निर्देशांक 0 के बराबर (जैसे कि यह है {{mvar|k}}वें #मानक आधार पर हस्ताक्षर करने के लिए (गणित))। यह हाइपरक्यूब का [[दोहरी पॉलीटॉप]] है। के रूप में {{mvar|n}}-आयामी उपसमुच्चय इसे असमानता के साथ वर्णित किया जा सकता है जो पूर्ण मूल्य संचालन का उपयोग करता है: | कुछ के लिए, [[क्रॉस-पॉलीटॉप]] के प्रत्येक शीर्ष में है {{mvar|k}}, द {{mvar|x<sub>k</sub>}} निर्देशांक ±1 के बराबर और अन्य सभी निर्देशांक 0 के बराबर (जैसे कि यह है {{mvar|k}}वें #मानक आधार पर हस्ताक्षर करने के लिए (गणित))। यह हाइपरक्यूब का [[दोहरी पॉलीटॉप]] है। के रूप में {{mvar|n}}-आयामी उपसमुच्चय इसे असमानता के साथ वर्णित किया जा सकता है जो पूर्ण मूल्य संचालन का उपयोग करता है: | ||
<math display="block">\sum_{k=1}^n |x_k| \le 1\,,</math> | <math display="block">\sum_{k=1}^n |x_k| \le 1\,,</math> | ||
किंतु यह प्रणाली के साथ व्यक्त किया जा सकता है {{math|[[power of two|2<sup>''n''</sup>]]}} रैखिक असमानताएं भी। | |||
साधारण रूप से गणना करने योग्य निर्देशांक वाला तीसरा पॉलीटॉप [[मानक सिंप्लेक्स]] है, जिसके कोने हैं {{mvar|n}} मानक आधार वैक्टर और उत्पत्ति (गणित) {{math|(0, 0, ..., 0)}}. के रूप में {{mvar|n}}आयामी उपसमुच्चय की प्रणाली के साथ इसका वर्णन किया गया है {{math|''n'' + 1}} रैखिक असमानताएँ: | साधारण रूप से गणना करने योग्य निर्देशांक वाला तीसरा पॉलीटॉप [[मानक सिंप्लेक्स]] है, जिसके कोने हैं {{mvar|n}} मानक आधार वैक्टर और उत्पत्ति (गणित) {{math|(0, 0, ..., 0)}}. के रूप में {{mvar|n}}आयामी उपसमुच्चय की प्रणाली के साथ इसका वर्णन किया गया है {{math|''n'' + 1}} रैखिक असमानताएँ: | ||
| Line 170: | Line 170: | ||
=== एन = 2 === | === एन = 2 === | ||
[[Image:Real 2-space, orthoplex.svg|thumb|right|264px|हाइपरक्यूब और क्रॉस-पॉलीटॉप दोनों {{math|'''R'''<sup>2</sup>}} [[वर्ग]] हैं, | [[Image:Real 2-space, orthoplex.svg|thumb|right|264px|हाइपरक्यूब और क्रॉस-पॉलीटॉप दोनों {{math|'''R'''<sup>2</sup>}} [[वर्ग]] हैं, किंतु शीर्षों के निर्देशांक अलग तरीके से व्यवस्थित हैं]] | ||
{{details|द्वि-आयामी स्थान}} | {{details|द्वि-आयामी स्थान}} | ||
{{details|कार्टेशियन विमान}} | {{details|कार्टेशियन विमान}} | ||
| Line 185: | Line 185: | ||
{{math|'''R'''<sup>4</sup>}} इस तथ्य का उपयोग करके कल्पना की जा सकती है कि {{num|16}} अंक {{math|(''x''<sub>1</sub>, ''x''<sub>2</sub>, ''x''<sub>3</sub>, ''x''<sub>4</sub>)}}, जहां प्रत्येक {{mvar|x<sub>k</sub>}} या तो 0 या 1 है, [[tesseract]] (चित्रित) के शिखर हैं, 4-हाइपरक्यूब (आरएन में #Polytopes देखें)। | {{math|'''R'''<sup>4</sup>}} इस तथ्य का उपयोग करके कल्पना की जा सकती है कि {{num|16}} अंक {{math|(''x''<sub>1</sub>, ''x''<sub>2</sub>, ''x''<sub>3</sub>, ''x''<sub>4</sub>)}}, जहां प्रत्येक {{mvar|x<sub>k</sub>}} या तो 0 या 1 है, [[tesseract]] (चित्रित) के शिखर हैं, 4-हाइपरक्यूब (आरएन में #Polytopes देखें)। | ||
का पहला प्रमुख प्रयोग {{math|'''R'''<sup>4</sup>}} [[स्थान [[समय]]]] मॉडल है: तीन स्थानिक निर्देशांक और बार। यह सामान्यतः सापेक्षता के सिद्धांत से जुड़ा हुआ है, हालांकि [[गैलिलियो गैलिली]] के बाद से ऐसे मॉडलों के लिए चार आयामों का उपयोग किया गया था। सिद्धांत की पसंद अलग संरचना की ओर ले जाती है, हालांकि: [[गैलीलियन सापेक्षता]] में {{mvar|t}} निर्देशांक विशेषाधिकार प्राप्त है, | का पहला प्रमुख प्रयोग {{math|'''R'''<sup>4</sup>}} [[स्थान [[समय]]]] मॉडल है: तीन स्थानिक निर्देशांक और बार। यह सामान्यतः सापेक्षता के सिद्धांत से जुड़ा हुआ है, हालांकि [[गैलिलियो गैलिली]] के बाद से ऐसे मॉडलों के लिए चार आयामों का उपयोग किया गया था। सिद्धांत की पसंद अलग संरचना की ओर ले जाती है, हालांकि: [[गैलीलियन सापेक्षता]] में {{mvar|t}} निर्देशांक विशेषाधिकार प्राप्त है, किंतु आइंस्टीनियन सापेक्षता में ऐसा नहीं है। मिन्कोव्स्की स्थान में विशेष सापेक्षता निर्धारित की गई है। सामान्य सापेक्षता घुमावदार स्थानों का उपयोग करती है, जिसके बारे में सोचा जा सकता है {{math|'''R'''<sup>4</sup>}} अधिकांश व्यावहारिक उद्देश्यों के लिए मीट्रिक टेन्सर (सामान्य सापेक्षता) के साथ। इनमें से कोई भी संरचना (सकारात्मक-निश्चित) [[मीट्रिक (गणित)]] प्रदान नहीं करती है {{math|'''R'''<sup>4</sup>}}. | ||
इयूक्लिडियन {{math|'''R'''<sup>4</sup>}} गणितज्ञों का भी ध्यान आकर्षित करता है, उदाहरण के लिए चतुष्कोणों से इसके संबंध के कारण, स्वयं क्षेत्र पर 4-आयामी बीजगणित। कुछ जानकारी के लिए [[4-आयामी यूक्लिडियन अंतरिक्ष में घूर्णन|4-आयामी यूक्लिडियन स्थान में घूर्णन]] देखें। | इयूक्लिडियन {{math|'''R'''<sup>4</sup>}} गणितज्ञों का भी ध्यान आकर्षित करता है, उदाहरण के लिए चतुष्कोणों से इसके संबंध के कारण, स्वयं क्षेत्र पर 4-आयामी बीजगणित। कुछ जानकारी के लिए [[4-आयामी यूक्लिडियन अंतरिक्ष में घूर्णन|4-आयामी यूक्लिडियन स्थान में घूर्णन]] देखें। | ||
| Line 208: | Line 208: | ||
* हम दिखाते हैं कि मौजूद है <math>\beta > 0</math>, ऐसा है कि <math>\|\mathbf{x}\| \leq \beta \cdot \|\mathbf{x}\|_2</math> सभी के लिए <math>\mathbf{x} \in \R^n</math>. इस चरण में आप इस तथ्य का उपयोग करते हैं कि प्रत्येक <math>\mathbf{x} = (x_1, \dots, x_n) \in \R^n</math> मानक [[आधार (रैखिक बीजगणित)]] के रैखिक संयोजन के रूप में प्रदर्शित किया जा सकता है: <math display="inline">\mathbf{x} = \sum_{i=1}^n e_i \cdot x_i</math>. फिर कॉची-श्वार्ज़ असमानता के साथ <math display="block">\|\mathbf{x}\| = \left\|\sum_{i=1}^n e_i \cdot x_i \right\|\leq \sum_{i=1}^n \|e_i\| \cdot |x_i| | * हम दिखाते हैं कि मौजूद है <math>\beta > 0</math>, ऐसा है कि <math>\|\mathbf{x}\| \leq \beta \cdot \|\mathbf{x}\|_2</math> सभी के लिए <math>\mathbf{x} \in \R^n</math>. इस चरण में आप इस तथ्य का उपयोग करते हैं कि प्रत्येक <math>\mathbf{x} = (x_1, \dots, x_n) \in \R^n</math> मानक [[आधार (रैखिक बीजगणित)]] के रैखिक संयोजन के रूप में प्रदर्शित किया जा सकता है: <math display="inline">\mathbf{x} = \sum_{i=1}^n e_i \cdot x_i</math>. फिर कॉची-श्वार्ज़ असमानता के साथ <math display="block">\|\mathbf{x}\| = \left\|\sum_{i=1}^n e_i \cdot x_i \right\|\leq \sum_{i=1}^n \|e_i\| \cdot |x_i| | ||
\leq \sqrt{\sum_{i=1}^n \|e_i\|^2} \cdot \sqrt{\sum_{i=1}^n |x_i|^2} = \beta \cdot \|\mathbf{x}\|_2,</math> कहाँ पे <math display="inline">\beta := \sqrt{\sum_{i=1}^n \|e_i\|^2}</math>. | \leq \sqrt{\sum_{i=1}^n \|e_i\|^2} \cdot \sqrt{\sum_{i=1}^n |x_i|^2} = \beta \cdot \|\mathbf{x}\|_2,</math> कहाँ पे <math display="inline">\beta := \sqrt{\sum_{i=1}^n \|e_i\|^2}</math>. | ||
* अब हमें खोजना है <math>\alpha > 0</math>, ऐसा है कि <math>\alpha\cdot\|\mathbf{x}\|_2 \leq \|\mathbf{x}\|</math> सभी के लिए <math>\mathbf{x} \in \R^n</math>. मान लीजिए कि ऐसा कोई नहीं है <math>\alpha</math>. फिर वहाँ हर के लिए मौजूद है <math>k \in \mathbb{N}</math> a <math>\mathbf{x}_k \in \R^n</math>, ऐसा है कि <math>\|\mathbf{x}_k\|_2 > k \cdot \|\mathbf{x}_k\|</math>. दूसरा क्रम परिभाषित करें <math>(\tilde{\mathbf{x}}_k)_{k \in \N}</math> द्वारा <math display="inline">\tilde{\mathbf{x}}_k := \frac{\mathbf{x}_k}{\|\mathbf{x}_k\|_2}</math>. यह क्रम परिबद्ध है क्योंकि <math>\|\tilde{\mathbf{x}}_k\|_2 = 1</math>. तो बोलजानो-वीयरस्ट्रास प्रमेय के कारण अभिसारी अनुवर्तीता मौजूद है <math>(\tilde{\mathbf{x}}_{k_j})_{j\in\mathbb{N}}</math> सीमा के साथ <math>\mathbf{a} \in</math> {{math|'''R'''<sup>''n''</sup>}}. अब हम दिखाते हैं <math>\|\mathbf{a}\|_2 = 1</math> | * अब हमें खोजना है <math>\alpha > 0</math>, ऐसा है कि <math>\alpha\cdot\|\mathbf{x}\|_2 \leq \|\mathbf{x}\|</math> सभी के लिए <math>\mathbf{x} \in \R^n</math>. मान लीजिए कि ऐसा कोई नहीं है <math>\alpha</math>. फिर वहाँ हर के लिए मौजूद है <math>k \in \mathbb{N}</math> a <math>\mathbf{x}_k \in \R^n</math>, ऐसा है कि <math>\|\mathbf{x}_k\|_2 > k \cdot \|\mathbf{x}_k\|</math>. दूसरा क्रम परिभाषित करें <math>(\tilde{\mathbf{x}}_k)_{k \in \N}</math> द्वारा <math display="inline">\tilde{\mathbf{x}}_k := \frac{\mathbf{x}_k}{\|\mathbf{x}_k\|_2}</math>. यह क्रम परिबद्ध है क्योंकि <math>\|\tilde{\mathbf{x}}_k\|_2 = 1</math>. तो बोलजानो-वीयरस्ट्रास प्रमेय के कारण अभिसारी अनुवर्तीता मौजूद है <math>(\tilde{\mathbf{x}}_{k_j})_{j\in\mathbb{N}}</math> सीमा के साथ <math>\mathbf{a} \in</math> {{math|'''R'''<sup>''n''</sup>}}. अब हम दिखाते हैं <math>\|\mathbf{a}\|_2 = 1</math> किंतु <math>\mathbf{a} = \mathbf{0}</math>है, जो विरोधाभास है। यह है <math display="block">\|\mathbf{a}\| \leq \left\|\mathbf{a} - \tilde{\mathbf{x}}_{k_j}\right\| + \left\|\tilde{\mathbf{x}}_{k_j}\right\| \leq \beta \cdot \left\|\mathbf{a} - \tilde{\mathbf{x}}_{k_j}\right\|_2 + \frac{\|\mathbf{x}_{k_j}\|}{\|\mathbf{x}_{k_j}\|_2} \ \overset{j \to \infty}{\longrightarrow} \ 0,</math> इसलिये <math>\|\mathbf{a}-\tilde{\mathbf{x}}_{k_j}\| \to 0</math> तथा <math>0 \leq \frac{\|\mathbf{x}_{k_j}\|}{\|\mathbf{x}_{k_j}\|_2} < \frac{1}{k_j}</math>, इसलिए <math>\frac{\|\mathbf{x}_{k_j}\|}{\|\mathbf{x}_{k_j}\|_2} \to 0</math>. यह संकेत करता है <math>\|\mathbf{a}\| = 0</math>, इसलिए <math>\mathbf{a}= \mathbf{0}</math>. दूसरी ओर <math>\|\mathbf{a}\|_2 = 1</math>, इसलिये <math>\|\mathbf{a}\|_2 = \left\| \lim_{j \to \infty}\tilde{\mathbf{x}}_{k_j} \right\|_2 = \lim_{j \to \infty} \left\| \tilde{\mathbf{x}}_{k_j} \right\|_2 = 1</math>. यह कभी सच नहीं हो सकता, इसलिए धारणा झूठी थी और ऐसा मौजूद है <math>\alpha > 0</math>. | ||
== यह भी देखें == | == यह भी देखें == | ||
Revision as of 11:41, 22 April 2023
गणित में, आयाम n का वास्तविक समन्वय स्थान, Rn (/ɑːrˈɛn/ ar-EN) या , द्वारा निरूपित किया जाता है, वास्तविक संख्याओं के n-टुपल्स का समुच्चय, जो कि n वास्तविक संख्याओं के सभी अनुक्रमों का समुच्चय है। विशेष स्थितियों को वास्तविक रेखा R1 और वास्तविक समन्वय तल R2 कहा जाता है। घटक-वार जोड़ और अदिश गुणन के साथ, यह वास्तविक सदिश स्थान है, और इसके तत्वों को समन्वय सदिश कहा जाता है।
वास्तविक सदिश स्थान के तत्वों के किसी भी आधार पर निर्देशांक सदिश स्थान के समान आयाम के वास्तविक समन्वय स्थान का निर्माण करते हैं। इसी प्रकार, आयाम n के यूक्लिडियन स्थान के बिंदुओं के कार्टेशियन निर्देशांक आयाम n के वास्तविक समन्वय स्थान का निर्माण करते हैं।
सदिशों, बिंदुओं और निर्देशांक सदिशों के मध्य ये पत्राचार निर्देशांक स्थान और निर्देशांक सदिश के नामों की व्याख्या करते हैं। यह वास्तविक निर्देशांक रिक्त स्थान का अध्ययन करने के लिए ज्यामितीय नियमों और विधियों का उपयोग करने की अनुमति देता है, और इसके विपरीत, ज्यामिति में पथरी की विधियों का उपयोग करने के लिए होता है। ज्यामिति का यह दृष्टिकोण 17वें दशक में रेने डेसकार्टेस द्वारा प्रस्तुत किया गया था। यह व्यापक रूप से उपयोग किया जाता है, क्योंकि यह यूक्लिडियन रिक्त स्थान में बिंदुओं को ज्ञात करने और उनके साथ कंप्यूटिंग करने की अनुमति देता है।
परिभाषा और संरचना
किसी भी प्राकृतिक संख्या n के लिए, समुच्चय Rn में वास्तविक संख्याओं (R) के सभी n-टुपल्स होते हैं। इसे n-आयामी वास्तविक स्थान या वास्तविक n-स्थान कहा जाता है।
Rn का तत्व इस प्रकार n-ट्यूपल है, और इस प्रकार लिखा जाता है:
वास्तविक n-स्थान में और भी विभिन्न गुण हैं, जो विशेष रूप से इस प्रकार हैं:
- घटकवार संचालन जोड़ और अदिश गुणन के साथ, यह वास्तविक सदिश स्थान है। प्रत्येक n-विमीय वास्तविक सदिश समष्टि इसके लिए तुल्याकारी है।
- डॉट उत्पाद के साथ (घटकों के शब्द उत्पाद द्वारा शब्द का योग), यह आंतरिक उत्पाद स्थान है। प्रत्येक n-आयामी वास्तविक आंतरिक उत्पाद स्थान इसके लिए समरूप है।
- प्रत्येक आंतरिक उत्पाद स्थान के रूप में, यह टोपोलॉजिकल स्थान और टोपोलॉजिकल सदिश स्थान है।
- यह यूक्लिडियन स्थान है और वास्तविक एफाइन स्थान है, और प्रत्येक यूक्लिडियन या एफाइन स्थान इसके लिए आइसोमोर्फिक है।
- यह विश्लेषणात्मक मैनिफोल्ड है, और इसे सभी मैनिफोल्ड के प्रोटोटाइप के रूप में माना जा सकता है, जैसा कि, परिभाषा के अनुसार, मैनिफोल्ड, प्रत्येक बिंदु के निकट, Rn के खुले उपसमुच्चय के लिए आइसोमॉर्फिक है।
- यह बीजगणितीय विविधता है, और प्रत्येक वास्तविक बीजगणितीय विविधता Rn का उपसमुच्चय है।
Rn के ये गुण और संरचनाएं इसे गणित के लगभग सभी क्षेत्रों और उनके अनुप्रयोग डोमेन, जैसे सांख्यिकी, संभाव्यता सिद्धांत और भौतिकी के विभिन्न भागों में मौलिक बनाती हैं।
विभिन्न चर के फलन का डोमेन
n वास्तविक चरों के किसी भी फलन f(x1, x2, ..., xn) को Rn पर फलन माना जा सकता है (अर्थात, Rn इसके प्रांत के रूप में होता है)। भिन्न-भिन्न माने जाने वाले विभिन्न चरों के अतिरिक्त वास्तविक n-स्थान का उपयोग, संकेतन को सरल बना सकता है और उचित परिभाषाओं की अनुशंसा कर सकता है। n = 2 के लिए, निम्नलिखित रूप की फलन रचना पर विचार किया जा सकता है:
- ∀x1 ∈ R : f(x1, ·) निरंतर है (द्वारा x2)
- ∀x2 ∈ R : f(·, x2) निरंतर है (द्वारा x1)
तो F अनिवार्य रूप से निरंतर नहीं है। निरंतरता स्थिर स्थिति है: प्राकृतिक में R2 टोपोलॉजी (नीचे दिया गया है) में f की निरंतरता, जिसे बहुभिन्नरूपी निरंतरता भी कहा जाता है, जो संरचना F की निरंतरता के लिए पर्याप्त है।
सदिश स्थान
निर्देशांक स्थान Rn रैखिकता की संरचना के योग के साथ वास्तविक संख्याओं के क्षेत्र (गणित) में पर n-आयामी सदिश स्थान बनाता है, और प्रायः इसे अभी भी Rn के रूप निरूपित किया जाता है। सदिश स्थान के रूप में Rn पर संचालन सामान्यतः इस प्रकार परिभाषित किया जाता है:
आव्यूह संकेतन
मानक आव्यूह संकेतन में, Rn का प्रत्येक तत्व सामान्यतः स्तंभ सदिश के रूप में लिखा जाता है:
Rn से Rm तक रैखिक परिवर्तन तब m × n आव्यूह के रूप में लिखे जा सकते हैं, जो पर कार्य करते हैं Rn के तत्वों पर बाएँ गुणन के माध्यम से कार्य करते हैं (जब Rn के तत्व स्तंभ सदिश होते हैं) और Rm के तत्वों पर उचित गुणन के माध्यम से (जब वे पंक्ति सदिश हैं) होते हैं। बाएं गुणन का सूत्र, आव्यूह गुणन की विशेष स्थिति है:
कोई भी रैखिक परिवर्तन सतत कार्य है (नीचे देखें)। साथ ही, आव्यूह Rn प्रति Rm खुले मानचित्र को परिभाषित करता है, यदि केवल आव्यूह की श्रेणी m के समान है।
मानक आधार
समन्वय स्थान Rn मानक आधार के साथ आता है:
ज्यामितीय गुण और उपयोग
अभिविन्यास
तथ्य यह है कि वास्तविक संख्याएं, विभिन्न अन्य क्षेत्रों के विपरीत, आदेशित क्षेत्र का गठन करती हैं, और Rn पर अभिविन्यास संरचना उत्पन्न करती हैं। Rn की कोई भी पूर्ण-श्रेणी का रैखिक मानचित्र या तो अपने आव्यूह के निर्धारक के संकेत के आधार पर स्थान के अभिविन्यास को संरक्षित या विपरीत कर देता है। यदि कोई समन्वय करता है (या, दूसरे शब्दों में, आधार के तत्व), परिणामी अभिविन्यास क्रमचय की समानता पर निर्भर करता है।
शून्य जैकोबियन से बचने के लिए उनके गुण द्वारा Rn या डोमेन के डिफियोमोर्फिज्म को भी अभिविन्यास-संरक्षण और अभिविन्यास-विपरीत के लिए भी वर्गीकृत किया जाता है। विभेदक रूपों के सिद्धांत के लिए इसके महत्वपूर्ण परिणाम हैं, जिनके अनुप्रयोगों में विद्युतगतिकी सम्मिलित हैं।
इस संरचना की अभिव्यक्ति यह है कि Rn में बिंदु प्रतिबिंब में n की समता के आधार पर भिन्न-भिन्न गुण होते हैं। सम n के लिए यह ओरिएंटेशन को संरक्षित करता है, जबकि विषम n के लिए यह विपरीत होता है (अनुचित घूर्णन भी देखें)।
एफ़िन स्थान
Rn को एफ़िन स्थान के रूप में समझा जाता है वही स्थान है, जहां Rn सदिश स्थान के रूप में अनुवाद द्वारा कार्य करता है। इसके विपरीत, सदिश को दो बिंदुओं के मध्य अंतर के रूप में समझा जाना चाहिए, सामान्यतः दो बिंदुओं को जोड़ने वाली निर्देशित रेखा खंड द्वारा चित्रित किया जाता है। अन्तर कहता है कि कोई विहित रूप नहीं है जहां मूल (गणित) n-स्थान को संबंध में जाना चाहिए, क्योंकि इसका कहीं भी अनुवाद किया जा सकता है।
उत्तलता
वास्तविक सदिश स्थान में, जैसे कि Rn, उत्तल शंकु को परिभाषित कर सकता है, जिसमें इसके सदिशों के सभी गैर-ऋणात्मक रैखिक संयोजन होते हैं। एफ़िन स्थान में संगत अवधारणा उत्तल समुच्चय है, जो केवल उत्तल संयोजनों (गैर-ऋणात्मक रैखिक संयोजनों का योग 1 होता है) की अनुमति देता है।
सार्वभौम बीजगणित की भाषा में, सदिश स्थान गुणांकों के परिमित अनुक्रमों के सार्वभौम सदिश स्थान R∞ पर बीजगणित है, जो सदिशों के परिमित योग के अनुरूप होता है, जबकि संबधित स्थान इस स्थान (परिमित अनुक्रमों का योग 1), शंकु सार्वभौमिक ऑर्थेंट (गैर-नकारात्मक संख्याओं के परिमित अनुक्रमों) पर बीजगणित है, और उत्तल समुच्चय सार्वभौमिक सिंप्लेक्स (गैर-नकारात्मक संख्याओं के परिमित अनुक्रमों का योग 1) पर बीजगणित है। यह निर्देशांक पर (संभव) प्रतिबंधों के साथ राशियों के संदर्भ में स्वयंसिद्धों को ज्यामितीय करता है।
उत्तल विश्लेषण से अन्य अवधारणा Rn से वास्तविक संख्याओं तक उत्तल कार्य है, जिसे बिंदुओं के उत्तल संयोजन पर इसके मूल्य के मध्य असमानता के माध्यम से परिभाषित किया गया है, और समान गुणांक वाले उन बिंदुओं में मानों के योग है।
यूक्लिडियन स्थान
डॉट उत्पाद
सदिश स्थान संरचना के लिए, विशेष स्पष्टीकरण के बिना डॉट उत्पाद और यूक्लिडियन दूरी को सामान्यतः Rn में उपस्थित माना जाता है। चूँकि, वास्तविक n-स्थान और यूक्लिडियन n-स्थान विशिष्ट वस्तुएं हैं, किसी भी यूक्लिडियन n-स्थान में समन्वय प्रणाली होती है, जहां डॉट उत्पाद और यूक्लिडियन दूरी के ऊपर दिखाया गया रूप है, जिसे कार्टेशियन कहा जाता है। किंतु यूक्लिडियन स्थान पर विभिन्न कार्टेशियन समन्वय प्रणाली हैं।
इसके विपरीत, यूक्लिडियन मीट्रिक के लिए उपरोक्त सूत्र मानक यूक्लिडियन संरचना को परिभाषित करता है Rn, किंतु यह एकमात्र संभव नहीं है। दरअसल, कोई सकारात्मक-निश्चित द्विघात रूप q अपनी दूरी तय करता है √q(x − y), किंतु यह इस मायने में यूक्लिडियन से बहुत अलग नहीं है कि
बीजीय और अवकल ज्यामिति में
हालांकि मैनिफोल्ड की परिभाषा के लिए जरूरी नहीं है कि इसका मॉडल स्थान होना चाहिए Rn, यह विकल्प सबसे आम है, और अंतर ज्यामिति में लगभग अनन्य है।
दूसरी ओर, व्हिटनी एम्बेडिंग प्रमेयों का कहना है कि कोई भी वास्तविक अवकलनीय मैनिफोल्ड | अवकलनीय है m-आयामी मैनिफोल्ड में एम्बेडिंग किया जा सकता है R2m.
अन्य दिखावे
अन्य संरचनाओं पर विचार किया गया Rn छद्म-यूक्लिडियन अंतरिक्ष, सहानुभूतिपूर्ण संरचना (यहां तक कि n), और संपर्क संरचना (विषम n). इन सभी संरचनाओं, हालांकि समन्वय-मुक्त तरीके से परिभाषित किया जा सकता है, निर्देशांक में मानक (और यथोचित सरल) रूपों को स्वीकार करते हैं।
Rn की वास्तविक सदिश उपसमष्टि भी है Cn जो जटिल संयुग्मन के लिए अपरिवर्तनीय है; जटिलता भी देखें।
आर में पॉलीटोप्सएन </सुप>
polytope्स के तीन परिवार हैं जिनका सरल प्रतिनिधित्व है Rn रिक्त स्थान, किसी के लिए n, और वास्तविक में किसी भी affine समन्वय प्रणाली की कल्पना करने के लिए इस्तेमाल किया जा सकता है n-अंतरिक्ष। अतिविम के वर्टिकल में निर्देशांक होते हैं (x1, x2, ..., xn) जहां प्रत्येक xk केवल दो मानों में से लेता है, सामान्यतः 0 या 1. हालांकि, उदाहरण के लिए, 0 और 1 के अतिरिक्त किन्हीं भी दो संख्याओं को चुना जा सकता है −1 और 1. n-हाइपरक्यूब को कार्टेशियन उत्पाद के रूप में माना जा सकता है n समान अंतराल (गणित) (जैसे इकाई अंतराल [0,1]) वास्तविक रेखा पर। के रूप में nआयामी उपसमुच्चय को असमानताओं की प्रणाली | की प्रणाली के साथ वर्णित किया जा सकता है 2n असमानताएँ:
साधारण रूप से गणना करने योग्य निर्देशांक वाला तीसरा पॉलीटॉप मानक सिंप्लेक्स है, जिसके कोने हैं n मानक आधार वैक्टर और उत्पत्ति (गणित) (0, 0, ..., 0). के रूप में nआयामी उपसमुच्चय की प्रणाली के साथ इसका वर्णन किया गया है n + 1 रैखिक असमानताएँ:
सामयिक गुण
की टोपोलॉजी (संरचना)। Rn (मानक टोपोलॉजी, यूक्लिडियन टोपोलॉजी, या सामान्य टोपोलॉजी कहा जाता है) न केवल परिभाषा और उपयोग प्राप्त किया जा सकता है। यह #यूक्लिडियन स्थान द्वारा प्रेरित प्राकृतिक टोपोलॉजी के समान है: यूक्लिडियन टोपोलॉजी में सेट खुला सेट है अगर और केवल अगर इसके प्रत्येक बिंदु के चारों ओर खुली गेंद होती है। भी, Rn रैखिक सामयिक स्थान है (ऊपर रैखिक मानचित्रों की निरंतरता देखें), और इसकी रैखिक संरचना के साथ संगत केवल संभव (गैर-तुच्छ) टोपोलॉजी है। चूंकि कई खुले रैखिक मानचित्र हैं Rn स्वयं के लिए जो आइसोमेट्री नहीं हैं, वहां कई यूक्लिडियन संरचनाएं हो सकती हैं Rn जो ही टोपोलॉजी से मेल खाते हैं। वास्तव में, यह रैखिक संरचना पर भी बहुत अधिक निर्भर नहीं करता है: कई गैर-रैखिक भिन्नताएं (और अन्य होमोमोर्फिज्म) हैं Rn खुद पर, या उसके हिस्से जैसे यूक्लिडियन ओपन बॉल या आरएन में #Polytopes)।
Rn सांस्थितिक आयाम है n.
की टोपोलॉजी पर महत्वपूर्ण परिणाम Rn, जो सतही से बहुत दूर है, L. E. J. Brouwer का डोमेन का व्युत्क्रम है। का कोई उपसमुच्चय Rn (इसके उप-स्थान टोपोलॉजी के साथ) जो कि अन्य खुले उपसमुच्चय के लिए होमियोमॉर्फिक है Rn स्वयं खुला है। इसका तात्कालिक परिणाम यह होता है Rm के लिए होमियोमोर्फिज्म नहीं है Rn यदि m ≠ n – सहज रूप से स्पष्ट परिणाम जो फिर भी साबित करना मुश्किल है।
टोपोलॉजिकल आयाम में अंतर के बावजूद, और भोली धारणा के विपरीत, कम-आयामी मैप करना संभव है[clarification needed] वास्तविक स्थान निरंतर और विशेषण कार्य करता है Rn. निरंतर (हालांकि चिकना नहीं) स्थान भरने वाला वक्र ( छवि R1) संभव है।[clarification needed]
उदाहरण
| Empty column vector, the only element of R0 |
| R1 |
एन ≤ 1
के मामले 0 ≤ n ≤ 1 कुछ भी नया ऑफर न करें: R1 वास्तविक रेखा है, जबकि R0 (खाली कॉलम सदिश युक्त स्थान) सिंगलटन (गणित) है, जिसे शून्य सदिश स्थान के रूप में समझा जाता है। हालांकि, भिन्न-भिन्न वर्णन करने वाले सिद्धांतों के मामलों को तुच्छता (गणित) के रूप में शामिल करना उपयोगी है n.
एन = 2
एन = 3
एन = 4
R4 इस तथ्य का उपयोग करके कल्पना की जा सकती है कि 16 अंक (x1, x2, x3, x4), जहां प्रत्येक xk या तो 0 या 1 है, tesseract (चित्रित) के शिखर हैं, 4-हाइपरक्यूब (आरएन में #Polytopes देखें)।
का पहला प्रमुख प्रयोग R4 [[स्थान समय]] मॉडल है: तीन स्थानिक निर्देशांक और बार। यह सामान्यतः सापेक्षता के सिद्धांत से जुड़ा हुआ है, हालांकि गैलिलियो गैलिली के बाद से ऐसे मॉडलों के लिए चार आयामों का उपयोग किया गया था। सिद्धांत की पसंद अलग संरचना की ओर ले जाती है, हालांकि: गैलीलियन सापेक्षता में t निर्देशांक विशेषाधिकार प्राप्त है, किंतु आइंस्टीनियन सापेक्षता में ऐसा नहीं है। मिन्कोव्स्की स्थान में विशेष सापेक्षता निर्धारित की गई है। सामान्य सापेक्षता घुमावदार स्थानों का उपयोग करती है, जिसके बारे में सोचा जा सकता है R4 अधिकांश व्यावहारिक उद्देश्यों के लिए मीट्रिक टेन्सर (सामान्य सापेक्षता) के साथ। इनमें से कोई भी संरचना (सकारात्मक-निश्चित) मीट्रिक (गणित) प्रदान नहीं करती है R4.
इयूक्लिडियन R4 गणितज्ञों का भी ध्यान आकर्षित करता है, उदाहरण के लिए चतुष्कोणों से इसके संबंध के कारण, स्वयं क्षेत्र पर 4-आयामी बीजगणित। कुछ जानकारी के लिए 4-आयामी यूक्लिडियन स्थान में घूर्णन देखें।
विभेदक ज्यामिति में, n = 4 एकमात्र मामला है जहां Rn गैर-मानक विभेदक संरचना को स्वीकार करता है: विदेशी R4|विदेशी R देखें4</उप>।
मानदंड चालू Rn
सदिश स्थान पर कई मानदंडों को परिभाषित किया जा सकता है Rn. कुछ सामान्य उदाहरण हैं
- पी-मानदंड, द्वारा परिभाषित सभी के लिए कहाँ पे सकारात्मक पूर्णांक है। मुकदमा बहुत महत्वपूर्ण है, क्योंकि यह बिल्कुल यूक्लिडियन मानदंड है।
- द -नॉर्म या अधिकतम मानदंड, द्वारा परिभाषित सभी के लिए . यह सभी पी-मानदंडों की सीमा है: .
वास्तव में आश्चर्यजनक और उपयोगी परिणाम यह है कि प्रत्येक मानदंड पर परिभाषित किया गया है Rn समतुल्य मानदंड है। इसका मतलब दो मनमाने मानदंडों के लिए है तथा पर Rn आप हमेशा सकारात्मक वास्तविक संख्याएं पा सकते हैं , ऐसा है कि
यह सभी मानदंडों के सेट पर समानता संबंध को परिभाषित करता है Rn. इस परिणाम से आप जाँच सकते हैं कि सदिशों का क्रम Rn के साथ मिलती है अगर और केवल अगर यह अभिसरण करता है .
इस परिणाम का प्रमाण कैसा दिख सकता है इसका स्केच यहां दिया गया है:
तुल्यता संबंध के कारण यह दर्शाने के लिए पर्याप्त है कि प्रत्येक मानदंड चालू है Rn यूक्लिडियन मानदंड के बराबर है . होने देना मनमाना मानदंड हो Rn. सबूत दो चरणों में बांटा गया है:
- हम दिखाते हैं कि मौजूद है , ऐसा है कि सभी के लिए . इस चरण में आप इस तथ्य का उपयोग करते हैं कि प्रत्येक मानक आधार (रैखिक बीजगणित) के रैखिक संयोजन के रूप में प्रदर्शित किया जा सकता है: . फिर कॉची-श्वार्ज़ असमानता के साथ कहाँ पे .
- अब हमें खोजना है , ऐसा है कि सभी के लिए . मान लीजिए कि ऐसा कोई नहीं है . फिर वहाँ हर के लिए मौजूद है a , ऐसा है कि . दूसरा क्रम परिभाषित करें द्वारा . यह क्रम परिबद्ध है क्योंकि . तो बोलजानो-वीयरस्ट्रास प्रमेय के कारण अभिसारी अनुवर्तीता मौजूद है सीमा के साथ Rn. अब हम दिखाते हैं किंतु है, जो विरोधाभास है। यह है इसलिये तथा , इसलिए . यह संकेत करता है , इसलिए . दूसरी ओर , इसलिये . यह कभी सच नहीं हो सकता, इसलिए धारणा झूठी थी और ऐसा मौजूद है .
यह भी देखें
- घातीय वस्तु, सुपरस्क्रिप्ट संकेतन की सैद्धांतिक व्याख्या के लिए
- वास्तविक प्रक्षेप्य स्थान
फुटनोट्स
संदर्भ
- Kelley, John L. (1975). General Topology. Springer-Verlag. ISBN 0-387-90125-6.
- Munkres, James (1999). Topology. Prentice-Hall. ISBN 0-13-181629-2.