वास्तविक प्रक्षेपी तल: Difference between revisions

From Vigyanwiki
No edit summary
 
(13 intermediate revisions by 5 users not shown)
Line 1: Line 1:
{{short description|Compact non-orientable two-dimensional manifold}}
{{short description|Compact non-orientable two-dimensional manifold}}
{| class=wikitable align=right
{| class=wikitable align=right
| valign=top width=120|[[File:ProjectivePlaneAsSquare.svg|120px]]<BR>The [[fundamental polygon]] of the projective plane.
| valign=top width=120|[[File:ProjectivePlaneAsSquare.svg|120px]]<BR>प्रक्षेपी तल का [[fundamental polygon|मौलिक बहुभुज]]
| valign=top width=120 style="padding-top:8px"|[[File:MöbiusStripAsSquare.svg|102px|center]] <div style="margin-top:6px;">The [[Möbius strip]] with a single edge, can be closed into a projective plane by gluing opposite open edges together.</div>
| valign=top width=120 style="padding-top:8px"|[[File:MöbiusStripAsSquare.svg|102px|center]] <div style="margin-top:6px;">एक किनारे के साथ [[Möbius strip|मोबियस पट्टी]], विपरीत खुले किनारों को एक साथ जोड़कर एक प्रक्षेपी तल में बंद किया जा सकता है।</div>
| valign=top width=120|[[File:KleinBottleAsSquare.svg|120px]]<BR>In comparison, the [[Klein bottle]] is a Möbius strip closed into a cylinder.
| valign=top width=120|[[File:KleinBottleAsSquare.svg|120px]]<BR>इसकी तुलना में, [[Klein bottle|क्लेन बोतल]] एक मोबियस पट्टी है जो सिलेंडर में बंद है।
|}
|}
गणित में, वास्तविक प्रक्षेपी तल एक सघन गैर-[[उन्मुखता]] द्वि-आयामी [[कई गुना|विविध]] का एक उदाहरण है; दूसरे शब्दों में, एक पक्षीय [[सतह (टोपोलॉजी)]] है। यह स्वयं अन्तर्विभाजक किए बिना मानक त्रि-आयामी स्थान में [[एम्बेडिंग|अंतर्निहित]] नहीं किया जा सकता है। इसमें [[ज्यामिति]] के लिए मूलभूत अनुप्रयोग हैं, क्योंकि वास्तविक [[प्रक्षेपी विमान|प्रक्षेपी तल]] का सामान्य निर्माण मूल के माध्यम से गुजरने वाली {{tmath|\mathbb{R}^3}} रेखा के स्थान के रूप में है।
गणित में, वास्तविक प्रक्षेपी तल एक सघन गैर- [[उन्मुखता|अभिविन्यसनीयता]] द्वि-आयामी [[कई गुना|विविध]] का एक उदाहरण है; दूसरे शब्दों में, एक पक्षीय [[सतह (टोपोलॉजी)|सतह(टोपोलॉजी)]] है। यह स्वयं अन्तर्विभाजक किए बिना मानक त्रि-आयामी स्थान में [[एम्बेडिंग|अंतर्निहित]] नहीं किया जा सकता है। इसमें [[ज्यामिति]] के लिए मूलभूत अनुप्रयोग हैं, क्योंकि वास्तविक [[प्रक्षेपी विमान|प्रक्षेपी तल]] का सामान्य निर्माण मूल के माध्यम से गुजरने वाली {{tmath|\mathbb{R}^3}} रेखा के स्थान के रूप में है।


मोबियस पट्टी के आधार पर एक निर्माण के संदर्भ में, तल को प्रायः स्थलीय रूप से वर्णित किया जाता है: यदि कोई मोबियस पट्टी के (एकल) किनारे को सही दिशा में चिपका सकता है, तो वह प्रक्षेपी तल प्राप्त करेगा। (यह त्रि-आयामी स्थान में सतह के स्वयं को प्रतिच्छेद किए बिना नहीं किया जा सकता है।) समान रूप से, मोबियस पट्टी की सीमा के साथ एक डिस्क को चिपकाने से प्रक्षेपी तल मिलता है। टोपोलॉजिकल रूप से, इसमें यूलर की विशेषता 1 है, इसलिए 1 का एक [[जीनस (गणित)]] (गैर-उन्मुख जीनस, यूलर जीनस) है।
मोबियस पट्टी के आधार पर एक निर्माण के संदर्भ में, तल को प्रायः स्थलीय रूप से वर्णित किया जाता है: यदि कोई मोबियस पट्टी के(एकल) किनारे को सही दिशा में चिपका सकता है, तो वह प्रक्षेपी तल प्राप्त करेगा।(यह त्रि-आयामी स्थान में सतह के स्वयं को प्रतिच्छेद किए बिना नहीं किया जा सकता है।) समान रूप से, मोबियस पट्टी की सीमा के साथ एक डिस्क को चिपकाने से प्रक्षेपी तल मिलता है। टोपोलॉजिकल रूप से, इसमें यूलर की विशेषता 1 है, इसलिए 1 का एक [[जीनस (गणित)|जीनस(गणित)]](गैर- अभिविन्यसनीय जीनस, यूलर जीनस) है।


चूंकि मोबियस पट्टी, के स्थान पर , एक [[वर्ग (ज्यामिति)]] से इसके दो पक्षों को एक साथ आधे-मोड़ के साथ जोड़कर बनाया जा सकता है, वास्तविक प्रक्षेपी तल को एक इकाई वर्ग के रूप में दर्शाया जा सकता है (अर्थात, {{math|[0, 1] [[Cartesian product|×]] [0,1]}}) निम्नलिखित [[तुल्यता संबंध|तुल्यता संबंधों]] द्वारा पहचाने गए पक्षों के साथ:
चूंकि मोबियस पट्टी, के स्थान पर, एक [[वर्ग (ज्यामिति)|वर्ग(ज्यामिति)]] से इसके दो पक्षों को एक साथ आधे-वक्र के साथ जोड़कर बनाया जा सकता है, वास्तविक प्रक्षेपी तल को एक इकाई वर्ग के रूप में दर्शाया जा सकता है(अर्थात, {{math|[0, 1] [[Cartesian product|×]] [0,1]}}) निम्नलिखित [[तुल्यता संबंध|तुल्यता संबंधों]] द्वारा पहचाने गए पक्षों के साथ:
:{{math|(0, ''y'') ~ (1, 1 − ''y'')}} के लिए {{math|0 ≤ ''y'' ≤ 1}}
:{{math|(0, ''y'') ~ (1, 1 − ''y'')}} के लिए {{math|0 ≤ ''y'' ≤ 1}}
और
और
Line 18: Line 18:
प्रक्षेपी ज्यामिति आवश्यक रूप से वक्रता से संबंधित नहीं है और वास्तविक प्रक्षेपी तल को कई अलग-अलग विधियों से यूक्लिडियन तल या 3-स्थान में घुमाया और रखा जा सकता है।<ref name="apery">Apéry, F.; ''Models of the real projective plane'', Vieweg (1987)</ref> कुछ अधिक महत्वपूर्ण उदाहरणों का वर्णन नीचे किया गया है।
प्रक्षेपी ज्यामिति आवश्यक रूप से वक्रता से संबंधित नहीं है और वास्तविक प्रक्षेपी तल को कई अलग-अलग विधियों से यूक्लिडियन तल या 3-स्थान में घुमाया और रखा जा सकता है।<ref name="apery">Apéry, F.; ''Models of the real projective plane'', Vieweg (1987)</ref> कुछ अधिक महत्वपूर्ण उदाहरणों का वर्णन नीचे किया गया है।


प्रक्षेपी तल को त्रि-आयामी [[यूक्लिडियन अंतरिक्ष|यूक्लिडियन स्थान]] में एम्बेड नहीं किया जा सकता है (जो बिना चौराहे के है)। सबूत है कि प्रक्षेपी तल त्रि-आयामी यूक्लिडियन स्थान में एम्बेड नहीं होता है: यह मानते हुए कि यह एम्बेड करता है, यह [[जॉर्डन वक्र प्रमेय]] द्वारा त्रि-आयामी यूक्लिडियन स्थान में एक सघन क्षेत्र को बाध्य करेगा। आउटवर्ड-पॉइंटिंग यूनिट नॉर्मल वेक्टर फील्ड तब बाउंड्री मैनिफोल्ड का ओरिएंटेशन (गणित) देगा, लेकिन बाउंड्री मैनिफोल्ड प्रक्षेपी प्लेन होगा, जो ओरिएंटेबल नहीं है। यह एक विरोधाभास है, और इसलिए हमारी यह धारणा कि यह एम्बेड करता है, गलत होना चाहिए।
प्रक्षेपी तल को त्रि-आयामी [[यूक्लिडियन अंतरिक्ष|यूक्लिडियन स्थान]] में अंतर्निहित नहीं किया जा सकता है(जो बिना प्रतिच्छेदन के है)। प्रमाण है कि प्रक्षेपी तल त्रि-आयामी यूक्लिडियन स्थान में अंतर्निहित नहीं होता है: यह मानते हुए कि यह अंतर्निहित करता है, यह [[जॉर्डन वक्र प्रमेय]] द्वारा त्रि-आयामी यूक्लिडियन स्थान में एक सघन क्षेत्र को बाध्य करेगा। बाह्य-संकेत इकाई सामान्य सदिश क्षेत्र तब परिसीमा विविध काअभिविन्यसनीय(गणित) देगा, परन्तु परिसीमा विविध प्रक्षेपी तल होगा, जोअभिविन्यसनीय नहीं है। यह एक विरोधाभास है, और इसलिए हमारी यह धारणा है कि यह अंतर्निहित करता है, असत्य होना चाहिए।


