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

From Vigyanwiki
No edit summary
 
(10 intermediate revisions by 4 users not shown)
Line 5: Line 5:


== पारंपरिक वास्तविक मिन्कोव्स्की समष्टि ==
== पारंपरिक वास्तविक मिन्कोव्स्की समष्टि ==
[[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 =
\R^2 \cup \left(\left\{\infty\right\} \times \R\right) \cup \left(\R \times \left\{\infty\right\}\right) \  
\R^2 \cup \left(\left\{\infty\right\} \times \R\right) \cup \left(\R \times \left\{\infty\right\}\right) \  
     \cup \left\{\left(\infty,\infty\right)\right\} \ ,
     \cup \left\{\left(\infty,\infty\right)\right\} \ ,
  \ \infty \notin \R,</math>
  \ \infty \notin \R,</math>
* चक्रों का सेट <math display="block">\begin{align}
* चक्रों का समुच्चय <math display="block">\begin{align}
\mathcal Z :={} & \left\{\left\{\left(x,y\right) \in \R^2 \mid y = ax + b\right\} \cup \left\{\left(\infty,\infty\right)\right\} \mid a,b \in \R, a\ne 0\right\}\\
\mathcal Z :={} & \left\{\left\{\left(x,y\right) \in \R^2 \mid y = ax + b\right\} \cup \left\{\left(\infty,\infty\right)\right\} \mid a,b \in \R, a\ne 0\right\}\\
& \quad \cup \left\{\left\{\left(x,y\right) \in \R^2 \mid y=\frac{a}{x-b} + c, x \ne b\right\}
& \quad \cup \left\{\left\{\left(x,y\right) \in \R^2 \mid y=\frac{a}{x-b} + c, x \ne b\right\}
\cup \left\{\left(b,\infty\right),\left(\infty,c\right)\right\} \mid a,b,c \in \R, a \ne 0\right\}.
\cup \left\{\left(b,\infty\right),\left(\infty,c\right)\right\} \mid a,b,c \in \R, a \ne 0\right\}.
\end{align}</math>
\end{align}</math>
[[घटना संरचना]] <math>({\mathcal P},{\mathcal Z},\in)</math> पारंपरिक वास्तविक मिन्कोव्स्की समष्टि कहा जाता है।
[[घटना संरचना]] <math>({\mathcal P},{\mathcal Z},\in)</math> को पारंपरिक वास्तविक मिन्कोव्स्की समष्टि कहा जाता है।


बिंदुओं के समूह में शामिल हैं <math>\R^2</math>, की दो प्रतियाँ <math>\R</math> और बिंदु <math>(\infty,\infty)</math>.
बिंदुओं के समूह <math>\R^2</math>, की दो प्रतियाँ <math>\R</math> और बिंदु <math>(\infty,\infty)</math> में सम्मिलित हैं .


कोई रेखा <math>y=ax+b ,a\ne0</math> बिन्दुवार पूरा किया गया है <math>(\infty,\infty)</math>, कोई अतिपरवलय <math> y = \frac{a}{x-b} + c, a\ne0 </math> दो बिंदुओं से <math>(b,\infty),(\infty,c)</math> (रेखा - चित्र देखें)।
किसी रेखा <math>y=ax+b ,a\ne0</math> को बिन्दुवार <math>(\infty,\infty)</math> पूरा किया गया है , किसी अतिपरवलय <math> y = \frac{a}{x-b} + c, a\ne0 </math> को दो बिंदुओं से <math>(b,\infty),(\infty,c)</math> पूरा किया जाता है।


दो बिंदु <math>(x_1,y_1)\ne(x_2,y_2)</math> एक चक्र से नहीं जोड़ा जा सकता है अगर और केवल अगर <math>x_1 = x_2</math> या <math>y_1 = y_2</math>.
यदि <math>x_1 = x_2</math> या <math>y_1 = y_2</math> है तों दो बिंदु <math>(x_1,y_1)\ne(x_2,y_2)</math> को एक चक्र से नहीं युग्मित किया जा सकता है।


हम परिभाषित करते हैं:
हम परिभाषित करते हैं: दो बिंदु <math>P_1,P_2</math>, (<math>P_1 \parallel_+ P_2</math>) के (+)-समानांतर है यदि  <math>x_1 = x_2</math> और <math>y_1 = y_2</math> है। <br />ये दोनों संबंध बिंदुओं के समुच्चय पर [[तुल्यता संबंध]] हैं।
दो बिंदु <math>P_1,P_2</math> हैं (+)-समानांतर (<math>P_1 \parallel_+ P_2</math>) अगर <math>x_1 = x_2</math> और (-)-समानांतर (<math>P_1\parallel_- P_2</math>) अगर <math>y_1 = y_2</math>. <br />
ये दोनों संबंध बिंदुओं के समुच्चय पर [[तुल्यता संबंध]] हैं।


दो बिंदु <math>P_1,P_2</math> समानांतर कहा जाता है (<math>P_1\parallel P_2</math>) अगर
दो बिंदु <math>P_1,P_2</math> समानांतर <math>P_1\parallel P_2</math> कहा जाता है यदि <math>P_1 \parallel_+ P_2</math> या <math>P_1 \parallel_- P_2</math>.
<math>P_1 \parallel_+ P_2</math> या <math>P_1 \parallel_- P_2</math>.


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


लेम्मा:
लेम्मा:
*गैर समानांतर बिंदुओं की किसी भी जोड़ी के लिए <math>A,B</math> ठीक एक बिंदु है <math>C</math> साथ <math>A\parallel_+ C \parallel_- B</math>.
*गैर समानांतर बिंदुओं के किसी भी युग्म <math>A,B</math> के लिए ठीक एक बिंदु <math>C</math> के साथ <math>A\parallel_+ C \parallel_- B</math>.समानांतर है।
* किसी भी बिंदु के लिए <math>P</math> और कोई चक्र <math>z</math> ठीक दो बिंदु हैं <math>A,B \in z</math> साथ <math>A\parallel_+ P \parallel_- B</math>.
* किसी भी बिंदु <math>P</math> और कोई चक्र <math>z</math> के लिए <math>A,B \in z</math> साथ <math>A\parallel_+ P \parallel_- B</math>. ठीक दो बिंदु हैं।
* किन्हीं तीन बिंदुओं के लिए <math>A</math>, <math>B</math>, <math>C</math>, जोड़ीदार गैर समानांतर, ठीक एक चक्र है <math>z</math> उसमें सम्मिलित है <math>A,B,C</math>.
* किन्हीं तीन बिंदुओं <math>A</math>, <math>B</math>, <math>C</math>, के लिए एक युग्मित गैर समानांतर चक्र <math>z</math> है, जिसमें <math>A,B,C</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>, अर्थात। <math>z</math> छू लेती है <math>z'</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-स्पेस में रहता है: क्लासिकल रियल मिंकोव्स्की प्लेन एक शीट के हाइपरबोलॉइड के प्लेन सेक्शन की ज्यामिति के लिए आइसोमॉर्फिक है (इंडेक्स 2 का डिजनरेटेड क्वाड्रिक नहीं)।
पारंपरिक मोबियस और लागुएर समिष्ट की तरह, मिंकोव्स्की समिष्ट भी एक उपयुक्त क्वाड्रेटिक के समसमष्टि खंडों की ज्यामिति के रूप में वर्णित किया जा सकता है।  


== मिंकोस्की समतल के अभिगृहीत ==
परंतु इस परिप्रेक्ष्य में, क्वाड्रेटिक परियोजक 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> \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 />
मान लीजिए की <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> के लिए निम्नलिखित संबंध दिया गया है
 
<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).
 
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 theorem |माना <math>\mathfrak M = (\mathcal P, \mathcal Z;\parallel_+,\parallel_-,\in)</math> दो तुल्यता संबंधों के साथ एक घटना संरचना है <math>\parallel_+</math> और <math>\parallel_-</math> बिन्दुओ के समुच्चय पर <math>\mathcal P</math>.
[[File:Minkowski-minimal-model.svg|300px|thumb|मिन्कोव्स्की समष्टि: न्यूनतम मॉडल]]Minkowski समष्टि का न्यूनतम मॉडल सेट पर स्थापित किया जा सकता है
<math>\overline{K}:=\{0,1,\infty\}</math> तीन तत्वों का:


<math display="block">\mathcal {P} := \overline{K}^2 </math>
तब, <math>\mathfrak M</math> किसी बिन्दु के लिए मिन्कोव्स्की समष्टि है तथा <math>P</math> अवशेष <math>\mathfrak A_P</math> एक सजातीय समष्टि है।}}


