मिन्कोव्स्की समष्टि: Difference between revisions

From Vigyanwiki
No edit summary
Line 7: Line 7:
[[Image:Minkowski-2d3d-model.svg|300px|thumb|पारंपरिक मिन्कोवस्की समष्टि: 2d/3d-मॉडल]][[छद्म यूक्लिडियन]] दूरी को  दो बिंदुओं <math>d(P_1,P_2) = (x'_1-x'_2)^2 - (y'_1-y'_2)^2</math> पर <math>P_i = (x'_i, y'_i)</math> यूक्लिडियन दूरी के अतिरिक्त हमें हाइपरबोला की ज्यामिति मिलती है, क्योंकि एक छद्म-यूक्लिडियन वृत्त <math>\{P\in \R^2 \mid d(P,M)=r\}</math> मध्यबिंदु <math>M</math> के साथ एक अतिपरवलय है।  .
[[Image:Minkowski-2d3d-model.svg|300px|thumb|पारंपरिक मिन्कोवस्की समष्टि: 2d/3d-मॉडल]][[छद्म यूक्लिडियन]] दूरी को  दो बिंदुओं <math>d(P_1,P_2) = (x'_1-x'_2)^2 - (y'_1-y'_2)^2</math> पर <math>P_i = (x'_i, y'_i)</math> यूक्लिडियन दूरी के अतिरिक्त हमें हाइपरबोला की ज्यामिति मिलती है, क्योंकि एक छद्म-यूक्लिडियन वृत्त <math>\{P\in \R^2 \mid d(P,M)=r\}</math> मध्यबिंदु <math>M</math> के साथ एक अतिपरवलय है।  .


निर्देशांक के परिवर्तन से <math>x_i = x'_i + y'_i</math>, <math>y_i = x'_i - y'_i</math>छद्म-यूक्लिडियन दूरी को <math>d(P_1,P_2) = (x_1 - x_2) (y_1 - y_2)</math> के रूप में पुनः लिखा जा सकता है। हाइपरबोलस में गैर-प्राइमेड निर्देशांक, अक्षों के समानांतर [[स्पर्शोन्मुख]] होते हैं।
<math>x_i = x'_i + y'_i</math>, <math>y_i = x'_i - y'_i</math> निर्देशांक के परिवर्तन से छद्म-यूक्लिडियन दूरी को <math>d(P_1,P_2) = (x_1 - x_2) (y_1 - y_2)</math> के रूप में पुनः लिखा जा सकता है। अतिपरवलय में गैर-प्राइमेड निर्देशांक, अक्षों के समानांतर [[स्पर्शोन्मुख]] होते हैं।


निम्नलिखित समापन हाइपरबोलस की ज्यामिति को समरूप बनाता है:
निम्नलिखित समीकरण अतिपरवलय की ज्यामिति को समरूप बनाता है:


* 'अंक' का समुच्चय: <math display="block">\mathcal P := \left(\R \cup \left\{\infty\right\}\right)^2 =
* 'अंक' का समुच्चय: <math display="block">\mathcal P := \left(\R \cup \left\{\infty\right\}\right)^2 =
Line 40: Line 40:
*किसी भी चक्र <math>z</math> के लिए , किसी बिंदु <math>P \in z</math>  <math>Q, P \not\parallel Q</math> और <math>Q \notin z</math> के लिए <math>z'</math> एक चक्र इस प्रकार उपलब्ध है कि <math>z \cap z' = \{P\}</math>।  
*किसी भी चक्र <math>z</math> के लिए , किसी बिंदु <math>P \in z</math>  <math>Q, P \not\parallel Q</math> और <math>Q \notin z</math> के लिए <math>z'</math> एक चक्र इस प्रकार उपलब्ध है कि <math>z \cap z' = \{P\}</math>।  


पारंपरिक मोबियस और लागुएर समिष्ट की तरह, मिंकोव्स्की समिष्ट भी एक उपयुक्त क्वाड्रेटिक के समतल खंडों की ज्यामिति के रूप में वर्णित किया जा सकता है।  
पारंपरिक मोबियस और लागुएर समिष्ट की तरह, मिंकोव्स्की समिष्ट भी एक उपयुक्त क्वाड्रेटिक के समसमष्टि खंडों की ज्यामिति के रूप में वर्णित किया जा सकता है।  


