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

एक आभासी-यूक्लिडियन अंतरिक्ष एक परिमित- आयाम (गणित) वास्तविक $n$-अंतरिक्ष समन्वय स्थान है।  जो गणित और  सैद्धांतिक भौतिकी  में  एक गैर- पतित  द्विघात रूप  $q$ के साथ है. आधार (रैखिक बीजगणित) $(e_{1}, …, e_{n})$, का उपयुक्त विकल्प दिए जाने पर ऐसा द्विघात रूप  $x = x_{1}e_{1} + ⋯ + x_{n}e_{n}$ को सदिश पर लागू किया जा सकता है $$q(x) = \left(x_1^2 + \dots + x_k^2\right) - \left( x_{k+1}^2 + \dots + x_n^2\right)$$ जिसे सदिश $x$. का अदिश वर्ग कहते हैं यूक्लिडियन स्पेस स्थान के लिए, $k = n$, जिसका अर्थ है कि द्विघात रूप धनात्मक-निश्चित है। जब $0 < k < n$, $q$ एक  आइसोट्रोपिक द्विघात रूप  है, अन्यथा यह अनिसोट्रोपिक है। ध्यान दें कि यदि $1 ≤ i ≤ k < j ≤ n$, फिर $q(e_{i} + e_{j}) = 0$, चूकी $e_{i} + e_{j}$ एक अशक्त सदिश है। एक आभासी-यूक्लिडियन अंतरिक्ष में $k < n$, यूक्लिडियन अंतरिक्ष के विपरीत, नकारात्मक संख्या वाले अदिश वर्ग वाले सदिश मौजूद हैं।

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

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

धनात्मक, शून्य और ऋणात्मक अदिश वर्ग
एक अशक्त सदिश एक सदिश है जिसके लिए द्विघात रूप शून्य है। यूक्लिडियन अंतरिक्ष के विपरीत, ऐसा सदिश गैर-शून्य हो सकता है, जिस स्थिति में यह स्व-रूढ़िवादिता है। यदि द्विघात रूप अनिश्चित है, तो आभासी-यूक्लिडियन अंतरिक्ष में$n = 3$. अशक्त सदिश का एक रैखिक शंकु  होता है  जब आभासी-यूक्लिडियन  अंतरिक्ष-समय के लिए एक मॉडल प्रदान करता है (उदाहरण देखें), अशक्त शंकु को मूल बिन्दु का  प्रकाश शंकु  कहा जाता है।

अशक्त शंकु दो खुले समूहों को अलग करता है, क्रमशः जिसके लिए $k$ तथा $q$. यदि ${x : q(x) = 0{{hsp}}}$, तो सदिशों का समुच्चय जिसके लिए $R^{n}$ जुड़ा हुआ स्थान है। यदि $q(x) > 0$, तो इसमें दो असंबद्ध भाग होते हैं, एक के साथ $q(x) < 0$ और दूसरा साथ $k ≥ 2$. जिसके लिए $q(x) > 0$ यदि $k = 1$ को $x_{1} > 0$ से प्रतिस्थापित किया जाये. सदिश के लिए इसी समान कथन दिए जा सकते हैं

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

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

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

घूर्णन और गोले
ऐसे स्थान का घूर्णन (गणित) समूह (गणित)   अनिश्चितकालीन रूढ़िवादि समूह $q(x) < 0$ है,  के रूप में भी दर्शाया गया है विशेष द्विघात रूप के संदर्भ के बिना $k$ के रूप में भी निरूपित किया जाता है।। इस तरह के "घूर्णन" रूप $n − k$ को संरक्षित करते हैं इसलिए, प्रत्येक सदिश का अदिश वर्ग, चाहे वह धनात्मक हो, शून्य हो, या ऋणात्मक हो।

जबकि यूक्लिडियन अंतरिक्ष में एक इकाई क्षेत्र  होता है, आभासी-यूक्लिडियन अंतरिक्ष में  ऊनविम पृष्ठ  $q$ तथा $O(q)$ होते हैं  इस तरह की अतिसतह, जिसे अर्ध-गोला कहा जाता है, उपयुक्त अनिश्चितकालीन रूढ़िवादि समूह द्वारा संरक्षित है।