<math display="block">\begin{align}
=== न्यूनतम प्रारूप ===
[[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}
\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 102: 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>.


इस तरह <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>.


=== परिमित मिन्कोव्स्की-समष्टि ===
=== परिमित मिन्कोव्स्की-समष्टि ===
परिमित मिन्कोव्स्की-समष्टिों के लिए हम C1', C2' से प्राप्त करते हैं:
परिमित मिन्कोव्स्की-समष्टियों को हम 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>\mathfrak M</math> और एक चक्र <math>z</math> का <math>\mathfrak M</math> हम पूर्णांक कहते हैं <math> n = \left| z \right| - 1 </math> के लिए <math>{\mathfrak M}</math>.


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


{{math theorem | name = Lemma | math_statement = For a finite Minkowski plane <math> \mathfrak M = (\mathcal P , \mathcal Z ; \parallel_+ , \parallel_- , \in ) </math> the following is true:
{{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
| Any residue (affine plane) has order <math>n</math>.
| किसी भी अवशेष (एफ़िन समष्टि) में  <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>.
}}}}
}} श्रेणी है}}


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


पारंपरिक वास्तविक मॉडल का सामान्यीकरण करके हमें मिन्कोव्स्की समष्टिों के सबसे महत्वपूर्ण उदाहरण मिलते हैं: बस प्रतिस्थापित करें <math>\R</math> एक मनमाना [[क्षेत्र (गणित)]] द्वारा <math>K</math> तब हम किसी भी स्थिति में मिन्कोव्स्की समष्टि प्राप्त करते हैं <math>{\mathfrak M}(K)=({\mathcal P},{\mathcal Z};\parallel_+,\parallel_-,\in)</math>.
पारंपरिक वास्तविक प्रारूप का सामान्यीकरण करके हमें मिन्कोव्स्की समष्टिों के सबसे महत्वपूर्ण उदाहरण मिलते हैं: बस <math>\R</math> को किसी यादृच्छिक [[क्षेत्र (गणित)|क्षेत्र]] <math>K</math> द्वारा प्रतिस्थापित करने पर  हमे किसी भी स्थिति में मिन्कोव्स्की समष्टि <math>{\mathfrak M}(K)=({\mathcal P},{\mathcal Z};\parallel_+,\parallel_-,\in)</math> प्राप्त होता हैं। .


