आभासी-यूक्लिडियन स्पेस: Difference between revisions

From Vigyanwiki
No edit summary
 
(9 intermediate revisions by 4 users not shown)
Line 1: Line 1:
गणित और [[ सैद्धांतिक भौतिकी ]] में, एक छद्म-यूक्लिडियन अंतरिक्ष एक परिमित-[[ आयाम (गणित) ]] वास्तविक समन्वय स्थान है। वास्तविक {{math|''n''}}-अंतरिक्ष एक साथ एक गैर-[[ पतित रूप ]] [[ द्विघात रूप ]] {{math|''q''}}. ऐसा द्विघात रूप, [[ आधार (रैखिक बीजगणित) ]] का उपयुक्त विकल्प दिया जा सकता है {{math|(''e''<sub>1</sub>, …, ''e''<sub>''n''</sub>)}}, एक वेक्टर पर लागू किया जाए {{math|1=''x'' = ''x''<sub>1</sub>''e''<sub>1</sub> + ⋯ + ''x''<sub>''n''</sub>''e''<sub>''n''</sub>}}, देना
आभासी-यूक्लिडियन अंतरिक्ष एक परिमित- [[ आयाम (गणित) |आयाम (गणित)]] वास्तविक {{math|''n''}}-अंतरिक्ष समन्वय स्थान है।  जो गणित और [[ सैद्धांतिक भौतिकी |सैद्धांतिक भौतिकी]] में एक गैर-[[ पतित रूप | पतित]] [[ द्विघात रूप ]] {{math|''q''}} के साथ है. [[ आधार (रैखिक बीजगणित) |आधार (रैखिक बीजगणित) {{math|(''e''<sub>1</sub>, …, ''e''<sub>''n''</sub>)}},]] का उपयुक्त विकल्प  दिए जाने पर ऐसा द्विघात रूप  {{math|1=''x'' = ''x''<sub>1</sub>''e''<sub>1</sub> + ⋯ + ''x''<sub>''n''</sub>''e''<sub>''n''</sub>}} को सदिश पर लागू किया जा सकता है
<math display="block">q(x) = \left(x_1^2 + \dots + x_k^2\right) - \left( x_{k+1}^2 + \dots + x_n^2\right)</math> जिसे सदिश का अदिश वर्ग कहते हैं {{math|''x''}}.<ref>{{citation |author=Élie Cartan |year=1981 |title= The Theory of Spinors |publisher=[[Dover Publications]] |isbn=0-486-64070-1 }}</ref>{{rp|3}}
<math display="block">q(x) = \left(x_1^2 + \dots + x_k^2\right) - \left( x_{k+1}^2 + \dots + x_n^2\right)</math> जिसे सदिश {{math|''x''}}.<ref>{{citation |author=Élie Cartan |year=1981 |title= The Theory of Spinors |publisher=[[Dover Publications]] |isbn=0-486-64070-1 }}</ref>{{rp|3}} का अदिश वर्ग कहते हैं
[[ यूक्लिडियन स्पेस ]] स्थान के लिए, {{math|1=''k'' = ''n''}}, जिसका अर्थ है कि द्विघात रूप सकारात्मक-निश्चित है।<ref>Euclidean spaces are regarded as pseudo-Euclidean spaces – see for example {{citation|author1=Rafal Ablamowicz|author2=P. Lounesto|year=2013|title=Clifford Algebras and Spinor Structures|publisher=[[Springer Science+Business Media|Springer Science & Business Media]]|page=32}}.</ref> कब {{math|0 < ''k'' < ''n''}}, {{math|''q''}} एक [[ आइसोट्रोपिक द्विघात रूप ]] है, अन्यथा यह अनिसोट्रोपिक है। ध्यान दें कि अगर {{math|1 ≤ ''i'' ≤ ''k'' < ''j'' ≤ ''n''}}, फिर {{math|1=''q''(''e''<sub>''i''</sub> + ''e''<sub>''j''</sub>) = 0}}, ताकि {{math|1=''e''<sub>''i''</sub> + ''e''<sub>''j''</sub>}} एक अशक्त वेक्टर है। के साथ एक छद्म-यूक्लिडियन अंतरिक्ष में {{math|''k'' < ''n''}}, यूक्लिडियन अंतरिक्ष के विपरीत, नकारात्मक संख्या वाले स्केलर वर्ग वाले वैक्टर मौजूद हैं।
[[ यूक्लिडियन स्पेस ]] स्थान {{math|1=''k'' = ''n''}} के लिए, जिसका अर्थ है कि द्विघात रूप धनात्मक-निश्चित है।<ref>Euclidean spaces are regarded as pseudo-Euclidean spaces – see for example {{citation|author1=Rafal Ablamowicz|author2=P. Lounesto|year=2013|title=Clifford Algebras and Spinor Structures|publisher=[[Springer Science+Business Media|Springer Science & Business Media]]|page=32}}.</ref> जब {{math|0 < ''k'' < ''n''}}, {{math|''q''}} एक [[ आइसोट्रोपिक द्विघात रूप ]] है, अन्यथा यह अनिसोट्रोपिक है। ध्यान दें कि यदि {{math|1 ≤ ''i'' ≤ ''k'' < ''j'' ≤ ''n''}}, फिर {{math|1=''q''(''e''<sub>''i''</sub> + ''e''<sub>''j''</sub>) = 0}}, चूकी {{math|1=''e''<sub>''i''</sub> + ''e''<sub>''j''</sub>}} एक अशक्त सदिश है। आभासी-यूक्लिडियन अंतरिक्ष में {{math|''k'' < ''n''}}, यूक्लिडियन अंतरिक्ष के विपरीत, नकारात्मक संख्या वाले अदिश वर्ग वाले सदिश सम्मालित हैं।