=== प्रक्षेप्य क्षेत्र ===
=== प्रक्षेप्य क्षेत्र ===
एक गोले पर विचार करें, और गोले के बड़े [[वृत्त]]ों को रेखाएँ होने दें, और प्रतिव्यासांत बिंदुओं के जोड़े को बिंदु होने दें। यह जाँचना आसान है कि यह प्रणाली प्रक्षेपी तल के लिए आवश्यक स्वयंसिद्धों का पालन करती है:
एक गोले पर विचार करें, और गोले के बड़े [[वृत्त|वृत्तों]] को रेखाएँ होने दें, और प्रतिव्यासांत बिंदुओं के युग्मों को बिंदु होने दें। यह जाँचना आसान है कि यह प्रणाली प्रक्षेपी तल के लिए आवश्यक अभिगृहीतों का पालन करती है:


*विभिन्न बड़े वृत्तों की कोई भी जोड़ी [[एंटीपोडल बिंदु]]ओं की एक जोड़ी पर मिलती है; और
*विभिन्न बड़े वृत्तों की कोई भी युग्म [[एंटीपोडल बिंदु|प्रतिलोम-संबंधी बिंदुओं]] के एक युग्म पर मिलती है; और
* एंटीपोडल बिंदुओं के कोई भी दो अलग-अलग जोड़े एक बड़े वृत्त पर स्थित होते हैं।
* प्रतिलोम-संबंधी बिंदुओं के कोई भी दो अलग-अलग युग्म एक बड़े वृत्त पर स्थित होते हैं।


यदि हम गोले के प्रत्येक बिंदु को उसके प्रतिमुख बिंदु से पहचानते हैं, तो हमें वास्तविक प्रक्षेपी तल का प्रतिनिधित्व मिलता है जिसमें प्रक्षेपी तल के बिंदु वास्तव में बिंदु होते हैं। इसका अर्थ यह है कि प्रक्षेपी तल, गोले को समतुल्यता संबंध ~ के अंतर्गत तुल्यता वर्गों में विभाजित करके प्राप्त किए गए गोले का भागफल स्थान है, जहाँ x ~ y सशर्त खंड y = x या y = −x है। आर में मूल से गुजरने वाली सभी रेखाओं के संग्रह के साथ गोले का यह भागफल स्थान [[होमियोमॉर्फिक]] है<sup>3</उप>।
यदि हम गोले के प्रत्येक बिंदु को उसके प्रतिमुख बिंदु से पहचानते हैं, तो हमें वास्तविक प्रक्षेपी तल का प्रतिनिधित्व मिलता है जिसमें प्रक्षेपी तल के बिंदु सत्यतः बिंदु होते हैं। इसका अर्थ यह है कि प्रक्षेपी तल, गोले को समतुल्यता संबंध ~ के अंतर्गत तुल्यता वर्गों में विभाजित करके प्राप्त किए गए गोले का भागफल स्थान है, जहाँ x ~ y यदि y = x या y = −x है। गोले का यह भागफल स्थान '''R'''<sup>3</sup> में मूल से गुजरने वाली सभी रेखाओं के संग्रह के साथ [[होमियोमॉर्फिक|समरूप]] है।


क्षेत्र से वास्तविक प्रक्षेपी तल पर भागफल मानचित्र वास्तव में एक दो शीट (यानी दो-से-एक) कवरिंग मानचित्र है। यह इस प्रकार है कि वास्तविक प्रक्षेपी तल का [[मौलिक समूह]] क्रम 2 का चक्रीय समूह है; यानी, पूर्णांक मॉडुलो 2। जनरेटर होने के लिए ऊपर की आकृति से लूप एबी ले सकते हैं।
क्षेत्र से वास्तविक प्रक्षेपी तल पर भागफल प्रतिचित्र सत्यतः एक दो शीट(अर्थात दो-से-एक) आवरण प्रतिचित्र है। यह इस प्रकार है कि वास्तविक प्रक्षेपी तल का [[मौलिक समूह]] क्रम 2 का चक्रीय समूह है; अर्थात, पूर्णांक सापेक्ष 2। उत्पादक होने के लिए ऊपर की आकृति से लूप AB ले सकते हैं।


=== प्रक्षेप्य गोलार्द्ध ===
=== प्रक्षेप्य गोलार्द्ध ===
[[File:Sphere symmetry group ci.png|thumb|भूमध्य रेखा पर एक साथ विपरीत बिंदुओं को जोड़कर एक गोलार्द्ध एक वास्तविक प्रक्षेप्य तल का प्रतिनिधित्व कर सकता है।]]क्योंकि गोला वास्तविक प्रक्षेपी तल को दो बार ढकता है, समतल को एक बंद गोलार्द्ध के रूप में दर्शाया जा सकता है जिसके रिम के चारों ओर विपरीत बिंदु समान रूप से पहचाने जाते हैं।<ref>Weeks, J.; ''The shape of space'', CRC (2002), p 59</ref>
[[File:Sphere symmetry group ci.png|thumb|भूमध्य रेखा पर एक साथ विपरीत बिंदुओं को जोड़कर एक गोलार्द्ध एक वास्तविक प्रक्षेप्य तल का प्रतिनिधित्व कर सकता है।]]क्योंकि गोला वास्तविक प्रक्षेपी तल को दो बार ढकता है, समतल को बंद गोलार्द्ध के रूप में दर्शाया जा सकता है जिसके किनारे के चारों ओर विपरीत बिंदु समान रूप से पहचाने जाते हैं।<ref>Weeks, J.; ''The shape of space'', CRC (2002), p 59</ref>
{{clear}}




=== लड़के की सतह - एक विसर्जन ===
=== लड़के की सतह - एक निमज्जन ===
प्रक्षेपी प्लेन 3-स्थान में इमर्सन (गणित) हो सकता है (स्रोत स्थान के स्थानीय पड़ोस में आत्म-चौराहे नहीं हैं)। लड़के की सतह विसर्जन का एक उदाहरण है।
प्रक्षेपी तल 3-स्थान में निमज्जन(गणित) हो सकता है(स्रोत स्थान के स्थानीय निकटवर्ती में आत्म-प्रतिच्छेदन नहीं हैं)। लड़के की सतह निमज्जन का एक उदाहरण है।


बहुफलकीय उदाहरणों में कम से कम नौ फलक होने चाहिए।<ref>Brehm, U.; "How to build minimal polyhedral models of the Boy surface", ''The mathematical intelligencer'' '''12''', No. 4 (1990), pp 51-56.</ref>
बहुफलकीय उदाहरणों में कम से कम नौ फलक होने चाहिए।<ref>Brehm, U.; "How to build minimal polyhedral models of the Boy surface", ''The mathematical intelligencer'' '''12''', No. 4 (1990), pp 51-56.</ref>
Line 42: Line 41:


=== रोमन सतह ===
=== रोमन सतह ===
[[Image:Steiner's Roman Surface.gif|thumb|रोमन सतह का एक एनीमेशन]]स्टेनर की [[रोमन सतह]] 3-स्थान में प्रक्षेपी तल का एक अधिक पतित नक्शा है, जिसमें एक [[क्रॉस-कैप]] है।
[[Image:Steiner's Roman Surface.gif|thumb|रोमन सतह का एक एनीमेशन]]स्टेनर की [[रोमन सतह]] 3-स्थान में प्रक्षेपी तल का अधिक अपभ्रष्ट प्रतिचित्र है, जिसमें एक [[क्रॉस-कैप]] है।


[[File:Tetrahemihexahedron.png|thumb|[[टेट्राहेमीहेक्साइड्रोन]] वास्तविक प्रक्षेपी तल का बहुफलकीय प्रतिनिधित्व है।]]एक [[बहुतल]] प्रतिनिधित्व टेट्राहेमीहेक्साइड्रोन है,<ref name="richter">{{Harv|Richter}}</ref> जिसका वही सामान्य रूप है जो स्टेनर की रोमन सतह जैसा है, यहाँ दिखाया गया है।
[[File:Tetrahemihexahedron.png|thumb|[[टेट्राहेमीहेक्साइड्रोन]] वास्तविक प्रक्षेपी तल का बहुफलकीय प्रतिनिधित्व है।]]एक [[बहुतल]] प्रतिनिधित्व टेट्राहेमीहेक्साइड्रोन है,<ref name="richter">{{Harv|Richter}}</ref> जिसका वही सामान्य रूप है जो स्टेनर की रोमन सतह जैसा है, यहाँ दिखाया गया है।


=== हेमी पॉलीहेड्रा ===
=== अर्ध बहुकोणीय आकृति ===
विपरीत दिशा में देखते हुए, कुछ अमूर्त नियमित पॉलीटोप्स - [[हेमीक्यूब (ज्यामिति)]] | हेमी-क्यूब, [[हेमी-द्वादशफलक]], और [[हेमी-विंशतिफलक]] - प्रक्षेपी प्लेन में नियमित आंकड़े के रूप में बनाए जा सकते हैं; [[प्रोजेक्टिव पॉलीहेड्रा|प्रक्षेपी पॉलीहेड्रा]] भी देखें।
विपरीत दिशा में देखते हुए, कुछ अमूर्त नियमित बहुतलीय - [[हेमीक्यूब (ज्यामिति)|अर्ध]][[हेमीक्यूब (ज्यामिति)|घन(ज्यामिति)]], [[हेमी-द्वादशफलक|अर्ध-द्वादशफलक]], और [[हेमी-विंशतिफलक|अर्ध-विंशतिफलक]] - प्रक्षेपी तल में नियमित आंकड़े के रूप में बनाए जा सकते हैं; [[प्रोजेक्टिव पॉलीहेड्रा|प्रक्षेपी बहुकोणीय आकृति]] भी देखें।
 
=== समतलीय प्रक्षेप ===
प्रक्षेपी तल के विभिन्न प्लानर(समतल) प्रक्षेपों या प्रतिचित्रों का वर्णन किया गया है। 1874 में क्लेन ने प्रतिचित्रण का वर्णन किया:<ref name="apery" />
 
<math>k (x, y) = \left(1 + x^2 + y^2\right)^\frac{1}{2} \begin{pmatrix}x \\ y\end{pmatrix}</math>


=== समतलीय अनुमान ===
प्रक्षेपी  प्लेन के विभिन्न प्लानर (फ्लैट) अनुमानों या मैपिंग का वर्णन किया गया है। 1874 में क्लेन ने मानचित्रण का वर्णन किया:<ref name="apery" />: <math>k (x, y) = \left(1 + x^2 + y^2\right)^\frac{1}{2} \begin{pmatrix}x \\ y\end{pmatrix}</math>
प्रक्षेपी गोलार्द्ध का एक तल पर केंद्रीय प्रक्षेपण नीचे वर्णित सामान्य अनंत प्रक्षेपी तल उत्पन्न करता है।
प्रक्षेपी गोलार्द्ध का एक तल पर केंद्रीय प्रक्षेपण नीचे वर्णित सामान्य अनंत प्रक्षेपी तल उत्पन्न करता है।


=== क्रॉस-कैप्ड डिस्क ===
=== क्रॉस-कैप्ड डिस्क ===
एक [[डिस्क (गणित)]] को क्रॉस-कैप से चिपकाकर एक बंद सतह प्राप्त की जाती है। इस सतह को निम्नलिखित समीकरणों द्वारा पैरामीट्रिक रूप से दर्शाया जा सकता है:
एक [[डिस्क (गणित)|डिस्क(गणित)]] को क्रॉस-कैप से चिपकाकर बंद सतह प्राप्त की जाती है। इस सतह को निम्नलिखित समीकरणों द्वारा प्राचलिक रूप से दर्शाया जा सकता है:
:<math>\begin{align}
:<math>\begin{align}
   X(u,v) &= r \, (1 + \cos v) \, \cos u, \\
   X(u,v) &= r \, (1 + \cos v) \, \cos u, \\
Line 67: Line 69:
| [[Image:CrossCapTwoViews.PNG|500px]]
| [[Image:CrossCapTwoViews.PNG|500px]]
|-
|-
| align=center | Figure 1. Two views of a cross-capped disk.
| align=center | चित्र 1. क्रॉस-कैप्ड डिस्क के दो दृश्य।
|}
|}
एक क्रॉस-कैप्ड डिस्क में समरूपता का एक तल होता है जो दोहरे बिंदुओं के रेखा खंड से होकर गुजरता है। चित्र 1 में क्रॉस-कैप्ड डिस्क को सममिति z = 0 के तल के ऊपर से देखा जा सकता है, लेकिन नीचे से देखने पर यह वैसी ही दिखेगी।
एक क्रॉस-कैप्ड डिस्क में समरूपता का तल होता है जो दोहरे बिंदुओं के रेखा खंड से होकर गुजरता है। चित्र 1 में क्रॉस-कैप्ड डिस्क को सममिति z = 0 के तल के ऊपर से देखा जा सकता है, परन्तु नीचे से देखने पर यह वैसी ही दिखेगी।


एक क्रॉस-कैप्ड डिस्क को इसके समरूपता के तल के साथ खुला काटा जा सकता है, जबकि यह सुनिश्चित किया जाता है कि इसके किसी भी दोहरे बिंदु के साथ कटौती न हो। परिणाम चित्र 2 में दिखाया गया है।
एक क्रॉस-कैप्ड डिस्क को इसके समरूपता के तल के साथ खुला काटा जा सकता है, जबकि यह सुनिश्चित किया जाता है कि इसके किसी भी दोहरे बिंदु के साथ कटौती न हो। परिणाम चित्र 2 में दिखाया गया है।
Line 76: Line 78:
| [[Image:CrossCapSlicedOpen.PNG|500px]]
| [[Image:CrossCapSlicedOpen.PNG|500px]]
|-
|-
| align=center | Figure 2. Two views of a cross-capped disk which has been sliced open.
| align=center | चित्र 2. एक क्रॉस-कैप्ड डिस्क के दो दृश्य जो खुले में कटा हुआ है।
|}
|}
एक बार यह अपवाद हो जाने के बाद, यह देखा जाएगा कि कटा हुआ क्रॉस-कैप्ड डिस्क स्व-प्रतिच्छेदी डिस्क के लिए [[होमियोमोर्फिज्म]] है, जैसा कि चित्र 3 में दिखाया गया है।
एक बार यह अपवाद हो जाने के बाद, यह देखा जाएगा कि कटा हुआ क्रॉस-कैप्ड डिस्क स्व-प्रतिच्छेदी डिस्क के लिए [[होमियोमोर्फिज्म|समरूप]] है, जैसा कि चित्र 3 में दिखाया गया है।


{|
{|
| [[Image:SelfIntersectingDisk.PNG|500px]]
| [[Image:SelfIntersectingDisk.PNG|500px]]
|-
|-
| align=center | Figure 3. Two alternative views of a self-intersecting disk.
| align=center | चित्र 3. एक स्व-प्रतिच्छेदी डिस्क के दो वैकल्पिक दृश्य।
|}
|}
स्व-प्रतिच्छेदी डिस्क एक साधारण डिस्क के लिए होमोमोर्फिक है। स्व-प्रतिच्छेदी डिस्क के पैरामीट्रिक समीकरण हैं:
स्व-प्रतिच्छेदी डिस्क एक साधारण डिस्क के लिए समरूप है। स्व-प्रतिच्छेदी डिस्क के प्राचलिक समीकरण हैं:
:<math>\begin{align}
:<math>\begin{align}
   X(u, v) &= r \, v \, \cos 2u, \\
   X(u, v) &= r \, v \, \cos 2u, \\
Line 93: Line 95:
जहाँ u 0 से 2π तक और v 0 से 1 तक होता है।
जहाँ u 0 से 2π तक और v 0 से 1 तक होता है।


स्व-प्रतिच्छेदी डिस्क को समरूपता के तल पर प्रक्षेपित करना (पहले दिए गए पैरामीट्रिजेशन में z = 0) जो केवल दोहरे बिंदुओं से होकर गुजरता है, परिणाम एक साधारण डिस्क है जो स्वयं को दोहराती है (स्वयं पर दोगुनी हो जाती है)।
स्व-प्रतिच्छेदी डिस्क को समरूपता के तल पर प्रक्षेपित करना(पहले दिए गए प्राचलिक में z = 0) जो मात्र दोहरे बिंदुओं से होकर गुजरता है, परिणाम एक साधारण डिस्क है जो स्वयं को दोहराती है(स्वयं पर दोगुनी हो जाती है)।


समतल z = 0 स्व-प्रतिच्छेदी डिस्क को डिस्क की एक जोड़ी में काटता है जो एक दूसरे के दर्पण [[प्रतिबिंब (गणित)]] हैं। डिस्क के केंद्र [[उत्पत्ति (गणित)]] पर होते हैं।
समतल z = 0 स्व-प्रतिच्छेदी डिस्क को डिस्क की एक युग्म में काटता है जो एक दूसरे के दर्पण [[प्रतिबिंब (गणित)|प्रतिबिंब(गणित)]] हैं। डिस्क के केंद्र [[उत्पत्ति (गणित)|उत्पत्ति(गणित)]] पर होते हैं।


अब डिस्क के किनारों पर विचार करें (v = 1 के साथ)। स्व-प्रतिच्छेदी डिस्क के रिम पर बिंदु जोड़े में आते हैं जो समतल z = 0 के संबंध में एक दूसरे के प्रतिबिंब होते हैं।
अब डिस्क के किनारों पर विचार करें(v = 1 के साथ)। स्व-प्रतिच्छेदी डिस्क के किनारे पर बिंदु युग्मों में आते हैं जो समतल z = 0 के संबंध में एक दूसरे के प्रतिबिंब होते हैं।


बिंदुओं के इन युग्मों की पहचान करके, उन्हें एक दूसरे के समतुल्य बनाकर एक क्रॉस-कैप्ड डिस्क बनाई जाती है। इसका मतलब है कि मापदंडों (यू, 1) और निर्देशांक के साथ एक बिंदु <math>(r \, \cos 2u, r \, \sin 2u, r \, \cos u)</math> बिंदु (u + π, 1) से पहचाना जाता है जिसके निर्देशांक हैं <math> (r \, \cos 2 u, r \, \sin 2 u, - r \, \cos u) </math>. लेकिन इसका मतलब यह है कि (समतुल्य) साधारण डिस्क के रिम पर विपरीत बिंदुओं के जोड़े एक दूसरे के साथ पहचाने जाते हैं; डिस्क से वास्तविक प्रक्षेपी तल इस प्रकार बनता है। इसलिए, चित्र 1 में दिखाई गई सतह (डिस्क के साथ क्रॉस-कैप) स्थैतिक रूप से वास्तविक प्रक्षेपी  प्लेन RP के समतुल्य है<sup>2</उप>।
बिंदुओं के इन युग्मों की पहचान करके, उन्हें एक दूसरे के समतुल्य बनाकर एक क्रॉस-कैप्ड डिस्क बनाई जाती है। इसका तात्पर्य है कि पैरामीटरों(u, 1) और निर्देशांक <math>(r \, \cos 2u, r \, \sin 2u, r \, \cos u)</math> के साथ बिंदु बिंदु(u + π, 1) से पहचाना जाता है जिसका निर्देशांक <math> (r \, \cos 2 u, r \, \sin 2 u, - r \, \cos u) </math> है। परन्तु इसका तात्पर्य यह है कि(समतुल्य) साधारण डिस्क के किनारे पर विपरीत बिंदुओं के युग्मों एक दूसरे के साथ पहचाने जाते हैं; डिस्क से वास्तविक प्रक्षेपी तल इस प्रकार बनता है। इसलिए, चित्र 1 में दिखाई गई सतह(डिस्क के साथ क्रॉस-कैप) स्थैतिक रूप से वास्तविक प्रक्षेपीतल RP<sup>2 के समतुल्य है।


