मिन्कोव्स्की समष्टि: Difference between revisions
No edit summary |
m (Arti moved page मिन्कोव्स्की प्लेन to मिन्कोव्स्की समष्टि without leaving a redirect) |
||
(10 intermediate revisions by 4 users not shown) | |||
Line 5: | Line 5: | ||
== पारंपरिक वास्तविक मिन्कोव्स्की समष्टि == | == पारंपरिक वास्तविक मिन्कोव्स्की समष्टि == | ||
[[Image:Minkowski-2d3d-model.svg|300px|thumb|पारंपरिक मिन्कोवस्की समष्टि: 2d/3d- | [[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 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} | ||
\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>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,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,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>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>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-समष्टि में होती है।: पारंपरिक वास्तविक मिंकोव्स्की समष्टि एक शीट वाले हाइपरबोलाइड के समसमष्टि खंडों की ज्यामिति के समान निर्मित होता है। | |||
== मिंकोस्की समष्टि के स्वयंसिद्ध == | |||
एक घटना संरचना <math>\mathfrak M := ( \mathcal P , \mathcal Z ; \parallel_+ , \parallel_- , \in ) </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> के लिए निम्नलिखित संबंध दिया गया है | ||
<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: गैर समानांतर बिंदुओं के किसी भी | [[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>, | * C3: किन्हीं तीन बिंदुओं के लिए <math>A,B,C</math>, युग्मित गैर समानांतर चक्र <math>z</math> है जिसमें <math> A , B , C </math><math> A , B , C </math> है . | ||
* C4: किसी भी चक्र | * 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 बिंदु होते हैं। कम से कम एक चक्र | * C5: किसी भी चक्र में कम से कम 3 बिंदु होते हैं। कम से कम एक चक्र <math>z</math> है और एक बिंदु <math>P</math> है। | ||
जांच के लिए समानांतर वर्गों (क्रमशः C1, C2 के | जांच के लिए समानांतर वर्गों (क्रमशः C1, C2 के समान) पर निम्नलिखित कथन उपयोगी हैं। | ||
*C1′: किन्हीं दो बिंदुओं के लिए <math> A , B </math> | *C1′: किन्हीं दो बिंदुओं के लिए <math> A , B </math> के लिए {{nowrap|<math> \left| \overline{A}_+ \cap\overline{B}_- \right| = 1 </math>.}} | ||
*C2': किसी भी बिंदु के लिए <math> P </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 = | {{math theorem | name = Lemma | math_statement = मिन्कोव्स्की समष्टि के लिए <math>{\mathfrak M}</math> निम्नलिखित कथन सत्य है | ||
{{ordered list | list-style-type = lower-alpha | {{ordered list | list-style-type = lower-alpha | ||
| | | कोई भी बिंदु कम से कम एक चक्र में समाहित है. | ||
| | | किसी भी जनित्र में कम से कम 3 बिन्दु होते हैं. | ||
| | | दो बिंदुओं को एक चक्र से जोड़ा जा सकता है यदि और केवल यदि वे समानांतर नहीं हैं। | ||
}} | }} | ||
}} | }} | ||
मिन्कोव्स्की समष्टि के लिए <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>\mathfrak A_{(\infty,\infty)}</math> असली एफ़िन समष्टि <math>\R^2</math> है . | ||
अभिगृहीत C1 से C4 और C1', C2' के तात्कालिक परिणाम निम्नलिखित दो प्रमेय हैं। | अभिगृहीत C1 से C4 और C1', C2' के तात्कालिक परिणाम निम्नलिखित दो प्रमेय हैं। | ||
{{math theorem | | {{math theorem | | ||
मिन्कोव्स्की समष्टि के लिए <math> \mathfrak M = ( \mathcal P , \mathcal Z ; \parallel_+ , \parallel , \in ) </math> कोई भी अवशेष एक सजातीय समष्टि है।}} | |||
{{math theorem |माना <math>\mathfrak M = (\mathcal P, \mathcal Z;\parallel_+,\parallel_-,\in)</math> दो तुल्यता संबंधों के साथ एक घटना संरचना है <math>\parallel_+</math> और <math>\parallel_-</math> बिन्दुओ के समुच्चय पर <math>\mathcal P</math>. | |||
<math>\ | |||
<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,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' से प्राप्त करते हैं: | ||
{{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>. | ||
}}}} | }} श्रेणी है}} | ||
== मिक्वेलियन मिन्कोव्स्की समष्टि == | == मिक्वेलियन मिन्कोव्स्की समष्टि == | ||
पारंपरिक वास्तविक | पारंपरिक वास्तविक प्रारूप का सामान्यीकरण करके हमें मिन्कोव्स्की समष्टिों के सबसे महत्वपूर्ण उदाहरण मिलते हैं: बस <math>\R</math> को किसी यादृच्छिक [[क्षेत्र (गणित)|क्षेत्र]] <math>K</math> द्वारा प्रतिस्थापित करने पर हमे किसी भी स्थिति में मिन्कोव्स्की समष्टि <math>{\mathfrak M}(K)=({\mathcal P},{\mathcal Z};\parallel_+,\parallel_-,\in)</math> प्राप्त होता हैं। . | ||
मोबियस और लैगुएरे समष्टिों के अनुरूप मिकेल की प्रमेय मिंकोव्स्की समष्टि | मोबियस और लैगुएरे समष्टिों के अनुरूप मिकेल की प्रमेय मिंकोव्स्की समष्टि <math>\mathfrak M (K)</math> की एक विशिष्ट संपत्ति है। | ||
[[File:Theorem-of-miquel.svg|300px|thumb|मिकेल का प्रमेय]]प्रमेय | [[File:Theorem-of-miquel.svg|300px|thumb|मिकेल का प्रमेय]]मिकेल प्रमेय: मिंकोव्स्की समष्टि <math>\mathfrak M (K)</math> के लिए निम्नलिखित सत्य है: | ||
: यदि किन्हीं 8 | : यदि किन्हीं 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> K = \operatorname{GF}(2)</math> (क्षेत्र <math>\{0,1\}</math>) है। | ||
आश्चर्यजनक परिणाम है | आश्चर्यजनक परिणाम है | ||
प्रमेय | हेइज़ प्रमेय : ''सम'' क्रम का कोई भी मिन्कोवस्की समष्टि, मिक्वेलियन समष्टि होता है। | ||
टिप्पणी: एक उपयुक्त [[त्रिविम प्रक्षेपण]] दिखाता है | टिप्पणी: एक उपयुक्त [[त्रिविम प्रक्षेपण]] दिखाता है की <math>\mathfrak M(K) </math> क्षेत्र के ऊपर प्रोजेक्टिव 3-समष्टि में एक शीट के समसमष्टि खंडों की ज्यामिति <math> K </math> के लिए समरूपी है . | ||
टिप्पणी: बहुत सारे मिन्कोवस्की समष्टि हैं जो मिक्वेलियन नहीं हैं | टिप्पणी: बहुत सारे मिन्कोवस्की समष्टि हैं जो मिक्वेलियन नहीं हैं परंतु मोबियस और लैगुएरे समष्टियों के विपरीत, कोई अंडाकार मिन्कोव्स्की समष्टि नहीं हैं। क्योंकि प्रोजेक्टिव 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 | *[http://www.mathematik.tu-darmstadt.de/~ehartmann/circlegeom.pdf Lecture Note '''''Planar Circle Geometries''''', an Introduction to Moebius-, Laguerre- and मिन्कोव्स्की Planes] | ||
[[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
गणित में, हरमन मिन्कोव्स्की के नाम पर मिन्कोव्स्की समष्टि बेंज समष्टियों में से एक है। अन्य समष्टियाँ, मोबियस समष्टि और लागुएरे समष्टि हैं।
पारंपरिक वास्तविक मिन्कोव्स्की समष्टि
छद्म यूक्लिडियन दूरी को दो बिंदुओं पर यूक्लिडियन दूरी के अतिरिक्त हमें हाइपरबोला की ज्यामिति मिलती है, क्योंकि एक छद्म-यूक्लिडियन वृत्त मध्यबिंदु के साथ एक अतिपरवलय है। .
, निर्देशांक के परिवर्तन से छद्म-यूक्लिडियन दूरी को के रूप में पुनः लिखा जा सकता है। अतिपरवलय में गैर-प्राइमेड निर्देशांक, अक्षों के समानांतर स्पर्शोन्मुख होते हैं।
निम्नलिखित समीकरण अतिपरवलय की ज्यामिति को समरूप बनाता है:
- 'बिन्दु' का समुच्चय:
- चक्रों का समुच्चय
घटना संरचना को पारंपरिक वास्तविक मिन्कोव्स्की समष्टि कहा जाता है।
बिंदुओं के समूह , की दो प्रतियाँ और बिंदु में सम्मिलित हैं .
किसी रेखा को बिन्दुवार पूरा किया गया है , किसी अतिपरवलय को दो बिंदुओं से पूरा किया जाता है।
यदि या है तों दो बिंदु को एक चक्र से नहीं युग्मित किया जा सकता है।
हम परिभाषित करते हैं: दो बिंदु , () के (+)-समानांतर है यदि और है।
ये दोनों संबंध बिंदुओं के समुच्चय पर तुल्यता संबंध हैं।
दो बिंदु समानांतर कहा जाता है यदि या .
उपरोक्त परिभाषा से हम पाते हैं:
लेम्मा:
- गैर समानांतर बिंदुओं के किसी भी युग्म के लिए ठीक एक बिंदु के साथ .समानांतर है।
- किसी भी बिंदु और कोई चक्र के लिए साथ . ठीक दो बिंदु हैं।
- किन्हीं तीन बिंदुओं , , , के लिए एक युग्मित गैर समानांतर चक्र है, जिसमें सम्मिलित है।
- किसी भी चक्र के लिए , किसी बिंदु और के लिए एक चक्र इस प्रकार उपलब्ध है कि ।
पारंपरिक मोबियस और लागुएर समिष्ट की तरह, मिंकोव्स्की समिष्ट भी एक उपयुक्त क्वाड्रेटिक के समसमष्टि खंडों की ज्यामिति के रूप में वर्णित किया जा सकता है।
परंतु इस परिप्रेक्ष्य में, क्वाड्रेटिक परियोजक 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-समष्टि में एक शीट के समसमष्टि खंडों की ज्यामिति के लिए समरूपी है .
टिप्पणी: बहुत सारे मिन्कोवस्की समष्टि हैं जो मिक्वेलियन नहीं हैं परंतु मोबियस और लैगुएरे समष्टियों के विपरीत, कोई अंडाकार मिन्कोव्स्की समष्टि नहीं हैं। क्योंकि प्रोजेक्टिव 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