यूक्लिडियन स्पेस शब्द के साथ, छद्म-यूक्लिडियन स्पेस शब्द का उपयोग लेखक के आधार पर एक [[ affine अंतरिक्ष ]] या [[ सदिश स्थल ]] को संदर्भित करने के लिए किया जा सकता है, जिसे बाद में वैकल्पिक रूप से 'छद्म-यूक्लिडियन वेक्टर स्पेस' के रूप में संदर्भित किया जा सकता है।<ref>{{citation |author1=Rafal Ablamowicz| author2=P. Lounesto| year=2013| title=Clifford Algebras and Spinor Structures| publisher=[[Springer Science+Business Media|Springer Science & Business Media]]| page=32}} [https://books.google.com/books?id=pXvwCAAAQBAJ&pg=PA32&hl=en&f=false]</ref> (बिंदु-वेक्टर भेद देखें)।
लेखक के आधार पर यूक्लिडियन स्पेस शब्द के साथ, आभासी-यूक्लिडियन स्पेस शब्द का उपयोग करके एक[[ affine अंतरिक्ष | एफ़िन अंतरिक्ष]] या [[ सदिश स्थल |सदिश स्थल]] को संदर्भित करने के लिए किया जा सकता है, जिसे बाद में वैकल्पिक रूप से 'आभासी-यूक्लिडियन सदिश स्पेस' के रूप में संदर्भित किया जा सकता है।<ref>{{citation |author1=Rafal Ablamowicz| author2=P. Lounesto| year=2013| title=Clifford Algebras and Spinor Structures| publisher=[[Springer Science+Business Media|Springer Science & Business Media]]| page=32}} [https://books.google.com/books?id=pXvwCAAAQBAJ&pg=PA32&hl=en&f=false]</ref> (बिंदु-सदिश भेद देखें)।


== ज्यामिति ==
== ज्यामिति ==
एक छद्म-यूक्लिडियन अंतरिक्ष की ज्यामिति यूक्लिडियन अंतरिक्ष के कुछ गुणों को लागू नहीं करने के बावजूद सुसंगत है, विशेष रूप से यह एक [[ मीट्रिक स्थान ]] नहीं है जैसा कि नीचे बताया गया है। एफ़िन ज्यामिति अपरिवर्तित है, और इस प्रकार अवधारणाओं [[ रेखा (ज्यामिति) ]], विमान (ज्यामिति) और, आम तौर पर, एक एफ़िन उप-स्थान (फ्लैट (ज्यामिति)) के साथ-साथ [[ रेखा खंड ]] भी।
यूक्लिडियन अंतरिक्ष के कुछ गुण लागू नहीं होने के बावजूद एक आभासी-यूक्लिडियन अंतरिक्ष की ज्यामिति सुसंगत है, सबसे विशेष रूप से यह एक [[ मीट्रिक स्थान |मीट्रिक स्थान]] नहीं है जैसा कि नीचे बताया गया है। एफ़िन ज्यामिति अपरिवर्तित है, और इस प्रकार अवधारणाओं [[ रेखा (ज्यामिति) |रेखा (ज्यामिति)]] , समतल (ज्यामिति) और, सामान्यतः, एक एफ़िन उप-स्थान (फ्लैट (ज्यामिति)) के साथ-साथ [[ रेखा खंड ]]भी है ।


=== धनात्मक, शून्य और ऋणात्मक अदिश वर्ग ===
=== धनात्मक, शून्य और ऋणात्मक अदिश वर्ग ===
[[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}}}}. अशक्त सदिश का एक [[ रैखिक शंकु |रैखिक शंकु]] होता है  जब आभासी-यूक्लिडियन अंतरिक्ष-समय के लिए एक नमूना प्रदान करता है अशक्त शंकु को मूल बिन्दु का [[ प्रकाश शंकु ]] कहा जाता है। (उदाहरण देखें),


अशक्त शंकु दो खुले सेटों को अलग करता है,<ref>The [[standard topology]] on {{math|'''R'''<sup>''n''</sup>}} is assumed.</ref> जिसके लिए क्रमशः {{math|''q''(''x'') > 0}} तथा {{math|''q''(''x'') < 0}}. यदि {{math|''k'' ≥ 2}}, तो सदिशों का समुच्चय जिसके लिए {{math|''q''(''x'') > 0}} जुड़ा हुआ स्थान है। यदि {{math|1=''k'' = 1}}, तो इसमें दो असंबद्ध भाग होते हैं, एक के साथ {{math|''x''<sub>1</sub> > 0}} और दूसरा साथ {{math|''x''<sub>1</sub> < 0}}. वैक्टर के लिए इसी तरह के बयान दिए जा सकते हैं जिसके लिए {{math|''q''(''x'') < 0}} यदि {{math|''k''}} से प्रतिस्थापित किया जाता है {{math|''n'' − ''k''}}.
अशक्त शंकु दो खुले समूहों को अलग करता है,<ref>The [[standard topology]] on {{math|'''R'''<sup>''n''</sup>}} is assumed.</ref> क्रमशः जिसके लिए {{math|''q''(''x'') > 0}} तथा {{math|''q''(''x'') < 0}}. यदि {{math|''k'' ≥ 2}}, तो सदिशों का समुच्चय जिसके लिए {{math|''q''(''x'') > 0}} जुड़ा हुआ स्थान है। यदि {{math|1=''k'' = 1}}, तो इसमें दो असंबद्ध भाग होते हैं, एक के साथ {{math|''x''<sub>1</sub> > 0}} और दूसरा साथ {{math|''x''<sub>1</sub> < 0}}. जिसके लिए {{math|''q''(''x'') < 0}} यदि {{math|''k''}} को {{math|''n'' − ''k''}} से प्रतिस्थापित किया जाये. सदिश के लिए इसी समान कथन दिए जा सकते हैं