== सजातीय निर्देशांक ==
== सजातीय निर्देशांक ==
{{main|Homogeneous coordinates}}
{{main|सजातीय निर्देशांक}}
समतल में बिंदुओं को [[सजातीय निर्देशांक]] द्वारा दर्शाया जा सकता है। एक बिंदु में सजातीय निर्देशांक होते हैं [x : y : z], जहां निर्देशांक [x : y : z] और [tx : ty : tz] को t के सभी अशून्य मानों के लिए एक ही बिंदु का प्रतिनिधित्व करने के लिए माना जाता है। निर्देशांक [x : y : 1] वाले बिंदु सामान्य वास्तविक तल होते हैं, जिन्हें प्रक्षेपी तल का 'परिमित भाग' कहा जाता है, और निर्देशांक वाले बिंदु [x : y : 0], जिन्हें 'अनंत पर बिंदु' या 'आदर्श बिंदु' कहा जाता है ', 'रेखा पर अनंत' नामक एक रेखा का गठन करें। (सजातीय निर्देशांक [0 : 0 : 0] किसी भी बिंदु का प्रतिनिधित्व नहीं करते।)
समतल में बिंदुओं को [[सजातीय निर्देशांक]] द्वारा दर्शाया जा सकता है। एक बिंदु में सजातीय निर्देशांक [x : y : z] होते हैं, जहां निर्देशांक [x : y : z] और [tx : ty : tz] को t के सभी अशून्य मानों के लिए एक ही बिंदु का प्रतिनिधित्व करने के लिए माना जाता है। निर्देशांक [x : y : 1] वाले बिंदु सामान्य वास्तविक तल होते हैं, जिन्हें प्रक्षेपी तल का 'परिमित भाग' कहा जाता है, और निर्देशांक [x : y : 0] वाले बिंदु, जिन्हें 'अनंत' या 'आदर्श बिंदु' कहा जाता है, एक रेखा बनाते हैं जिसे कहा जाता है अनंत पर रेखा।(सजातीय निर्देशांक [0 : 0 : 0] किसी भी बिंदु का प्रतिनिधित्व नहीं करते हैं।)


समतल में रेखाओं को सजातीय निर्देशांक द्वारा भी दर्शाया जा सकता है। तल के अनुरूप एक प्रक्षेपी  लाइन {{nowrap|''ax'' + ''by'' + ''cz'' {{=}} 0}} आर में<sup>3</sup> के समरूप निर्देशांक हैं (a : b : c)इस प्रकार, इन निर्देशांकों में डी के सभी शून्येतर मानों के लिए तुल्यता संबंध (a : b : c) = (da : db : dc) है। इसलिए एक ही रेखा का एक अलग समीकरण dax+dby+dcz=0 समान सजातीय निर्देशांक देता है।
समतल में रेखाओं को सजातीय निर्देशांक द्वारा भी दर्शाया जा सकता है। '''R'''<sup>3</sup> में समतल {{nowrap|''ax'' + ''by'' + ''cz'' {{=}} 0}} के अनुरूप एक प्रक्षेपी रेखा में सजातीय निर्देशांक(a : b : c) हैं। इस प्रकार, इन निर्देशांकों में d के सभी शून्येतर मानों के लिए तुल्यता संबंध(a : b : c) =(da : db : dc) है। इसलिए एक ही रेखा का एक अलग समीकरण dax+dby+dcz=0 समान सजातीय निर्देशांक देता है। एक बिंदु [x : y : z] एक रेखा(a : b : c) पर स्थित है यदि ax + by +cz = 0 है। इसलिए, निर्देशांक(a : b : c) वाली रेखाएँ जहाँ a, b दोनों 0 नहीं हैं, सामान्य वास्तविक तल की रेखाओं के अनुरूप हैं, क्योंकि उनमें ऐसे बिंदु हैं जो अनंत पर नहीं हैं। निर्देशांक(0 : 0 : 1) वाली रेखा अनंत पर रेखा है, क्योंकि इस पर मात्र वही बिंदु हैं जिनके समीप z = 0 है।
एक बिंदु [x : y : z] एक रेखा पर स्थित है (a : b : c) यदि ax + by +cz = 0 है।
इसलिए, निर्देशांक वाली रेखाएँ (a : b : c) जहाँ a, b दोनों 0 नहीं हैं, सामान्य वास्तविक तल की रेखाओं के अनुरूप हैं, क्योंकि उनमें ऐसे बिंदु हैं जो अनंत पर नहीं हैं। निर्देशांक वाली रेखा (0 : 0 : 1) अनंत पर रेखा है, क्योंकि इस पर केवल वही बिंदु हैं जिनके पास z = 0 है।


=== अंक, रेखाएँ और तल ===
=== अंक, रेखाएँ और तल ===
[[Image:Proj geom1.PNG|right]]पी में एक पंक्ति<sup>2</sup> को समीकरण ax + by + cz = 0 द्वारा दर्शाया जा सकता है। यदि हम a, b, और c को स्तंभ सदिश 'ℓ' और x, y, z को स्तंभ सदिश 'x' मानते हैं तो उपरोक्त समीकरण को मैट्रिक्स रूप में इस प्रकार लिखा जा सकता है:
[[Image:Proj geom1.PNG|right]]'''P'''<sup>2</sup> में एक रेखा को समीकरण ax + by + cz = 0 द्वारा दर्शाया जा सकता है। यदि हम a, b, और c को स्तंभ सदिश 'ℓ' और x, y, z को स्तंभ सदिश 'x' मानते हैं तो उपरोक्त समीकरण को आव्यूह रूप में इस प्रकार लिखा जा सकता है:
 
:'''x'''<sup>T</sup>'''ℓ''' = 0 or '''ℓ'''<sup>T</sup>'''x''' = 0.


:'एक्स'<sup>टी</sup>ℓ = 0 या ℓ<sup>टी</सुप>एक्स = 0।
सदिश संकेतन का उपयोग करके हम इसके अतिरिक्त x ⋅ ℓ = 0 या ℓ ⋅ x = 0 लिख सकते हैं।


वेक्टर संकेतन का उपयोग करके हम इसके बजाय x ℓ = 0 या ℓ ⋅ x = 0 लिख सकते हैं।
समीकरण ''k''('''x'''<sup>T</sup>'''''') = 0(जो k एक गैर-शून्य अदिश राशि है) '''R'''<sup>3</sup> में शून्य से होकर जाने वाले समतल को पार करता है और k(x) एक रेखा को पार करता है, फिर से शून्य से होकर जाता है। समतल और रेखा '''R'''<sup>3</sup> में रैखिक उपसमष्टि हैं, जो सदैव शून्य से होकर जाता है।


समीकरण '' के '' (एक्स<sup>T</sup>ℓ) = 0 (जो k एक गैर-शून्य अदिश राशि है) R में शून्य से गुजरने वाले समतल को पार करता है<sup>3</sup> और k(x) एक रेखा को पार करते हैं, फिर से शून्य से होकर जाते हैं। समतल और रेखा वास्तविक निर्देशांक स्थान में रेखीय उपसमष्टि हैं|'R'<sup>3</sup>, जो हमेशा शून्य से होकर जाता है।
{{Clear}}




=== आदर्श बिंदु ===
=== आदर्श बिंदु ===
[[Image:prj geom.svg|right]]पी में<sup>2</sup> एक रेखा का समीकरण है {{nowrap|''ax'' + ''by'' + ''cz'' {{=}} 0}} और यह समीकरण समीकरण को k से गुणा करके x, y समतल के समानांतर किसी भी तल पर एक रेखा का प्रतिनिधित्व कर सकता है।
[[Image:prj geom.svg|right]]'''P'''<sup>2</sup> में एक रेखा का समीकरण {{nowrap|''ax'' + ''by'' + ''cz'' {{=}} 0}} है और यह समीकरण समीकरण को k से गुणा करके x, y समतल के समानांतर किसी भी तल पर एक रेखा का प्रतिनिधित्व कर सकता है।
 
अगर {{nowrap|''z'' {{=}} 1}} हमारे पास सामान्यीकृत सजातीय समन्वय है। z = 1 वाले सभी बिंदु एक समतल बनाते हैं। आइए मान लें कि हम उस तल को देख रहे हैं (जेड अक्ष के साथ आगे की स्थिति से और मूल की तरफ देख रहे हैं) और तल पर दो समांतर रेखाएं खींची गई हैं। जहां से हम खड़े हैं (हमारी दृश्य क्षमताओं को देखते हुए) हम केवल इतना ही तल देख सकते हैं, जिसे हम आरेख में लाल रंग में उल्लिखित क्षेत्र के रूप में दर्शाते हैं। यदि हम जेड अक्ष के साथ तल से दूर चलते हैं, (फिर भी पीछे की ओर मूल की ओर देख रहे हैं), तो हम तल के और अधिक देख सकते हैं। हमारे देखने के क्षेत्र में मूल बिंदु स्थानांतरित हो गए हैं। हम सजातीय समन्वय को एक स्थिरांक से विभाजित करके इस गति को प्रतिबिंबित कर सकते हैं। बगल की छवि में हमने 2 से विभाजित किया है इसलिए z मान अब 0.5 हो जाता है। यदि हम काफी दूर चले जाते हैं तो हम जो देख रहे हैं वह दूरी में एक बिंदु बन जाता है। जैसे-जैसे हम दूर जाते हैं हम अधिक से अधिक समानांतर रेखाएँ देखते हैं। रेखाएँ अनंत पर एक रेखा पर मिलेंगी (एक रेखा जो तल पर शून्य से होकर जाती है {{nowrap|''z'' {{=}} 0}}). तल पर लाइनें कब {{nowrap|''z'' {{=}} 0}} आदर्श बिन्दु हैं। पर तल {{nowrap|''z'' {{=}} 0}} अनंत पर रेखा है।
 
