मिन्कोव्स्की समष्टि: Difference between revisions
No edit summary |
|||
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> | [[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>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>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>. | ||
Line 47: | Line 44: | ||
== मिंकोस्की समतल के अभिगृहीत == | == मिंकोस्की समतल के अभिगृहीत == | ||
होने देना <math> \left( {\mathcal P} , {\mathcal Z} ; \parallel_+ , \parallel_- , \in \right) </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}_+ := \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>\overline{P}_+</math> या <math>\overline{P}_-</math> क्रमशः (+)-जनरेटर और (-)-जनरेटर कहलाते हैं। (पारंपरिक मिन्कोव्स्की समष्टि के अंतरिक्ष मॉडल के लिए एक जनरेटर हाइपरबोलॉइड पर एक रेखा है।)<br /> | ||
Line 91: | Line 88: | ||
=== न्यूनतम मॉडल === | === न्यूनतम मॉडल === | ||
[[File:Minkowski-minimal-model.svg|300px|thumb|मिन्कोव्स्की समष्टि: न्यूनतम मॉडल]]Minkowski समष्टि का न्यूनतम मॉडल | [[File:Minkowski-minimal-model.svg|300px|thumb|मिन्कोव्स्की समष्टि: न्यूनतम मॉडल]]Minkowski समष्टि का न्यूनतम मॉडल समुच्चय पर स्थापित किया जा सकता है | ||
<math>\overline{K}:=\{0,1,\infty\}</math> तीन तत्वों का: | <math>\overline{K}:=\{0,1,\infty\}</math> तीन तत्वों का: | ||
Line 150: | Line 147: | ||
फ़ील्ड के ऊपर प्रोजेक्टिव 3-स्पेस में एक शीट (सूचकांक 2 का [[ द्विघात ]]) के हाइपरबोलॉइड पर समतल खंडों की ज्यामिति के लिए <math> K </math>. | फ़ील्ड के ऊपर प्रोजेक्टिव 3-स्पेस में एक शीट (सूचकांक 2 का [[ द्विघात ]]) के हाइपरबोलॉइड पर समतल खंडों की ज्यामिति के लिए <math> K </math>. | ||
टिप्पणी: बहुत सारे मिन्कोवस्की समष्टि हैं जो मिक्वेलियन नहीं हैं (नीचे वेबलिंक है)। लेकिन मोबियस और लैगुएरे समष्टिों के विपरीत, कोई अंडाकार मिन्कोव्स्की समष्टि नहीं हैं। क्योंकि प्रोजेक्टिव 3-स्पेस में इंडेक्स 2 का कोई [[द्विघात सेट]] क्वाड्रिक है (द्विघात | टिप्पणी: बहुत सारे मिन्कोवस्की समष्टि हैं जो मिक्वेलियन नहीं हैं (नीचे वेबलिंक है)। लेकिन मोबियस और लैगुएरे समष्टिों के विपरीत, कोई अंडाकार मिन्कोव्स्की समष्टि नहीं हैं। क्योंकि प्रोजेक्टिव 3-स्पेस में इंडेक्स 2 का कोई [[द्विघात सेट|द्विघात समुच्चय]] क्वाड्रिक है (द्विघात समुच्चय देखें)। | ||
== यह भी देखें == | == यह भी देखें == |
Revision as of 11:01, 12 May 2023
गणित में, हरमन मिन्कोव्स्की के नाम पर मिन्कोव्स्की समष्टि बेंज समष्टियों में से एक है। अन्य समष्टियाँ, मोबियस समष्टि और लागुएरे समष्टि हैं।
पारंपरिक वास्तविक मिन्कोव्स्की समष्टि
छद्म यूक्लिडियन दूरी को दो बिंदुओं पर यूक्लिडियन दूरी के अतिरिक्त हमें हाइपरबोला की ज्यामिति मिलती है, क्योंकि एक छद्म-यूक्लिडियन वृत्त मध्यबिंदु के साथ एक अतिपरवलय है। .
निर्देशांक के परिवर्तन से , छद्म-यूक्लिडियन दूरी को के रूप में पुनः लिखा जा सकता है। हाइपरबोलस में गैर-प्राइमेड निर्देशांक, अक्षों के समानांतर स्पर्शोन्मुख होते हैं।
निम्नलिखित समापन हाइपरबोलस की ज्यामिति को समरूप बनाता है:
- 'अंक' का समुच्चय:
- चक्रों का समुच्चय
घटना संरचना को पारंपरिक वास्तविक मिन्कोव्स्की समष्टि कहा जाता है।
बिंदुओं के समूह , की दो प्रतियाँ और बिंदु में सम्मिलित हैं .
किसी रेखा को बिन्दुवार पूरा किया गया है , किसी अतिपरवलय को दो बिंदुओं से पूरा किया जाता है।
यदि या है तों दो बिंदु को एक चक्र से नहीं युग्मित किया जा सकता है।
हम परिभाषित करते हैं: दो बिंदु , () के (+)-समानांतर है यदि और है।
ये दोनों संबंध बिंदुओं के समुच्चय पर तुल्यता संबंध हैं।
दो बिंदु समानांतर कहा जाता है यदि या .
उपरोक्त परिभाषा से हम पाते हैं:
लेम्मा:
- गैर समानांतर बिंदुओं के किसी भी युग्म के लिए ठीक एक बिंदु के साथ .है।
- किसी भी बिंदु के लिए और कोई चक्र ठीक दो बिंदु हैं साथ .
- किन्हीं तीन बिंदुओं के लिए , , , जोड़ीदार गैर समानांतर, ठीक एक चक्र है उसमें सम्मिलित है .
- किसी भी चक्र के लिए , कोई बिंदु और कोई बिंदु और ठीक एक चक्र मौजूद है ऐसा है कि , अर्थात। छू लेती है बिंदु पी पर
पारंपरिक मोबियस और लैगुएरे समष्टिों की तरह मिन्कोव्स्की समष्टिों को एक उपयुक्त चतुर्भुज के समतल खंडों की ज्यामिति के रूप में वर्णित किया जा सकता है। लेकिन इस मामले में क्वाड्रिक प्रोजेक्टिव 3-स्पेस में रहता है: क्लासिकल रियल मिंकोव्स्की प्लेन एक शीट के हाइपरबोलॉइड के प्लेन सेक्शन की ज्यामिति के लिए आइसोमॉर्फिक है (इंडेक्स 2 का डिजनरेटेड क्वाड्रिक नहीं)।
मिंकोस्की समतल के अभिगृहीत
होने देना समुच्चय के साथ एक घटना संरचना हो बिंदुओं का, समुच्चय चक्रों और दो तुल्यता संबंधों की ((+) - समानांतर) और ((-)-समानांतर) समुच्चय पर . के लिए हम परिभाषित करते हैं:
और .
एक समतुल्य वर्ग या क्रमशः (+)-जनरेटर और (-)-जनरेटर कहलाते हैं। (पारंपरिक मिन्कोव्स्की समष्टि के अंतरिक्ष मॉडल के लिए एक जनरेटर हाइपरबोलॉइड पर एक रेखा है।)
दो बिंदु समानांतर कहा जाता है () अगर या .
एक घटना संरचना निम्नलिखित अभिगृहीतों के अनुसार मिन्कोवस्की तल कहा जाता है:
* C1: गैर समानांतर बिंदुओं के किसी भी जोड़े के लिए ठीक एक बिंदु है साथ .
- C2: किसी भी बिंदु के लिए और कोई चक्र ठीक दो बिंदु हैं साथ .
- C3: किन्हीं तीन बिंदुओं के लिए , जोड़ीदार गैर समानांतर, ठीक एक चक्र है जिसमें है .
- C4: किसी भी चक्र के लिए , कोई बिंदु और कोई बिंदु और ठीक एक चक्र मौजूद है ऐसा है कि , अर्थात।, छू लेती है बिंदु पर .
- C5: किसी भी चक्र में कम से कम 3 बिंदु होते हैं। कम से कम एक चक्र है और एक बिंदु अंदर नही .
जांच के लिए समानांतर वर्गों (क्रमशः C1, C2 के बराबर) पर निम्नलिखित कथन लाभप्रद हैं।
- C1′: किन्हीं दो बिंदुओं के लिए अपने पास .
- C2': किसी भी बिंदु के लिए और कोई चक्र अपने पास: .
स्वयंसिद्धों के पहले परिणाम हैं
Lemma — For a Minkowski plane the following is true
- Any point is contained in at least one cycle.
- Any generator contains at least 3 points.
- Two points can be connected by a cycle if and only if they are non parallel.
मोबियस और लैगुएरे समष्टिों के अनुरूप हम रैखिक से संबंध प्राप्त करते हैं अवशेषों के माध्यम से ज्यामिति।
मिन्कोव्स्की समष्टि के लिए और हम स्थानीय संरचना को परिभाषित करते हैं
पारंपरिक मिन्कोव्स्की समष्टि के लिए असली एफ़िन प्लेन है .
अभिगृहीत C1 से C4 और C1', C2' के तात्कालिक परिणाम निम्नलिखित दो प्रमेय हैं।
Theorem — For a Minkowski plane any residue is an affine plane.
Theorem — Let be an incidence structure with two equivalence relations and on the set of points (see above).
Then, is a Minkowski plane if and only if for any point the residue is an affine plane.
न्यूनतम मॉडल
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:
- Any residue (affine plane) has order .
- ,
- .
मिक्वेलियन मिन्कोव्स्की समष्टि
पारंपरिक वास्तविक मॉडल का सामान्यीकरण करके हमें मिन्कोव्स्की समष्टिों के सबसे महत्वपूर्ण उदाहरण मिलते हैं: बस प्रतिस्थापित करें एक मनमाना क्षेत्र (गणित) द्वारा तब हम किसी भी स्थिति में मिन्कोव्स्की समष्टि प्राप्त करते हैं .
मोबियस और लैगुएरे समष्टिों के अनुरूप मिकेल की प्रमेय मिंकोव्स्की समष्टि की एक विशिष्ट संपत्ति है .
प्रमेय (मिकेल): मिंकोव्स्की समष्टि के लिए निम्नलिखित सत्य है:
- यदि किन्हीं 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