=== अंतराल ===
=== अंतराल ===
द्विघात रूप {{math|''q''}} यूक्लिडियन मामले [[ स्पर्शरेखा वेक्टर ]] के वर्ग के अनुरूप है। सदिश मानदंड (और दूरी) को एक [[ अपरिवर्तनीय (गणित) ]] तरीके से परिभाषित करने के लिए, किसी को अदिश वर्गों के [[ वर्गमूल ]] प्राप्त करने होंगे, जो संभवतः [[ काल्पनिक संख्या ]] दूरी की ओर जाता है; [[ ऋणात्मक संख्याओं का वर्गमूल ]] देखें। लेकिन तीनों भुजाओं के धनात्मक अदिश वर्गों वाले त्रिभुज के लिए भी (जिनके वर्गमूल वास्तविक और धनात्मक हैं), त्रिभुज असमानता सामान्य रूप से लागू नहीं होती है।
द्विघात रूप {{math|''q''}} यूक्लिडियन मामले में [[ स्पर्शरेखा वेक्टर | स्पर्शरेखा सदिश]] के वर्ग के अनुरूप है। सदिश मानदंड (और दूरी) को एक [[ अपरिवर्तनीय (गणित) |अपरिवर्तनीय (गणित)]] के से परिभाषित करने के लिए, किसी को अदिश वर्गों के [[ वर्गमूल ]] प्राप्त करने होंगे, जो संभवतः [[ काल्पनिक संख्या ]] दूरी की ओर जाता है; [[ ऋणात्मक संख्याओं का वर्गमूल ]] देखें। लेकिन तीनों भुजाओं के धनात्मक अदिश वर्गों वाले त्रिभुज के लिए भी (जिनके वर्गमूल वास्तविक और धनात्मक हैं), त्रिभुज असमानता सामान्य रूप से लागू नहीं होती है।


इसलिए छद्म-यूक्लिडियन ज्यामिति में मानदंड और दूरी से बचा जाता है, जिसे क्रमशः स्केलर वर्ग और अंतराल से बदला जा सकता है।
इसलिए आभासी-यूक्लिडियन ज्यामिति में मानदंड और दूरी से बचा जाता है, जिसे क्रमशः अदिश वर्ग और अंतराल से बदला जा सकता है।


हालांकि, एक ऐसे [[ वक्र ]] के लिए जिसके सभी स्पर्शरेखा सदिशों में एक ही चिह्न के अदिश वर्ग हों, चाप की लंबाई परिभाषित होती है। इसके महत्वपूर्ण अनुप्रयोग हैं: उदाहरण के लिए [[ उचित समय ]] देखें।
एक ऐसे [[ वक्र ]] के लिए जिसके सभी स्पर्शरेखा सदिशों में एक ही चिह्न के अदिश वर्ग हों, लेकिन चाप की लंबाई परिभाषित होती है। इसके महत्वपूर्ण अनुप्रयोग हैं: उदाहरण के लिए[[ उचित समय ]]देखें।


===घूर्णन और गोले ===
===घूर्णन और गोले ===
[[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''}} और, इसलिए, प्रत्येक वेक्टर का अदिश वर्ग, चाहे वह धनात्मक हो, शून्य हो, या ऋणात्मक हो।
[[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|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|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|''x''}} तथा {{math|''y''}} ओर्थोगोनल हैं और {{math|''q''(''x'')''q''(''y'') < 0}}, तो {{math|''x''}} {{math|''y''}} के लिए [[ अतिशयोक्तिपूर्ण-ऑर्थोगोनल | अतिशयोक्तिपूर्ण-रूढ़िवादि]] है.


{{anchor|basis}}वास्तविक का [[ मानक आधार ]] {{math|''n''}}-स्पेस ऑर्थोगोनल आधार है। छद्म-यूक्लिडियन अंतरिक्ष में कोई ऑर्थोनॉर्मल आधार नहीं है जिसके लिए बिलिनियर रूप अनिश्चित है, क्योंकि इसका उपयोग वेक्टर मानदंड को परिभाषित करने के लिए नहीं किया जा सकता है।
{{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''}} [[ समारोह प्रतिबंध ]] है {{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''}} एक समतल (ज्यामिति) है, तो इसे अतिपरवलयिक तल (द्विघात रूप) कहते हैं।
एक (सकारात्मक-आयामी) उप-स्थान के लिए<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=dim ''U'' + dim ''U''<sup>⊥</sup> = ''n''}} द्विघात रूप के अध:पतन के कारण। यह सिर्फ शर्त है
आभासी-[[ यूक्लिडियन वेक्टर | यूक्लिडियन सदिश]] और समतलो के सबसे झकझोरने वाले गुणों में से एक (एक यूक्लिडियन अंतर्ज्ञान के लिए) उनकी रूढ़िवादिता है। जब दो गैर-शून्य यूक्लिडियन सदिश रूढ़िवादि होते हैं, तो वे संरेख नहीं होते हैं। किसी भी यूक्लिडियन रैखिक उप-अंतरिक्ष का इसके [[ ऑर्थोगोनल पूरक | रूढ़िवादि पूरक]] के साथ प्रतिच्छेदन {{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|''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|1=dim ''U'' + dim ''U''<sup>⊥</sup> = ''n''}} द्विघात रूप के गैर-अपघटन के कारण। यह सिर्फ शर्त है
: {{math|1=''U'' ∩ ''U''<sup>⊥</sup> = {0}{{null}}}} या, समकक्ष, {{math|1=''U'' + ''U''<sup></sup> =}} सारा अंतरिक्ष,


उपक्षेत्र के लिए {{math|''N''}} पूरी तरह से अशक्त वैक्टर से बना है (जिसका अर्थ है कि अदिश वर्ग {{math|''q''}}, के लिए प्रतिबंधित {{math|''N''}}, बराबर है {{math|0}}), हमेशा धारण करता है:
यदि सबस्पेस {{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|min(''k'', ''n'' − ''k'')}} [[ आयाम (वेक्टर स्थान) | आयाम (सदिश स्थान)]] हो सकता है ।<ref>Thomas E. Cecil (1992) ''Lie Sphere Geometry'', page 24, Universitext Springer {{isbn|0-387-97747-3}}</ref>
एक (सकारात्मक) यूक्लिडियन के लिए {{math|''k''}}-सबस्पेस इसका ऑर्थोगोनल पूरक है a {{math|(''n'' − ''k'')}}-आयामी नकारात्मक यूक्लिडियन उप-स्थान, और इसके विपरीत।
 
आम तौर पर, ए के लिए {{math|(''d''<sub>+</sub> + ''d''<sub>−</sub> + ''d''<sub>0</sub>)}}-आयामी उपक्षेत्र {{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>}} चौराहा।
एक (सकारात्मक) यूक्लिडियन के लिए {{math|''k''}}-उप अंतरिक्ष इसका रूढ़िवादि पूरक है a {{math|(''n'' − ''k'')}}-आयामी नकारात्मक यूक्लिडियन उप-स्थान है, और
 