सजातीय बिंदु {{nowrap|(0, 0, 0)}} वह स्थान  है जहां सभी वास्तविक बिंदु जाते हैं जब आप तल को अनंत दूरी से देखते हैं, एक रेखा पर {{nowrap|''z'' {{=}} 0}} समतल वह है जहाँ समानांतर रेखाएँ प्रतिच्छेद करती हैं।
{{Clear}}


यदि {{nowrap|''z'' {{=}} 1}} हमारे समीप सामान्यीकृत सजातीय समन्वय है। z = 1 वाले सभी बिंदु समतल बनाते हैं। आइए मान लें कि हम उस तल को देख रहे हैं(z अक्ष के साथ आगे की स्थिति से और मूल की ओर देख रहे हैं) और तल पर दो समांतर रेखाएं खींची गई हैं। जहां से हम खड़े हैं(हमारी दृश्य क्षमताओं को देखते हुए) हम मात्र इतना ही तल देख सकते हैं, जिसे हम आरेख में लाल रंग में उल्लिखित क्षेत्र के रूप में दर्शाते हैं। यदि हम z अक्ष के साथ तल से दूर चलते हैं,(फिर भी पीछे की ओर मूल की ओर देख रहे हैं), तो हम तल के और अधिक देख सकते हैं। हमारे देखने के क्षेत्र में मूल बिंदु स्थानांतरित हो गए हैं। हम सजातीय समन्वय को एक स्थिरांक से विभाजित करके इस गति को प्रतिबिंबित कर सकते हैं। समीपवर्ती प्रतिरूप में हमने 2 से विभाजित किया है इसलिए z मान अब 0.5 हो जाता है। यदि हम अत्याधिक दूर चले जाते हैं तो हम जो देख रहे हैं वह दूरी में एक बिंदु बन जाता है। जैसे-जैसे हम दूर जाते हैं हम अधिक से अधिक समानांतर रेखाएँ देखते हैं। रेखाएँ अनंत पर एक रेखा पर मिलेंगी(एक रेखा जो {{nowrap|''z'' {{=}} 0}} पर तल पर शून्य से होकर जाती है)। तल पर रेखाएँ जब {{nowrap|''z'' {{=}} 0}} आदर्श बिन्दु हैं। {{nowrap|''z'' {{=}} 0}} पर तल अनंत पर रेखा है।


सजातीय बिंदु {{nowrap|(0, 0, 0)}} वह स्थान है जहां सभी वास्तविक बिंदु जाते हैं जब आप तल को अनंत दूरी से देखते हैं, एक रेखा पर {{nowrap|''z'' {{=}} 0}} समतल वह है जहाँ समानांतर रेखाएँ प्रतिच्छेद करती हैं।
=== द्वैत ===
=== द्वैत ===
[[Image:Projective geometry diagram 2.svg|200px|right]]समीकरण में {{nowrap|'''x'''<sup>T</sup>'''ℓ''' {{=}} 0}} दो [[कॉलम वेक्टर]] हैं। आप या तो स्थिर रख सकते हैं और दूसरे को बदल सकते हैं। यदि हम बिंदु x को स्थिर रखते हैं और गुणांक ℓ बदलते हैं तो हम बिंदु से होकर जाने वाली नई रेखाएँ बनाते हैं। यदि हम गुणांकों को स्थिर रखते हैं और उन बिंदुओं को बदलते हैं जो समीकरण को संतुष्ट करते हैं तो हम एक रेखा बनाते हैं। हम x को एक बिंदु के रूप में देखते हैं, क्योंकि जिन अक्षों का हम उपयोग कर रहे हैं वे हैं ''x'', ''y'', और ''z''। यदि हम इसके बजाय 'a', ''b'', ''c'' चिह्नित अक्षों का उपयोग करके गुणांकों को प्लॉट करते हैं, तो बिंदु रेखाएँ बन जाएंगे और रेखाएँ बिंदु बन जाएँगी। यदि आप ''x'', ''y'', और ''z'' चिह्नित अक्ष पर प्लॉट किए गए डेटा के साथ कुछ साबित करते हैं तो उसी तर्क का उपयोग अक्ष पर प्लॉट किए गए डेटा के लिए ''a'', '' चिह्नित किया जा सकता है बी '', और '' सी ''। वह द्वैत है।
[[Image:Projective geometry diagram 2.svg|200px|right]]समीकरण में {{nowrap|'''x'''<sup>T</sup>'''ℓ''' {{=}} 0}} दो [[कॉलम वेक्टर|स्तंभ सदिश]] हैं। आप या तो स्थिर रख सकते हैं और दूसरे को बदल सकते हैं। यदि हम बिंदु x को स्थिर रखते हैं और गुणांक ℓ बदलते हैं तो हम बिंदु से होकर जाने वाली नवीन रेखाएँ बनाते हैं। यदि हम गुणांकों को स्थिर रखते हैं और उन बिंदुओं को बदलते हैं जो समीकरण को संतुष्ट करते हैं तो हम एक रेखा बनाते हैं। हम x को एक बिंदु के रूप में देखते हैं, क्योंकि जिन अक्षों का हम उपयोग कर रहे हैं वे हैं ''x'', ''y'', और ''z''। यदि हम इसके अतिरिक्त 'a', ''b'', ''c'' चिह्नित अक्षों का उपयोग करके गुणांकों को आलेखित करते हैं, तो बिंदु रेखाएँ बन जाएंगे और रेखाएँ बिंदु बन जाएँगी। यदि आप ''x'', ''y'', और ''z'' चिह्नित अक्ष पर आलेखित किए गए डेटा के साथ कुछ सिद्ध करते हैं तो उसी तर्क का उपयोग अक्ष पर अंकित a,b और ''c ''पर आलेखित किए गए डेटा के लिए किया जा सकता है। वह द्वैत है।
{{Clear}}




==== बिंदुओं को जोड़ने वाली रेखाएँ और रेखाओं का प्रतिच्छेदन (द्वंद्व का उपयोग करके) ====
==== बिंदुओं को जोड़ने वाली रेखाएँ और रेखाओं का प्रतिच्छेदन(द्वंद्व का उपयोग करके) ====
समीकरण {{nowrap|'''x'''<sup>T</sup>'''ℓ''' {{=}} 0}} दो कॉलम वैक्टर के [[डॉट उत्पाद]] की गणना करता है। यदि वेक्टर [[ओर्थोगोनल]] हैं तो दो वैक्टरों का आंतरिक उत्पाद शून्य है। पी में<sup>2</sup>, बिंदु x के बीच की रेखा<sub>1</sub> और एक्स<sub>2</sub> एक कॉलम वेक्टर ℓ के रूप में दर्शाया जा सकता है जो समीकरणों को संतुष्ट करता है {{nowrap|'''x'''<sub>1</sub><sup>T</sup>'''ℓ''' {{=}} 0}} और {{nowrap|'''x'''<sub>2</sub><sup>T</sup>'''ℓ''' {{=}} 0}}, या दूसरे शब्दों में एक कॉलम वेक्टर ℓ जो x के लिए ओर्थोगोनल है<sub>1</sub> और एक्स<sub>2</sub>. क्रॉस उत्पाद ऐसे वेक्टर को खोजेगा: दो बिंदुओं को जोड़ने वाली रेखा में समीकरण द्वारा दिए गए सजातीय निर्देशांक हैं {{nowrap|'''x'''<sub>1</sub> × '''x'''<sub>2</sub>}}. दो रेखाओं का प्रतिच्छेदन उसी तरह से पाया जा सकता है, द्वैत का उपयोग करते हुए, रेखाओं का प्रतिनिधित्व करने वाले वैक्टर के क्रॉस उत्पाद के रूप में, {{nowrap|'''ℓ'''<sub>1</sub> × '''ℓ'''<sub>2</sub>}}.
समीकरण {{nowrap|'''x'''<sup>T</sup>'''ℓ''' {{=}} 0}} दो स्तंभ सदिश के [[डॉट उत्पाद|बिंदु उत्पाद]] की गणना करता है। यदि सदिश [[ओर्थोगोनल|आयतीय]] हैं तो दो सदिशों का आंतरिक उत्पाद शून्य है। '''P'''<sup>2</sup> में, बिंदुओं '''x'''<sub>1</sub> और '''x'''<sub>2</sub> के बीच की रेखा को स्तंभ सदिश ℓ के रूप में दर्शाया जा सकता है जो समीकरणों {{nowrap|'''x'''<sub>1</sub><sup>T</sup>'''ℓ''' {{=}} 0}} और {{nowrap|'''x'''<sub>2</sub><sup>T</sup>'''ℓ''' {{=}} 0}} को संतुष्ट करता है, या दूसरे शब्दों में एक स्तंभ सदिश '''''' जो कि '''x'''<sub>1</sub> और'''x'''<sub>2</sub> के लिए आयतीय है। क्रॉस उत्पाद ऐसे सदिश को खोजेगा: दो बिंदुओं को जोड़ने वाली रेखा में समीकरण {{nowrap|'''x'''<sub>1</sub> × '''x'''<sub>2</sub>}} द्वारा दिए गए सजातीय निर्देशांक हैं। दो रेखाओं का प्रतिच्छेदन उसी रूप से पाया जा सकता है, द्वैत का उपयोग करते हुए, रेखाओं का प्रतिनिधित्व करने वाले सदिश के क्रॉस उत्पाद के रूप में, {{nowrap|'''ℓ'''<sub>1</sub> × '''ℓ'''<sub>2</sub>}}


== 4-आयामी स्थान में एम्बेड करना ==
== 4-आयामी स्थान में अंतर्निहित करना ==
प्रक्षेपी प्लेन 4-डायमेंशनल यूक्लिडियन स्थान में एम्बेड होता है। वास्तविक प्रक्षेपी तल P<sup>2</sup>(R) दो-गोले का [[भागफल स्थान (टोपोलॉजी)]] है
प्रक्षेपी तल 4-आयामी यूक्लिडियन स्थान में अंतर्निहित होता है। वास्तविक प्रक्षेपी तल P<sup>2</sup>(R), प्रतिव्यास संबंध {{nowrap|(''x'', ''y'', ''z'') ~ (−''x'', −''y'', −''z'')}} द्वारा दो-गोले  