परंतु इस परिप्रेक्ष्य में, क्वाड्रेटिक परियोजक 3-समष्टि में होती है।: पारंपरिक वास्तविक मिंकोव्स्की समष्टि एक शीट वाले हाइपरबोलाइड के समतल खंडों की ज्यामिति के समान निर्मित होता है।
परंतु इस परिप्रेक्ष्य में, क्वाड्रेटिक परियोजक 3-समष्टि में होती है।: पारंपरिक वास्तविक मिंकोव्स्की समष्टि एक शीट वाले हाइपरबोलाइड के समसमष्टि खंडों की ज्यामिति के समान निर्मित होता है।


== मिंकोस्की समतल के स्वयंसिद्ध ==
== मिंकोस्की समष्टि के स्वयंसिद्ध ==


होने देना <math> \left( {\mathcal P} , {\mathcal Z} ; \parallel_+ , \parallel_- , \in \right) </math> समुच्चय के साथ एक घटना संरचना हो <math>\mathcal P</math> बिंदुओं का, समुच्चय <math>\mathcal Z</math> चक्रों और दो तुल्यता संबंधों की <math>\parallel_+</math> ((+) - समानांतर) और <math>\parallel_-</math> ((-)-समानांतर) समुच्चय पर <math>\mathcal P</math>. के लिए <math>P\in \mathcal P</math> हम परिभाषित करते हैं:
मान लीजिए की <math> \left( {\mathcal P} , {\mathcal Z} ; \parallel_+ , \parallel_- , \in \right) </math> समुच्चय के साथ <math>\mathcal P</math> बिंदुओं की एक घटना संरचना हो तथा समुच्चय <math>\mathcal Z</math> चक्रों और दो तुल्यता संबंध <math>\parallel_+</math> ((+) - समानांतर) और <math>\parallel_-</math> ((-)-समानांतर) समुच्चय पर <math>\mathcal P</math> के लिए परिभाषित किया जाता है।  <math>P\in \mathcal P</math> के लिए निम्नलिखित संबंध दिया गया है  
<math> \overline{P}_+ := \left\{ Q \in \mathcal P \mid Q\parallel_+ P \right\} </math> और <math> \overline{P}_- := \left\{ Q \in \mathcal P \mid Q\parallel_- P \right\} </math>.
एक समतुल्य वर्ग <math>\overline{P}_+</math> या <math>\overline{P}_-</math> क्रमशः (+)-जनरेटर और (-)-जनरेटर कहलाते हैं। (पारंपरिक मिन्कोव्स्की समष्टि के अंतरिक्ष मॉडल के लिए एक जनरेटर हाइपरबोलॉइड पर एक रेखा है।)<br />
दो बिंदु <math> A , B </math> समानांतर कहा जाता है (<math> A \parallel B </math>) अगर <math> A \parallel_+ B </math> या <math> A \parallel_- B</math>.


एक घटना संरचना <math>\mathfrak M := ( \mathcal P , \mathcal Z ; \parallel_+ , \parallel_- , \in ) </math> निम्नलिखित अभिगृहीतों के अनुसार मिन्कोवस्की तल कहा जाता है:<br />
<nowiki>:</nowiki><math> \overline{P}_+ := \left\{ Q \in \mathcal P \mid Q\parallel_+ P \right\} </math> और <math> \overline{P}_- := \left\{ Q \in \mathcal P \mid Q\parallel_- P \right\} </math>.
 
एक समतुल्य वर्ग <math>\overline{P}_+</math> या <math>\overline{P}_-</math> क्रमशः (+)-जनित्र और (-)-जनित्र कहलाते हैं।<br />दो बिंदु <math> A , B </math> को समानांतर  (<math> A \parallel B </math>) कहा जाता है यदि <math> A \parallel_+ B </math> या <math> A \parallel_- B</math> होता है।
 