सामान्यतः a{{math|(''d''<sub>+</sub> + ''d''<sub>−</sub> + ''d''<sub>0</sub>)}} -आयामी उपक्षेत्र {{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>)}} नकारात्मक आयाम है, जबकि बाकी {{math|''d''<sub>0</sub>}} विकृत हैं और  {{math|''U'' ∩ ''U''<sup>⊥</sup>}} चौराहा बनाते हैं।<!-- 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>q(x) + q(y) = \tfrac12(q(x + y) + q(x - y)).</math>
:<math>q(x) + q(y) = \tfrac12(q(x + y) + q(x - y)).</math>
द्विपद प्रमेय#उदाहरण पहचान का प्रयोग करते हुए, एक स्वेच्छ त्रिभुज के लिए कोई भी दो भुजाओं के अदिश वर्गों और उनके बिलिनियर रूप उत्पाद से तीसरी भुजा के अदिश वर्ग को व्यक्त कर सकता है:
उदाहरण योग पहचान के वर्ग का प्रयोग करते हुए, एक स्वेच्छ त्रिभुज के लिए कोई भी दो भुजाओं के अदिश वर्गों और उनके द्विपद रूप उत्पाद से तीसरी भुजा के अदिश वर्ग को व्यक्त कर सकता है:
:<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>




=== कोण ===
=== कोण ===
[[Image:Minkowski lightcone lorentztransform.svg|thumb|right]]आम तौर पर, निरपेक्ष मूल्य {{math|{{abs|⟨''x'', ''y''⟩}}}} दो सदिशों पर द्विरेखीय रूप से अधिक हो सकता है {{math|{{sqrt|{{abs|''q''(''x'')''q''(''y'')}}}}}}, इसके बराबर, या कम। यह [[ कोण ]] की परिभाषा के साथ समान समस्याओं का कारण बनता है (देखें {{section link|Dot product|Geometric definition}}) #दूरियों के लिए दूरी के रूप में।
सामान्यतः निरपेक्ष मान{{math|{{abs|⟨''x'', ''y''⟩}}}} दो सदिशों पर द्विरेखीय रूप का मान {{math|{{sqrt|{{abs|''q''(''x'')''q''(''y'')}}}}}} से अधिक हो सकता है या  इसके बराबर, या कम। यह [[ कोण ]] की परिभाषा (देखें {{section link|बिन्दु गुणन|ज्यामितीय परिभाषा}}) जैसा की दूरियों के लिए उपर दिखाया गया है के साथ समान समस्याओं का कारण बनता है


यदि {{math|1=''k'' = 1}} (केवल एक सकारात्मक शब्द {{math|''q''}}), फिर धनात्मक अदिश वर्ग के सदिशों के लिए:
यदि {{math|1=''k'' = 1}} ({{math|''q''}} में केवल एक धनात्मकपद ), तो धनात्मक अदिश वर्ग के सदिशों के लिए:
<math display="block">|\langle x, y\rangle| \ge \sqrt{q(x)q(y)}\,,</math> जो [[ अतिपरवलयिक कोण ]] की परिभाषा की अनुमति देता है, प्रतिलोम अतिपरवलयिक फलन के माध्यम से इन सदिशों के बीच कोण का एक एनालॉग:<ref>Note that {{math|1=[[cosine|cos]](''i'' arcosh ''s'') = ''s''}}, so for {{math|''s'' > 0}} these can be understood as imaginary angles.</ref>
<math display="block">|\langle x, y\rangle| \ge \sqrt{q(x)q(y)}\,,</math> जो [[ अतिपरवलयिक कोण |अतिपरवलयिक कोण]] की परिभाषा की अनुमति देता है, प्रतिलोम अतिपरवलयिक फलन के माध्यम से इन सदिशों के बीच कोण का एक एनालॉग:<ref>Note that {{math|1=[[cosine|cos]](''i'' arcosh ''s'') = ''s''}}, so for {{math|''s'' > 0}} these can be understood as imaginary angles.</ref>
<math display="block">\operatorname{arcosh}\frac{|\langle x, y\rangle|}{\sqrt{q(x)q(y)}}\,.</math>
<math display="block">\operatorname{arcosh}\frac{|\langle x, y\rangle|}{\sqrt{q(x)q(y)}}\,.</math>
यह a . पर दूरी से मेल खाती है {{math|(''n'' − 1)}}-आयामी [[ अतिशयोक्तिपूर्ण स्थान ]]। चर्चित #उदाहरणों में सापेक्षता के सिद्धांत के संदर्भ में इसे तीव्रता के रूप में जाना जाता है। यूक्लिडियन कोण के विपरीत, यह मान लेता है {{closed-open|0, +∞}} और एंटीपैरेलल (गणित) वैक्टर के लिए 0 के बराबर है।
यह एक {{math|(''n'' − 1)}}-आयामी [[ अतिशयोक्तिपूर्ण स्थान |अतिशयोक्तिपूर्ण स्थान]] पर दूरी से मेल खाती है नीचे चर्चित सापेक्षता के सिद्धांत के संदर्भ में इसे तीव्रता के रूप में जाना जाता है। यूक्लिडियन कोण के विपरीत, यह [0, +∞) मान लेता है {{closed-open|0, +∞}} और प्रतिसमांतर(गणित) सदिश के लिए 0 के बराबर होता है।


शून्य वेक्टर और अन्य वेक्टर (या तो शून्य या गैर-शून्य) के बीच कोण की कोई उचित परिभाषा नहीं है।
शून्य सदिश और अन्य सदिश (या तो शून्य या गैर-शून्य) के बीच कोण की कोई उचित परिभाषा नहीं है।