:एस<sup>2</sup> = {(x, y, z) ∈ 'आर'<sup>3</sup> : एक्स<sup>2</sup> + और<sup>2</sup> + के साथ<sup>2</sup> = 1}
:'''S'''<sup>2</sup> = {(''x'', ''y'', ''z'') ∈ '''R'''<sup>3</sup> : ''x''<sup>2</sup> + ''y''<sup>2</sup> + ''z''<sup>2</sup> = 1}


प्रतिव्यास संबंध द्वारा {{nowrap|(''x'', ''y'', ''z'') ~ (''x'', ''y'', ''z'')}}. समारोह पर विचार करें {{nowrap|'''R'''<sup>3</sup> '''R'''<sup>4</sup>}} द्वारा दिए गए {{nowrap|(''x'', ''y'', ''z'') ↦ (''xy'', ''xz'', ''y''<sup>2</sup> ''z''<sup>2</sup>, 2''yz'')}}. यह मानचित्र उस मानचित्र तक सीमित है जिसका डोमेन S है<sup>2</sup> और, चूंकि प्रत्येक घटक सम कोटि का समांगी बहुपद है, यह R में समान मान लेता है<sup>4</sup> S पर किन्ही दो प्रतिव्यासांत बिंदुओं में से प्रत्येक पर<sup>2</उप>। यह एक नक्शा देता है {{nowrap|'''P'''<sup>2</sup>('''R''') → '''R'''<sup>4</sup>}}. इसके अलावा, यह नक्शा एक अंतर्निहित है। ध्यान दें कि यह अंतर्निहित आर में प्रक्षेपण को स्वीकार करता है<sup>3</sup> जो रोमन सतह है।
का [[भागफल स्थान (टोपोलॉजी)|भागफल स्थान(टोपोलॉजी)]] है। {{nowrap|(''x'', ''y'', ''z'') (''xy'', ''xz'', ''y''<sup>2</sup> ''z''<sup>2</sup>, 2''yz'')}} द्वारा दिए गए फलन {{nowrap|'''R'''<sup>3</sup> → '''R'''<sup>4</sup>}} पर विचार करें। यह प्रतिचित्र एक ऐसे प्रतिचित्र तक सीमित है जिसका डोमेन '''S'''<sup>2</sup> है और, चूंकि प्रत्येक घटक सम कोटि का सजातीय बहुपद है, यह '''S'''<sup>2</sup> पर किन्ही दो प्रतिव्यासांत बिंदुओं में से प्रत्येक पर '''R'''<sup>4</sup> में समान मान लेता है। इससे प्रतिचित्र '''P'''<sup>2</sup>('''R''') → '''R'''<sup>4</sup> प्राप्त होता है। इसके अतिरिक्त, यह प्रतिचित्र अंतर्निहित है। ध्यान दें कि यह अंतर्निहित '''R'''<sup>3</sup> में प्रक्षेपण को स्वीकार करता है जो कि रोमन सतह है।


== उच्च गैर-उन्मुख सतहें ==
== उच्च गैर- अभिविन्यसनीय सतहें ==
क्रमिक रूप से प्रक्षेपी तलों को एक साथ जोड़कर हमें उच्च जीनस (गणित) की गैर-उन्मुख सतहें मिलती हैं। ग्लूइंग प्रक्रिया में प्रत्येक सतह से एक छोटी सी डिस्क को काटना और उनकी सीमा वृत्तों की पहचान (ग्लूइंग) करना शामिल है। दो प्रक्षेपी तलों को चिपकाने से [[क्लेन की बोतल]] बनती है।
क्रमिक रूप से प्रक्षेपी तलों को एक साथ जोड़कर हमें उच्च जीनस(गणित) की गैर- अभिविन्यसनीय सतहें मिलती हैं। चिपकने की प्रक्रिया में प्रत्येक सतह से एक छोटी सी डिस्क को काटना और उनकी सीमा वृत्तों की पहचान(चिपकाना) करना सम्मिलित है। दो प्रक्षेपी तलों को चिपकाने से [[क्लेन की बोतल]] बनती है।


[[मौलिक बहुभुज]] पर लेख उच्च गैर-उन्मुख सतहों का वर्णन करता है।
[[मौलिक बहुभुज]] पर लेख उच्च गैर- अभिविन्यसनीय सतहों का वर्णन करता है।


== यह भी देखें ==
== यह भी देखें ==
* वास्तविक प्रक्षेप्य स्थान
* वास्तविक प्रक्षेप्य स्थान
* [[प्रोजेक्टिव स्पेस|प्रक्षेपी स्पेस]]
* [[प्रोजेक्टिव स्पेस|प्रक्षेपी स्थान]]
*पु की असमानता| वास्तविक प्रक्षेपी तल के लिए पु की असमानता
*वास्तविक प्रक्षेपी तल के लिए पु की असमानता
* चिकना प्रक्षेपी तल
* चिकना प्रक्षेपी तल