एक घटना संरचना <math>\mathfrak M := ( \mathcal P , \mathcal Z ; \parallel_+ , \parallel_- , \in ) </math> निम्नलिखित अभिगृहीतों के अनुसार मिन्कोवस्की समष्टि कहा जाता है:<br />
[[File:Minkowski-axioms-c1-c2.svg|thumb|मिन्कोवस्की-स्वयंसिद्ध-c1-c2]]
[[File:Minkowski-axioms-c1-c2.svg|thumb|मिन्कोवस्की-स्वयंसिद्ध-c1-c2]]
[[File:Minkowski-axioms-c3-c4.svg|thumb|मिन्कोवस्की-स्वयंसिद्ध-c3-c4]]* C1: गैर समानांतर बिंदुओं के किसी भी जोड़े के लिए <math>A,B</math> ठीक एक बिंदु है <math>C</math> साथ <math>A\parallel_+ C \parallel_- B </math>.
[[File:Minkowski-axioms-c3-c4.svg|thumb|मिन्कोवस्की-स्वयंसिद्ध-c3-c4]]* C1: गैर समानांतर बिंदुओं के किसी भी युग्म <math>A,B</math> के लिए  एक बिंदु <math>C</math> है जहाँ <math>A\parallel_+ C \parallel_- B </math> है।
* C2: किसी भी बिंदु के लिए <math>P</math> और कोई चक्र <math>z</math> ठीक दो बिंदु हैं <math> A , B \in z</math> साथ <math>A\parallel_+ P \parallel_- B </math>.
* C2: किसी भी बिंदु के लिए <math>P</math> और कोई चक्र <math>z</math> ठीक दो बिंदु हैं <math> A , B \in z</math> साथ <math>A\parallel_+ P \parallel_- B </math>.
* C3: किन्हीं तीन बिंदुओं के लिए <math>A,B,C</math>, जोड़ीदार गैर समानांतर, ठीक एक चक्र है <math>z</math> जिसमें है <math> A , B , C </math>.
* C3: किन्हीं तीन बिंदुओं के लिए <math>A,B,C</math>, युग्मित गैर समानांतर चक्र <math>z</math> है जिसमें <math> A , B , C </math><math> A , B , C </math> है .
* C4: किसी भी चक्र के लिए <math>z</math>, कोई बिंदु <math>P\in z</math> और कोई बिंदु <math> Q, P \not\parallel Q </math> और <math>Q\notin z</math> ठीक एक चक्र मौजूद है <math>z'</math> ऐसा है कि <math> z \cap z' = \{ P \} </math>, अर्थात।, <math>z</math> छू लेती है <math>z'</math> बिंदु पर <math> P </math>.
* C4: किसी भी चक्र <math>z</math>क े लिए, कोई बिंदु <math>P\in z</math> और कोई बिंदु <math> Q, P \not\parallel Q </math> और <math>Q\notin z</math> ठीक एक चक्र <math>z'</math> उपलब्ध है जहाँ <math> z \cap z' = \{ P \} </math> है अर्थात <math>z</math> और <math>z'</math> बिंदु <math> P </math> पर अवस्थित है।
* C5: किसी भी चक्र में कम से कम 3 बिंदु होते हैं। कम से कम एक चक्र है <math>z</math> और एक बिंदु <math>P</math> अंदर नही <math>z</math>.
* C5: किसी भी चक्र में कम से कम 3 बिंदु होते हैं। कम से कम एक चक्र <math>z</math> है और एक बिंदु <math>P</math> है।


जांच के लिए समानांतर वर्गों (क्रमशः C1, C2 के बराबर) पर निम्नलिखित कथन लाभप्रद हैं।
जांच के लिए समानांतर वर्गों (क्रमशः C1, C2 के समान) पर निम्नलिखित कथन उपयोगी हैं।
*C1′: किन्हीं दो बिंदुओं के लिए <math> A , B </math> अपने पास {{nowrap|<math> \left| \overline{A}_+ \cap\overline{B}_- \right| = 1 </math>.}}
*C1′: किन्हीं दो बिंदुओं के लिए <math> A , B </math> के लिए {{nowrap|<math> \left| \overline{A}_+ \cap\overline{B}_- \right| = 1 </math>.}}
*C2': किसी भी बिंदु के लिए <math> P </math> और कोई चक्र <math> z </math> अपने पास: {{nowrap|<math> \left| \overline{P}_+ \cap z \right | = 1 = \left| \overline{P}_- \cap z \right| </math>.}}
*C2': किसी भी बिंदु के लिए <math> P </math> और किसी चक्र <math> z </math> के लिए: {{nowrap|<math> \left| \overline{P}_+ \cap z \right | = 1 = \left| \overline{P}_- \cap z \right| </math>.}}