== बीजगणित और टेंसर कलन ==
== बीजगणित और टेंसर कलन ==
यूक्लिडियन रिक्त स्थान की तरह, प्रत्येक छद्म-यूक्लिडियन वेक्टर स्थान एक क्लिफोर्ड बीजगणित उत्पन्न करता है। उपरोक्त गुणों के विपरीत, जहां . का प्रतिस्थापन {{math|''q''}} प्रति {{math|−''q''}} परिवर्तित संख्याएँ लेकिन [[ ज्यामिति ]] नहीं, द्विघात रूप के साइन रिवर्सल के परिणामस्वरूप एक अलग क्लिफोर्ड बीजगणित होता है, इसलिए उदाहरण के लिए {{math|Cl<sub>1,2</sub>('''R''')}} तथा {{math|Cl<sub>2,1</sub>('''R''')}} आइसोमोर्फिक नहीं हैं।
यूक्लिडियन अंतरिक्ष स्थान की तरह, प्रत्येक आभासी-यूक्लिडियन सदिश स्थान एक क्लिफोर्ड बीजगणित उत्पन्न करता है। उपरोक्त गुणों के विपरीत, जहां   {{math|''q''}} को  {{math|−''q''}} में प्रतिस्थापन करने से संख्याएँ परिवर्तितहो जाती है  लेकिन [[ ज्यामिति |ज्यामिति]] नहीं, द्विघात रूप के उल्टा संकेत के परिणामस्वरूप एक अलग क्लिफोर्ड बीजगणित होता है, इसलिए उदाहरण के लिए {{math|Cl<sub>1,2</sub>('''R''')}} तथा {{math|Cl<sub>2,1</sub>('''R''')}} समरूप नहीं हैं।


किसी भी सदिश स्थान की तरह, छद्म-[[ यूक्लिडियन टेंसर ]] होते हैं। एक यूक्लिडियन संरचना की तरह, वहाँ ऊपर और नीचे सूचकांक संचालक होते हैं लेकिन, यूक्लिडियन [[ टेन्सर ]] के मामले के विपरीत, #आधार होता है। अगर कोई वेक्टर है {{math|''v''{{i sup|''β''}}}}, संगत सहसंयोजक सदिश है:
किसी भी सदिश स्थान की तरह, आभासी-[[ यूक्लिडियन टेंसर ]] होते हैं। एक यूक्लिडियन संरचना की तरह, वहाँ ऊपर और नीचे सूचकांक संचालक होते हैं लेकिन, यूक्लिडियन [[ टेन्सर ]] के मामले के विपरीत, ऐसा कोई आधार नही है जहां ये ऑपरेशन घटकों के मानो को नहीं बदलते हैं यदि कोई सदिश ''v<sup>β</sup>'' है   {{math|''v''{{i sup|''β''}}}}, संगत सहसंयोजक सदिश है:
: <math>v_\alpha = q_{\alpha\beta} v^\beta\,,</math><!-- here "q" is the bilinear form; possibly another letter should be used -->
: <math>v_\alpha = q_{\alpha\beta} v^\beta\,,</math><!-- here "q" is the bilinear form; possibly another letter should be used -->
और मानक रूप के साथ
और मानक रूप के साथ
Line 89: Line 94:
               0 & -I_{(n-k)\times(n-k)}
               0 & -I_{(n-k)\times(n-k)}
\end{pmatrix}</math>
\end{pmatrix}</math>
सबसे पहला {{math|''k''}} के घटक {{math|''v''<sub>''α''</sub>}} संख्यात्मक रूप से के समान हैं {{math|''v''{{i sup|''β''}}}}, लेकिन बाकी {{math|''n'' − ''k''}} योज्य प्रतिलोम है।
{{math|''v''<sub>''α''</sub>}} के पहले  {{math|''k''}} घटक संख्यात्मक रूप से ''v<sup>β</sup>'' के समान हैं {{math|''v''{{i sup|''β''}}}}, लेकिन बाकी {{math|''n'' − ''k''}} योज्य प्रतिलोम है।


प्रतिपरिवर्ती और सहपरिवर्ती टेन्सर के बीच पत्राचार [[ छद्म रीमैनियन मैनिफोल्ड ]] पर एक [[ टेंसर कैलकुलेशन ]] बनाता है जो रीमैनियन मैनिफोल्ड्स पर एक का सामान्यीकरण करता है।
प्रतिपरिवर्ती और सहपरिवर्ती टेन्सर के बीच पत्राचार [[ छद्म रीमैनियन मैनिफोल्ड | कई गुना आभासी रीमैनियन]] पर एक [[ टेंसर कैलकुलेशन | टेंसर गणना]] बनाता है जो कई गुना रीमैनियन पर एक का सामान्यीकरण करता है।


== उदाहरण ==
== उदाहरण ==
एक बहुत ही महत्वपूर्ण छद्म-यूक्लिडियन स्थान मिंकोव्स्की अंतरिक्ष है, जो गणितीय सेटिंग है जिसमें [[ अल्बर्ट आइंस्टीन ]] के [[ विशेष सापेक्षता ]] के सिद्धांत को तैयार किया गया है। मिंकोवस्की अंतरिक्ष के लिए, {{math|1=''n'' = 4}} तथा {{math|1=''k'' = 3}}<ref>Another well-established representation uses {{math|1=''k'' = 1}} and coordinate indices starting from {{math|0}} (thence {{math|1=''q''(''x'') = ''x''<sub>0</sub><sup>2</sup> − ''x''<sub>1</sub><sup>2</sup> − ''x''<sub>2</sub><sup>2</sup> − ''x''<sub>3</sub><sup>2</sup>}}), but they are equivalent [[additive inverse|up to sign]] of {{math|''q''}}. See {{section link|Sign convention|Metric signature}}.</ref> ताकि
एक बहुत ही महत्वपूर्ण आभासी-यूक्लिडियन स्थान मिंकोव्स्की अंतरिक्ष है, जो गणितीय सेटिंग है जिसमें [[ अल्बर्ट आइंस्टीन ]] के [[ विशेष सापेक्षता ]] के सिद्धांत को तैयार किया गया है। मिंकोवस्की अंतरिक्ष के लिए, {{math|1=''n'' = 4}} तथा {{math|1=''k'' = 3}}<ref>Another well-established representation uses {{math|1=''k'' = 1}} and coordinate indices starting from {{math|0}} (thence {{math|1=''q''(''x'') = ''x''<sub>0</sub><sup>2</sup> − ''x''<sub>1</sub><sup>2</sup> − ''x''<sub>2</sub><sup>2</sup> − ''x''<sub>3</sub><sup>2</sup>}}), but they are equivalent [[additive inverse|up to sign]] of {{math|''q''}}. See {{section link|Sign convention|Metric signature}}.</ref> इसलिए