सममित द्विरेखीय रूप
द्विघात रूप $O(k, n − k)$ एक  सममित द्विरेखीय रूप  को जन्म देता है जिसे निम्नानुसार परिभाषित किया गया है:
 * $$\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).$$

द्विघात रूप को द्विरेखीय रूप में व्यक्त किया जा सकता है: $SO(q)$

जब $SO(k, n − k)$, फिर $k$ तथा $n − k$ आभासी-यूक्लिडियन अंतरिक्ष के रूढ़िवादिता सदिश हैं।

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

यदि $SO^{+}(q)$ तथा $SO(n)$ ओर्थोगोनल हैं और $1⁄2n(n − 1)$, तो $q$ ${x : q(x) = 1{{hsp}}}$ के लिए अतिशयोक्तिपूर्ण-रूढ़िवादि है.

वास्तविक ${x : q(x) = −1{{hsp}}}$-स्पेस का  मानक आधार रूढ़िवादि आधार है। आभासी-यूक्लिडियन अंतरिक्ष में कोई ऑर्थोनॉर्मल आधार नहीं है जिसके लिए द्विरेखीय रूप अनिश्चित है, क्योंकि इसका उपयोग सदिश मानदंड को परिभाषित करने के लिए नहीं किया जा सकता है।

उप-स्थान और रूढ़िवादिता
एक (सकारात्मक-आयामी) उप-स्थान के लिए एक आभासी-यूक्लिडियन अंतरिक्ष का $q$, जब द्विघात रूप $q(x) = ⟨x, x⟩$ $⟨x, y⟩ = 0$ तक सीमित है, निम्नलिखित तीन मामले संभव हैं:
 * 1) $x$ या तो  निश्चित द्विघात रूप  है। या फिर, $y$ अनिवार्य रूप से यूक्लिडियन स्थान है ($x$ के संकेत तक).
 * 2) $y$ अनिश्चित है, लेकिन अपरिवर्तनीय है। तब, $q(x)q(y) < 0$ स्वयं आभासी-यूक्लिडियन है। यह तभी संभव है जब $x$; यदि $y$ हो, जिसका अर्थ है $n$ एक समतल (ज्यामिति) है, तो इसे अतिपरवलयिक तल (द्विघात रूप) कहते हैं।
 * 3) $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}$-उप अंतरिक्ष इसका रूढ़िवादि पूरक है a $U + U^{⊥} =$-आयामी नकारात्मक यूक्लिडियन उप-स्थान है, और इसके विपरीत

सामान्यतः a$U$ के लिए ashif-आयामी उपक्षेत्र $U ∩ U^{⊥}$ को मिलाकर $q$ सकारात्मक और $U$ नकारात्मक आयाम (स्पष्टीकरण के लिए सिल्वेस्टर की जड़ता का नियम देखें), इसका रूढ़िवादि पूरक $⊥$ है $N$ सकारात्मक और $q$ नकारात्मक आयाम, जबकि बाकी $N$ वाले पतित होते हैं और बनाते हैं $0$ चौराहा।

समांतर चतुर्भुज कानून और पाइथागोरस प्रमेय
समांतर चतुर्भुज कानून रूप लेता है
 * $$q(x) + q(y) = \tfrac12(q(x + y) + q(x - y)).$$

द्विपद प्रमेय#उदाहरण पहचान का प्रयोग करते हुए, एक स्वेच्छ त्रिभुज के लिए कोई भी दो भुजाओं के अदिश वर्गों और उनके बिलिनियर रूप उत्पाद से तीसरी भुजा के अदिश वर्ग को व्यक्त कर सकता है:
 * $$q(x + y) = q(x) + q(y) + 2\langle x, y \rangle.$$

यह दर्शाता है कि, रूढ़िवादि सदिश के लिए, पायथागॉरियन प्रमेय का आभासी-यूक्लिडियन एनालॉग धारण करता है:
 * $$\langle x, y \rangle = 0 \Rightarrow q(x) + q(y) = q(x + y).$$

कोण
आम तौर पर, निरपेक्ष मूल्य $N ⊂ N^{⊥}$ दो सदिशों पर द्विरेखीय रूप से अधिक हो सकता है $N ∩ N^{⊥} = N$, इसके बराबर, या कम। यह कोण  की परिभाषा के साथ समान समस्याओं का कारण बनता है (देखें ) #दूरियों के लिए दूरी के रूप में।

