आभासी-यूक्लिडियन स्पेस: Difference between revisions
mNo edit summary |
mNo edit summary |
||
Line 9: | Line 9: | ||
=== धनात्मक, शून्य और ऋणात्मक अदिश वर्ग === | === धनात्मक, शून्य और ऋणात्मक अदिश वर्ग === | ||
[[Image:DoubleCone.png|thumb|right|{{math|1=''n'' = 3}}, {{math|''k''}} के चिन्ह (गणित) की पसंद के आधार पर या तो 1 या 2 है {{math|''q''}}]]एक अशक्त सदिश एक सदिश है जिसके लिए द्विघात रूप शून्य है। यूक्लिडियन अंतरिक्ष के विपरीत, ऐसा सदिश गैर-शून्य हो सकता है, जिस स्थिति में यह स्व- | [[Image:DoubleCone.png|thumb|right|{{math|1=''n'' = 3}}, {{math|''k''}} के चिन्ह (गणित) की पसंद के आधार पर या तो 1 या 2 है {{math|''q''}}]]एक अशक्त सदिश एक सदिश है जिसके लिए द्विघात रूप शून्य है। यूक्लिडियन अंतरिक्ष के विपरीत, ऐसा सदिश गैर-शून्य हो सकता है, जिस स्थिति में यह स्व-रूढ़िवादिता है। | ||
यदि द्विघात रूप अनिश्चित है, तो आभासी-यूक्लिडियन अंतरिक्ष में{{math|1={{{hsp}}''x'' : ''q''(''x'') = 0{{hsp}}}{{null}}}}. अशक्त सदिश का एक [[ रैखिक शंकु ]] होता है जब आभासी-यूक्लिडियन अंतरिक्ष-समय के लिए एक मॉडल प्रदान करता है (उदाहरण देखें), अशक्त शंकु को मूल बिन्दु का [[ प्रकाश शंकु ]] कहा जाता है। | यदि द्विघात रूप अनिश्चित है, तो आभासी-यूक्लिडियन अंतरिक्ष में{{math|1={{{hsp}}''x'' : ''q''(''x'') = 0{{hsp}}}{{null}}}}. अशक्त सदिश का एक [[ रैखिक शंकु ]] होता है जब आभासी-यूक्लिडियन अंतरिक्ष-समय के लिए एक मॉडल प्रदान करता है (उदाहरण देखें), अशक्त शंकु को मूल बिन्दु का [[ प्रकाश शंकु ]] कहा जाता है। | ||
Line 19: | Line 19: | ||
इसलिए आभासी-यूक्लिडियन ज्यामिति में मानदंड और दूरी से बचा जाता है, जिसे क्रमशः अदिश वर्ग और अंतराल से बदला जा सकता है। | इसलिए आभासी-यूक्लिडियन ज्यामिति में मानदंड और दूरी से बचा जाता है, जिसे क्रमशः अदिश वर्ग और अंतराल से बदला जा सकता है। | ||
एक ऐसे [[ वक्र ]] के लिए जिसके सभी स्पर्शरेखा सदिशों में एक ही चिह्न के अदिश वर्ग हों, लेकिन चाप की लंबाई परिभाषित होती है। इसके महत्वपूर्ण अनुप्रयोग हैं: उदाहरण के लिए [[ उचित समय ]] देखें। | |||
===घूर्णन और गोले === | ===घूर्णन और गोले === | ||
[[Image:Hyperboloid1.png|thumb|right]]ऐसे स्थान का घूर्णन (गणित) [[ समूह (गणित) ]] [[ अनिश्चितकालीन ऑर्थोगोनल समूह ]] | [[Image:Hyperboloid1.png|thumb|right]]ऐसे स्थान का घूर्णन (गणित) [[ समूह (गणित) ]] [[ अनिश्चितकालीन ऑर्थोगोनल समूह | अनिश्चितकालीन रूढ़िवादि समूह]] {{math|O(''q'')}} है, के रूप में भी दर्शाया गया है विशेष द्विघात रूप के संदर्भ के बिना {{math|O(''k'', ''n'' − ''k'')}} के रूप में भी निरूपित किया जाता है।।<ref>What is the "rotations group" depends on exact definition of a rotation. "O" groups contain [[improper rotation]]s. Transforms that preserve [[orientation (geometry)|orientation]] form the group {{math|SO(''q'')}}, or {{math|SO(''k'', ''n'' − ''k'')}}, but it also is not [[connected space|connected]] if both {{math|''k''}} and {{math|''n'' − ''k''}} are positive. The group {{math|SO<sup>+</sup>(''q'')}}, which preserves orientation on positive and negative scalar square parts separately, is a (connected) analog of Euclidean rotations group {{math|SO(''n'')}}. Indeed, all these groups are [[Lie group]]s of dimension {{math|{{sfrac|1|2}}''n''(''n'' − 1)}}.</ref> इस तरह के "घूर्णन" रूप {{math|''q''}} को संरक्षित करते हैं इसलिए, प्रत्येक सदिश का अदिश वर्ग, चाहे वह धनात्मक हो, शून्य हो, या ऋणात्मक हो। | ||
जबकि यूक्लिडियन अंतरिक्ष में एक [[ इकाई क्षेत्र ]] होता है, आभासी-यूक्लिडियन अंतरिक्ष में [[ ऊनविम पृष्ठ ]] | जबकि यूक्लिडियन अंतरिक्ष में एक [[ इकाई क्षेत्र ]] होता है, आभासी-यूक्लिडियन अंतरिक्ष में [[ ऊनविम पृष्ठ ]] {{math|1={{{hsp}}''x'' : ''q''(''x'') = 1{{hsp}}}{{null}}}} तथा {{math|1={{{hsp}}''x'' : ''q''(''x'') = −1{{hsp}}}{{null}}}} होते हैं इस तरह की अतिसतह, जिसे अर्ध-गोला कहा जाता है, उपयुक्त अनिश्चितकालीन रूढ़िवादि समूह द्वारा संरक्षित है। | ||
=== सममित द्विरेखीय रूप === | === सममित द्विरेखीय रूप === | ||
द्विघात रूप {{math|''q''}} | द्विघात रूप {{math|''q''}} एक [[ सममित द्विरेखीय रूप ]] को जन्म देता है जिसे निम्नानुसार परिभाषित किया गया है: | ||
: <math>\langle x, y\rangle = \tfrac12[q(x + y) - q(x) - q(y)] = \left(x_1 y_1 + \ldots + x_k y_k\right) - \left(x_{k+1}y_{k+1} + \ldots + x_n y_n\right).</math> | : <math>\langle x, y\rangle = \tfrac12[q(x + y) - q(x) - q(y)] = \left(x_1 y_1 + \ldots + x_k y_k\right) - \left(x_{k+1}y_{k+1} + \ldots + x_n y_n\right).</math> | ||
द्विघात रूप को द्विरेखीय रूप में व्यक्त किया जा सकता है: {{math|1=''q''(''x'') = {{langle}}''x'', ''x''{{rangle}}}} | द्विघात रूप को द्विरेखीय रूप में व्यक्त किया जा सकता है: {{math|1=''q''(''x'') = {{langle}}''x'', ''x''{{rangle}}}} | ||
जब {{math|1={{langle}}''x'', ''y''{{rangle}} = 0}}, फिर {{math|''x''}} तथा {{math|''y''}} आभासी-यूक्लिडियन अंतरिक्ष के [[ ओर्थोगोनालिटी | रूढ़िवादिता]] सदिश हैं। | |||
इस | इस यह द्विरेखीय रूप को अक्सर अदिस उत्पाद के रूप में जाना जाता है, और कभी-कभी आंतरिक उत्पाद या [[ डॉट उत्पाद | बिन्दु उत्पाद]] के रूप में भी जाना जाता है, लेकिन यह एक [[ आंतरिक उत्पाद स्थान ]] को परिभाषित नहीं करता है और इसमें यूक्लिडियन सदिश के बिन्दु उत्पाद के गुण नहीं होते हैं। | ||
यदि {{math|''x''}} तथा {{math|''y''}} ओर्थोगोनल हैं और {{math|''q''(''x'')''q''(''y'') < 0}}, | यदि {{math|''x''}} तथा {{math|''y''}} ओर्थोगोनल हैं और {{math|''q''(''x'')''q''(''y'') < 0}}, तो {{math|''x''}} {{math|''y''}} के लिए [[ अतिशयोक्तिपूर्ण-ऑर्थोगोनल | अतिशयोक्तिपूर्ण-रूढ़िवादि]] है. | ||
{{anchor|basis}} | {{anchor|basis}} | ||
=== उप-स्थान और | वास्तविक {{math|''n''}}-स्पेस का [[ मानक आधार | मानक आधार]] रूढ़िवादि आधार है। आभासी-यूक्लिडियन अंतरिक्ष में कोई ऑर्थोनॉर्मल आधार नहीं है जिसके लिए द्विरेखीय रूप अनिश्चित है, क्योंकि इसका उपयोग सदिश मानदंड को परिभाषित करने के लिए नहीं किया जा सकता है। | ||
एक (सकारात्मक-आयामी) उप-स्थान के लिए<ref>A [[linear subspace]] is assumed, but same conclusions are true for an affine [[flat (geometry)|flat]] with the only complication that the quadratic form is always defined on vectors, not points.</ref> {{math|''U''}} | |||
# {{math|''q''{{!}}<sub>''U''</sub>}} या तो [[ निश्चित द्विघात रूप ]] है। फिर, {{math|''U''}} अनिवार्य रूप से यूक्लिडियन स्थान है ( | === उप-स्थान और रूढ़िवादिता === | ||
# {{math|''q''{{!}}<sub>''U''</sub>}} अनिश्चित है, लेकिन अपरिवर्तनीय है। | एक (सकारात्मक-आयामी) उप-स्थान के लिए<ref>A [[linear subspace]] is assumed, but same conclusions are true for an affine [[flat (geometry)|flat]] with the only complication that the quadratic form is always defined on vectors, not points.</ref> एक आभासी-यूक्लिडियन अंतरिक्ष का {{math|''U''}}, जब द्विघात रूप {{math|''q''}} {{math|''U''}} तक [[ समारोह प्रतिबंध |सीमित]] है, निम्नलिखित तीन मामले संभव हैं: | ||
# {{math|''q''{{!}}<sub>''U''</sub>}} या तो [[ निश्चित द्विघात रूप | निश्चित द्विघात रूप]] है। या फिर, {{math|''U''}} अनिवार्य रूप से यूक्लिडियन स्थान है ({{math|''q''}} के संकेत तक). | |||
# {{math|''q''{{!}}<sub>''U''</sub>}} अनिश्चित है, लेकिन अपरिवर्तनीय है। तब, {{math|''U''}} स्वयं आभासी-यूक्लिडियन है। यह तभी संभव है जब {{math|[[dimension (vector space)|dim]] ''U'' ≥ 2}}; यदि {{math|1=dim ''U'' = 2}} हो, जिसका अर्थ है {{math|''U''}} एक समतल (ज्यामिति) है, तो इसे अतिपरवलयिक तल (द्विघात रूप) कहते हैं। | |||
# {{math|''q''{{!}}<sub>''U''</sub>}} पतित है। | # {{math|''q''{{!}}<sub>''U''</sub>}} पतित है। | ||
{{anchor|Orthogonality}} | {{anchor|Orthogonality}} | ||
आभासी-यूक्लिडियन अंतरिक्ष में एक सदिश उप-स्थान के | आभासी-[[ यूक्लिडियन वेक्टर | यूक्लिडियन सदिश]] और समतलो के सबसे झकझोरने वाले गुणों में से एक (एक यूक्लिडियन अंतर्ज्ञान के लिए) उनकी रूढ़िवादिता है। जब दो गैर-शून्य यूक्लिडियन सदिश रूढ़िवादि होते हैं, तो वे संरेख नहीं होते हैं। किसी भी यूक्लिडियन रैखिक उप-अंतरिक्ष का इसके [[ ऑर्थोगोनल पूरक | रूढ़िवादि पूरक]] के साथ प्रतिच्छेदन {{math|{0}{{null}}}} सदिश स्थान है लेकिन पिछले उपखंड की परिभाषा का तात्पर्य तुरंत है कि शून्य अदिश वर्ग का कोई भी सदिश {{math|'''ν'''}} स्वयं के लिए ओर्थोगोनल है। इसलिए, [[ समदैशिक रेखा | समदैशिक रेखा]] {{math|1=''N'' = [[linear span|{{langle}}'''ν'''{{rangle}}]]}} शून्य सदिश ν- द्वारा उत्पन्न इसके ओर्थोगोनल पूरक {{math|''N''<sup>⊥</sup>}} का एक उपसमुच्चय है . | ||
: {{math|1=''U'' ∩ ''U''<sup>⊥</sup> = {0}{{null}}}} या, समकक्ष, {{math|1=''U'' + ''U''<sup>⊥</sup> =}} | |||
आभासी-यूक्लिडियन अंतरिक्ष में एक सदिश उप-स्थान के रूढ़िवादि पूरक की औपचारिक परिभाषा पूरी तरह से परिभाषित परिणाम देती है, जो समानता को संतुष्ट करती है {{math|1=dim ''U'' + dim ''U''<sup>⊥</sup> = ''n''}} द्विघात रूप के गैर-अपघटन के कारण। यह सिर्फ शर्त है | |||
: {{math|1=''U'' ∩ ''U''<sup>⊥</sup> = {0}{{null}}}} या, समकक्ष, {{math|1=''U'' + ''U''<sup>⊥</sup> =}} सारा अंतरिक्ष, | |||
अगर सबस्पेस {{math|''U''}} एक शून्य दिशा शामिल है।<ref>Actually, {{math|''U'' ∩ ''U''<sup>⊥</sup>}} is not zero only if the quadratic form {{math|''q''}} restricted to {{math|''U''}} is degenerate.<!-- can somebody find a source with this simple consequence of the law of inertia? --></ref> जिसे तोड़ा जा सकता है जबकि उप-स्थान एक की जाली बनाते है, जैसा कि किसी भी सदिश स्थान में होता है, यह {{math|⊥}} ऑपरेशन आंतरिक उत्पाद रिक्त स्थान के विपरीत, एक [[ orthocomplementation |ऑर्थोपूरक]] नहीं है। | |||
एक उप-स्थान {{math|''N''}} के लिए पूरी तरह से अशक्त सदिश से बना है (जिसका अर्थ है कि अदिश वर्ग {{math|''q''}}, के लिए प्रतिबंधित {{math|''N''}}, बराबर है {{math|0}}), हमेशा धारण करता है: | |||
: {{math|1=''N'' ⊂ ''N''<sup>⊥</sup>}} या, समकक्ष, {{math|1=''N'' ∩ ''N''<sup>⊥</sup> = ''N''}}. | : {{math|1=''N'' ⊂ ''N''<sup>⊥</sup>}} या, समकक्ष, {{math|1=''N'' ∩ ''N''<sup>⊥</sup> = ''N''}}. | ||
इस तरह के एक उप-स्थान में | इस तरह के एक उप-स्थान में अधिकतम {{math|min(''k'', ''n'' − ''k'')}} [[ आयाम (वेक्टर स्थान) | आयाम (सदिश स्थान)]] हो सकता है ।<ref>Thomas E. Cecil (1992) ''Lie Sphere Geometry'', page 24, Universitext Springer {{isbn|0-387-97747-3}}</ref> | ||
एक (सकारात्मक) यूक्लिडियन के लिए {{math|''k''}}- | |||
एक (सकारात्मक) यूक्लिडियन के लिए {{math|''k''}}-उप अंतरिक्ष इसका रूढ़िवादि पूरक है a {{math|(''n'' − ''k'')}}-आयामी नकारात्मक यूक्लिडियन उप-स्थान है, और इसके विपरीत | |||
सामान्यतः a{{math|(''d''<sub>+</sub> + ''d''<sub>−</sub> + ''d''<sub>0</sub>)}} के लिए ashif-आयामी उपक्षेत्र {{math|''U''}} को मिलाकर {{math|''d''<sub>+</sub>}} सकारात्मक और {{math|''d''<sub>−</sub>}} नकारात्मक आयाम (स्पष्टीकरण के लिए सिल्वेस्टर की जड़ता का नियम देखें), इसका रूढ़िवादि पूरक {{math|''U''<sup>⊥</sup>}} है {{math|(''k'' − ''d''<sub>+</sub> − ''d''<sub>0</sub>)}} सकारात्मक और {{math|(''n'' − ''k'' − ''d''<sub>−</sub> − ''d''<sub>0</sub>)}} नकारात्मक आयाम,<!-- it is an easily accessible fact which follows from dim(''U'' ∩ ''U''<sup>⊥</sup>) = ''d''<sub>0</sub>, which itself is a direct consequence of the definition of ''U''<sup>⊥</sup> and Sylvester's law, but it would be better to find a source. --> जबकि बाकी {{math|''d''<sub>0</sub>}} वाले पतित होते हैं और बनाते हैं {{math|''U'' ∩ ''U''<sup>⊥</sup>}} चौराहा। | |||
=== समांतर चतुर्भुज कानून और पाइथागोरस प्रमेय === | === समांतर चतुर्भुज कानून और पाइथागोरस प्रमेय === | ||
Line 65: | Line 70: | ||
द्विपद प्रमेय#उदाहरण पहचान का प्रयोग करते हुए, एक स्वेच्छ त्रिभुज के लिए कोई भी दो भुजाओं के अदिश वर्गों और उनके बिलिनियर रूप उत्पाद से तीसरी भुजा के अदिश वर्ग को व्यक्त कर सकता है: | द्विपद प्रमेय#उदाहरण पहचान का प्रयोग करते हुए, एक स्वेच्छ त्रिभुज के लिए कोई भी दो भुजाओं के अदिश वर्गों और उनके बिलिनियर रूप उत्पाद से तीसरी भुजा के अदिश वर्ग को व्यक्त कर सकता है: | ||
:<math>q(x + y) = q(x) + q(y) + 2\langle x, y \rangle.</math> | :<math>q(x + y) = q(x) + q(y) + 2\langle x, y \rangle.</math> | ||
यह दर्शाता है कि, | यह दर्शाता है कि, रूढ़िवादि सदिश के लिए, पायथागॉरियन प्रमेय का आभासी-यूक्लिडियन एनालॉग धारण करता है: | ||
:<math>\langle x, y \rangle = 0 \Rightarrow q(x) + q(y) = q(x + y).</math> | :<math>\langle x, y \rangle = 0 \Rightarrow q(x) + q(y) = q(x + y).</math> | ||
Revision as of 09:54, 22 November 2022
एक आभासी-यूक्लिडियन अंतरिक्ष एक परिमित- आयाम (गणित) वास्तविक n-अंतरिक्ष समन्वय स्थान है। जो गणित और सैद्धांतिक भौतिकी में एक गैर- पतित द्विघात रूप q के साथ है. [[आधार (रैखिक बीजगणित) | आधार (रैखिक बीजगणित) (e1, …, en),]] का उपयुक्त विकल्प दिए जाने पर ऐसा द्विघात रूप x = x1e1 + ⋯ + xnen को सदिश पर लागू किया जा सकता है
यूक्लिडियन स्पेस शब्द के साथ, आभासी-यूक्लिडियन स्पेस शब्द का उपयोग लेखक के आधार पर एक एफ़िन अंतरिक्ष या सदिश स्थल को संदर्भित करने के लिए किया जा सकता है, जिसे बाद में वैकल्पिक रूप से 'आभासी-यूक्लिडियन सदिश स्पेस' के रूप में संदर्भित किया जा सकता है।[3] (बिंदु-सदिश भेद देखें)।
ज्यामिति
यूक्लिडियन अंतरिक्ष के कुछ गुण लागू नहीं होने के बावजूद एक आभासी-यूक्लिडियन अंतरिक्ष की ज्यामिति सुसंगत है, सबसे विशेष रूप से यह एक मीट्रिक स्थान नहीं है जैसा कि नीचे बताया गया है। एफ़िन ज्यामिति अपरिवर्तित है, और इस प्रकार अवधारणाओं रेखा (ज्यामिति) , समतल (ज्यामिति) और, सामान्यतः, एक एफ़िन उप-स्थान (फ्लैट (ज्यामिति)) के साथ-साथ रेखा खंड भी।
धनात्मक, शून्य और ऋणात्मक अदिश वर्ग
एक अशक्त सदिश एक सदिश है जिसके लिए द्विघात रूप शून्य है। यूक्लिडियन अंतरिक्ष के विपरीत, ऐसा सदिश गैर-शून्य हो सकता है, जिस स्थिति में यह स्व-रूढ़िवादिता है।
यदि द्विघात रूप अनिश्चित है, तो आभासी-यूक्लिडियन अंतरिक्ष में{ x : q(x) = 0 }. अशक्त सदिश का एक रैखिक शंकु होता है जब आभासी-यूक्लिडियन अंतरिक्ष-समय के लिए एक मॉडल प्रदान करता है (उदाहरण देखें), अशक्त शंकु को मूल बिन्दु का प्रकाश शंकु कहा जाता है।
अशक्त शंकु दो खुले समूहों को अलग करता है,[4] क्रमशः जिसके लिए q(x) > 0 तथा q(x) < 0. यदि k ≥ 2, तो सदिशों का समुच्चय जिसके लिए q(x) > 0 जुड़ा हुआ स्थान है। यदि k = 1, तो इसमें दो असंबद्ध भाग होते हैं, एक के साथ x1 > 0 और दूसरा साथ x1 < 0. जिसके लिए q(x) < 0 यदि k को n − k से प्रतिस्थापित किया जाये. सदिश के लिए इसी समान कथन दिए जा सकते हैं
अंतराल
द्विघात रूप q यूक्लिडियन मामले में स्पर्शरेखा सदिश के वर्ग के अनुरूप है। सदिश मानदंड (और दूरी) को एक अपरिवर्तनीय (गणित) तरीके से परिभाषित करने के लिए, किसी को अदिश वर्गों के वर्गमूल प्राप्त करने होंगे, जो संभवतः काल्पनिक संख्या दूरी की ओर जाता है; ऋणात्मक संख्याओं का वर्गमूल देखें। लेकिन तीनों भुजाओं के धनात्मक अदिश वर्गों वाले त्रिभुज के लिए भी (जिनके वर्गमूल वास्तविक और धनात्मक हैं), त्रिभुज असमानता सामान्य रूप से लागू नहीं होती है।
इसलिए आभासी-यूक्लिडियन ज्यामिति में मानदंड और दूरी से बचा जाता है, जिसे क्रमशः अदिश वर्ग और अंतराल से बदला जा सकता है।
एक ऐसे वक्र के लिए जिसके सभी स्पर्शरेखा सदिशों में एक ही चिह्न के अदिश वर्ग हों, लेकिन चाप की लंबाई परिभाषित होती है। इसके महत्वपूर्ण अनुप्रयोग हैं: उदाहरण के लिए उचित समय देखें।
घूर्णन और गोले
ऐसे स्थान का घूर्णन (गणित) समूह (गणित) अनिश्चितकालीन रूढ़िवादि समूह O(q) है, के रूप में भी दर्शाया गया है विशेष द्विघात रूप के संदर्भ के बिना O(k, n − k) के रूप में भी निरूपित किया जाता है।।[5] इस तरह के "घूर्णन" रूप q को संरक्षित करते हैं इसलिए, प्रत्येक सदिश का अदिश वर्ग, चाहे वह धनात्मक हो, शून्य हो, या ऋणात्मक हो।
जबकि यूक्लिडियन अंतरिक्ष में एक इकाई क्षेत्र होता है, आभासी-यूक्लिडियन अंतरिक्ष में ऊनविम पृष्ठ { x : q(x) = 1 } तथा { x : q(x) = −1 } होते हैं इस तरह की अतिसतह, जिसे अर्ध-गोला कहा जाता है, उपयुक्त अनिश्चितकालीन रूढ़िवादि समूह द्वारा संरक्षित है।
सममित द्विरेखीय रूप
द्विघात रूप q एक सममित द्विरेखीय रूप को जन्म देता है जिसे निम्नानुसार परिभाषित किया गया है:
द्विघात रूप को द्विरेखीय रूप में व्यक्त किया जा सकता है: q(x) = ⟨x, x⟩
जब ⟨x, y⟩ = 0, फिर x तथा y आभासी-यूक्लिडियन अंतरिक्ष के रूढ़िवादिता सदिश हैं।
इस यह द्विरेखीय रूप को अक्सर अदिस उत्पाद के रूप में जाना जाता है, और कभी-कभी आंतरिक उत्पाद या बिन्दु उत्पाद के रूप में भी जाना जाता है, लेकिन यह एक आंतरिक उत्पाद स्थान को परिभाषित नहीं करता है और इसमें यूक्लिडियन सदिश के बिन्दु उत्पाद के गुण नहीं होते हैं।
यदि x तथा y ओर्थोगोनल हैं और q(x)q(y) < 0, तो x y के लिए अतिशयोक्तिपूर्ण-रूढ़िवादि है.
वास्तविक n-स्पेस का मानक आधार रूढ़िवादि आधार है। आभासी-यूक्लिडियन अंतरिक्ष में कोई ऑर्थोनॉर्मल आधार नहीं है जिसके लिए द्विरेखीय रूप अनिश्चित है, क्योंकि इसका उपयोग सदिश मानदंड को परिभाषित करने के लिए नहीं किया जा सकता है।
उप-स्थान और रूढ़िवादिता
एक (सकारात्मक-आयामी) उप-स्थान के लिए[6] एक आभासी-यूक्लिडियन अंतरिक्ष का U, जब द्विघात रूप q U तक सीमित है, निम्नलिखित तीन मामले संभव हैं:
- q|U या तो निश्चित द्विघात रूप है। या फिर, U अनिवार्य रूप से यूक्लिडियन स्थान है (q के संकेत तक).
- q|U अनिश्चित है, लेकिन अपरिवर्तनीय है। तब, U स्वयं आभासी-यूक्लिडियन है। यह तभी संभव है जब dim U ≥ 2; यदि dim U = 2 हो, जिसका अर्थ है U एक समतल (ज्यामिति) है, तो इसे अतिपरवलयिक तल (द्विघात रूप) कहते हैं।
- q|U पतित है।
आभासी- यूक्लिडियन सदिश और समतलो के सबसे झकझोरने वाले गुणों में से एक (एक यूक्लिडियन अंतर्ज्ञान के लिए) उनकी रूढ़िवादिता है। जब दो गैर-शून्य यूक्लिडियन सदिश रूढ़िवादि होते हैं, तो वे संरेख नहीं होते हैं। किसी भी यूक्लिडियन रैखिक उप-अंतरिक्ष का इसके रूढ़िवादि पूरक के साथ प्रतिच्छेदन {0} सदिश स्थान है लेकिन पिछले उपखंड की परिभाषा का तात्पर्य तुरंत है कि शून्य अदिश वर्ग का कोई भी सदिश ν स्वयं के लिए ओर्थोगोनल है। इसलिए, समदैशिक रेखा N = ⟨ν⟩ शून्य सदिश ν- द्वारा उत्पन्न इसके ओर्थोगोनल पूरक N⊥ का एक उपसमुच्चय है .
आभासी-यूक्लिडियन अंतरिक्ष में एक सदिश उप-स्थान के रूढ़िवादि पूरक की औपचारिक परिभाषा पूरी तरह से परिभाषित परिणाम देती है, जो समानता को संतुष्ट करती है dim U + dim U⊥ = n द्विघात रूप के गैर-अपघटन के कारण। यह सिर्फ शर्त है
- U ∩ U⊥ = {0} या, समकक्ष, U + U⊥ = सारा अंतरिक्ष,
अगर सबस्पेस U एक शून्य दिशा शामिल है।[7] जिसे तोड़ा जा सकता है जबकि उप-स्थान एक की जाली बनाते है, जैसा कि किसी भी सदिश स्थान में होता है, यह ⊥ ऑपरेशन आंतरिक उत्पाद रिक्त स्थान के विपरीत, एक ऑर्थोपूरक नहीं है।
एक उप-स्थान N के लिए पूरी तरह से अशक्त सदिश से बना है (जिसका अर्थ है कि अदिश वर्ग q, के लिए प्रतिबंधित N, बराबर है 0), हमेशा धारण करता है:
- N ⊂ N⊥ या, समकक्ष, N ∩ N⊥ = N.
इस तरह के एक उप-स्थान में अधिकतम min(k, n − k) आयाम (सदिश स्थान) हो सकता है ।[8]
एक (सकारात्मक) यूक्लिडियन के लिए k-उप अंतरिक्ष इसका रूढ़िवादि पूरक है a (n − k)-आयामी नकारात्मक यूक्लिडियन उप-स्थान है, और इसके विपरीत
सामान्यतः a(d+ + d− + d0) के लिए ashif-आयामी उपक्षेत्र U को मिलाकर d+ सकारात्मक और d− नकारात्मक आयाम (स्पष्टीकरण के लिए सिल्वेस्टर की जड़ता का नियम देखें), इसका रूढ़िवादि पूरक U⊥ है (k − d+ − d0) सकारात्मक और (n − k − d− − d0) नकारात्मक आयाम, जबकि बाकी d0 वाले पतित होते हैं और बनाते हैं U ∩ U⊥ चौराहा।
समांतर चतुर्भुज कानून और पाइथागोरस प्रमेय
समांतर चतुर्भुज कानून रूप लेता है
द्विपद प्रमेय#उदाहरण पहचान का प्रयोग करते हुए, एक स्वेच्छ त्रिभुज के लिए कोई भी दो भुजाओं के अदिश वर्गों और उनके बिलिनियर रूप उत्पाद से तीसरी भुजा के अदिश वर्ग को व्यक्त कर सकता है:
यह दर्शाता है कि, रूढ़िवादि सदिश के लिए, पायथागॉरियन प्रमेय का आभासी-यूक्लिडियन एनालॉग धारण करता है:
कोण
आम तौर पर, निरपेक्ष मूल्य |⟨x, y⟩| दो सदिशों पर द्विरेखीय रूप से अधिक हो सकता है √|q(x)q(y)|, इसके बराबर, या कम। यह कोण की परिभाषा के साथ समान समस्याओं का कारण बनता है (देखें Dot product § Geometric definition) #दूरियों के लिए दूरी के रूप में।
यदि k = 1 (केवल एक सकारात्मक शब्द q), फिर धनात्मक अदिश वर्ग के सदिशों के लिए:
शून्य सदिश और अन्य सदिश (या तो शून्य या गैर-शून्य) के बीच कोण की कोई उचित परिभाषा नहीं है।
बीजगणित और टेंसर कलन
यूक्लिडियन रिक्त स्थान की तरह, प्रत्येक आभासी-यूक्लिडियन सदिश स्थान एक क्लिफोर्ड बीजगणित उत्पन्न करता है। उपरोक्त गुणों के विपरीत, जहां . का प्रतिस्थापन q प्रति −q परिवर्तित संख्याएँ लेकिन ज्यामिति नहीं, द्विघात रूप के साइन रिवर्सल के परिणामस्वरूप एक अलग क्लिफोर्ड बीजगणित होता है, इसलिए उदाहरण के लिए Cl1,2(R) तथा Cl2,1(R) आइसोमोर्फिक नहीं हैं।
किसी भी सदिश स्थान की तरह, आभासी-यूक्लिडियन टेंसर होते हैं। एक यूक्लिडियन संरचना की तरह, वहाँ ऊपर और नीचे सूचकांक संचालक होते हैं लेकिन, यूक्लिडियन टेन्सर के मामले के विपरीत, #आधार होता है। अगर कोई सदिश है vβ, संगत सहसंयोजक सदिश है:
और मानक रूप के साथ
सबसे पहला k के घटक vα संख्यात्मक रूप से के समान हैं vβ, लेकिन बाकी n − k योज्य प्रतिलोम है।
प्रतिपरिवर्ती और सहपरिवर्ती टेन्सर के बीच पत्राचार आभासी रीमैनियन मैनिफोल्ड पर एक टेंसर कैलकुलेशन बनाता है जो रीमैनियन मैनिफोल्ड्स पर एक का सामान्यीकरण करता है।
उदाहरण
एक बहुत ही महत्वपूर्ण आभासी-यूक्लिडियन स्थान मिंकोव्स्की अंतरिक्ष है, जो गणितीय सेटिंग है जिसमें अल्बर्ट आइंस्टीन के विशेष सापेक्षता के सिद्धांत को तैयार किया गया है। मिंकोवस्की अंतरिक्ष के लिए, n = 4 तथा k = 3[10] ताकि
इस आभासी-मीट्रिक से जुड़ी ज्यामिति की जांच हेनरी पोंकारे | पोंकारे ने की थी।[11][12] इसका घूर्णन समूह लोरेंत्ज़ समूह है। पोंकारे समूह में अनुवाद (ज्यामिति) भी शामिल है और सामान्य यूक्लिडियन रिक्त स्थान के यूक्लिडियन समूह ों के समान भूमिका निभाता है।
एक अन्य आभासी-यूक्लिडियन स्थान द्वि-आयामी स्थान है z = x + yj विभाजित-जटिल संख्या ओं से मिलकर, द्विघात रूप से सुसज्जित
यह अनिश्चित आभासी-यूक्लिडियन अंतरिक्ष का सबसे सरल मामला है (n = 2, k = 1) और केवल एक जहां अशक्त शंकु अंतरिक्ष को चार खुले सेटों में विभाजित करता है। समूह SO+(1, 1) तथाकथित अतिपरवलयिक घुमावों से मिलकर बनता है।
यह भी देखें
- आभासी-रिमेंनियन मैनिफोल्ड
- अतिपरवलयिक समीकरण
- हाइपरबोलाइड मॉडल
- पैरासदिश
फुटनोट्स
- ↑ Élie Cartan (1981), The Theory of Spinors, Dover Publications, ISBN 0-486-64070-1
- ↑ Euclidean spaces are regarded as pseudo-Euclidean spaces – see for example Rafal Ablamowicz; P. Lounesto (2013), Clifford Algebras and Spinor Structures, Springer Science & Business Media, p. 32.
- ↑ Rafal Ablamowicz; P. Lounesto (2013), Clifford Algebras and Spinor Structures, Springer Science & Business Media, p. 32 [1]
- ↑ The standard topology on Rn is assumed.
- ↑ What is the "rotations group" depends on exact definition of a rotation. "O" groups contain improper rotations. Transforms that preserve orientation form the group SO(q), or SO(k, n − k), but it also is not connected if both k and n − k are positive. The group SO+(q), which preserves orientation on positive and negative scalar square parts separately, is a (connected) analog of Euclidean rotations group SO(n). Indeed, all these groups are Lie groups of dimension 1/2n(n − 1).
- ↑ A linear subspace is assumed, but same conclusions are true for an affine flat with the only complication that the quadratic form is always defined on vectors, not points.
- ↑ Actually, U ∩ U⊥ is not zero only if the quadratic form q restricted to U is degenerate.
- ↑ Thomas E. Cecil (1992) Lie Sphere Geometry, page 24, Universitext Springer ISBN 0-387-97747-3
- ↑ Note that cos(i arcosh s) = s, so for s > 0 these can be understood as imaginary angles.
- ↑ Another well-established representation uses k = 1 and coordinate indices starting from 0 (thence q(x) = x02 − x12 − x22 − x32), but they are equivalent up to sign of q. See Sign convention § Metric signature.
- ↑ H. Poincaré (1906) On the Dynamics of the Electron, Rendiconti del Circolo Matematico di Palermo
- ↑ B. A. Rosenfeld (1988) A History of Non-Euclidean Geometry, page 266, Studies in the history of mathematics and the physical sciences #12, Springer ISBN 0-387-96458-4
संदर्भ
- Cartan, Élie (1981) [1938], The Theory of Spinors, New York: Dover Publications, p. 3, ISBN 978-0-486-64070-9, MR 0631850
- Werner Greub (1963) Linear Algebra, 2nd edition, §12.4 Pseudo-Euclidean Spaces, pp. 237–49, Springer-Verlag.
- Walter Noll (1964) "Euclidean geometry and Minkowskian chronometry", American Mathematical Monthly 71:129–44.
- Novikov, S. P.; Fomenko, A.T.; [translated from the Russian by M. Tsaplina] (1990). Basic elements of differential geometry and topology. Dordrecht; Boston: Kluwer Academic Publishers. ISBN 0-7923-1009-8.
{{cite book}}
: CS1 maint: multiple names: authors list (link) - Szekeres, Peter (2004). A course in modern mathematical physics: groups, Hilbert space, and differential geometry. Cambridge University Press. ISBN 0-521-82960-7.
- Shafarevich, I. R.; A. O. Remizov (2012). Linear Algebra and Geometry. Springer. ISBN 978-3-642-30993-9.
बाहरी संबंध
- D.D. Sokolov (originator), Pseudo-Euclidean space, Encyclopedia of Mathematics