: <math>q(x) = x_1^2 + x_2^2 + x_3^2 - x_4^2,</math>
: <math>q(x) = x_1^2 + x_2^2 + x_3^2 - x_4^2,</math>
इस छद्म-मीट्रिक से जुड़ी ज्यामिति की जांच हेनरी पोंकारे | पोंकारे ने की थी।<ref>H. Poincaré (1906) [[s:Translation:On the Dynamics of the Electron (July)|On the Dynamics of the Electron]], [[Rendiconti del Circolo Matematico di Palermo]]</ref><ref>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}}</ref> इसका घूर्णन समूह [[ लोरेंत्ज़ समूह ]] है। पोंकारे समूह में [[ अनुवाद (ज्यामिति) ]] भी शामिल है और सामान्य यूक्लिडियन रिक्त स्थान के [[ यूक्लिडियन समूह ]]ों के समान भूमिका निभाता है।
इस आभासी-मीट्रिक से जुड़ी ज्यामिति की जांच हेनरी पोंकारे ने की थी।<ref>H. Poincaré (1906) [[s:Translation:On the Dynamics of the Electron (July)|On the Dynamics of the Electron]], [[Rendiconti del Circolo Matematico di Palermo]]</ref><ref>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}}</ref> इसका घूर्णन समूह [[ लोरेंत्ज़ समूह ]] है। पोंकारे समूह में [[ अनुवाद (ज्यामिति) ]] भी सम्मालित है और सामान्य यूक्लिडियनअन्तरिक्ष स्थान के [[ यूक्लिडियन समूह | यूक्लिडियन समूहो]] के समान भूमिका निभाता है।


एक अन्य छद्म-यूक्लिडियन स्थान [[ द्वि-आयामी स्थान ]] है {{math|1=''z'' = ''x'' + ''yj''}} [[ विभाजित-जटिल संख्या ]]ओं से मिलकर, द्विघात रूप से सुसज्जित
एक अन्य आभासी-यूक्लिडियन स्थान [[ द्वि-आयामी स्थान ]] {{math|1=''z'' = ''x'' + ''yj''}} है द्विघात रूप से सुसज्जित [[ विभाजित-जटिल संख्या | विभाजित-जटिल संख्याओं]] से मिलकर बना है ,  


: <math>\lVert z \rVert = z z^* = z^* z = x^2 - y^2.</math>
: <math>\lVert z \rVert = z z^* = z^* z = x^2 - y^2.</math>
यह अनिश्चित छद्म-यूक्लिडियन अंतरिक्ष का सबसे सरल मामला है ({{math|1=''n'' = 2}}, {{math|1=''k'' = 1}}) और केवल एक जहां अशक्त शंकु अंतरिक्ष को चार खुले सेटों में विभाजित करता है। समूह {{math|SO<sup>+</sup>(1, 1)}} तथाकथित अतिपरवलयिक घुमावों से मिलकर बनता है।
यह अनिश्चित आभासी-यूक्लिडियन अंतरिक्ष का ({{math|1=''n'' = 2}}, {{math|1=''k'' = 1}}) सबसे सरल स्थितिया  है  और केवल एक जहां अशक्त शंकु अंतरिक्ष को चार खुले सेटों में विभाजित करता है। समूह {{math|SO<sup>+</sup>(1, 1)}} तथाकथित अतिपरवलयिक घुमावों से मिलकर बनता है।


== यह भी देखें ==
== यह भी देखें ==
* छद्म-रिमेंनियन मैनिफोल्ड
* आभासी-रिमेंनियन मैनिफोल्ड
* अतिपरवलयिक समीकरण
* अतिपरवलयिक समीकरण
* [[ हाइपरबोलाइड मॉडल ]]
* [[ हाइपरबोलाइड मॉडल ]]
* [[ पैरावेक्टर ]]
* [[ पैरावेक्टर | पैरासदिश]]