स्वयंसिद्धों के पहले परिणाम हैं
स्वयंसिद्धों के पहले परिणाम हैं
{{math theorem | name = Lemma | math_statement = For a Minkowski plane <math>{\mathfrak M}</math> the following is true
{{math theorem | name = Lemma | math_statement = मिन्कोव्स्की समष्टि के लिए <math>{\mathfrak M}</math> निम्नलिखित कथन सत्य है
{{ordered list | list-style-type = lower-alpha
{{ordered list | list-style-type = lower-alpha
| Any point is contained in at least one cycle.
| कोई भी बिंदु कम से कम एक चक्र में समाहित है.
| Any generator contains at least 3 points.
| किसी भी जनित्र में कम से कम 3 बिन्दु होते हैं.
| Two points can be connected by a cycle if and only if they are non parallel.
| दो बिंदुओं को एक चक्र से जोड़ा जा सकता है यदि और केवल यदि वे समानांतर नहीं हैं।
}}
}}
}}
}}
मोबियस और लैगुएरे समष्टिों के अनुरूप हम रैखिक से संबंध प्राप्त करते हैं
अवशेषों के माध्यम से ज्यामिति।


मिन्कोव्स्की समष्टि के लिए <math>\mathfrak M = (\mathcal P, \mathcal Z; \parallel_+, \parallel_-, \in)</math> और <math>P \in \mathcal P</math> हम स्थानीय संरचना को परिभाषित करते हैं
मोबियस और लैगुएरे समष्टिों के अनुरूप हम रैखिक अवशेषों के माध्यम से ज्यामिति संबंध प्राप्त करते हैं।
 
मिन्कोव्स्की समष्टि के लिए <math>\mathfrak M = (\mathcal P, \mathcal Z; \parallel_+, \parallel_-, \in)</math> और <math>P \in \mathcal P</math> स्थानीय संरचना को परिभाषित करते हैं
<math display="block">\mathfrak A_P:= (\mathcal P \setminus \overline{P},\{z \setminus\{\overline{P}\} \mid P \in z \in \mathcal Z\}
<math display="block">\mathfrak A_P:= (\mathcal P \setminus \overline{P},\{z \setminus\{\overline{P}\} \mid P \in z \in \mathcal Z\}
\cup \{E\setminus \overline{P} \mid E \in \mathcal E \setminus \{\overline{P}_+,\overline{P}_-\}\}, \in)</math>
\cup \{E\setminus \overline{P} \mid E \in \mathcal E \setminus \{\overline{P}_+,\overline{P}_-\}\}, \in)</math>
और इसे बिंदु P पर अवशेष कहते हैं।
और इसे बिंदु P पर अवशेष कहते हैं।


पारंपरिक मिन्कोव्स्की समष्टि के लिए <math>\mathfrak A_{(\infty,\infty)}</math> असली एफ़िन प्लेन है <math>\R^2</math>.
पारंपरिक मिन्कोव्स्की समष्टि के लिए <math>\mathfrak A_{(\infty,\infty)}</math> असली एफ़िन समष्टि <math>\R^2</math> है .


अभिगृहीत C1 से C4 और C1', C2' के तात्कालिक परिणाम निम्नलिखित दो प्रमेय हैं।
अभिगृहीत C1 से C4 और C1', C2' के तात्कालिक परिणाम निम्नलिखित दो प्रमेय हैं।


{{math theorem | For a Minkowski plane <math> \mathfrak M = ( \mathcal P , \mathcal Z ; \parallel_+ , \parallel , \in ) </math> any residue is an affine plane.}}
{{math theorem |
मिन्कोव्स्की समष्टि के लिए <math> \mathfrak M = ( \mathcal P , \mathcal Z ; \parallel_+ , \parallel , \in ) </math> कोई भी अवशेष एक सजातीय समष्टि है।}}