Line 169: Line 165:
* [https://www.youtube.com/watch?v=lDqmaPEjJpk The real projective plane on YouTube]
* [https://www.youtube.com/watch?v=lDqmaPEjJpk The real projective plane on YouTube]


{{Compact topological surfaces}}
[[Category: सतह]] [[Category: ज्यामितीय टोपोलॉजी]]
[[Category: Machine Translated Page]]
[[Category:Created On 08/02/2023]]
[[Category:Created On 08/02/2023]]
[[Category:Lua-based templates]]
[[Category:Machine Translated Page]]
[[Category:Pages with script errors]]
[[Category:Short description with empty Wikidata description]]
[[Category:Templates Vigyan Ready]]
[[Category:Templates that add a tracking category]]
[[Category:Templates that generate short descriptions]]
[[Category:Templates using TemplateData]]
[[Category:ज्यामितीय टोपोलॉजी]]
[[Category:सतह]]

Latest revision as of 16:39, 10 October 2023

ProjectivePlaneAsSquare.svg
प्रक्षेपी तल का मौलिक बहुभुज
MöbiusStripAsSquare.svg
एक किनारे के साथ मोबियस पट्टी, विपरीत खुले किनारों को एक साथ जोड़कर एक प्रक्षेपी तल में बंद किया जा सकता है।
KleinBottleAsSquare.svg
इसकी तुलना में, क्लेन बोतल एक मोबियस पट्टी है जो सिलेंडर में बंद है।

गणित में, वास्तविक प्रक्षेपी तल एक सघन गैर- अभिविन्यसनीयता द्वि-आयामी विविध का एक उदाहरण है; दूसरे शब्दों में, एक पक्षीय सतह(टोपोलॉजी) है। यह स्वयं अन्तर्विभाजक किए बिना मानक त्रि-आयामी स्थान में अंतर्निहित नहीं किया जा सकता है। इसमें ज्यामिति के लिए मूलभूत अनुप्रयोग हैं, क्योंकि वास्तविक प्रक्षेपी तल का सामान्य निर्माण मूल के माध्यम से गुजरने वाली रेखा के स्थान के रूप में है।

मोबियस पट्टी के आधार पर एक निर्माण के संदर्भ में, तल को प्रायः स्थलीय रूप से वर्णित किया जाता है: यदि कोई मोबियस पट्टी के(एकल) किनारे को सही दिशा में चिपका सकता है, तो वह प्रक्षेपी तल प्राप्त करेगा।(यह त्रि-आयामी स्थान में सतह के स्वयं को प्रतिच्छेद किए बिना नहीं किया जा सकता है।) समान रूप से, मोबियस पट्टी की सीमा के साथ एक डिस्क को चिपकाने से प्रक्षेपी तल मिलता है। टोपोलॉजिकल रूप से, इसमें यूलर की विशेषता 1 है, इसलिए 1 का एक जीनस(गणित)(गैर- अभिविन्यसनीय जीनस, यूलर जीनस) है।

चूंकि मोबियस पट्टी, के स्थान पर, एक वर्ग(ज्यामिति) से इसके दो पक्षों को एक साथ आधे-वक्र के साथ जोड़कर बनाया जा सकता है, वास्तविक प्रक्षेपी तल को एक इकाई वर्ग के रूप में दर्शाया जा सकता है(अर्थात, [0, 1] × [0,1]) निम्नलिखित तुल्यता संबंधों द्वारा पहचाने गए पक्षों के साथ:

(0, y) ~ (1, 1 − y) के लिए 0 ≤ y ≤ 1

और

(x, 0) ~ (1 − x, 1) के लिए 0 ≤ x ≤ 1,

जैसा कि यहां दिखाए गए सबसे बाएं आरेख में है।

उदाहरण

प्रक्षेपी ज्यामिति आवश्यक रूप से वक्रता से संबंधित नहीं है और वास्तविक प्रक्षेपी तल को कई अलग-अलग विधियों से यूक्लिडियन तल या 3-स्थान में घुमाया और रखा जा सकता है।[1] कुछ अधिक महत्वपूर्ण उदाहरणों का वर्णन नीचे किया गया है।

प्रक्षेपी तल को त्रि-आयामी यूक्लिडियन स्थान में अंतर्निहित नहीं किया जा सकता है(जो बिना प्रतिच्छेदन के है)। प्रमाण है कि प्रक्षेपी तल त्रि-आयामी यूक्लिडियन स्थान में अंतर्निहित नहीं होता है: यह मानते हुए कि यह अंतर्निहित करता है, यह जॉर्डन वक्र प्रमेय द्वारा त्रि-आयामी यूक्लिडियन स्थान में एक सघन क्षेत्र को बाध्य करेगा। बाह्य-संकेत इकाई सामान्य सदिश क्षेत्र तब परिसीमा विविध काअभिविन्यसनीय(गणित) देगा, परन्तु परिसीमा विविध प्रक्षेपी तल होगा, जोअभिविन्यसनीय नहीं है। यह एक विरोधाभास है, और इसलिए हमारी यह धारणा है कि यह अंतर्निहित करता है, असत्य होना चाहिए।

प्रक्षेप्य क्षेत्र

एक गोले पर विचार करें, और गोले के बड़े वृत्तों को रेखाएँ होने दें, और प्रतिव्यासांत बिंदुओं के युग्मों को बिंदु होने दें। यह जाँचना आसान है कि यह प्रणाली प्रक्षेपी तल के लिए आवश्यक अभिगृहीतों का पालन करती है:

  • विभिन्न बड़े वृत्तों की कोई भी युग्म प्रतिलोम-संबंधी बिंदुओं के एक युग्म पर मिलती है; और
  • प्रतिलोम-संबंधी बिंदुओं के कोई भी दो अलग-अलग युग्म एक बड़े वृत्त पर स्थित होते हैं।

यदि हम गोले के प्रत्येक बिंदु को उसके प्रतिमुख बिंदु से पहचानते हैं, तो हमें वास्तविक प्रक्षेपी तल का प्रतिनिधित्व मिलता है जिसमें प्रक्षेपी तल के बिंदु सत्यतः बिंदु होते हैं। इसका अर्थ यह है कि प्रक्षेपी तल, गोले को समतुल्यता संबंध ~ के अंतर्गत तुल्यता वर्गों में विभाजित करके प्राप्त किए गए गोले का भागफल स्थान है, जहाँ x ~ y यदि y = x या y = −x है। गोले का यह भागफल स्थान R3 में मूल से गुजरने वाली सभी रेखाओं के संग्रह के साथ समरूप है।

क्षेत्र से वास्तविक प्रक्षेपी तल पर भागफल प्रतिचित्र सत्यतः एक दो शीट(अर्थात दो-से-एक) आवरण प्रतिचित्र है। यह इस प्रकार है कि वास्तविक प्रक्षेपी तल का मौलिक समूह क्रम 2 का चक्रीय समूह है; अर्थात, पूर्णांक सापेक्ष 2। उत्पादक होने के लिए ऊपर की आकृति से लूप AB ले सकते हैं।

प्रक्षेप्य गोलार्द्ध

भूमध्य रेखा पर एक साथ विपरीत बिंदुओं को जोड़कर एक गोलार्द्ध एक वास्तविक प्रक्षेप्य तल का प्रतिनिधित्व कर सकता है।

क्योंकि गोला वास्तविक प्रक्षेपी तल को दो बार ढकता है, समतल को बंद गोलार्द्ध के रूप में दर्शाया जा सकता है जिसके किनारे के चारों ओर विपरीत बिंदु समान रूप से पहचाने जाते हैं।[2]


लड़के की सतह - एक निमज्जन

प्रक्षेपी तल 3-स्थान में निमज्जन(गणित) हो सकता है(स्रोत स्थान के स्थानीय निकटवर्ती में आत्म-प्रतिच्छेदन नहीं हैं)। लड़के की सतह निमज्जन का एक उदाहरण है।

बहुफलकीय उदाहरणों में कम से कम नौ फलक होने चाहिए।[3]


रोमन सतह

रोमन सतह का एक एनीमेशन

स्टेनर की रोमन सतह 3-स्थान में प्रक्षेपी तल का अधिक अपभ्रष्ट प्रतिचित्र है, जिसमें एक क्रॉस-कैप है।

टेट्राहेमीहेक्साइड्रोन वास्तविक प्रक्षेपी तल का बहुफलकीय प्रतिनिधित्व है।

एक बहुतल प्रतिनिधित्व टेट्राहेमीहेक्साइड्रोन है,[4] जिसका वही सामान्य रूप है जो स्टेनर की रोमन सतह जैसा है, यहाँ दिखाया गया है।

अर्ध बहुकोणीय आकृति

विपरीत दिशा में देखते हुए, कुछ अमूर्त नियमित बहुतलीय - अर्धघन(ज्यामिति), अर्ध-द्वादशफलक, और अर्ध-विंशतिफलक - प्रक्षेपी तल में नियमित आंकड़े के रूप में बनाए जा सकते हैं; प्रक्षेपी बहुकोणीय आकृति भी देखें।

समतलीय प्रक्षेप

प्रक्षेपी तल के विभिन्न प्लानर(समतल) प्रक्षेपों या प्रतिचित्रों का वर्णन किया गया है। 1874 में क्लेन ने प्रतिचित्रण का वर्णन किया:[1]

प्रक्षेपी गोलार्द्ध का एक तल पर केंद्रीय प्रक्षेपण नीचे वर्णित सामान्य अनंत प्रक्षेपी तल उत्पन्न करता है।

क्रॉस-कैप्ड डिस्क

एक डिस्क(गणित) को क्रॉस-कैप से चिपकाकर बंद सतह प्राप्त की जाती है। इस सतह को निम्नलिखित समीकरणों द्वारा प्राचलिक रूप से दर्शाया जा सकता है:

जहाँ u और v दोनों का परिसर 0 से 2π तक है।

ये समीकरण एक टोरस्र्स के समान हैं। चित्र 1 एक बंद क्रॉस-कैप्ड डिस्क दिखाता है।

CrossCapTwoViews.PNG
चित्र 1. क्रॉस-कैप्ड डिस्क के दो दृश्य।

एक क्रॉस-कैप्ड डिस्क में समरूपता का तल होता है जो दोहरे बिंदुओं के रेखा खंड से होकर गुजरता है। चित्र 1 में क्रॉस-कैप्ड डिस्क को सममिति z = 0 के तल के ऊपर से देखा जा सकता है, परन्तु नीचे से देखने पर यह वैसी ही दिखेगी।

एक क्रॉस-कैप्ड डिस्क को इसके समरूपता के तल के साथ खुला काटा जा सकता है, जबकि यह सुनिश्चित किया जाता है कि इसके किसी भी दोहरे बिंदु के साथ कटौती न हो। परिणाम चित्र 2 में दिखाया गया है।

CrossCapSlicedOpen.PNG
चित्र 2. एक क्रॉस-कैप्ड डिस्क के दो दृश्य जो खुले में कटा हुआ है।

एक बार यह अपवाद हो जाने के बाद, यह देखा जाएगा कि कटा हुआ क्रॉस-कैप्ड डिस्क स्व-प्रतिच्छेदी डिस्क के लिए समरूप है, जैसा कि चित्र 3 में दिखाया गया है।

SelfIntersectingDisk.PNG
चित्र 3. एक स्व-प्रतिच्छेदी डिस्क के दो वैकल्पिक दृश्य।

स्व-प्रतिच्छेदी डिस्क एक साधारण डिस्क के लिए समरूप है। स्व-प्रतिच्छेदी डिस्क के प्राचलिक समीकरण हैं:

जहाँ u 0 से 2π तक और v 0 से 1 तक होता है।

स्व-प्रतिच्छेदी डिस्क को समरूपता के तल पर प्रक्षेपित करना(पहले दिए गए प्राचलिक में z = 0) जो मात्र दोहरे बिंदुओं से होकर गुजरता है, परिणाम एक साधारण डिस्क है जो स्वयं को दोहराती है(स्वयं पर दोगुनी हो जाती है)।

समतल z = 0 स्व-प्रतिच्छेदी डिस्क को डिस्क की एक युग्म में काटता है जो एक दूसरे के दर्पण प्रतिबिंब(गणित) हैं। डिस्क के केंद्र उत्पत्ति(गणित) पर होते हैं।

अब डिस्क के किनारों पर विचार करें(v = 1 के साथ)। स्व-प्रतिच्छेदी डिस्क के किनारे पर बिंदु युग्मों में आते हैं जो समतल z = 0 के संबंध में एक दूसरे के प्रतिबिंब होते हैं।

बिंदुओं के इन युग्मों की पहचान करके, उन्हें एक दूसरे के समतुल्य बनाकर एक क्रॉस-कैप्ड डिस्क बनाई जाती है। इसका तात्पर्य है कि पैरामीटरों(u, 1) और निर्देशांक के साथ बिंदु बिंदु(u + π, 1) से पहचाना जाता है जिसका निर्देशांक है। परन्तु इसका तात्पर्य यह है कि(समतुल्य) साधारण डिस्क के किनारे पर विपरीत बिंदुओं के युग्मों एक दूसरे के साथ पहचाने जाते हैं; डिस्क से वास्तविक प्रक्षेपी तल इस प्रकार बनता है। इसलिए, चित्र 1 में दिखाई गई सतह(डिस्क के साथ क्रॉस-कैप) स्थैतिक रूप से वास्तविक प्रक्षेपीतल RP2 के समतुल्य है।

सजातीय निर्देशांक

समतल में बिंदुओं को सजातीय निर्देशांक द्वारा दर्शाया जा सकता है। एक बिंदु में सजातीय निर्देशांक [x : y : z] होते हैं, जहां निर्देशांक [x : y : z] और [tx : ty : tz] को t के सभी अशून्य मानों के लिए एक ही बिंदु का प्रतिनिधित्व करने के लिए माना जाता है। निर्देशांक [x : y : 1] वाले बिंदु सामान्य वास्तविक तल होते हैं, जिन्हें प्रक्षेपी तल का 'परिमित भाग' कहा जाता है, और निर्देशांक [x : y : 0] वाले बिंदु, जिन्हें 'अनंत' या 'आदर्श बिंदु' कहा जाता है, एक रेखा बनाते हैं जिसे कहा जाता है अनंत पर रेखा।(सजातीय निर्देशांक [0 : 0 : 0] किसी भी बिंदु का प्रतिनिधित्व नहीं करते हैं।)

समतल में रेखाओं को सजातीय निर्देशांक द्वारा भी दर्शाया जा सकता है। R3 में समतल ax + by + cz = 0 के अनुरूप एक प्रक्षेपी रेखा में सजातीय निर्देशांक(a : b : c) हैं। इस प्रकार, इन निर्देशांकों में d के सभी शून्येतर मानों के लिए तुल्यता संबंध(a : b : c) =(da : db : dc) है। इसलिए एक ही रेखा का एक अलग समीकरण dax+dby+dcz=0 समान सजातीय निर्देशांक देता है। एक बिंदु [x : y : z] एक रेखा(a : b : c) पर स्थित है यदि ax + by +cz = 0 है। इसलिए, निर्देशांक(a : b : c) वाली रेखाएँ जहाँ a, b दोनों 0 नहीं हैं, सामान्य वास्तविक तल की रेखाओं के अनुरूप हैं, क्योंकि उनमें ऐसे बिंदु हैं जो अनंत पर नहीं हैं। निर्देशांक(0 : 0 : 1) वाली रेखा अनंत पर रेखा है, क्योंकि इस पर मात्र वही बिंदु हैं जिनके समीप z = 0 है।

अंक, रेखाएँ और तल

Proj geom1.PNG

P2 में एक रेखा को समीकरण ax + by + cz = 0 द्वारा दर्शाया जा सकता है। यदि हम a, b, और c को स्तंभ सदिश 'ℓ' और x, y, z को स्तंभ सदिश 'x' मानते हैं तो उपरोक्त समीकरण को आव्यूह रूप में इस प्रकार लिखा जा सकता है:

xT = 0 or Tx = 0.

सदिश संकेतन का उपयोग करके हम इसके अतिरिक्त x ⋅ ℓ = 0 या ℓ ⋅ x = 0 लिख सकते हैं।

समीकरण k(xT) = 0(जो k एक गैर-शून्य अदिश राशि है) R3 में शून्य से होकर जाने वाले समतल को पार करता है और k(x) एक रेखा को पार करता है, फिर से शून्य से होकर जाता है। समतल और रेखा R3 में रैखिक उपसमष्टि हैं, जो सदैव शून्य से होकर जाता है।


आदर्श बिंदु

Prj geom.svg

P2 में एक रेखा का समीकरण ax + by + cz = 0 है और यह समीकरण समीकरण को k से गुणा करके x, y समतल के समानांतर किसी भी तल पर एक रेखा का प्रतिनिधित्व कर सकता है।

यदि z = 1 हमारे समीप सामान्यीकृत सजातीय समन्वय है। z = 1 वाले सभी बिंदु समतल बनाते हैं। आइए मान लें कि हम उस तल को देख रहे हैं(z अक्ष के साथ आगे की स्थिति से और मूल की ओर देख रहे हैं) और तल पर दो समांतर रेखाएं खींची गई हैं। जहां से हम खड़े हैं(हमारी दृश्य क्षमताओं को देखते हुए) हम मात्र इतना ही तल देख सकते हैं, जिसे हम आरेख में लाल रंग में उल्लिखित क्षेत्र के रूप में दर्शाते हैं। यदि हम z अक्ष के साथ तल से दूर चलते हैं,(फिर भी पीछे की ओर मूल की ओर देख रहे हैं), तो हम तल के और अधिक देख सकते हैं। हमारे देखने के क्षेत्र में मूल बिंदु स्थानांतरित हो गए हैं। हम सजातीय समन्वय को एक स्थिरांक से विभाजित करके इस गति को प्रतिबिंबित कर सकते हैं। समीपवर्ती प्रतिरूप में हमने 2 से विभाजित किया है इसलिए z मान अब 0.5 हो जाता है। यदि हम अत्याधिक दूर चले जाते हैं तो हम जो देख रहे हैं वह दूरी में एक बिंदु बन जाता है। जैसे-जैसे हम दूर जाते हैं हम अधिक से अधिक समानांतर रेखाएँ देखते हैं। रेखाएँ अनंत पर एक रेखा पर मिलेंगी(एक रेखा जो z = 0 पर तल पर शून्य से होकर जाती है)। तल पर रेखाएँ जब z = 0 आदर्श बिन्दु हैं। z = 0 पर तल अनंत पर रेखा है।

सजातीय बिंदु (0, 0, 0) वह स्थान है जहां सभी वास्तविक बिंदु जाते हैं जब आप तल को अनंत दूरी से देखते हैं, एक रेखा पर z = 0 समतल वह है जहाँ समानांतर रेखाएँ प्रतिच्छेद करती हैं।

द्वैत

Projective geometry diagram 2.svg

समीकरण में xT = 0 दो स्तंभ सदिश हैं। आप या तो स्थिर रख सकते हैं और दूसरे को बदल सकते हैं। यदि हम बिंदु x को स्थिर रखते हैं और गुणांक ℓ बदलते हैं तो हम बिंदु से होकर जाने वाली नवीन रेखाएँ बनाते हैं। यदि हम गुणांकों को स्थिर रखते हैं और उन बिंदुओं को बदलते हैं जो समीकरण को संतुष्ट करते हैं तो हम एक रेखा बनाते हैं। हम x को एक बिंदु के रूप में देखते हैं, क्योंकि जिन अक्षों का हम उपयोग कर रहे हैं वे हैं x, y, और z। यदि हम इसके अतिरिक्त 'a', b, c चिह्नित अक्षों का उपयोग करके गुणांकों को आलेखित करते हैं, तो बिंदु रेखाएँ बन जाएंगे और रेखाएँ बिंदु बन जाएँगी। यदि आप x, y, और z चिह्नित अक्ष पर आलेखित किए गए डेटा के साथ कुछ सिद्ध करते हैं तो उसी तर्क का उपयोग अक्ष पर अंकित a,b और c पर आलेखित किए गए डेटा के लिए किया जा सकता है। वह द्वैत है।


बिंदुओं को जोड़ने वाली रेखाएँ और रेखाओं का प्रतिच्छेदन(द्वंद्व का उपयोग करके)

समीकरण xT = 0 दो स्तंभ सदिश के बिंदु उत्पाद की गणना करता है। यदि सदिश आयतीय हैं तो दो सदिशों का आंतरिक उत्पाद शून्य है। P2 में, बिंदुओं x1 और x2 के बीच की रेखा को स्तंभ सदिश ℓ के रूप में दर्शाया जा सकता है जो समीकरणों x1T = 0 और x2T = 0 को संतुष्ट करता है, या दूसरे शब्दों में एक स्तंभ सदिश जो कि x1 औरx2 के लिए आयतीय है। क्रॉस उत्पाद ऐसे सदिश को खोजेगा: दो बिंदुओं को जोड़ने वाली रेखा में समीकरण x1 × x2 द्वारा दिए गए सजातीय निर्देशांक हैं। दो रेखाओं का प्रतिच्छेदन उसी रूप से पाया जा सकता है, द्वैत का उपयोग करते हुए, रेखाओं का प्रतिनिधित्व करने वाले सदिश के क्रॉस उत्पाद के रूप में, 1 × 2

4-आयामी स्थान में अंतर्निहित करना

प्रक्षेपी तल 4-आयामी यूक्लिडियन स्थान में अंतर्निहित होता है। वास्तविक प्रक्षेपी तल P2(R), प्रतिव्यास संबंध (x, y, z) ~ (−x, −y, −z) द्वारा दो-गोले

S2 = {(x, y, z) ∈ R3 : x2 + y2 + z2 = 1}

का भागफल स्थान(टोपोलॉजी) है। (x, y, z) ↦ (xy, xz, y2z2, 2yz) द्वारा दिए गए फलन R3R4 पर विचार करें। यह प्रतिचित्र एक ऐसे प्रतिचित्र तक सीमित है जिसका डोमेन S2 है और, चूंकि प्रत्येक घटक सम कोटि का सजातीय बहुपद है, यह S2 पर किन्ही दो प्रतिव्यासांत बिंदुओं में से प्रत्येक पर R4 में समान मान लेता है। इससे प्रतिचित्र P2(R) → R4 प्राप्त होता है। इसके अतिरिक्त, यह प्रतिचित्र अंतर्निहित है। ध्यान दें कि यह अंतर्निहित R3 में प्रक्षेपण को स्वीकार करता है जो कि रोमन सतह है।

उच्च गैर- अभिविन्यसनीय सतहें

क्रमिक रूप से प्रक्षेपी तलों को एक साथ जोड़कर हमें उच्च जीनस(गणित) की गैर- अभिविन्यसनीय सतहें मिलती हैं। चिपकने की प्रक्रिया में प्रत्येक सतह से एक छोटी सी डिस्क को काटना और उनकी सीमा वृत्तों की पहचान(चिपकाना) करना सम्मिलित है। दो प्रक्षेपी तलों को चिपकाने से क्लेन की बोतल बनती है।

मौलिक बहुभुज पर लेख उच्च गैर- अभिविन्यसनीय सतहों का वर्णन करता है।

यह भी देखें

  • वास्तविक प्रक्षेप्य स्थान
  • प्रक्षेपी स्थान
  • वास्तविक प्रक्षेपी तल के लिए पु की असमानता
  • चिकना प्रक्षेपी तल

संदर्भ

  1. 1.0 1.1 Apéry, F.; Models of the real projective plane, Vieweg (1987)
  2. Weeks, J.; The shape of space, CRC (2002), p 59
  3. Brehm, U.; "How to build minimal polyhedral models of the Boy surface", The mathematical intelligencer 12, No. 4 (1990), pp 51-56.
  4. (Richter)
  • Coxeter, H.S.M. (1955), The Real Projective Plane, 2nd ed. Cambridge: At the University Press.
  • Reinhold Baer, Linear Algebra and Projective Geometry, Dover, 2005 (ISBN 0-486-44565-8 )
  • Richter, David A., Two Models of the Real Projective Plane, retrieved 2010-04-15


बाहरी संबंध