== फुटनोट्स ==
== फुटनोट्स ==
Line 153: Line 158:
== बाहरी संबंध ==
== बाहरी संबंध ==
* D.D. Sokolov (originator), [http://www.encyclopediaofmath.org/index.php/Pseudo-Euclidean_space Pseudo-Euclidean space], [[Encyclopedia of Mathematics]]
* D.D. Sokolov (originator), [http://www.encyclopediaofmath.org/index.php/Pseudo-Euclidean_space Pseudo-Euclidean space], [[Encyclopedia of Mathematics]]
[[Category: लोरेंट्ज़ियन मैनिफोल्ड्स]]


[[Category: Machine Translated Page]]
[[Category:Created On 13/11/2022]]
[[Category:Created On 13/11/2022]]
[[Category:Machine Translated Page]]
[[Category:लोरेंट्ज़ियन मैनिफोल्ड्स]]

Latest revision as of 16:32, 3 December 2022

आभासी-यूक्लिडियन अंतरिक्ष एक परिमित- आयाम (गणित) वास्तविक n-अंतरिक्ष समन्वय स्थान है। जो गणित और सैद्धांतिक भौतिकी में एक गैर- पतित द्विघात रूप q के साथ है. [[आधार (रैखिक बीजगणित) |आधार (रैखिक बीजगणित) (e1, …, en),]] का उपयुक्त विकल्प दिए जाने पर ऐसा द्विघात रूप x = x1e1 + ⋯ + xnen को सदिश पर लागू किया जा सकता है

जिसे सदिश x.[1]: 3  का अदिश वर्ग कहते हैं यूक्लिडियन स्पेस स्थान k = n के लिए, जिसका अर्थ है कि द्विघात रूप धनात्मक-निश्चित है।[2] जब 0 < k < n, q एक आइसोट्रोपिक द्विघात रूप है, अन्यथा यह अनिसोट्रोपिक है। ध्यान दें कि यदि 1 ≤ ik < jn, फिर q(ei + ej) = 0, चूकी ei + ej एक अशक्त सदिश है। आभासी-यूक्लिडियन अंतरिक्ष में k < n, यूक्लिडियन अंतरिक्ष के विपरीत, नकारात्मक संख्या वाले अदिश वर्ग वाले सदिश सम्मालित हैं।

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

ज्यामिति

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

धनात्मक, शून्य और ऋणात्मक अदिश वर्ग

n = 3, k के चिन्ह (गणित) की पसंद के आधार पर या तो 1 या 2 है q

एक अशक्त सदिश एक सदिश है जिसके लिए द्विघात रूप शून्य है। यूक्लिडियन अंतरिक्ष के विपरीत, ऐसा सदिश गैर-शून्य हो सकता है, जिस स्थिति में यह स्व-रूढ़िवादिता है।

यदि द्विघात रूप अनिश्चित है, तो आभासी-यूक्लिडियन अंतरिक्ष में{ 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 को nk से प्रतिस्थापित किया जाये. सदिश के लिए इसी समान कथन दिए जा सकते हैं

अंतराल

द्विघात रूप q यूक्लिडियन मामले में स्पर्शरेखा सदिश के वर्ग के अनुरूप है। सदिश मानदंड (और दूरी) को एक अपरिवर्तनीय (गणित) के से परिभाषित करने के लिए, किसी को अदिश वर्गों के वर्गमूल प्राप्त करने होंगे, जो संभवतः काल्पनिक संख्या दूरी की ओर जाता है; ऋणात्मक संख्याओं का वर्गमूल देखें। लेकिन तीनों भुजाओं के धनात्मक अदिश वर्गों वाले त्रिभुज के लिए भी (जिनके वर्गमूल वास्तविक और धनात्मक हैं), त्रिभुज असमानता सामान्य रूप से लागू नहीं होती है।

इसलिए आभासी-यूक्लिडियन ज्यामिति में मानदंड और दूरी से बचा जाता है, जिसे क्रमशः अदिश वर्ग और अंतराल से बदला जा सकता है।

एक ऐसे वक्र के लिए जिसके सभी स्पर्शरेखा सदिशों में एक ही चिह्न के अदिश वर्ग हों, लेकिन चाप की लंबाई परिभाषित होती है। इसके महत्वपूर्ण अनुप्रयोग हैं: उदाहरण के लिएउचित समय देखें।

घूर्णन और गोले

Hyperboloid1.png

ऐसे स्थान का घूर्णन (गणित) समूह (गणित) अनिश्चितकालीन रूढ़िवादि समूह O(q) के रूप में भी दर्शाया गया है, विशेष द्विघात रूप के संदर्भ के बिना इस O(k, nk) रूप में भी निरूपित किया जाता है।।[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 तक सीमित है, निम्नलिखित तीन मामले संभव हैं:

  1. q|U या तो निश्चित द्विघात रूप है। या फिर, U अनिवार्य रूप से यूक्लिडियन स्थान है (q के संकेत तक).
  2. q|U अनिश्चित है, लेकिन अपरिवर्तनीय है। तब, U स्वयं आभासी-यूक्लिडियन है। यह तभी संभव है जब dimU ≥ 2; यदि dim U = 2 हो, जिसका अर्थ है U एक समतल (ज्यामिति) है, तो इसे अतिपरवलयिक तल (द्विघात रूप) कहते हैं।
  3. q|U पतित है।

आभासी- यूक्लिडियन सदिश और समतलो के सबसे झकझोरने वाले गुणों में से एक (एक यूक्लिडियन अंतर्ज्ञान के लिए) उनकी रूढ़िवादिता है। जब दो गैर-शून्य यूक्लिडियन सदिश रूढ़िवादि होते हैं, तो वे संरेख नहीं होते हैं। किसी भी यूक्लिडियन रैखिक उप-अंतरिक्ष का इसके रूढ़िवादि पूरक के साथ प्रतिच्छेदन {0} सदिश स्थान है लेकिन पिछले उपखंड की परिभाषा का तात्पर्य तुरंत है कि शून्य अदिश वर्ग का कोई भी सदिश ν स्वयं के लिए ओर्थोगोनल है। इसलिए, समदैशिक रेखा N = ν शून्य सदिश ν- द्वारा उत्पन्न इसके ओर्थोगोनल पूरक N का एक उपसमुच्चय है .

आभासी-यूक्लिडियन अंतरिक्ष में एक सदिश उप-स्थान के रूढ़िवादि पूरक की औपचारिक परिभाषा पूरी तरह से परिभाषित परिणाम देती है, जो समानता को संतुष्ट करती है dim U + dim U = n द्विघात रूप के गैर-अपघटन के कारण। यह सिर्फ शर्त है

UU = {0} या, समकक्ष, U + U = सारा अंतरिक्ष,

यदि सबस्पेस U एक शून्य दिशा सम्मालित है।[7] जिसे तोड़ा जा सकता है जबकि उप-स्थान एक की जाली बनाते है, जैसा कि किसी भी सदिश स्थान में होता है, यह ऑपरेशन आंतरिक उत्पाद रिक्त स्थान के विपरीत, एक ऑर्थोपूरक नहीं है।

एक उप-स्थान N के लिए पूरी तरह से अशक्त सदिश से बना है (जिसका अर्थ है कि अदिश वर्ग q, के लिए प्रतिबंधित N, बराबर है 0), हमेशा धारण करता है:

NN या, समकक्ष, NN = N.

इस तरह के एक उप-स्थान में अधिकतम min(k, nk) आयाम (सदिश स्थान) हो सकता है ।[8]

एक (सकारात्मक) यूक्लिडियन के लिए k-उप अंतरिक्ष इसका रूढ़िवादि पूरक है a (nk)-आयामी नकारात्मक यूक्लिडियन उप-स्थान है, और

सामान्यतः a(d+ + d + d0) -आयामी उपक्षेत्र U के लिए जिसमे d+ धनात्मक और d नकारात्मक आयाम होते है (स्पष्टीकरण के लिए सिल्वेस्टर का जड़त्व का नियम देखें), इसका रूढ़िवादि पूरक U में (kd+d0) धनात्मक और (nkdd0) नकारात्मक आयाम है, जबकि बाकी d0 विकृत हैं और UU चौराहा बनाते हैं।

समांतर चतुर्भुज कानून और पाइथागोरस प्रमेय

समांतर चतुर्भुज नियम रूप लेता है

उदाहरण योग पहचान के वर्ग का प्रयोग करते हुए, एक स्वेच्छ त्रिभुज के लिए कोई भी दो भुजाओं के अदिश वर्गों और उनके द्विपद रूप उत्पाद से तीसरी भुजा के अदिश वर्ग को व्यक्त कर सकता है:

यह दर्शाता है कि, रूढ़िवादि सदिश के लिए, पायथागॉरियन प्रमेय का आभासी-यूक्लिडियन एनालॉग धारण करता है:


कोण

सामान्यतः निरपेक्ष मान|x, y| दो सदिशों पर द्विरेखीय रूप का मान |q(x)q(y)| से अधिक हो सकता है या इसके बराबर, या कम। यह कोण की परिभाषा (देखें बिन्दु गुणन § ज्यामितीय परिभाषा) जैसा की दूरियों के लिए उपर दिखाया गया है के साथ समान समस्याओं का कारण बनता है

यदि k = 1 (q में केवल एक धनात्मकपद ), तो धनात्मक अदिश वर्ग के सदिशों के लिए:

जो अतिपरवलयिक कोण की परिभाषा की अनुमति देता है, प्रतिलोम अतिपरवलयिक फलन के माध्यम से इन सदिशों के बीच कोण का एक एनालॉग:[9]
यह एक (n − 1)-आयामी अतिशयोक्तिपूर्ण स्थान पर दूरी से मेल खाती है । नीचे चर्चित सापेक्षता के सिद्धांत के संदर्भ में इसे तीव्रता के रूप में जाना जाता है। यूक्लिडियन कोण के विपरीत, यह [0, +∞) मान लेता है [0, +∞) और प्रतिसमांतर(गणित) सदिश के लिए 0 के बराबर होता है।

शून्य सदिश और अन्य सदिश (या तो शून्य या गैर-शून्य) के बीच कोण की कोई उचित परिभाषा नहीं है।

बीजगणित और टेंसर कलन

यूक्लिडियन अंतरिक्ष स्थान की तरह, प्रत्येक आभासी-यूक्लिडियन सदिश स्थान एक क्लिफोर्ड बीजगणित उत्पन्न करता है। उपरोक्त गुणों के विपरीत, जहां q को q में प्रतिस्थापन करने से संख्याएँ परिवर्तितहो जाती है लेकिन ज्यामिति नहीं, द्विघात रूप के उल्टा संकेत के परिणामस्वरूप एक अलग क्लिफोर्ड बीजगणित होता है, इसलिए उदाहरण के लिए Cl1,2(R) तथा Cl2,1(R) समरूप नहीं हैं।

किसी भी सदिश स्थान की तरह, आभासी-यूक्लिडियन टेंसर होते हैं। एक यूक्लिडियन संरचना की तरह, वहाँ ऊपर और नीचे सूचकांक संचालक होते हैं लेकिन, यूक्लिडियन टेन्सर के मामले के विपरीत, ऐसा कोई आधार नही है जहां ये ऑपरेशन घटकों के मानो को नहीं बदलते हैं यदि कोई सदिश vβ है vβ, संगत सहसंयोजक सदिश है:

और मानक रूप के साथ

vα के पहले k घटक संख्यात्मक रूप से vβ के समान हैं vβ, लेकिन बाकी nk योज्य प्रतिलोम है।

प्रतिपरिवर्ती और सहपरिवर्ती टेन्सर के बीच पत्राचार कई गुना आभासी रीमैनियन पर एक टेंसर गणना बनाता है जो कई गुना रीमैनियन पर एक का सामान्यीकरण करता है।

उदाहरण

एक बहुत ही महत्वपूर्ण आभासी-यूक्लिडियन स्थान मिंकोव्स्की अंतरिक्ष है, जो गणितीय सेटिंग है जिसमें अल्बर्ट आइंस्टीन के विशेष सापेक्षता के सिद्धांत को तैयार किया गया है। मिंकोवस्की अंतरिक्ष के लिए, n = 4 तथा k = 3[10] इसलिए

इस आभासी-मीट्रिक से जुड़ी ज्यामिति की जांच हेनरी पोंकारे ने की थी।[11][12] इसका घूर्णन समूह लोरेंत्ज़ समूह है। पोंकारे समूह में अनुवाद (ज्यामिति) भी सम्मालित है और सामान्य यूक्लिडियनअन्तरिक्ष स्थान के यूक्लिडियन समूहो के समान भूमिका निभाता है।

एक अन्य आभासी-यूक्लिडियन स्थान द्वि-आयामी स्थान z = x + yj है द्विघात रूप से सुसज्जित विभाजित-जटिल संख्याओं से मिलकर बना है ,

यह अनिश्चित आभासी-यूक्लिडियन अंतरिक्ष का (n = 2, k = 1) सबसे सरल स्थितिया है और केवल एक जहां अशक्त शंकु अंतरिक्ष को चार खुले सेटों में विभाजित करता है। समूह SO+(1, 1) तथाकथित अतिपरवलयिक घुमावों से मिलकर बनता है।

यह भी देखें

फुटनोट्स

  1. Élie Cartan (1981), The Theory of Spinors, Dover Publications, ISBN 0-486-64070-1
  2. 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.
  3. Rafal Ablamowicz; P. Lounesto (2013), Clifford Algebras and Spinor Structures, Springer Science & Business Media, p. 32 [1]
  4. The standard topology on Rn is assumed.
  5. 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, nk), but it also is not connected if both k and nk 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).
  6. 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.
  7. Actually, UU is not zero only if the quadratic form q restricted to U is degenerate.
  8. Thomas E. Cecil (1992) Lie Sphere Geometry, page 24, Universitext Springer ISBN 0-387-97747-3
  9. Note that cos(i arcosh s) = s, so for s > 0 these can be understood as imaginary angles.
  10. Another well-established representation uses k = 1 and coordinate indices starting from 0 (thence q(x) = x02x12x22x32), but they are equivalent up to sign of q. See Sign convention § Metric signature.
  11. H. Poincaré (1906) On the Dynamics of the Electron, Rendiconti del Circolo Matematico di Palermo
  12. 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


संदर्भ


बाहरी संबंध