हाइपरबोलाइड मॉडल: Difference between revisions
(Created page with "{{Short description|Model of n-dimensional hyperbolic geometry}} File:HyperboloidProjection.png|thumb|रेड सर्कुलर आर्क पॉइंकेयर...") |
No edit summary |
||
| Line 1: | Line 1: | ||
{{Short description|Model of n-dimensional hyperbolic geometry}} | {{Short description|Model of n-dimensional hyperbolic geometry}} | ||
[[File:HyperboloidProjection.png|thumb| | [[File:HyperboloidProjection.png|thumb|पोनकारे डिस्क मॉडल में लाल वृत्ताकार वृत्त-चाप अल्पान्तरी है; यह हरे अतिपरवलयज पर भूरे रंग के अल्पान्तरी को प्रक्षेपित करता है।]] | ||
[[File:(7,3)-hyperboloid-tiling.webm|thumb| | [[File:(7,3)-hyperboloid-tiling.webm|thumb|अतिपरवलयज के आंशिक {7,3} अतिपरवलयिक टाइलिंग का एनिमेशन पॉइनकेयर परिप्रेक्ष्य में घुमाया गया।]][[ज्यामिति]] में, '''अतिपरवलयज मॉडल''', जिसे [[हरमन मिन्कोव्स्की]] के बाद मिंकोव्स्की मॉडल के रूप में भी जाना जाता है, 'n'-आयाम [[अतिशयोक्तिपूर्ण ज्यामिति|अतिपरवलयिक ज्यामिति]] का एक मॉडल है जिसमें बिंदुओं को फॉरवर्ड शीट ''S<sup>+</sup>'' पर बिंदुओं द्वारा दर्शाया जाता है (n+1)-आयामी मिन्कोव्स्की समष्टि में या मूल से उन बिंदुओं तक छद्म-यूक्लिडियन समष्टि के विस्थापन वैक्टर द्वारा द्वि पृष्ठी अतिपरवलयज का और m-तलों को (m+1) तलों के प्रतिच्छेदन द्वारा मिन्कोव्स्की समष्टि में ''S<sup>+</sup>'' के साथ या m वेक्टरों के वेज उत्पादों द्वारा प्रतिनिधित्व किया जाता है। अतिपरवलयिक समष्टि मिन्कोव्स्की समष्टि में सममितीय रूप से अंतःस्थापित किया गया है; अर्थात्, अतिपरवलयिक दूरी फलन मिन्कोव्स्की समष्टि से इन्हेरिटेड में मिला है, जिस तरह से वृत्ताकार दूरी यूक्लिडियन दूरी से इन्हेरिटेड में मिली है, जब n-वृत्त (n+1)-विमीय यूक्लिडियन समष्टि में सन्निहित है। | ||
अतिपरवलयिक समष्टि के अन्य मॉडलों को ''S<sup>+</sup>'' के मानचित्र अनुमानों के रूप में माना जा सकता है: बेल्ट्रामी-क्लेन मॉडल ''S<sup>+</sup>'' का [[प्रक्षेपण (गणित)]] है मूल से ''S<sup>+</sup>'' में विशिष्ट बिंदु तक मूल से वेक्टर के लम्बवत तल पर मूल के माध्यम से वृत्त के [[ग्नोमोनिक प्रक्षेपण]] के अनुरूप; पॉइंकेयर डिस्क मॉडल अन्य शीट ''S<sup>−</sup>'' पर एक बिंदु के माध्यम से लंबवत तल पर ''S<sup>+</sup>'' का एक प्रक्षेपण (गणित) है, जो वृत्त के त्रिविम प्रक्षेप प्रक्षेपण के अनुरूप है; गन्स मॉडल ''S<sup>+</sup>'' का [[ऑर्थोग्राफिक मानचित्र प्रक्षेपण|लंबकोणीय प्रक्षेपण]] है, जो ''S<sup>+</sup>'' में एक विशिष्ट बिंदु के लंबवत समतल पर है, जो [[ऑर्थोग्राफिक मानचित्र प्रक्षेपण|लंबकोणिक मानचित्र प्रक्षेपण]] के अनुरूप है; अतिपरवलयिक तल का बैंड मॉडल एक अनुरूप "बेलनाकार" प्रक्षेपण है जो वृत्त के मर्केटर प्रक्षेपण के समान है; लोबचेव्स्की निर्देशांक एक बेलनाकार प्रक्षेपण है जो वृत्त के समतुल्य प्रक्षेपण (देशांतर, अक्षांश) के समान है। | |||
== मिन्कोव्स्की द्विघात रूप == | == मिन्कोव्स्की द्विघात रूप == | ||
{{main| | {{main|मिन्कोव्स्की समष्टि}} | ||
यदि (''x''<sub>0</sub>, ''x''<sub>1</sub>, ..., ''x<sub>n</sub>'') (''n'' + 1)-विमीय निर्देशांक समष्टि '''R'''<sup>''n''+1</sup> में एक वेक्टर है, तब '''मिन्कोव्स्की द्विघात रूप''' को परिभाषित किया गया है | |||
:<math> Q(x_0, x_1, \ldots, x_n) = -x_0^2 + x_1^2 + \ldots + x_n^2.</math> | :<math> Q(x_0, x_1, \ldots, x_n) = -x_0^2 + x_1^2 + \ldots + x_n^2.</math> | ||
वेक्टर ''v'' ∈ '''R'''<sup>''n''+1</sup> जैसे कि Q(v) = -1 एक n-विमीय अतिपरवलय S बनाता है जिसमें दो जुड़े हुए घटक, या पत्रक होते हैं: अग्र, या भविष्य, पत्रक ''S''<sup>+</sup>, जहाँ ''x''<sub>0</sub><0 और पश्च, या विगत, पत्रक ''S''<sup>−</sup>, जहाँ ''x''<sub>0</sub><0 है। n-आयाम अतिपरवलयज मॉडल के बिंदु फॉरवर्ड शीट ''S''<sup>+</sup> पर बिंदु हैं। | |||
मिन्कोव्स्की | '''मिन्कोव्स्की द्विरेखीय रूप''' B, मिन्कोव्स्की द्विघात रूप ''Q'' का ध्रुवीकरण है, | ||
:<math>B(\mathbf{u}, \mathbf{v}) = (Q(\mathbf{u}+\mathbf{v}) - Q(\mathbf{u}) - Q(\mathbf{v})) / 2 .</math> | :<math>B(\mathbf{u}, \mathbf{v}) = (Q(\mathbf{u}+\mathbf{v}) - Q(\mathbf{u}) - Q(\mathbf{v})) / 2 .</math> | ||
(इसे कभी-कभी | (इसे कभी-कभी अदिश गुणनफल संकेतन <math>\mathbf{u}\cdot\mathbf{v}</math> का उपयोग करते हुए भी लिखा जाता है) स्पष्ट रूप से, | ||
स्पष्ट रूप से, | |||
:<math>B((x_0, x_1, \ldots, x_n), (y_0, y_1, \ldots, y_n)) = -x_0y_0 + x_1 y_1 + \ldots + x_n y_n .</math> | :<math>B((x_0, x_1, \ldots, x_n), (y_0, y_1, \ldots, y_n)) = -x_0y_0 + x_1 y_1 + \ldots + x_n y_n .</math> | ||
''S'' के दो बिंदुओं ''u'' और ''v'' के बीच | ''S<sup>+</sup>'' के दो बिंदुओं ''u'' और ''v'' के बीच '''अतिपरवलयिक दूरी''' सूत्र द्वारा दिया गया है | ||
:<math>d(\mathbf{u}, \mathbf{v}) = \operatorname{arcosh}(-B(\mathbf{u}, \mathbf{v})) ,</math> | :<math>d(\mathbf{u}, \mathbf{v}) = \operatorname{arcosh}(-B(\mathbf{u}, \mathbf{v})) ,</math> | ||
जहां चाप अतिपरवलयिक कोज्या का व्युत्क्रम फलन है। | |||
=== मीट्रिक हस्ताक्षर का विकल्प === | === मीट्रिक हस्ताक्षर का विकल्प === | ||
द्विरेखीय रूप <math>B</math> | द्विरेखीय रूप <math>B</math> समष्टि पर [[मीट्रिक टेंसर]] के रूप में भी कार्य करता है। n+1 आयामी मिन्कोव्स्की समष्टि में, विपरीत [[मीट्रिक हस्ताक्षर]] वाले मीट्रिक के लिए दो विकल्प हैं, 3-आयामी स्थिति में या तो (+, -, -) या (-, +, +) है। | ||
यदि हस्ताक्षर (-, +, +) | यदि हस्ताक्षर (-, +, +) चयन किया जाता है, तो अतिपरवलयज की एक ही शीट पर अलग-अलग बिंदुओं के बीच जीवाओं का छद्म-यूक्लिडियन समष्टि धनात्मक होगा, जो गणित में पारंपरिक परिभाषाओं और अपेक्षाओं के साथ अधिक निकटता से संरेखित होता है। फिर n-आयाम अतिपरवलयिक समष्टि एक [[ रिमानियन अंतरिक्ष |रिमानियन समष्टि]] है और दूरी या लंबाई को अदिश वर्ग के वर्गमूल के रूप में परिभाषित किया जा सकता है। यदि हस्ताक्षर (+, −, −) चयन किया जाता है, तो अतिपरवलयज पर अलग-अलग बिंदुओं के बीच का अदिश वर्ग ऋणात्मक होगा, इसलिए आधारभूत शब्दों की विभिन्न परिभाषाओं को समायोजित किया जाना चाहिए, जो असुविधाजनक हो सकता है। फिर भी, भौतिकी में समष्टि-समय का वर्णन करने के लिए हस्ताक्षर (+, −, −, −) भी सामान्य है। (Cf. हस्ताक्षर संकेत#मैट्रिक हस्ताक्षर।) | ||
== सीधी रेखाएँ == | == सीधी रेखाएँ == | ||
अतिपरवलयिक एन-समष्टि में एक सीधी रेखा अतिपरवलयज पर [[ geodesic |अल्पान्तरी]] द्वारा तैयार की जाती है। अतिपरवलयज पर अल्पान्तरी n+1-आयामी मिन्कोव्स्की समष्टि के द्वि-आयामी रैखिक उप-समष्टि (मूल सहित) के साथ अतिपरवलयज का (गैर-रिक्त) प्रतिच्छेदन है। यदि हम 'u' और 'v' को उस रैखिक उपसमष्टि के आधार वेक्टरों के रूप में लेते हैं | |||
:<math> B (\mathbf{u}, \mathbf{u}) = 1 </math> | :<math> B (\mathbf{u}, \mathbf{u}) = 1 </math> | ||
:<math> B (\mathbf{v}, \mathbf{v}) = -1 </math> | :<math> B (\mathbf{v}, \mathbf{v}) = -1 </math> | ||
:<math> B (\mathbf{u}, \mathbf{v}) = B (\mathbf{v}, \mathbf{u}) = 0 </math> | :<math> B (\mathbf{u}, \mathbf{v}) = B (\mathbf{v}, \mathbf{u}) = 0 </math> | ||
और | और अल्पान्तरी पर बिंदुओं के लिए एक वास्तविक पैरामीटर के रूप में w का उपयोग करें | ||
:<math> \mathbf{u} \cosh w + \mathbf{v} \sinh w </math> | :<math> \mathbf{u} \cosh w + \mathbf{v} \sinh w </math> | ||
अल्पान्तरी पर एक बिंदु होगा।<ref name=Macfarlane/> | |||
अधिक | अधिक सामान्य रूप से, अतिपरवलयिक n-समष्टि में एक ''k''-आयाम समतल अतिपरवलयज के (गैर-रिक्त) प्रतिच्छेदन द्वारा मिंकोव्स्की समष्टि के ''k''+1-आयाम रैखिक उपसमष्टि (मूल सहित) के साथ तैयार किया जाएगा। | ||
== [[आइसोमेट्री]] == | == [[आइसोमेट्री|समदूरीकता]] == | ||
अनिश्चितकालीन लंबकोणीय समूह O(1,n), को भी कहा जाता है | अनिश्चितकालीन लंबकोणीय समूह O(1,n), को भी कहा जाता है (n+1)-विमीय लॉरेंत्ज़ समूह, [[वास्तविक संख्या]] (n+1)×(n+1) [[मैट्रिक्स (गणित)|आव्यूह (गणित)]] का लाई समूह है जो मिन्कोव्स्की द्विरेखीय रूप को संरक्षित करता है। एक अलग भाषा में, यह मिन्कोव्स्की समष्टि के रैखिक समरूपता का समूह है। विशेष रूप से, यह समूह अतिपरवलयज ''S'' को संरक्षित करता है। याद रखें कि अनिश्चित लंबकोणीय समूहों में चार जुड़े घटक होते हैं, जो प्रत्येक उप-समष्टि (यहां 1-आयामी और n-आयामी) पर अभिविन्यास को उलटने या संरक्षित करने के अनुरूप होते हैं, और [[क्लेन चार-समूह]] बनाते हैं। O(1,n) का उपसमूह जो पहले निर्देशांक के चिह्न को संरक्षित करता है, 'ऑर्थोक्रोनस लोरेंत्ज़ समूह,' है, जिसे O<sup>+</sup>(1,n) निरूपित किया गया है।, और इसके दो घटक हैं, समष्टिक उप-समष्टि के अभिविन्यास को संरक्षित करने या उत्क्रम के अनुरूप है। इसका उपसमूह SO<sup>+</sup>(1,n) एक निर्धारक के साथ आव्यूह से मिलकर आयाम n(n+1)/2 का जुड़ा हुआ समूह है जो S<sup>+</sup> पर कार्य करता है रैखिक स्वसमाकृतिकता द्वारा और अतिपरवलयिक दूरी को संरक्षित करता है। यह क्रिया सकर्मक है और वेक्टर के स्थिरक (1,0,...,0) में आव्यूह के रूप मे सम्मिलित होते हैं | ||
(n+1)-विमीय लॉरेंत्ज़ समूह, [[वास्तविक संख्या]] (n+1)×(n+1) [[मैट्रिक्स (गणित)]] का लाई समूह है जो मिन्कोव्स्की द्विरेखीय रूप को संरक्षित करता है। एक अलग भाषा में, यह | |||
मिन्कोव्स्की | |||
:<math>\begin{pmatrix} | :<math>\begin{pmatrix} | ||
| Line 51: | Line 49: | ||
0 & & & \\ | 0 & & & \\ | ||
\end{pmatrix}</math> | \end{pmatrix}</math> | ||
जहाँ <math> A </math> सुसंहत [[ विशेष ऑर्थोगोनल समूह |विशेष लंबकोणीय समूह]] SO(''n'') के अंतर्गत आता है ([[घूर्णन समूह SO(3)]] (3) को सामान्य बनाने के लिए {{nowrap|1=''n'' = 3}}) यह इस प्रकार है कि n-आयाम [[अतिशयोक्तिपूर्ण स्थान|अतिपरवलयिक समष्टि]] को [[सजातीय स्थान|सजातीय समष्टि]] और श्रेणी 1 के [[रिमेंनियन सममित स्थान|रिमेंनियन सममित समष्टि]] के रूप में प्रदर्शित किया जा सकता है, | |||
: <math> \mathbb{H}^n=\mathrm{SO}^{+}(1,n)/\mathrm{SO}(n).</math> | : <math> \mathbb{H}^n=\mathrm{SO}^{+}(1,n)/\mathrm{SO}(n).</math> | ||
समूह SO<sup>+</sup>(1,''n'') n-आयाम [[अतिशयोक्तिपूर्ण स्थान|अतिपरवलयिक समष्टि]] के अभिविन्यास-संरक्षण समदूरीकता का पूरा समूह है। | |||
अधिक | अधिक मूर्त शब्दों में, SO<sup>+</sup>(1,n) को n(n-1)/2 घुमावों में विभाजित किया जा सकता है (निचले-दाएं ब्लॉक में एक नियमित यूक्लिडियन [[रोटेशन मैट्रिक्स|घूर्णन आव्यूह]] के साथ गठित) और n अतिपरवलयिक स्थानांतरण, जो रूप लेते हैं | ||
:<math>\begin{pmatrix} | :<math>\begin{pmatrix} | ||
| Line 64: | Line 62: | ||
\vdots & \vdots & & \ddots \\ | \vdots & \vdots & & \ddots \\ | ||
\end{pmatrix}</math> | \end{pmatrix}</math> | ||
जहाँ <math>\alpha</math> स्थानांतरणित दूरी है (इस स्थिति में x अक्ष के साथ), और दूसरी पंक्ति/स्तंभ को एक अलग जोड़ी के साथ एक अलग अक्ष के साथ स्थानांतरण में बदलने के लिए आदान-प्रदान किया जा सकता है। वेक्टर के साथ 3 आयामों में स्थानांतरण का सामान्य रूप <math>(w, x, y, z)</math> है: | |||
:<math>\begin{pmatrix} | :<math>\begin{pmatrix} | ||
| Line 71: | Line 69: | ||
y & \frac{xy}{w+1} & \frac{y^2}{w+1}+1 & \frac{zy}{w+1} \\ | y & \frac{xy}{w+1} & \frac{y^2}{w+1}+1 & \frac{zy}{w+1} \\ | ||
z & \frac{xz}{w+1} & \frac{yz}{w+1} & \frac{z^2}{w+1}+1 \\ | z & \frac{xz}{w+1} & \frac{yz}{w+1} & \frac{z^2}{w+1}+1 \\ | ||
\end{pmatrix}</math> | \end{pmatrix}</math> जहाँ <math>w = \sqrt{x^2+y^2+z^2+1}</math>. | ||
यह स्वाभाविक रूप से अधिक आयामों तक विस्तारित होता है, और जब आप सापेक्षता-विशिष्ट शर्तों को हटाते हैं तो यह लोरेंत्ज़ रूपांतरण | यह स्वाभाविक रूप से अधिक आयामों तक विस्तारित होता है, और जब आप सापेक्षता-विशिष्ट शर्तों को हटाते हैं तो यह लोरेंत्ज़ रूपांतरण उपयुक्त रूपांतरणों का सरलीकृत संस्करण भी होता है। | ||
=== | === समदूरीकता के समूहों के उदाहरण === | ||
अतिपरवलयज मॉडल के सभी समदूरीकता का समूह O<sup>+</sup>(1,n ) है समदूरीकता का कोई भी समूह इसका एक उपसमूह है। | |||
==== प्रतिबिंब ==== | ==== प्रतिबिंब ==== | ||
दो अंक के लिए <math>\mathbf p, \mathbf q \in \mathbb{H}^n, \mathbf p \neq \mathbf q</math>, उनका आदान-प्रदान करने वाला एक | दो अंक के लिए <math>\mathbf p, \mathbf q \in \mathbb{H}^n, \mathbf p \neq \mathbf q</math>, उनका आदान-प्रदान करने वाला एक अद्वितीय प्रतिबिंब है। | ||
मान लीजिए <math>\mathbf u = \frac {\mathbf p - \mathbf q}{\sqrt{Q(\mathbf p - \mathbf q)}}</math>. ध्यान दें कि <math>Q(\mathbf u) = 1</math>, और इसलिए <math>u \notin \mathbb{H}^n</math>. | |||
ध्यान दें कि <math>Q(\mathbf u) = 1</math>, और इसलिए <math>u \notin \mathbb{H}^n</math>. | |||
तब | तब | ||
:<math>\mathbf x \mapsto \mathbf x - 2 B(\mathbf x, \mathbf u) \mathbf u</math> | :<math>\mathbf x \mapsto \mathbf x - 2 B(\mathbf x, \mathbf u) \mathbf u</math> | ||
एक प्रतिबिंब है जो आदान-प्रदान करता है <math>\mathbf p</math> और <math>\mathbf q</math>. | एक प्रतिबिंब है जो आदान-प्रदान करता है <math>\mathbf p</math> और <math>\mathbf q</math>. यह निम्नलिखित आव्यूह के बराबर है: | ||
यह निम्नलिखित | |||
:<math>R = I - 2 \mathbf u \mathbf u^{\operatorname{T}} \begin{pmatrix} | :<math>R = I - 2 \mathbf u \mathbf u^{\operatorname{T}} \begin{pmatrix} | ||
| Line 95: | Line 91: | ||
0 & I \\ | 0 & I \\ | ||
\end{pmatrix}</math> | \end{pmatrix}</math> | ||
([[ब्लॉक मैट्रिक्स]] | ([[ब्लॉक मैट्रिक्स|ब्लॉक आव्यूह]] संकेतन के उपयोग पर ध्यान दें)। | ||
तब <math>\{I, R\}</math> | तब <math>\{I, R\}</math> समदूरीकता का एक समूह है। ऐसे सभी उपसमूह संयुग्मी वर्ग उपसमूहों और सामान्य उपसमुच्चयों की संयुग्मता हैं। | ||
ऐसे सभी उपसमूह संयुग्मी वर्ग | |||
==== | ==== घूर्णन और प्रतिबिंब ==== | ||
:<math>S = \left \{ \begin{pmatrix} | :<math>S = \left \{ \begin{pmatrix} | ||
| Line 106: | Line 101: | ||
0 & A \\ | 0 & A \\ | ||
\end{pmatrix} : A \in O(n) \right \}</math> | \end{pmatrix} : A \in O(n) \right \}</math> | ||
घूर्णन और परावर्तनों का समूह है जो संरक्षित करता है <math>(1, 0, \dots, 0)</math> फलन <math>A \mapsto \begin{pmatrix} | |||
1 & 0 \\ | 1 & 0 \\ | ||
0 & A \\ | 0 & A \\ | ||
\end{pmatrix}</math> इस समूह के लिए | \end{pmatrix}</math> इस समूह के लिए लंबकोणीय समूह O(n) से एक [[समूह समरूपता]] है। किसी भी बिंदु के लिए <math>p</math>, यदि <math>X</math> एक समदूरीकता है जो <math>(1, 0, \dots, 0)</math> को <math>p</math> मानचित्रण करती है तब <math>XSX^{-1}</math> घूर्णनों और परावर्तनों का समूह है जो <math>p</math> संरक्षित करता है। | ||
किसी भी बिंदु के लिए <math>p</math>, | |||
==== | ==== स्थानांतरण ==== | ||
किसी भी वास्तविक संख्या के लिए <math>t</math>, एक | किसी भी वास्तविक संख्या के लिए <math>t</math>, एक स्थानांतरण है | ||
:<math>L_t = \begin{pmatrix} | :<math>L_t = \begin{pmatrix} | ||
| Line 122: | Line 115: | ||
0 & 0 & I \\ | 0 & 0 & I \\ | ||
\end{pmatrix}</math> | \end{pmatrix}</math> | ||
यह दूरी का | यह दूरी का स्थानांतरण <math>t</math> है धनात्मक x दिशा में यदि <math>t \ge 0</math> या दूरी का <math>-t</math> नकारात्मक x दिशा में यदि <math>t \le 0</math> दूरी का कोई भी स्थानांतरण <math>t</math> से संयुग्मित <math>L_t</math> और <math>L_{-t}</math>समुच्चय <math>\left \{L_t : t \in \mathbb R \right \}</math> x-अक्ष के माध्यम से स्थानांतरण का समूह है, और समदूरीकता का एक समूह इसके साथ संयुग्मित है यदि और केवल यदि यह एक रेखा के माध्यम से समदूरीकता का समूह है। | ||
दूरी का कोई भी | |||
उदाहरण के लिए, मान लें कि हम एक पंक्ति के माध्यम से | उदाहरण के लिए, मान लें कि हम एक पंक्ति के माध्यम से स्थानांतरणों के समूह <math>\overline{\mathbf p \mathbf q}</math> को खोजना चाहते हैं मान लीजिए <math>X</math> एक समदूरीकता बनें जो <math>(1, 0, \dots, 0)</math> को प्रतिचित्रण करता है <math>p</math> और <math>Y</math> एक समदूरीकता बनें जो <math>p</math> परिशुद्ध करता है और मानचित्र <math>X L_{d(\mathbf p, \mathbf q)} [1, 0, \dots, 0]^{\operatorname{T}}</math> को <math>q</math> द्वारा प्रतिचित्रण करता है एक ऐसा उदाहरण <math>Y</math> एक प्रतिबिंब <math>X L_{d(\mathbf p, \mathbf q)} [1, 0, \dots, 0]^{\operatorname{T}}</math>विनिमय है और <math>q</math> (यह मानते हुए कि वे भिन्न हैं), क्योंकि वे दोनों एक ही दूरी <math>p</math> से हैं तब <math>YX</math> एक समदूरीकता <math>(1, 0, \dots, 0)</math> को <math>p</math> और धनात्मक x-अक्ष पर एक बिंदु <math>q</math> प्रतिचित्रण है <math>(YX)L_t(YX)^{-1}</math> पंक्ति के माध्यम से <math>\overline{\mathbf p \mathbf q}</math> दूरी का <math>|t|</math>स्थानांतरण है यदि <math>t \ge 0</math>, वह उस <math>\overrightarrow{\mathbf p \mathbf q}</math> दिशा में है। यदि <math>t \le 0</math>, वह <math>\overrightarrow{\mathbf q \mathbf p}</math> दिशा में है। तब <math>\left \{(YX)L_t(YX)^{-1} : t \in \mathbb R \right \}</math> के माध्यम से स्थानांतरण का <math>\overline{\mathbf p \mathbf q}</math> समूह है। | ||
एक ऐसा उदाहरण <math>Y</math> एक प्रतिबिंब | |||
तब <math>YX</math> एक | |||
<math>(YX)L_t(YX)^{-1}</math> पंक्ति के माध्यम से | |||
<math>\left \{(YX)L_t(YX)^{-1} : t \in \mathbb R \right \}</math> के माध्यम से | |||
==== [[राशिफल]] की समरूपता ==== | ==== [[राशिफल]] की समरूपता ==== | ||
मान लीजिए | मान लीजिए H कुछ होरोस्फीयर ([[राशिफल]]) है जैसे प्रारूप के बिंदु <math>(w, x, 0, \dots, 0)</math> एकपक्षीय रूप से बड़े x के लिए इसके अंदर हैं। किसी भी <math>\mathbb R^{n-1}</math> वेक्टर b के लिए | ||
किसी भी | |||
:<math>\begin{pmatrix} | :<math>\begin{pmatrix} | ||
1 + \frac {\|\mathbf b\|^2} 2 & - \frac {\|\mathbf b\|^2} 2 & \mathbf b^{\operatorname{T}} \\ | 1 + \frac {\|\mathbf b\|^2} 2 & - \frac {\|\mathbf b\|^2} 2 & \mathbf b^{\operatorname{T}} \\ | ||
| Line 144: | Line 127: | ||
\mathbf b & -\mathbf b & I \\ | \mathbf b & -\mathbf b & I \\ | ||
\end{pmatrix}</math> | \end{pmatrix}</math> | ||
एक होरोरोटेशन है जो | एक होरोरोटेशन है जो H को स्वयं से प्रतिचित्रण करता है। इस तरह के होरोरोटेशन का समुच्चय H को संरक्षित करने वाले होरोरोटेशन का समूह है। सभी हॉरोटेशन एक दूसरे से संयुग्मित होते हैं। | ||
इस तरह के | |||
सभी हॉरोटेशन एक दूसरे से संयुग्मित होते हैं। | |||
किसी के लिए <math>A</math> | किसी के लिए <math>A</math> में O(''n''-1) | ||
:<math>\begin{pmatrix} | :<math>\begin{pmatrix} | ||
| Line 155: | Line 136: | ||
0 & 0 & A \\ | 0 & 0 & A \\ | ||
\end{pmatrix}</math> | \end{pmatrix}</math> | ||
एक घूर्णन या प्रतिबिंब है जो | एक घूर्णन या प्रतिबिंब है जो H और x -अक्ष को संरक्षित करता है। ये होरोरोटेशन, घूर्णन और प्रतिबिंब H के समरूपता के समूह को उत्पन्न करते हैं। किसी भी होरोस्फीयर का समरूपता समूह इसके साथ संयुग्मित होता है। वे [[यूक्लिडियन समूह]] E(n-1) के समरूपी हैं। | ||
ये | |||
किसी भी होरोस्फीयर का समरूपता समूह इसके साथ संयुग्मित होता है। | |||
वे [[यूक्लिडियन समूह]] E(n-1) के समरूपी हैं। | |||
== इतिहास == | == इतिहास == | ||
{{see| | {{see|लोरेंत्ज़ परिवर्तनों का इतिहास}} | ||
1878-1885 के बीच कई पत्रों में, [[ विल्हेम हत्या ]]<ref>{{Cite journal|author=Killing, W.|year=1878|orig-year=1877|title=Ueber zwei Raumformen mit constanter positiver Krümmung|journal=Journal für die Reine und Angewandte Mathematik|volume=86|pages=72–83|url= http://www.digizeitschriften.de/dms/resolveppn/?PID=GDZPPN002157187}}</ref><ref>{{Cite journal|author=Killing, W.|year=1880|orig-year=1879|title=गैर-यूक्लिडियन स्थानिक रूपों में गणना|journal=Journal für die Reine und Angewandte Mathematik|volume=89|pages=265–287|url=http://www.digizeitschriften.de/dms/resolveppn/?PID=PPN243919689_0089%7Clog27}}</ref><ref>{{Cite book|author=Killing, W.|year=1885|title=गैर-यूक्लिडियन स्थानिक रूप|location=Leipzig|url=https://archive.org/details/dienichteuklidis00killuoft}}</ref> [[लोबचेवस्कियन ज्यामिति]] के लिए उन्होंने [[कार्ल वीयरस्ट्रास]] को | 1878-1885 के बीच कई पत्रों में, [[ विल्हेम हत्या |विल्हेम किलिंग]]<ref>{{Cite journal|author=Killing, W.|year=1878|orig-year=1877|title=Ueber zwei Raumformen mit constanter positiver Krümmung|journal=Journal für die Reine und Angewandte Mathematik|volume=86|pages=72–83|url= http://www.digizeitschriften.de/dms/resolveppn/?PID=GDZPPN002157187}}</ref><ref>{{Cite journal|author=Killing, W.|year=1880|orig-year=1879|title=गैर-यूक्लिडियन स्थानिक रूपों में गणना|journal=Journal für die Reine und Angewandte Mathematik|volume=89|pages=265–287|url=http://www.digizeitschriften.de/dms/resolveppn/?PID=PPN243919689_0089%7Clog27}}</ref><ref>{{Cite book|author=Killing, W.|year=1885|title=गैर-यूक्लिडियन स्थानिक रूप|location=Leipzig|url=https://archive.org/details/dienichteuklidis00killuoft}}</ref> [[लोबचेवस्कियन ज्यामिति]] के लिए उन्होंने [[कार्ल वीयरस्ट्रास]] को अधीन प्रतिनिधित्व का उपयोग किया। विशेष रूप से, उन्होंने द्विघात रूपों पर चर्चा की जैसे <math>k^{2}t^{2}+u^{2}+v^{2}+w^{2}=k^{2}</math> या एकपक्षीय आयामों में <math>k^{2}x_{0}^{2}+x_{1}^{2}+\dots+x_{n}^{2}=k^{2}</math>, जहाँ <math>k</math> वक्रता का पारस्परिक माप है, <math>k^{2}=\infty</math> [[यूक्लिडियन ज्यामिति]], <math>k^{2}>0</math> [[अण्डाकार ज्यामिति]], और <math>k^{2}<0</math> अतिपरवलयिक ज्यामिति को दर्शाता है। | ||
जेरेमी ग्रे (1986) के अनुसार,<ref>''Linear differential equations and group theory from Riemann to Poincaré'' (pages 271,2)</ref> हेनरी पोंकारे ने 1880 में अपने व्यक्तिगत नोट्स में अतिपरवलयज मॉडल का उपयोग किया। पोंकारे ने 1881 में अपने परिणाम प्रकाशित किए, जिसमें उन्होंने द्विघात रूप के व्युत्क्रम पर चर्चा की <math>\xi^{2}+\eta^{2}-\zeta^{2}=-1</math><ref>{{Cite journal|author=Poincaré, H.|year=1881|title=Sur les applications de la géométrie non-euclidienne à la théorie des formes quadratiques|journal=Association Française Pour l'Avancement des Sciences|volume=10|pages=132–138|url=http://henripoincarepapers.univ-lorraine.fr/chp/hp-pdf/hp1881af.pdf}}</ref> ग्रे दिखाता है कि पोनकारे द्वारा बाद के लेखन में अतिपरवलयज मॉडल निहित है।<ref>See also Poincaré: ''On the fundamental hypotheses of geometry'' 1887 Collected works vol.11, 71-91 and referred to in the book of B.A. Rosenfeld ''A History of Non-Euclidean Geometry'' p.266 in English version (Springer 1988).</ref> | |||
इसके अतिरिक्त 1882 में होमर्शम कॉक्स (गणितज्ञ)।<ref>{{Cite journal|author=Cox, H.|year=1881|title=काल्पनिक ज्यामिति में सजातीय निर्देशांक और बलों की प्रणालियों के लिए उनका अनुप्रयोग|journal=The Quarterly Journal of Pure and Applied Mathematics|volume=18|issue=70|pages=178–192|url=http://resolver.sub.uni-goettingen.de/purl?PPN600494829_0018}}</ref><ref>{{Cite journal|author=Cox, H.|year=1882|orig-year=1881|title=काल्पनिक ज्यामिति में सजातीय निर्देशांक और बलों की प्रणालियों के लिए उनका अनुप्रयोग (जारी)|journal=The Quarterly Journal of Pure and Applied Mathematics|volume=18|issue=71|pages=193–215|url=http://resolver.sub.uni-goettingen.de/purl?PPN600494829_0018}}</ref> उपयोग किए गए वीयरस्ट्रैस निर्देशांक (इस नाम का उपयोग किए बिना) संबंध को <math>z^{2}-x^{2}-y^{2}=1</math> साथ ही <math>w^{2}-x^{2}-y^{2}-z^{2}=1</math> को पूर्ण करते हैं | |||
1891 में [[अल्फ्रेड क्लेब्सच]] और [[फर्डिनेंड लिंडमैन]] द्वारा मॉडल के आगे के संबंध <math>x_{1}^{2}+x_{2}^{2}-4k^{2}x_{3}^{2}=-4k^{2}</math> और <math>x_{1}^{2}+x_{2}^{2}+x_{3}^{2}-4k^{2}x_{4}^{2}=-4k^{2}</math> पर चर्चा की गई।<ref>{{Cite book|author=Lindemann, F.|year=1891|orig-year=1890|title=Vorlesungen über Geometrie von Clebsch II|location=Leipzig|url=https://archive.org/details/vorlesungenber21cleb|page=[https://archive.org/details/vorlesungenber21cleb/page/524 524]}}</ref> | |||
जेरार्ड (1892),<ref>{{Cite book|author=Gérard, L. |year=1892|title=Sur la géométrie non-Euclidienne|location=Paris|publisher=Gauthier-Villars|url=https://archive.org/details/surlagomtrienon01grgoog}}</ref> [[फेलिक्स हॉसडॉर्फ]] (1899),<ref>{{Cite journal|author=Hausdorff, F.|year=1899|title=Analytische Beiträge zur nichteuklidischen Geometrie|journal=Leipziger Math.-Phys. Berichte|volume=51|pages=161–214|hdl=2027/hvd.32044092889328}}</ref> फ्रेडरिक एस. वुड्स (1903)],<ref>{{Cite journal|author=Woods, F. S.|year=1905|orig-year=1903|title=गैर-यूक्लिडियन अंतरिक्ष के रूप|journal=The Boston Colloquium: Lectures on Mathematics for the Year 1903|pages=[https://archive.org/details/in.ernet.dli.2015.161268/page/n40 31]–74|url=https://archive.org/details/in.ernet.dli.2015.161268}}</ref> [[हेनरिक लिबमैन]] (1905) द्वारा वीयरस्ट्रास निर्देशांक का भी उपयोग किया गया था।<ref>{{Cite book|author=Liebmann, H. |year=1905|orig-year=1904|title=गैर-यूक्लिडियन ज्यामिति|location=Leipzig|publisher=Göschen|url=https://archive.org/details/nichteuklidisch00liebgoog}}</ref> | |||
जेरार्ड (1892) | |||
समष्टि विश्लेषण में अपने पत्र (1894) में [[अलेक्जेंडर मैकफर्लेन]] द्वारा अतिपरवलयज को एक [[मीट्रिक स्थान|मीट्रिक समष्टि]] के रूप में खोजा गया था। उन्होंने नोट किया कि अतिपरवलयज पर बिन्दुओं को इस प्रकार लिखा जा सकता है | |||
:<math>\cosh A + \alpha \sinh A,</math> | :<math>\cosh A + \alpha \sinh A,</math> | ||
जहां α अतिपरवलय अक्ष के लिए एक आधार सदिश | जहां α अतिपरवलय अक्ष के लिए एक आधार सदिश लंबकोणीय है। उदाहरण के लिए, उन्होंने अपने भौतिकी के बीजगणित के उपयोग के माध्यम से कोसाइन के अतिपरवलयिक नियम को प्राप्त किया।<ref name="Macfarlane">[[Alexander Macfarlane]] (1894) ''[https://archive.org/details/principlesalgeb01macfgoog Papers on Space Analysis]'', B. Westerman, New York, weblink from [[archive.org]]</ref> | ||
सापेक्षता के | एच. जानसन ने अतिपरवलयज मॉडल को अपने 1909 के पेपर <nowiki>''रिप्रेजेंटेशन ऑफ़ हाइपरबोलिक ज्योमेट्री ऑन ए टू शीटेड हाइपरबोलॉइड''</nowiki> का स्पष्ट केंद्र बनाया।<ref>''Abbildung hyperbolische Geometrie auf ein zweischaliges Hyperboloid'' Mitt. Math. Gesellsch Hamburg 4:409–440.</ref> 1993 में डब्ल्यू.एफ. रेनॉल्ड्स ने अमेरिकन मैथमैटिकल मंथली में अपने लेख में मॉडल के कुछ प्रारम्भिक इतिहास का वर्णन किया।<ref>Reynolds, William F. (1993) "Hyperbolic geometry on a hyperboloid", [[American Mathematical Monthly]] 100:442–55, [https://www.jstor.org/stable/2324297 Jstor link]</ref> | ||
बीसवीं शताब्दी तक एक सामान्य मॉडल होने के बाद, इसकी पहचान 1907 में गोटिंगेन व्याख्यान 'द रिलेटिविटी प्रिंसिपल' में हरमन मिन्कोव्स्की द्वारा गेशविंडिग्केइट्सवेक्टरन (वेग वैक्टर) के साथ की गई थी। स्कॉट वाल्टर, अपने 1999 के पेपर द नॉन-यूक्लिडियन स्टाइल ऑफ़ मिंकोव्स्की रिलेटिविटी में<ref>{{Citation|author=Walter, Scott A.|year=1999|contribution=The non-Euclidean style of Minkowskian relativity|editor=J. Gray|title=The Symbolic Universe: Geometry and Physics 1890-1930|pages=91–127|publisher=Oxford University Press|contribution-url=http://scottwalter.free.fr/papers/1999-symbuniv-walter.html}} | |||
</ref> मिन्कोव्स्की की अभिज्ञता को खण्डन करते हैं, लेकिन वेइरस्ट्रास और किलिंग के अतिरिक्त मॉडल के परंपरा को [[हरमन हेल्महोल्ट्ज़]] के लिए पता लगाते हैं। | |||
सापेक्षता के प्रारम्भिक वर्षों में वेग की भौतिकी की व्याख्या करने के लिए व्लादिमीर वरिकैक द्वारा अतिपरवलयज मॉडल का उपयोग किया गया था। 1912 में जर्मन गणितीय संघ के अपने भाषण में उन्होंने वेइरस्ट्रास निर्देशांकों का उल्लेख किया।<ref>{{Citation | author=Varićak, V. | year=1912| title=On the Non-Euclidean Interpretation of the Theory of Relativity| journal=Jahresbericht der Deutschen Mathematiker-Vereinigung | volume =21| pages =103–127| title-link=s:On the Non-Euclidean Interpretation of the Theory of Relativity}} | |||
</ref> | </ref> | ||
| Line 184: | Line 167: | ||
* पॉइनकेयर डिस्क मॉडल | * पॉइनकेयर डिस्क मॉडल | ||
* | * अतिपरवलयिक चतुष्कोण | ||
== नोट्स और संदर्भ == | == नोट्स और संदर्भ == | ||
| Line 198: | Line 181: | ||
श्रेणी:बहुआयामी ज्यामिति | श्रेणी:बहुआयामी ज्यामिति | ||
श्रेणी:अतिपरवलयिक ज्यामिति | श्रेणी:अतिपरवलयिक ज्यामिति | ||
श्रेणी:मिन्कोस्की | श्रेणी:मिन्कोस्की समष्टिटाइम | ||
[[Category: Machine Translated Page]] | [[Category: Machine Translated Page]] | ||
[[Category:Created On 28/02/2023]] | [[Category:Created On 28/02/2023]] | ||
Revision as of 10:22, 13 March 2023
ज्यामिति में, अतिपरवलयज मॉडल, जिसे हरमन मिन्कोव्स्की के बाद मिंकोव्स्की मॉडल के रूप में भी जाना जाता है, 'n'-आयाम अतिपरवलयिक ज्यामिति का एक मॉडल है जिसमें बिंदुओं को फॉरवर्ड शीट S+ पर बिंदुओं द्वारा दर्शाया जाता है (n+1)-आयामी मिन्कोव्स्की समष्टि में या मूल से उन बिंदुओं तक छद्म-यूक्लिडियन समष्टि के विस्थापन वैक्टर द्वारा द्वि पृष्ठी अतिपरवलयज का और m-तलों को (m+1) तलों के प्रतिच्छेदन द्वारा मिन्कोव्स्की समष्टि में S+ के साथ या m वेक्टरों के वेज उत्पादों द्वारा प्रतिनिधित्व किया जाता है। अतिपरवलयिक समष्टि मिन्कोव्स्की समष्टि में सममितीय रूप से अंतःस्थापित किया गया है; अर्थात्, अतिपरवलयिक दूरी फलन मिन्कोव्स्की समष्टि से इन्हेरिटेड में मिला है, जिस तरह से वृत्ताकार दूरी यूक्लिडियन दूरी से इन्हेरिटेड में मिली है, जब n-वृत्त (n+1)-विमीय यूक्लिडियन समष्टि में सन्निहित है।
अतिपरवलयिक समष्टि के अन्य मॉडलों को S+ के मानचित्र अनुमानों के रूप में माना जा सकता है: बेल्ट्रामी-क्लेन मॉडल S+ का प्रक्षेपण (गणित) है मूल से S+ में विशिष्ट बिंदु तक मूल से वेक्टर के लम्बवत तल पर मूल के माध्यम से वृत्त के ग्नोमोनिक प्रक्षेपण के अनुरूप; पॉइंकेयर डिस्क मॉडल अन्य शीट S− पर एक बिंदु के माध्यम से लंबवत तल पर S+ का एक प्रक्षेपण (गणित) है, जो वृत्त के त्रिविम प्रक्षेप प्रक्षेपण के अनुरूप है; गन्स मॉडल S+ का लंबकोणीय प्रक्षेपण है, जो S+ में एक विशिष्ट बिंदु के लंबवत समतल पर है, जो लंबकोणिक मानचित्र प्रक्षेपण के अनुरूप है; अतिपरवलयिक तल का बैंड मॉडल एक अनुरूप "बेलनाकार" प्रक्षेपण है जो वृत्त के मर्केटर प्रक्षेपण के समान है; लोबचेव्स्की निर्देशांक एक बेलनाकार प्रक्षेपण है जो वृत्त के समतुल्य प्रक्षेपण (देशांतर, अक्षांश) के समान है।
मिन्कोव्स्की द्विघात रूप
यदि (x0, x1, ..., xn) (n + 1)-विमीय निर्देशांक समष्टि Rn+1 में एक वेक्टर है, तब मिन्कोव्स्की द्विघात रूप को परिभाषित किया गया है
वेक्टर v ∈ Rn+1 जैसे कि Q(v) = -1 एक n-विमीय अतिपरवलय S बनाता है जिसमें दो जुड़े हुए घटक, या पत्रक होते हैं: अग्र, या भविष्य, पत्रक S+, जहाँ x0<0 और पश्च, या विगत, पत्रक S−, जहाँ x0<0 है। n-आयाम अतिपरवलयज मॉडल के बिंदु फॉरवर्ड शीट S+ पर बिंदु हैं।
मिन्कोव्स्की द्विरेखीय रूप B, मिन्कोव्स्की द्विघात रूप Q का ध्रुवीकरण है,
(इसे कभी-कभी अदिश गुणनफल संकेतन का उपयोग करते हुए भी लिखा जाता है) स्पष्ट रूप से,
S+ के दो बिंदुओं u और v के बीच अतिपरवलयिक दूरी सूत्र द्वारा दिया गया है
जहां चाप अतिपरवलयिक कोज्या का व्युत्क्रम फलन है।
मीट्रिक हस्ताक्षर का विकल्प
द्विरेखीय रूप समष्टि पर मीट्रिक टेंसर के रूप में भी कार्य करता है। n+1 आयामी मिन्कोव्स्की समष्टि में, विपरीत मीट्रिक हस्ताक्षर वाले मीट्रिक के लिए दो विकल्प हैं, 3-आयामी स्थिति में या तो (+, -, -) या (-, +, +) है।
यदि हस्ताक्षर (-, +, +) चयन किया जाता है, तो अतिपरवलयज की एक ही शीट पर अलग-अलग बिंदुओं के बीच जीवाओं का छद्म-यूक्लिडियन समष्टि धनात्मक होगा, जो गणित में पारंपरिक परिभाषाओं और अपेक्षाओं के साथ अधिक निकटता से संरेखित होता है। फिर n-आयाम अतिपरवलयिक समष्टि एक रिमानियन समष्टि है और दूरी या लंबाई को अदिश वर्ग के वर्गमूल के रूप में परिभाषित किया जा सकता है। यदि हस्ताक्षर (+, −, −) चयन किया जाता है, तो अतिपरवलयज पर अलग-अलग बिंदुओं के बीच का अदिश वर्ग ऋणात्मक होगा, इसलिए आधारभूत शब्दों की विभिन्न परिभाषाओं को समायोजित किया जाना चाहिए, जो असुविधाजनक हो सकता है। फिर भी, भौतिकी में समष्टि-समय का वर्णन करने के लिए हस्ताक्षर (+, −, −, −) भी सामान्य है। (Cf. हस्ताक्षर संकेत#मैट्रिक हस्ताक्षर।)
सीधी रेखाएँ
अतिपरवलयिक एन-समष्टि में एक सीधी रेखा अतिपरवलयज पर अल्पान्तरी द्वारा तैयार की जाती है। अतिपरवलयज पर अल्पान्तरी n+1-आयामी मिन्कोव्स्की समष्टि के द्वि-आयामी रैखिक उप-समष्टि (मूल सहित) के साथ अतिपरवलयज का (गैर-रिक्त) प्रतिच्छेदन है। यदि हम 'u' और 'v' को उस रैखिक उपसमष्टि के आधार वेक्टरों के रूप में लेते हैं
और अल्पान्तरी पर बिंदुओं के लिए एक वास्तविक पैरामीटर के रूप में w का उपयोग करें
अल्पान्तरी पर एक बिंदु होगा।[1]
अधिक सामान्य रूप से, अतिपरवलयिक n-समष्टि में एक k-आयाम समतल अतिपरवलयज के (गैर-रिक्त) प्रतिच्छेदन द्वारा मिंकोव्स्की समष्टि के k+1-आयाम रैखिक उपसमष्टि (मूल सहित) के साथ तैयार किया जाएगा।
समदूरीकता
अनिश्चितकालीन लंबकोणीय समूह O(1,n), को भी कहा जाता है (n+1)-विमीय लॉरेंत्ज़ समूह, वास्तविक संख्या (n+1)×(n+1) आव्यूह (गणित) का लाई समूह है जो मिन्कोव्स्की द्विरेखीय रूप को संरक्षित करता है। एक अलग भाषा में, यह मिन्कोव्स्की समष्टि के रैखिक समरूपता का समूह है। विशेष रूप से, यह समूह अतिपरवलयज S को संरक्षित करता है। याद रखें कि अनिश्चित लंबकोणीय समूहों में चार जुड़े घटक होते हैं, जो प्रत्येक उप-समष्टि (यहां 1-आयामी और n-आयामी) पर अभिविन्यास को उलटने या संरक्षित करने के अनुरूप होते हैं, और क्लेन चार-समूह बनाते हैं। O(1,n) का उपसमूह जो पहले निर्देशांक के चिह्न को संरक्षित करता है, 'ऑर्थोक्रोनस लोरेंत्ज़ समूह,' है, जिसे O+(1,n) निरूपित किया गया है।, और इसके दो घटक हैं, समष्टिक उप-समष्टि के अभिविन्यास को संरक्षित करने या उत्क्रम के अनुरूप है। इसका उपसमूह SO+(1,n) एक निर्धारक के साथ आव्यूह से मिलकर आयाम n(n+1)/2 का जुड़ा हुआ समूह है जो S+ पर कार्य करता है रैखिक स्वसमाकृतिकता द्वारा और अतिपरवलयिक दूरी को संरक्षित करता है। यह क्रिया सकर्मक है और वेक्टर के स्थिरक (1,0,...,0) में आव्यूह के रूप मे सम्मिलित होते हैं
जहाँ सुसंहत विशेष लंबकोणीय समूह SO(n) के अंतर्गत आता है (घूर्णन समूह SO(3) (3) को सामान्य बनाने के लिए n = 3) यह इस प्रकार है कि n-आयाम अतिपरवलयिक समष्टि को सजातीय समष्टि और श्रेणी 1 के रिमेंनियन सममित समष्टि के रूप में प्रदर्शित किया जा सकता है,
समूह SO+(1,n) n-आयाम अतिपरवलयिक समष्टि के अभिविन्यास-संरक्षण समदूरीकता का पूरा समूह है।
अधिक मूर्त शब्दों में, SO+(1,n) को n(n-1)/2 घुमावों में विभाजित किया जा सकता है (निचले-दाएं ब्लॉक में एक नियमित यूक्लिडियन घूर्णन आव्यूह के साथ गठित) और n अतिपरवलयिक स्थानांतरण, जो रूप लेते हैं
जहाँ स्थानांतरणित दूरी है (इस स्थिति में x अक्ष के साथ), और दूसरी पंक्ति/स्तंभ को एक अलग जोड़ी के साथ एक अलग अक्ष के साथ स्थानांतरण में बदलने के लिए आदान-प्रदान किया जा सकता है। वेक्टर के साथ 3 आयामों में स्थानांतरण का सामान्य रूप है:
- जहाँ .
यह स्वाभाविक रूप से अधिक आयामों तक विस्तारित होता है, और जब आप सापेक्षता-विशिष्ट शर्तों को हटाते हैं तो यह लोरेंत्ज़ रूपांतरण उपयुक्त रूपांतरणों का सरलीकृत संस्करण भी होता है।
समदूरीकता के समूहों के उदाहरण
अतिपरवलयज मॉडल के सभी समदूरीकता का समूह O+(1,n ) है समदूरीकता का कोई भी समूह इसका एक उपसमूह है।
प्रतिबिंब
दो अंक के लिए , उनका आदान-प्रदान करने वाला एक अद्वितीय प्रतिबिंब है।
मान लीजिए . ध्यान दें कि , और इसलिए .
तब
एक प्रतिबिंब है जो आदान-प्रदान करता है और . यह निम्नलिखित आव्यूह के बराबर है:
(ब्लॉक आव्यूह संकेतन के उपयोग पर ध्यान दें)।
तब समदूरीकता का एक समूह है। ऐसे सभी उपसमूह संयुग्मी वर्ग उपसमूहों और सामान्य उपसमुच्चयों की संयुग्मता हैं।
घूर्णन और प्रतिबिंब
घूर्णन और परावर्तनों का समूह है जो संरक्षित करता है फलन इस समूह के लिए लंबकोणीय समूह O(n) से एक समूह समरूपता है। किसी भी बिंदु के लिए , यदि एक समदूरीकता है जो को मानचित्रण करती है तब घूर्णनों और परावर्तनों का समूह है जो संरक्षित करता है।
स्थानांतरण
किसी भी वास्तविक संख्या के लिए , एक स्थानांतरण है
यह दूरी का स्थानांतरण है धनात्मक x दिशा में यदि या दूरी का नकारात्मक x दिशा में यदि दूरी का कोई भी स्थानांतरण से संयुग्मित और समुच्चय x-अक्ष के माध्यम से स्थानांतरण का समूह है, और समदूरीकता का एक समूह इसके साथ संयुग्मित है यदि और केवल यदि यह एक रेखा के माध्यम से समदूरीकता का समूह है।
उदाहरण के लिए, मान लें कि हम एक पंक्ति के माध्यम से स्थानांतरणों के समूह को खोजना चाहते हैं मान लीजिए एक समदूरीकता बनें जो को प्रतिचित्रण करता है और एक समदूरीकता बनें जो परिशुद्ध करता है और मानचित्र को द्वारा प्रतिचित्रण करता है एक ऐसा उदाहरण एक प्रतिबिंब विनिमय है और (यह मानते हुए कि वे भिन्न हैं), क्योंकि वे दोनों एक ही दूरी से हैं तब एक समदूरीकता को और धनात्मक x-अक्ष पर एक बिंदु प्रतिचित्रण है पंक्ति के माध्यम से दूरी का स्थानांतरण है यदि , वह उस दिशा में है। यदि , वह दिशा में है। तब के माध्यम से स्थानांतरण का समूह है।
राशिफल की समरूपता
मान लीजिए H कुछ होरोस्फीयर (राशिफल) है जैसे प्रारूप के बिंदु एकपक्षीय रूप से बड़े x के लिए इसके अंदर हैं। किसी भी वेक्टर b के लिए
एक होरोरोटेशन है जो H को स्वयं से प्रतिचित्रण करता है। इस तरह के होरोरोटेशन का समुच्चय H को संरक्षित करने वाले होरोरोटेशन का समूह है। सभी हॉरोटेशन एक दूसरे से संयुग्मित होते हैं।
किसी के लिए में O(n-1)
एक घूर्णन या प्रतिबिंब है जो H और x -अक्ष को संरक्षित करता है। ये होरोरोटेशन, घूर्णन और प्रतिबिंब H के समरूपता के समूह को उत्पन्न करते हैं। किसी भी होरोस्फीयर का समरूपता समूह इसके साथ संयुग्मित होता है। वे यूक्लिडियन समूह E(n-1) के समरूपी हैं।
इतिहास
1878-1885 के बीच कई पत्रों में, विल्हेम किलिंग[2][3][4] लोबचेवस्कियन ज्यामिति के लिए उन्होंने कार्ल वीयरस्ट्रास को अधीन प्रतिनिधित्व का उपयोग किया। विशेष रूप से, उन्होंने द्विघात रूपों पर चर्चा की जैसे या एकपक्षीय आयामों में , जहाँ वक्रता का पारस्परिक माप है, यूक्लिडियन ज्यामिति, अण्डाकार ज्यामिति, और अतिपरवलयिक ज्यामिति को दर्शाता है।
जेरेमी ग्रे (1986) के अनुसार,[5] हेनरी पोंकारे ने 1880 में अपने व्यक्तिगत नोट्स में अतिपरवलयज मॉडल का उपयोग किया। पोंकारे ने 1881 में अपने परिणाम प्रकाशित किए, जिसमें उन्होंने द्विघात रूप के व्युत्क्रम पर चर्चा की [6] ग्रे दिखाता है कि पोनकारे द्वारा बाद के लेखन में अतिपरवलयज मॉडल निहित है।[7]
इसके अतिरिक्त 1882 में होमर्शम कॉक्स (गणितज्ञ)।[8][9] उपयोग किए गए वीयरस्ट्रैस निर्देशांक (इस नाम का उपयोग किए बिना) संबंध को साथ ही को पूर्ण करते हैं
1891 में अल्फ्रेड क्लेब्सच और फर्डिनेंड लिंडमैन द्वारा मॉडल के आगे के संबंध और पर चर्चा की गई।[10]
जेरार्ड (1892),[11] फेलिक्स हॉसडॉर्फ (1899),[12] फ्रेडरिक एस. वुड्स (1903)],[13] हेनरिक लिबमैन (1905) द्वारा वीयरस्ट्रास निर्देशांक का भी उपयोग किया गया था।[14]
समष्टि विश्लेषण में अपने पत्र (1894) में अलेक्जेंडर मैकफर्लेन द्वारा अतिपरवलयज को एक मीट्रिक समष्टि के रूप में खोजा गया था। उन्होंने नोट किया कि अतिपरवलयज पर बिन्दुओं को इस प्रकार लिखा जा सकता है
जहां α अतिपरवलय अक्ष के लिए एक आधार सदिश लंबकोणीय है। उदाहरण के लिए, उन्होंने अपने भौतिकी के बीजगणित के उपयोग के माध्यम से कोसाइन के अतिपरवलयिक नियम को प्राप्त किया।[1]
एच. जानसन ने अतिपरवलयज मॉडल को अपने 1909 के पेपर ''रिप्रेजेंटेशन ऑफ़ हाइपरबोलिक ज्योमेट्री ऑन ए टू शीटेड हाइपरबोलॉइड'' का स्पष्ट केंद्र बनाया।[15] 1993 में डब्ल्यू.एफ. रेनॉल्ड्स ने अमेरिकन मैथमैटिकल मंथली में अपने लेख में मॉडल के कुछ प्रारम्भिक इतिहास का वर्णन किया।[16]
बीसवीं शताब्दी तक एक सामान्य मॉडल होने के बाद, इसकी पहचान 1907 में गोटिंगेन व्याख्यान 'द रिलेटिविटी प्रिंसिपल' में हरमन मिन्कोव्स्की द्वारा गेशविंडिग्केइट्सवेक्टरन (वेग वैक्टर) के साथ की गई थी। स्कॉट वाल्टर, अपने 1999 के पेपर द नॉन-यूक्लिडियन स्टाइल ऑफ़ मिंकोव्स्की रिलेटिविटी में[17] मिन्कोव्स्की की अभिज्ञता को खण्डन करते हैं, लेकिन वेइरस्ट्रास और किलिंग के अतिरिक्त मॉडल के परंपरा को हरमन हेल्महोल्ट्ज़ के लिए पता लगाते हैं।
सापेक्षता के प्रारम्भिक वर्षों में वेग की भौतिकी की व्याख्या करने के लिए व्लादिमीर वरिकैक द्वारा अतिपरवलयज मॉडल का उपयोग किया गया था। 1912 में जर्मन गणितीय संघ के अपने भाषण में उन्होंने वेइरस्ट्रास निर्देशांकों का उल्लेख किया।[18]
यह भी देखें
- पॉइनकेयर डिस्क मॉडल
- अतिपरवलयिक चतुष्कोण
नोट्स और संदर्भ
- ↑ 1.0 1.1 Alexander Macfarlane (1894) Papers on Space Analysis, B. Westerman, New York, weblink from archive.org
- ↑ Killing, W. (1878) [1877]. "Ueber zwei Raumformen mit constanter positiver Krümmung". Journal für die Reine und Angewandte Mathematik. 86: 72–83.
- ↑ Killing, W. (1880) [1879]. "गैर-यूक्लिडियन स्थानिक रूपों में गणना". Journal für die Reine und Angewandte Mathematik. 89: 265–287.
- ↑ Killing, W. (1885). गैर-यूक्लिडियन स्थानिक रूप. Leipzig.
{{cite book}}: CS1 maint: location missing publisher (link) - ↑ Linear differential equations and group theory from Riemann to Poincaré (pages 271,2)
- ↑ Poincaré, H. (1881). "Sur les applications de la géométrie non-euclidienne à la théorie des formes quadratiques" (PDF). Association Française Pour l'Avancement des Sciences. 10: 132–138.
- ↑ See also Poincaré: On the fundamental hypotheses of geometry 1887 Collected works vol.11, 71-91 and referred to in the book of B.A. Rosenfeld A History of Non-Euclidean Geometry p.266 in English version (Springer 1988).
- ↑ Cox, H. (1881). "काल्पनिक ज्यामिति में सजातीय निर्देशांक और बलों की प्रणालियों के लिए उनका अनुप्रयोग". The Quarterly Journal of Pure and Applied Mathematics. 18 (70): 178–192.
- ↑ Cox, H. (1882) [1881]. "काल्पनिक ज्यामिति में सजातीय निर्देशांक और बलों की प्रणालियों के लिए उनका अनुप्रयोग (जारी)". The Quarterly Journal of Pure and Applied Mathematics. 18 (71): 193–215.
- ↑ Lindemann, F. (1891) [1890]. Vorlesungen über Geometrie von Clebsch II. Leipzig. p. 524.
{{cite book}}: CS1 maint: location missing publisher (link) - ↑ Gérard, L. (1892). Sur la géométrie non-Euclidienne. Paris: Gauthier-Villars.
- ↑ Hausdorff, F. (1899). "Analytische Beiträge zur nichteuklidischen Geometrie". Leipziger Math.-Phys. Berichte. 51: 161–214. hdl:2027/hvd.32044092889328.
- ↑ Woods, F. S. (1905) [1903]. "गैर-यूक्लिडियन अंतरिक्ष के रूप". The Boston Colloquium: Lectures on Mathematics for the Year 1903: 31–74.
- ↑ Liebmann, H. (1905) [1904]. गैर-यूक्लिडियन ज्यामिति. Leipzig: Göschen.
- ↑ Abbildung hyperbolische Geometrie auf ein zweischaliges Hyperboloid Mitt. Math. Gesellsch Hamburg 4:409–440.
- ↑ Reynolds, William F. (1993) "Hyperbolic geometry on a hyperboloid", American Mathematical Monthly 100:442–55, Jstor link
- ↑ Walter, Scott A. (1999), "The non-Euclidean style of Minkowskian relativity", in J. Gray (ed.), The Symbolic Universe: Geometry and Physics 1890-1930, Oxford University Press, pp. 91–127
- ↑ Varićak, V. (1912), , Jahresbericht der Deutschen Mathematiker-Vereinigung, 21: 103–127
- Alekseevskij, D.V.; Vinberg, E.B.; Solodovnikov, A.S. (1993), Geometry of Spaces of Constant Curvature, Encyclopaedia of Mathematical Sciences, Berlin, New York: Springer-Verlag, ISBN 978-3-540-52000-9
- Anderson, James (2005), Hyperbolic Geometry, Springer Undergraduate Mathematics Series (2nd ed.), Berlin, New York: Springer-Verlag, ISBN 978-1-85233-934-0
- Ratcliffe, John G. (1994), Foundations of hyperbolic manifolds, Berlin, New York: Springer-Verlag, ISBN 978-0-387-94348-0, अध्याय 3
- माइल्स रीड एंड बालाज़ सज़ेंड्रोई (2005) ज्यामिति और टोपोलॉजी, चित्र 3.10, पृष्ठ 45, कैम्ब्रिज यूनिवर्सिटी प्रेस, ISBN 0-521-61325-6, MR2194744.
- Ryan, Patrick J. (1986), Euclidean and non-Euclidean geometry: An analytical approach, Cambridge, London, New York, New Rochelle, Melbourne, Sydney: Cambridge University Press, ISBN 978-0-521-25654-4
- Parkkonen, Jouni. "अतिशयोक्तिपूर्ण ज्यामिति" (PDF). Retrieved September 5, 2020.
{{cite web}}: CS1 maint: url-status (link)
श्रेणी:बहुआयामी ज्यामिति श्रेणी:अतिपरवलयिक ज्यामिति श्रेणी:मिन्कोस्की समष्टिटाइम