{{math theorem | Let be <math>\mathfrak M = (\mathcal P, \mathcal Z;\parallel_+,\parallel_-,\in)</math> an incidence structure with two equivalence relations <math>\parallel_+</math> and <math>\parallel_-</math> on the set <math>\mathcal P</math> of points (see above).
{{math theorem |माना <math>\mathfrak M = (\mathcal P, \mathcal Z;\parallel_+,\parallel_-,\in)</math> दो तुल्यता संबंधों के साथ एक घटना संरचना है <math>\parallel_+</math> और <math>\parallel_-</math> बिन्दुओ के समुच्चय पर <math>\mathcal P</math>.


Then, <math>\mathfrak M</math> is a Minkowski plane if and only if for any point <math>P</math> the residue <math>\mathfrak A_P</math> is an affine plane.}}
तब, <math>\mathfrak M</math> किसी बिन्दु के लिए मिन्कोव्स्की समष्टि है तथा <math>P</math> अवशेष <math>\mathfrak A_P</math> एक सजातीय समष्टि है।}}


=== न्यूनतम मॉडल ===
=== न्यूनतम मॉडल ===
Line 102: Line 104:
  &\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>.


इस तरह <math> \left| \mathcal P \right| = 9 </math> और <math> \left| \mathcal Z \right| = 6 </math>.
इस तरह <math> \left| \mathcal P \right| = 9 </math> और <math> \left| \mathcal Z \right| = 6 </math>.
Line 140: Line 142:


टिप्पणी: मिंकोव्स्की समष्टि का न्यूनतम मॉडल मिक्वेलियन है।
टिप्पणी: मिंकोव्स्की समष्टि का न्यूनतम मॉडल मिक्वेलियन है।
: यह मिंकोवस्की तल के लिए तुल्याकारी है <math>\mathfrak M(K) </math> साथ <math> K = \operatorname{GF}(2)</math> (मैदान <math>\{0,1\}</math>).
: यह मिंकोवस्की समष्टि के लिए तुल्याकारी है <math>\mathfrak M(K) </math> साथ <math> K = \operatorname{GF}(2)</math> (मैदान <math>\{0,1\}</math>).


आश्चर्यजनक परिणाम है
आश्चर्यजनक परिणाम है


प्रमेय (हेइज़): ''सम'' क्रम का कोई भी मिन्कोवस्की तल मिक्वेलियन होता है।
प्रमेय (हेइज़): ''सम'' क्रम का कोई भी मिन्कोवस्की समष्टि मिक्वेलियन होता है।


टिप्पणी: एक उपयुक्त [[त्रिविम प्रक्षेपण]] दिखाता है: <math>\mathfrak M(K) </math> आइसोमॉर्फिक है
टिप्पणी: एक उपयुक्त [[त्रिविम प्रक्षेपण]] दिखाता है: <math>\mathfrak M(K) </math> आइसोमॉर्फिक है
फ़ील्ड के ऊपर प्रोजेक्टिव 3-स्पेस में एक शीट (सूचकांक 2 का [[ द्विघात ]]) के हाइपरबोलॉइड पर समतल खंडों की ज्यामिति के लिए <math> K </math>.
फ़ील्ड के ऊपर प्रोजेक्टिव 3-स्पेस में एक शीट (सूचकांक 2 का [[ द्विघात ]]) के हाइपरबोलॉइड पर समसमष्टि खंडों की ज्यामिति के लिए <math> K </math>.


टिप्पणी: बहुत सारे मिन्कोवस्की समष्टि हैं जो मिक्वेलियन नहीं हैं (नीचे वेबलिंक है)। लेकिन मोबियस और लैगुएरे समष्टिों के विपरीत, कोई अंडाकार मिन्कोव्स्की समष्टि नहीं हैं। क्योंकि प्रोजेक्टिव 3-स्पेस में इंडेक्स 2 का कोई [[द्विघात सेट|द्विघात समुच्चय]] क्वाड्रिक है (द्विघात समुच्चय देखें)।
टिप्पणी: बहुत सारे मिन्कोवस्की समष्टि हैं जो मिक्वेलियन नहीं हैं (नीचे वेबलिंक है)। लेकिन मोबियस और लैगुएरे समष्टिों के विपरीत, कोई अंडाकार मिन्कोव्स्की समष्टि नहीं हैं। क्योंकि प्रोजेक्टिव 3-स्पेस में इंडेक्स 2 का कोई [[द्विघात सेट|द्विघात समुच्चय]] क्वाड्रिक है (द्विघात समुच्चय देखें)।