यदि $min(k, n − k)$ (केवल एक सकारात्मक शब्द $k$), फिर धनात्मक अदिश वर्ग के सदिशों के लिए: $$|\langle x, y\rangle| \ge \sqrt{q(x)q(y)}\,,$$ जो अतिपरवलयिक कोण  की परिभाषा की अनुमति देता है, प्रतिलोम अतिपरवलयिक फलन के माध्यम से इन सदिशों के बीच कोण का एक एनालॉग: $$\operatorname{arcosh}\frac{|\langle x, y\rangle|}{\sqrt{q(x)q(y)}}\,.$$ यह a. पर दूरी से मेल खाती है $(n − k)$-आयामी अतिशयोक्तिपूर्ण स्थान । चर्चित #उदाहरणों में सापेक्षता के सिद्धांत के संदर्भ में इसे तीव्रता के रूप में जाना जाता है। यूक्लिडियन कोण के विपरीत, यह मान लेता है $[0, +∞)$ और एंटीपैरेलल (गणित) सदिश के लिए 0 के बराबर है।

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

बीजगणित और टेंसर कलन
यूक्लिडियन रिक्त स्थान की तरह, प्रत्येक आभासी-यूक्लिडियन सदिश स्थान एक क्लिफोर्ड बीजगणित उत्पन्न करता है। उपरोक्त गुणों के विपरीत, जहां. का प्रतिस्थापन $(d_{+} + d_{−} + d_{0})$ प्रति $U$ परिवर्तित संख्याएँ लेकिन ज्यामिति  नहीं, द्विघात रूप के साइन रिवर्सल के परिणामस्वरूप एक अलग क्लिफोर्ड बीजगणित होता है, इसलिए उदाहरण के लिए $d_{+}$ तथा $d_{−}$ आइसोमोर्फिक नहीं हैं।

किसी भी सदिश स्थान की तरह, आभासी- यूक्लिडियन टेंसर होते हैं। एक यूक्लिडियन संरचना की तरह, वहाँ ऊपर और नीचे सूचकांक संचालक होते हैं लेकिन, यूक्लिडियन  टेन्सर  के मामले के विपरीत, #आधार होता है। अगर कोई सदिश है $U^{⊥}$, संगत सहसंयोजक सदिश है:
 * $$v_\alpha = q_{\alpha\beta} v^\beta\,,$$

और मानक रूप के साथ
 * $$q_{\alpha\beta} = \begin{pmatrix}

I_{k\times k} &                    0 \\ 0 & -I_{(n-k)\times(n-k)} \end{pmatrix}$$ सबसे पहला $(k − d_{+} − d_{0})$ के घटक $(n − k − d_{−} − d_{0})$ संख्यात्मक रूप से के समान हैं $d_{0}$, लेकिन बाकी $U ∩ U^{⊥}$ योज्य प्रतिलोम है।

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

उदाहरण
एक बहुत ही महत्वपूर्ण आभासी-यूक्लिडियन स्थान मिंकोव्स्की अंतरिक्ष है, जो गणितीय सेटिंग है जिसमें अल्बर्ट आइंस्टीन  के  विशेष सापेक्षता  के सिद्धांत को तैयार किया गया है। मिंकोवस्की अंतरिक्ष के लिए, $|⟨x, y⟩|$ तथा $√|q(x)q(y)|$ ताकि


 * $$q(x) = x_1^2 + x_2^2 + x_3^2 - x_4^2,$$

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

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


 * $$\lVert z \rVert = z z^* = z^* z = x^2 - y^2.$$

यह अनिश्चित आभासी-यूक्लिडियन अंतरिक्ष का सबसे सरल मामला है ($q$, $cos(i arcosh s) = s$) और केवल एक जहां अशक्त शंकु अंतरिक्ष को चार खुले सेटों में विभाजित करता है। समूह $s > 0$ तथाकथित अतिपरवलयिक घुमावों से मिलकर बनता है।

यह भी देखें

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

संदर्भ

 * 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.
 * Walter Noll (1964) "Euclidean geometry and Minkowskian chronometry", American Mathematical Monthly 71:129–44.



बाहरी संबंध

 * D.D. Sokolov (originator), Pseudo-Euclidean space, Encyclopedia of Mathematics