मिन्कोव्स्की समष्टि: Difference between revisions
No edit summary |
|||
Line 91: | Line 91: | ||
तब, <math>\mathfrak M</math> किसी बिन्दु के लिए मिन्कोव्स्की समष्टि है तथा <math>P</math> अवशेष <math>\mathfrak A_P</math> एक सजातीय समष्टि है।}} | तब, <math>\mathfrak M</math> किसी बिन्दु के लिए मिन्कोव्स्की समष्टि है तथा <math>P</math> अवशेष <math>\mathfrak A_P</math> एक सजातीय समष्टि है।}} | ||
=== न्यूनतम | === न्यूनतम प्रारूप === | ||
[[File:Minkowski-minimal-model.svg|300px|thumb|मिन्कोव्स्की समष्टि: न्यूनतम मॉडल]] | [[File:Minkowski-minimal-model.svg|300px|thumb|मिन्कोव्स्की समष्टि: न्यूनतम मॉडल]]मिन्कोव्स्की समष्टि का न्यूनतम प्रारूप समुच्चय <math>\overline{K}:=\{0,1,\infty\}</math> पर स्थापित किया जा सकता है<math display="block">\mathcal {P} := \overline{K}^2 </math><math display="block">\begin{align} | ||
<math>\overline{K}:=\{0,1,\infty\}</math> | |||
<math display="block">\mathcal {P} := \overline{K}^2 </math> | |||
<math display="block">\begin{align} | |||
\mathcal Z :\!&= \left\{ \{ (a_1,b_1),(a_2,b_2),(a_3,b_3) \} \mid \{a_1,a_2,a_3\} = \{b_1,b_2,b_3\} = \overline{K} \right\} \\ | \mathcal Z :\!&= \left\{ \{ (a_1,b_1),(a_2,b_2),(a_3,b_3) \} \mid \{a_1,a_2,a_3\} = \{b_1,b_2,b_3\} = \overline{K} \right\} \\ | ||
&= \{ | &= \{ | ||
Line 103: | Line 98: | ||
&\qquad\{ (0,1), (1,0), (\infty,\infty) \}, \; \{ (0,1), (1,\infty), (\infty,0) \}, \\ | &\qquad\{ (0,1), (1,0), (\infty,\infty) \}, \; \{ (0,1), (1,\infty), (\infty,0) \}, \\ | ||
&\qquad\{ (0,\infty), (1,1), (\infty,0) \}, \; \{ (0,\infty), (1,0), (\infty,1) \} \} | &\qquad\{ (0,\infty), (1,1), (\infty,0) \}, \; \{ (0,\infty), (1,0), (\infty,1) \} \} | ||
\end{align}</math> समानांतर | \end{align}</math> समानांतर बिन्दु: | ||
*<math> (x_1,y_1) \parallel_+ (x_2,y_2) </math> यदि और केवल यदि <math> x_1 = x_2 </math> *<math>(x_1,y_1)\parallel_- (x_2,y_2)</math> यदि और केवल यदि <math> y_1 = y_2 </math>. | *<math> (x_1,y_1) \parallel_+ (x_2,y_2) </math> यदि और केवल यदि <math> x_1 = x_2 </math> *<math>(x_1,y_1)\parallel_- (x_2,y_2)</math> यदि और केवल यदि <math> y_1 = y_2 </math>. | ||
Line 109: | Line 104: | ||
=== परिमित मिन्कोव्स्की-समष्टि === | === परिमित मिन्कोव्स्की-समष्टि === | ||
परिमित मिन्कोव्स्की- | परिमित मिन्कोव्स्की-समष्टियों को हम C1', C2' से प्राप्त करते हैं: | ||
{{math theorem | name = Lemma | math_statement = Let be <math>\mathfrak M =(\mathcal P, \mathcal Z; \parallel_+, \parallel_-,\in)</math> a finite Minkowski plane, i.e. <math> \left| \mathcal P \right| < \infty </math>. For any pair of cycles <math> z_1 , z_2 </math> and any pair of generators <math> e_1 , e_2 </math> we have: | {{math theorem | name = Lemma | math_statement = Let be <math>\mathfrak M =(\mathcal P, \mathcal Z; \parallel_+, \parallel_-,\in)</math> a finite Minkowski plane, i.e. <math> \left| \mathcal P \right| < \infty </math>. For any pair of cycles <math> z_1 , z_2 </math> and any pair of generators <math> e_1 , e_2 </math> we have: | ||
<math> \left| z_1 \right| = \left| z_2 \right| = \left| e_1 \right| = \left| e_2 \right| </math>.}} | <math> \left| z_1 \right| = \left| z_2 \right| = \left| e_1 \right| = \left| e_2 \right| </math>.}} | ||
यह परिभाषा को जन्म देता है:<br /> | यह निम्नलिखित परिभाषा को जन्म देता है:<br />एक परिमित मिन्कोव्स्की समष्टि और एक चक्र <math>z</math> को हम पूर्णांक कहते हैं जहाँ <math> n = \left| z \right| - 1 </math> के लिए <math>{\mathfrak M}</math>. | ||
एक परिमित मिन्कोव्स्की समष्टि | |||
सरल संयोजी विचार उपज | सरल संयोजी विचार उपज | ||
{{math theorem | name = Lemma | math_statement = | {{math theorem | name = Lemma | math_statement = एक परिमित मिन्कोव्स्की समष्टि के लिए <math> \mathfrak M = (\mathcal P , \mathcal Z ; \parallel_+ , \parallel_- , \in ) </math> निम्नलिखित कथन सत्य है: | ||
{{ordered list | list-style-type = lower-alpha | {{ordered list | list-style-type = lower-alpha | ||
| | | किसी भी अवशेष (एफ़िन समष्टि) में <math>n</math>. | ||
| <math> \left| \mathcal P \right| = ( n + 1 ) ^2 </math>, | | <math> \left| \mathcal P \right| = ( n + 1 ) ^2 </math>, | ||
| <math> \left| \mathcal Z \right| = ( n + 1) n ( n - 1 ) </math>. | | <math> \left| \mathcal Z \right| = ( n + 1) n ( n - 1 ) </math>. | ||
}}}} | }} श्रेणी है}} | ||
== मिक्वेलियन मिन्कोव्स्की समष्टि == | == मिक्वेलियन मिन्कोव्स्की समष्टि == | ||
Line 164: | Line 158: | ||
==बाहरी संबंध== | ==बाहरी संबंध== | ||
* [https://encyclopediaofmath.org/wiki/Benz_plane Benz plane] in the ''[[Encyclopedia of Mathematics]]'' | * [https://encyclopediaofmath.org/wiki/Benz_plane Benz plane] in the ''[[Encyclopedia of Mathematics]]'' | ||
*[http://www.mathematik.tu-darmstadt.de/~ehartmann/circlegeom.pdf Lecture Note '''''Planar Circle Geometries''''', an Introduction to Moebius-, Laguerre- and | *[http://www.mathematik.tu-darmstadt.de/~ehartmann/circlegeom.pdf Lecture Note '''''Planar Circle Geometries''''', an Introduction to Moebius-, Laguerre- and मिन्कोव्स्की Planes] | ||
[[Category: विमान (ज्यामिति)]] | [[Category: विमान (ज्यामिति)]] | ||
Revision as of 23:35, 14 May 2023
गणित में, हरमन मिन्कोव्स्की के नाम पर मिन्कोव्स्की समष्टि बेंज समष्टियों में से एक है। अन्य समष्टियाँ, मोबियस समष्टि और लागुएरे समष्टि हैं।
पारंपरिक वास्तविक मिन्कोव्स्की समष्टि
छद्म यूक्लिडियन दूरी को दो बिंदुओं पर यूक्लिडियन दूरी के अतिरिक्त हमें हाइपरबोला की ज्यामिति मिलती है, क्योंकि एक छद्म-यूक्लिडियन वृत्त मध्यबिंदु के साथ एक अतिपरवलय है। .
, निर्देशांक के परिवर्तन से छद्म-यूक्लिडियन दूरी को के रूप में पुनः लिखा जा सकता है। अतिपरवलय में गैर-प्राइमेड निर्देशांक, अक्षों के समानांतर स्पर्शोन्मुख होते हैं।
निम्नलिखित समीकरण अतिपरवलय की ज्यामिति को समरूप बनाता है:
- 'अंक' का समुच्चय:
- चक्रों का समुच्चय
घटना संरचना को पारंपरिक वास्तविक मिन्कोव्स्की समष्टि कहा जाता है।
बिंदुओं के समूह , की दो प्रतियाँ और बिंदु में सम्मिलित हैं .
किसी रेखा को बिन्दुवार पूरा किया गया है , किसी अतिपरवलय को दो बिंदुओं से पूरा किया जाता है।
यदि या है तों दो बिंदु को एक चक्र से नहीं युग्मित किया जा सकता है।
हम परिभाषित करते हैं: दो बिंदु , () के (+)-समानांतर है यदि और है।
ये दोनों संबंध बिंदुओं के समुच्चय पर तुल्यता संबंध हैं।
दो बिंदु समानांतर कहा जाता है यदि या .
उपरोक्त परिभाषा से हम पाते हैं:
लेम्मा:
- गैर समानांतर बिंदुओं के किसी भी युग्म के लिए ठीक एक बिंदु के साथ .समानांतर है।
- किसी भी बिंदु और कोई चक्र के लिए साथ . ठीक दो बिंदु हैं।
- किन्हीं तीन बिंदुओं , , , के लिए एक युग्मित गैर समानांतर चक्र है, जिसमें सम्मिलित है।
- किसी भी चक्र के लिए , किसी बिंदु और के लिए एक चक्र इस प्रकार उपलब्ध है कि ।
पारंपरिक मोबियस और लागुएर समिष्ट की तरह, मिंकोव्स्की समिष्ट भी एक उपयुक्त क्वाड्रेटिक के समसमष्टि खंडों की ज्यामिति के रूप में वर्णित किया जा सकता है।
परंतु इस परिप्रेक्ष्य में, क्वाड्रेटिक परियोजक 3-समष्टि में होती है।: पारंपरिक वास्तविक मिंकोव्स्की समष्टि एक शीट वाले हाइपरबोलाइड के समसमष्टि खंडों की ज्यामिति के समान निर्मित होता है।
मिंकोस्की समष्टि के स्वयंसिद्ध
मान लीजिए की समुच्चय के साथ बिंदुओं की एक घटना संरचना हो तथा समुच्चय चक्रों और दो तुल्यता संबंध ((+) - समानांतर) और ((-)-समानांतर) समुच्चय पर के लिए परिभाषित किया जाता है। के लिए निम्नलिखित संबंध दिया गया है
: और .
एक समतुल्य वर्ग या क्रमशः (+)-जनित्र और (-)-जनित्र कहलाते हैं।
दो बिंदु को समानांतर () कहा जाता है यदि या होता है।
एक घटना संरचना निम्नलिखित अभिगृहीतों के अनुसार मिन्कोवस्की समष्टि कहा जाता है:
* C1: गैर समानांतर बिंदुओं के किसी भी युग्म के लिए एक बिंदु है जहाँ है।
- C2: किसी भी बिंदु के लिए और कोई चक्र ठीक दो बिंदु हैं साथ .
- C3: किन्हीं तीन बिंदुओं के लिए , युग्मित गैर समानांतर चक्र है जिसमें है .
- C4: किसी भी चक्र क े लिए, कोई बिंदु और कोई बिंदु और ठीक एक चक्र उपलब्ध है जहाँ है अर्थात और बिंदु पर अवस्थित है।
- C5: किसी भी चक्र में कम से कम 3 बिंदु होते हैं। कम से कम एक चक्र है और एक बिंदु है।
जांच के लिए समानांतर वर्गों (क्रमशः C1, C2 के समान) पर निम्नलिखित कथन उपयोगी हैं।
- C1′: किन्हीं दो बिंदुओं के लिए के लिए .
- C2': किसी भी बिंदु के लिए और किसी चक्र के लिए: .
स्वयंसिद्धों के पहले परिणाम हैं
Lemma — मिन्कोव्स्की समष्टि के लिए निम्नलिखित कथन सत्य है
- कोई भी बिंदु कम से कम एक चक्र में समाहित है.
- किसी भी जनित्र में कम से कम 3 बिन्दु होते हैं.
- दो बिंदुओं को एक चक्र से जोड़ा जा सकता है यदि और केवल यदि वे समानांतर नहीं हैं।
मोबियस और लैगुएरे समष्टिों के अनुरूप हम रैखिक अवशेषों के माध्यम से ज्यामिति संबंध प्राप्त करते हैं।
मिन्कोव्स्की समष्टि के लिए और स्थानीय संरचना को परिभाषित करते हैं
पारंपरिक मिन्कोव्स्की समष्टि के लिए असली एफ़िन समष्टि है .
अभिगृहीत C1 से C4 और C1', C2' के तात्कालिक परिणाम निम्नलिखित दो प्रमेय हैं।
Theorem — मिन्कोव्स्की समष्टि के लिए कोई भी अवशेष एक सजातीय समष्टि है।
Theorem — माना दो तुल्यता संबंधों के साथ एक घटना संरचना है और बिन्दुओ के समुच्चय पर .
तब, किसी बिन्दु के लिए मिन्कोव्स्की समष्टि है तथा अवशेष एक सजातीय समष्टि है।
न्यूनतम प्रारूप
मिन्कोव्स्की समष्टि का न्यूनतम प्रारूप समुच्चय पर स्थापित किया जा सकता है
- यदि और केवल यदि * यदि और केवल यदि .
इस तरह और .
परिमित मिन्कोव्स्की-समष्टि
परिमित मिन्कोव्स्की-समष्टियों को हम C1', C2' से प्राप्त करते हैं:
Lemma — Let be a finite Minkowski plane, i.e. . For any pair of cycles and any pair of generators we have: .
यह निम्नलिखित परिभाषा को जन्म देता है:
एक परिमित मिन्कोव्स्की समष्टि और एक चक्र को हम पूर्णांक कहते हैं जहाँ के लिए .
सरल संयोजी विचार उपज
Lemma — एक परिमित मिन्कोव्स्की समष्टि के लिए निम्नलिखित कथन सत्य है:
- किसी भी अवशेष (एफ़िन समष्टि) में .
- ,
- .
मिक्वेलियन मिन्कोव्स्की समष्टि
पारंपरिक वास्तविक मॉडल का सामान्यीकरण करके हमें मिन्कोव्स्की समष्टिों के सबसे महत्वपूर्ण उदाहरण मिलते हैं: बस प्रतिस्थापित करें एक मनमाना क्षेत्र (गणित) द्वारा तब हम किसी भी स्थिति में मिन्कोव्स्की समष्टि प्राप्त करते हैं .
मोबियस और लैगुएरे समष्टिों के अनुरूप मिकेल की प्रमेय मिंकोव्स्की समष्टि की एक विशिष्ट संपत्ति है .
प्रमेय (मिकेल): मिंकोव्स्की समष्टि के लिए निम्नलिखित सत्य है:
- यदि किन्हीं 8 जोड़ों के लिए समांतर बिंदु नहीं हैं जिसे एक घन के शीर्षों पर नियत किया जा सकता है, जैसे कि 5 चेहरों में बिंदु चक्रीय चतुर्भुज के अनुरूप होते हैं, तो अंक का छठा चौगुना चक्रीय भी होता है।
(आकृति में बेहतर अवलोकन के लिए अतिपरवलय के बजाय वृत्त खींचे गए हैं।)
प्रमेय (चेन): केवल एक मिन्कोव्स्की समष्टि मिकेल के प्रमेय को संतुष्ट करता है।
अंतिम प्रमेय के कारण मिक्वेलियन मिन्कोवस्की समष्टि कहा जाता है।
टिप्पणी: मिंकोव्स्की समष्टि का न्यूनतम मॉडल मिक्वेलियन है।
- यह मिंकोवस्की समष्टि के लिए तुल्याकारी है साथ (मैदान ).
आश्चर्यजनक परिणाम है
प्रमेय (हेइज़): सम क्रम का कोई भी मिन्कोवस्की समष्टि मिक्वेलियन होता है।
टिप्पणी: एक उपयुक्त त्रिविम प्रक्षेपण दिखाता है: आइसोमॉर्फिक है फ़ील्ड के ऊपर प्रोजेक्टिव 3-स्पेस में एक शीट (सूचकांक 2 का द्विघात ) के हाइपरबोलॉइड पर समसमष्टि खंडों की ज्यामिति के लिए .
टिप्पणी: बहुत सारे मिन्कोवस्की समष्टि हैं जो मिक्वेलियन नहीं हैं (नीचे वेबलिंक है)। लेकिन मोबियस और लैगुएरे समष्टिों के विपरीत, कोई अंडाकार मिन्कोव्स्की समष्टि नहीं हैं। क्योंकि प्रोजेक्टिव 3-स्पेस में इंडेक्स 2 का कोई द्विघात समुच्चय क्वाड्रिक है (द्विघात समुच्चय देखें)।
यह भी देखें
संदर्भ
- Walter Benz (1973) Vorlesungen über Geomerie der Algebren, Springer
- Francis Buekenhout (editor) (1995) Handbook of Incidence Geometry, Elsevier ISBN 0-444-88355-X