Revision as of 23:23, 14 May 2023

गणित में, हरमन मिन्कोव्स्की के नाम पर मिन्कोव्स्की समष्टि बेंज समष्टियों में से एक है। अन्य समष्टियाँ, मोबियस समष्टि और लागुएरे समष्टि हैं।

पारंपरिक वास्तविक मिन्कोव्स्की समष्टि

पारंपरिक मिन्कोवस्की समष्टि: 2d/3d-मॉडल

छद्म यूक्लिडियन दूरी को दो बिंदुओं पर यूक्लिडियन दूरी के अतिरिक्त हमें हाइपरबोला की ज्यामिति मिलती है, क्योंकि एक छद्म-यूक्लिडियन वृत्त मध्यबिंदु के साथ एक अतिपरवलय है। .

, निर्देशांक के परिवर्तन से छद्म-यूक्लिडियन दूरी को के रूप में पुनः लिखा जा सकता है। अतिपरवलय में गैर-प्राइमेड निर्देशांक, अक्षों के समानांतर स्पर्शोन्मुख होते हैं।

निम्नलिखित समीकरण अतिपरवलय की ज्यामिति को समरूप बनाता है:

  • 'अंक' का समुच्चय:
  • चक्रों का समुच्चय

घटना संरचना को पारंपरिक वास्तविक मिन्कोव्स्की समष्टि कहा जाता है।

बिंदुओं के समूह , की दो प्रतियाँ और बिंदु में सम्मिलित हैं .

किसी रेखा को बिन्दुवार पूरा किया गया है , किसी अतिपरवलय को दो बिंदुओं से पूरा किया जाता है।

यदि या है तों दो बिंदु को एक चक्र से नहीं युग्मित किया जा सकता है।

हम परिभाषित करते हैं: दो बिंदु , () के (+)-समानांतर है यदि और है।
ये दोनों संबंध बिंदुओं के समुच्चय पर तुल्यता संबंध हैं।

दो बिंदु समानांतर कहा जाता है यदि या .

उपरोक्त परिभाषा से हम पाते हैं:

लेम्मा:

  • गैर समानांतर बिंदुओं के किसी भी युग्म के लिए ठीक एक बिंदु के साथ .समानांतर है।
  • किसी भी बिंदु और कोई चक्र के लिए साथ . ठीक दो बिंदु हैं।
  • किन्हीं तीन बिंदुओं , , , के लिए एक युग्मित गैर समानांतर चक्र है, जिसमें सम्मिलित है।
  • किसी भी चक्र के लिए , किसी बिंदु और के लिए एक चक्र इस प्रकार उपलब्ध है कि

पारंपरिक मोबियस और लागुएर समिष्ट की तरह, मिंकोव्स्की समिष्ट भी एक उपयुक्त क्वाड्रेटिक के समसमष्टि खंडों की ज्यामिति के रूप में वर्णित किया जा सकता है।

परंतु इस परिप्रेक्ष्य में, क्वाड्रेटिक परियोजक 3-समष्टि में होती है।: पारंपरिक वास्तविक मिंकोव्स्की समष्टि एक शीट वाले हाइपरबोलाइड के समसमष्टि खंडों की ज्यामिति के समान निर्मित होता है।

मिंकोस्की समष्टि के स्वयंसिद्ध

मान लीजिए की समुच्चय के साथ बिंदुओं की एक घटना संरचना हो तथा समुच्चय चक्रों और दो तुल्यता संबंध ((+) - समानांतर) और ((-)-समानांतर) समुच्चय पर के लिए परिभाषित किया जाता है। के लिए निम्नलिखित संबंध दिया गया है

: और .

एक समतुल्य वर्ग या क्रमशः (+)-जनित्र और (-)-जनित्र कहलाते हैं।
दो बिंदु को समानांतर () कहा जाता है यदि या होता है।

एक घटना संरचना निम्नलिखित अभिगृहीतों के अनुसार मिन्कोवस्की समष्टि कहा जाता है:

मिन्कोवस्की-स्वयंसिद्ध-c1-c2
मिन्कोवस्की-स्वयंसिद्ध-c3-c4