मोबियस और लैगुएरे समष्टिों के अनुरूप मिकेल की प्रमेय मिंकोव्स्की समष्टि की एक विशिष्ट संपत्ति है <math>\mathfrak M (K)</math>.
मोबियस और लैगुएरे समष्टिों के अनुरूप मिकेल की प्रमेय मिंकोव्स्की समष्टि <math>\mathfrak M (K)</math> की एक विशिष्ट संपत्ति है।


[[File:Theorem-of-miquel.svg|300px|thumb|मिकेल का प्रमेय]]प्रमेय (मिकेल): मिंकोव्स्की समष्टि के लिए <math>\mathfrak M (K)</math> निम्नलिखित सत्य है:
[[File:Theorem-of-miquel.svg|300px|thumb|मिकेल का प्रमेय]]मिकेल प्रमेय: मिंकोव्स्की समष्टि <math>\mathfrak M (K)</math> के लिए निम्नलिखित सत्य है:
: यदि किन्हीं 8 जोड़ों के लिए समांतर बिंदु नहीं हैं <math>P_1,...,P_8 </math> जिसे एक घन के शीर्षों पर नियत किया जा सकता है, जैसे कि 5 चेहरों में बिंदु चक्रीय चतुर्भुज के अनुरूप होते हैं, तो अंक का छठा चौगुना चक्रीय भी होता है।
: यदि किन्हीं 8 युग्मों के लिए <math>P_1,...,P_8 </math> समांतर बिंदु नहीं हैं  जिसे एक घन के शीर्षों पर नियत किया जा सकता है, जैसे कि 5 भुजाओ वाले आरेखों में बिंदु चक्रीय चतुर्भुज के अनुरूप होते हैं, तो बिन्दु का छठा चौगुना भी चक्रीय होता है।


(आकृति में बेहतर अवलोकन के लिए अतिपरवलय के बजाय वृत्त खींचे गए हैं।)
(आकृति में उपयुक्त अवलोकन के लिए अतिपरवलय के अतिरिक्त, वृत्त खींचे गए हैं।)