* C1: गैर समानांतर बिंदुओं के किसी भी युग्म के लिए एक बिंदु है जहाँ है।

  • C2: किसी भी बिंदु के लिए और कोई चक्र ठीक दो बिंदु हैं साथ .
  • C3: किन्हीं तीन बिंदुओं के लिए , युग्मित गैर समानांतर चक्र है जिसमें है .
  • C4: किसी भी चक्र क े लिए, कोई बिंदु और कोई बिंदु और ठीक एक चक्र उपलब्ध है जहाँ है अर्थात और बिंदु पर अवस्थित है।
  • C5: किसी भी चक्र में कम से कम 3 बिंदु होते हैं। कम से कम एक चक्र है और एक बिंदु है।

जांच के लिए समानांतर वर्गों (क्रमशः C1, C2 के समान) पर निम्नलिखित कथन उपयोगी हैं।

  • C1′: किन्हीं दो बिंदुओं के लिए के लिए .
  • C2': किसी भी बिंदु के लिए और किसी चक्र के लिए: .

स्वयंसिद्धों के पहले परिणाम हैं

Lemma — मिन्कोव्स्की समष्टि के लिए निम्नलिखित कथन सत्य है

  1. कोई भी बिंदु कम से कम एक चक्र में समाहित है.
  2. किसी भी जनित्र में कम से कम 3 बिन्दु होते हैं.
  3. दो बिंदुओं को एक चक्र से जोड़ा जा सकता है यदि और केवल यदि वे समानांतर नहीं हैं।

मोबियस और लैगुएरे समष्टिों के अनुरूप हम रैखिक अवशेषों के माध्यम से ज्यामिति संबंध प्राप्त करते हैं।

मिन्कोव्स्की समष्टि के लिए और स्थानीय संरचना को परिभाषित करते हैं

और इसे बिंदु P पर अवशेष कहते हैं।

पारंपरिक मिन्कोव्स्की समष्टि के लिए असली एफ़िन समष्टि है .

अभिगृहीत C1 से C4 और C1', C2' के तात्कालिक परिणाम निम्नलिखित दो प्रमेय हैं।

Theorem —  मिन्कोव्स्की समष्टि के लिए कोई भी अवशेष एक सजातीय समष्टि है।

Theorem — माना दो तुल्यता संबंधों के साथ एक घटना संरचना है और बिन्दुओ के समुच्चय पर .

तब, किसी बिन्दु के लिए मिन्कोव्स्की समष्टि है तथा अवशेष एक सजातीय समष्टि है।

न्यूनतम मॉडल

मिन्कोव्स्की समष्टि: न्यूनतम मॉडल

Minkowski समष्टि का न्यूनतम मॉडल समुच्चय पर स्थापित किया जा सकता है

तीन तत्वों का:

समानांतर अंक:

  • यदि और केवल यदि * यदि और केवल यदि .

इस तरह और .

परिमित मिन्कोव्स्की-समष्टि

परिमित मिन्कोव्स्की-समष्टिों के लिए हम C1', C2' से प्राप्त करते हैं:

Lemma — Let be a finite Minkowski plane, i.e. . For any pair of cycles and any pair of generators we have: .

यह परिभाषा को जन्म देता है:
एक परिमित मिन्कोव्स्की समष्टि के लिए और एक चक्र का हम पूर्णांक कहते हैं के लिए .

सरल संयोजी विचार उपज

Lemma — For a finite Minkowski plane the following is true:

  1. Any residue (affine plane) has order .
  2. ,
  3. .

मिक्वेलियन मिन्कोव्स्की समष्टि

पारंपरिक वास्तविक मॉडल का सामान्यीकरण करके हमें मिन्कोव्स्की समष्टिों के सबसे महत्वपूर्ण उदाहरण मिलते हैं: बस प्रतिस्थापित करें एक मनमाना क्षेत्र (गणित) द्वारा तब हम किसी भी स्थिति में मिन्कोव्स्की समष्टि प्राप्त करते हैं .

मोबियस और लैगुएरे समष्टिों के अनुरूप मिकेल की प्रमेय मिंकोव्स्की समष्टि की एक विशिष्ट संपत्ति है .

मिकेल का प्रमेय

प्रमेय (मिकेल): मिंकोव्स्की समष्टि के लिए निम्नलिखित सत्य है:

यदि किन्हीं 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


बाहरी संबंध