प्रमेय (चेन): केवल एक मिन्कोव्स्की समष्टि <math>\mathfrak M (K)</math> मिकेल के प्रमेय को संतुष्ट करता है।
चेन प्रमेय : केवल एक मिन्कोव्स्की समष्टि <math>\mathfrak M (K)</math> मिकेल के प्रमेय को संतुष्ट करता है।


अंतिम प्रमेय के कारण <math>\mathfrak M(K) </math> मिक्वेलियन मिन्कोवस्की समष्टि कहा जाता है।
अंतिम प्रमेय के कारण <math>\mathfrak M(K) </math> को मिक्वेलियन मिन्कोवस्की समष्टि कहा जाता है।


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


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


== यह भी देखें ==
== यह भी देखें ==
Line 163: Line 157:
==बाहरी संबंध==
==बाहरी संबंध==
* [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 Minkowski Planes]
*[http://www.mathematik.tu-darmstadt.de/~ehartmann/circlegeom.pdf Lecture Note '''''Planar Circle Geometries''''', an Introduction to Moebius-, Laguerre- and मिन्कोव्स्की Planes]
[[Category: विमान (ज्यामिति)]]
 
 


[[Category: Machine Translated Page]]
[[Category:Created On 01/05/2023]]
[[Category:Created On 01/05/2023]]
[[Category:Lua-based templates]]
[[Category:Machine Translated Page]]
[[Category:Pages with script errors]]
[[Category:Templates Vigyan Ready]]
[[Category:Templates that add a tracking category]]
[[Category:Templates that generate short descriptions]]
[[Category:Templates using TemplateData]]
[[Category:विमान (ज्यामिति)]]

Latest revision as of 16:03, 30 October 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 — माना दो तुल्यता संबंधों के साथ एक घटना संरचना है और बिन्दुओ के समुच्चय पर .

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

न्यूनतम प्रारूप

मिन्कोव्स्की समष्टि: न्यूनतम प्रारूप

मिन्कोव्स्की समष्टि का न्यूनतम प्रारूप समुच्चय पर स्थापित किया जा सकता है

समानांतर बिन्दु:

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

इस तरह और .

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

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

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

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

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

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

  1. किसी भी अवशेष (एफ़िन समष्टि) में .
  2. ,
  3. .
श्रेणी है

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

पारंपरिक वास्तविक प्रारूप का सामान्यीकरण करके हमें मिन्कोव्स्की समष्टिों के सबसे महत्वपूर्ण उदाहरण मिलते हैं: बस को किसी यादृच्छिक क्षेत्र द्वारा प्रतिस्थापित करने पर हमे किसी भी स्थिति में मिन्कोव्स्की समष्टि प्राप्त होता हैं। .

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

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

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

यदि किन्हीं 8 युग्मों के लिए समांतर बिंदु नहीं हैं जिसे एक घन के शीर्षों पर नियत किया जा सकता है, जैसे कि 5 भुजाओ वाले आरेखों में बिंदु चक्रीय चतुर्भुज के अनुरूप होते हैं, तो बिन्दु का छठा चौगुना भी चक्रीय होता है।

(आकृति में उपयुक्त अवलोकन के लिए अतिपरवलय के अतिरिक्त, वृत्त खींचे गए हैं।)

चेन प्रमेय : केवल एक मिन्कोव्स्की समष्टि मिकेल के प्रमेय को संतुष्ट करता है।

अंतिम प्रमेय के कारण को मिक्वेलियन मिन्कोवस्की समष्टि कहा जाता है।

टिप्पणी: मिंकोव्स्की समष्टि का न्यूनतम प्रारूप मिक्वेलियन है।

यह मिंकोवस्की समष्टि के लिए तुल्याकारी है जहाँ (क्षेत्र ) है।

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

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

टिप्पणी: एक उपयुक्त त्रिविम प्रक्षेपण दिखाता है की क्षेत्र के ऊपर प्रोजेक्टिव 3-समष्टि में एक शीट के समसमष्टि खंडों की ज्यामिति के लिए समरूपी है .

टिप्पणी: बहुत सारे मिन्कोवस्की समष्टि हैं जो मिक्वेलियन नहीं हैं परंतु मोबियस और लैगुएरे समष्टियों के विपरीत, कोई अंडाकार मिन्कोव्स्की समष्टि नहीं हैं। क्योंकि प्रोजेक्टिव 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


बाहरी संबंध