सजातीय समतल (घटना ज्यामिति): Difference between revisions

From Vigyanwiki
(TEXT)
Line 1: Line 1:
{{Short description|Axiomatically defined geometrical space}}
{{Short description|Axiomatically defined geometrical space}}
{{for|the algebraic definition of the same space|Affine space}}
{{for|एक ही एफ़िन स्पेस की बीजगणितीय परिभाषा|एफ़िन स्पेस}}
[[ज्यामिति]] में, एक सजातीय तल बिंदुओं और रेखाओं की एक प्रणाली है जो निम्नलिखित स्वयंसिद्धों को संतुष्ट करती है:<ref>{{harvnb|Hughes|Piper|1973|page=82}}</ref>
[[ज्यामिति]] में, एक सजातीय समतल बिंदुओं और रेखाओं की एक प्रणाली है जो निम्नलिखित स्वयंसिद्धों को संतुष्ट करती है:<ref>{{harvnb|Hughes|Piper|1973|page=82}}</ref>
* कोई भी दो भिन्न बिन्दु एक अद्वितीय रेखा पर स्थित होते हैं।
* कोई भी दो भिन्न बिन्दु एक अद्वितीय रेखा पर स्थित होते हैं।
* किसी भी रेखा को देखते हुए और कोई भी बिंदु उस रेखा पर नहीं होता है, एक अद्वितीय रेखा होती है जिसमें बिंदु होता है और दी गई रेखा से नहीं मिलता है। (प्लेफेयर का स्वयंसिद्ध)
* किसी भी रेखा और किसी भी बिंदु को उस रेखा पर नहीं दिए जाने पर एक अद्वितीय रेखा होती है जिसमें बिंदु सम्मलित है और दी गई रेखा के अनुरूप नहीं है। (प्लेफेयर का स्वयंसिद्ध)
* तीन असंरेख बिंदु मौजूद हैं (बिंदु एक रेखा पर नहीं हैं)।
* तीन असंरेख बिंदु उपस्तिथ हैं (बिंदु एक रेखा पर नहीं हैं)।


एक सजातीय तल में, दो रेखाएँ समानांतर कहलाती हैं यदि वे समान या असंयुक्त सेट हों। इस परिभाषा का उपयोग करते हुए, Playfair के ऊपर दिए गए स्वयंसिद्ध को इसके द्वारा प्रतिस्थापित किया जा सकता है:<ref>{{harvnb|Hartshorne|2000|page= 71}}</ref>
एक सजातीय समतल में, दो रेखाएँ समानांतर कहलाती हैं यदि वे समान या असंयुक्त होती है। इस परिभाषा का उपयोग करते हुए, प्लेफेयर के ऊपर दिए गए स्वयंसिद्ध को इसके द्वारा प्रतिस्थापित किया जा सकता है:<ref>{{harvnb|Hartshorne|2000|page= 71}}</ref>
* एक बिंदु और एक रेखा को देखते हुए, एक अद्वितीय रेखा होती है जिसमें बिंदु होता है और रेखा के समानांतर होता है।
* एक बिंदु और एक रेखा को देखते हुए, एक अद्वितीय रेखा होती है जिसमें बिंदु होता है और रेखा के समानांतर होता है।


समांतरता एक सजातीय तल की तर्ज पर एक [[तुल्यता संबंध]] है।
समांतरता एक सजातीय समतल की रेखा पर एक [[तुल्यता संबंध]] है।


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


परिचित [[यूक्लिडियन विमान]] एक सजातीय तल है। कई परिमित और अनंत संबंध तल हैं। फ़ील्ड्स (और [[ विभाजन की अंगूठी ]]्स) के साथ-साथ [[ affine विमान ]]्स भी हैं, कई गैर-डिसार्ग्यूज़ियन प्लेन्स भी हैं, जो इन स्वयंसिद्धों को संतुष्ट करने वाले डिवीजन रिंग में निर्देशांक से प्राप्त नहीं होते हैं। [[मौलटन विमान]] इनमें से एक का उदाहरण है।<ref>{{Citation | last1=Moulton | first1=Forest Ray | title=A Simple Non-Desarguesian Plane Geometry | jstor=1986419 | publisher=[[American Mathematical Society]] | location=Providence, R.I. | year=1902 | journal=[[Transactions of the American Mathematical Society]] | issn=0002-9947 | volume=3 | issue=2 | pages=192–195 | doi=10.2307/1986419| doi-access=free }}</ref>
प्रचलित [[यूक्लिडियन विमान|यूक्लिडियन समतल]] एक सजातीय समतल है। कई परिमित और अनंत संबंध समतल हैं। क्षेत्र (और[[ विभाजन की अंगूठी | विभाजन वलय]]) के साथ-साथ[[ affine विमान | प्रक्षेपीय समतल]] भी हैं, कई गैर-डिसार्ग्यूज़ियन समतल भी हैं, जो इन स्वयंसिद्धों को संतुष्ट करने वाले विभाजन वलय में निर्देशांक से प्राप्त नहीं होते हैं। [[मौलटन विमान|मौलटन समतल]] इनमें से एक का उदाहरण है।<ref>{{Citation | last1=Moulton | first1=Forest Ray | title=A Simple Non-Desarguesian Plane Geometry | jstor=1986419 | publisher=[[American Mathematical Society]] | location=Providence, R.I. | year=1902 | journal=[[Transactions of the American Mathematical Society]] | issn=0002-9947 | volume=3 | issue=2 | pages=192–195 | doi=10.2307/1986419| doi-access=free }}</ref>
== परिमित सजातीय समतल ==
[[File:Hesse configuration.svg|thumb|{{center|अनुक्रम 3 का सजातीय समतल
9 अंक, 12 रेखाएँ}}]]यदि किसी सजातीय समतल में बिंदुओं की संख्या परिमित है, तो यदि समतल की एक रेखा में {{math|''n''}} बिंदु हैं, तो:
* प्रत्येक रेखा में {{math|''n''}} बिंदु होते हैं,
* प्रत्येक बिंदु {{math|''n'' + 1}} रेखाओं में निहित है,
* सभी में {{math|''n''<sup>2</sup>}} बिंदु हैं, और
* कुल {{math|''n''<sup>2</sup> + ''n''}} रेखाएँ हैं।
संख्या {{math|''n''}} को सजातीय समतल का क्रम कहा जाता है।


सभी ज्ञात परिमित सजातीय समतलों के अनुक्रम हैं जो प्रधान या प्रधान शक्ति पूर्णांक हैं। फ़ानो समतल से एक रेखा और उस रेखा पर तीन बिंदुओं को हटाकर सबसे छोटा संबंध समतल (क्रम 2 का) प्राप्त किया जाता है। एक समान निर्माण, क्रम 3 के प्रक्षेपी समतल से प्रारम्भ होकर, क्रम 3 के संबंध समतल का उत्पादन करता है जिसे कभी-कभी [[हेस्से विन्यास]] कहा जाता है। C{{math|''n''}} का एक सजातीय समतल उपस्तिथ है अगर और केवल अगर अनुक्रम {{math|''n''}} का प्रक्षेपीय समतल उपस्तिथ है (हालाँकि, इन दो प्रकरणों में अनुक्रम की परिभाषा समान नहीं है)। इस प्रकार, अनुक्रम 6 या अनुक्रम 10 का कोई सजातीय समतल नहीं है क्योंकि उन अनुक्रम के कोई प्रक्षेपीय समतल नहीं हैं। ब्रुक-रेज़र-चावला प्रमेय एक प्रक्षेपी समतल के क्रम पर और इस प्रकार, एक सजातीय समतल के क्रम पर और सीमाएँ प्रदान करता है।


== परिमित एफ़िन विमान ==
समान्तरता के तुल्यता संबंध के अंतर्गत क्रम {{math|''n''}} के संबंध तल की {{math|''n''<sup>2</sup> + ''n''}} रेखाएँ {{math|''n''}} रेखाओं के {{math|''n'' + 1}} तुल्यता वर्गों में आती हैं। इन वर्गों को रेखाओं का समांतर वर्ग कहा जाता है। किसी भी समांतर वर्ग में रेखाएं एक विभाजन बनाती हैं जो सजातीय समतल के बिंदु हैं। प्रत्येक {{math|''n'' + 1}} रेखाएँ जो एक बिंदु से होकरपारित होती हैं, एक अलग समानांतर वर्ग में स्थित होती हैं।
[[File:Hesse configuration.svg|thumb|{{center|Affine plane of order 3 <br> 9 points, 12 lines}}]]यदि किसी समतल तल में बिंदुओं की संख्या परिमित है, तो यदि तल की एक रेखा में समाविष्ट है {{math|''n''}} अंक तो:
* प्रत्येक पंक्ति में शामिल है {{math|''n''}} अंक,
* प्रत्येक बिंदु में निहित है {{math|''n'' + 1}} रेखाएं,
* वहाँ हैं {{math|''n''<sup>2</sup>}} अंक सभी में, और
* कुल है {{math|''n''<sup>2</sup> + ''n''}} पंक्तियां।
जो नंबर {{math|''n''}} को affine तल का क्रम कहा जाता है।


सभी ज्ञात परिमित एफ़िन विमानों के आदेश हैं जो प्रधान या प्रधान शक्ति पूर्णांक हैं। फ़ानो विमान से एक रेखा और उस रेखा पर तीन बिंदुओं को हटाकर सबसे छोटा संबंध तल (क्रम 2 का) प्राप्त किया जाता है। एक समान निर्माण, क्रम 3 के प्रक्षेपी तल से शुरू होकर, क्रम 3 के संबंध तल का उत्पादन करता है जिसे कभी-कभी [[हेस्से विन्यास]] कहा जाता है। आदेश का एक सजातीय विमान {{math|''n''}} मौजूद है अगर और केवल अगर एक प्रोजेक्टिव प्लेन # ऑर्डर के प्रोजेक्टिव प्लेन को परिमित करता है {{math|''n''}} मौजूद है (हालाँकि, इन दो मामलों में आदेश की परिभाषा समान नहीं है)। इस प्रकार, ऑर्डर 6 या ऑर्डर 10 का कोई एफ़िन प्लेन नहीं है क्योंकि उन ऑर्डर के कोई प्रोजेक्टिव प्लेन नहीं हैं। ब्रुक-रेज़र-चावला प्रमेय एक प्रक्षेपी तल के क्रम पर और इस प्रकार, एक सजातीय तल के क्रम पर और सीमाएँ प्रदान करता है। वह {{math|''n''<sup>2</sup> + ''n''}} आदेश के एक सजातीय तल की पंक्तियाँ {{math|''n''}} में गिरावट {{math|''n'' + 1}} के समकक्ष वर्ग {{math|''n''}} समान्तरता के तुल्यता संबंध के अंतर्गत प्रत्येक रेखाएँ। इन वर्गों को रेखाओं का समांतर वर्ग कहा जाता है। किसी भी समांतर वर्ग में रेखाएं एक विभाजन बनाती हैं जो एफ़िन विमान के बिंदु हैं। हरेक {{math|''n'' + 1}} रेखाएँ जो एक बिंदु से होकर गुजरती हैं, एक अलग समानांतर वर्ग में स्थित होती हैं।
क्रम {{math|''n''}} के एक सजातीय समतल की समानांतर वर्ग संरचना का उपयोग {{math|''n'' 1}} पारस्परिक रूप से लंबकोणिक लैटिन वर्गों के समुच्चय के निर्माण के लिए किया जा सकता है। इस निर्माण के लिए केवल आपतन संबंधों की आवश्यकता है।


क्रम के एक सजातीय तल की समानांतर वर्ग संरचना {{math|''n''}} का एक सेट बनाने के लिए इस्तेमाल किया जा सकता है {{math|''n'' − 1}} परस्पर ओर्थोगोनल लैटिन वर्ग। इस निर्माण के लिए केवल घटना संबंधों की आवश्यकता है।
== प्रक्षेपीय समतलों के साथ संबंध ==
{{main|प्रक्षेपीय समतल}}


== प्रोजेक्टिव विमानों के साथ संबंध ==
किसी प्रक्षेपी समतल से एक रेखा और उस पर के सभी बिंदुओं को हटाकर एक संबंद्ध समतल प्राप्त किया जा सकता है, और इसके विपरीत किसी भी परिबद्ध समतल का उपयोग अनंत पर एक रेखा जोड़कर प्रक्षेपी समतल के निर्माण के लिए किया जा सकता है, जिसका प्रत्येक बिंदु अनंत पर वह बिंदु है जहां समांतर रेखाओं का समतुल्य वर्ग मिलता है।
{{main|Projective plane}}


किसी प्रक्षेपी तल से एक रेखा और उस पर के सभी बिंदुओं को हटाकर एक संबंद्ध तल प्राप्त किया जा सकता है, और इसके विपरीत किसी भी परिबद्ध तल का उपयोग अनंत पर एक रेखा जोड़कर प्रक्षेपी तल के निर्माण के लिए किया जा सकता है, जिसका प्रत्येक बिंदु अनंत पर वह बिंदु है जहां समांतर रेखाओं का समतुल्य वर्ग मिलता है।
यदि प्रक्षेपी समतल गैर-डिसार्ग्यूसियन समतल है, तो विभिन्न रेखाओं को हटाने से गैर-आइसोमोर्फिक सजातीय समतल बन सकते हैं। उदाहरण के लिए, क्रम नौ के ठीक चार प्रक्षेपी समतल हैं, और क्रम नौ के सात संबंध समतल हैं।<ref>{{harvnb|Moorhouse|2007|page=11}}</ref> अनुक्रम नौ के [[कार्टेशियन विमान|डेसार्गेसियन समतल]] के अनुरूप केवल एक ही प्रक्षेपीय समतल है, क्योंकि उस प्रक्षेपीय समतल का समतलीकरण समूह समतल की रेखा पर [[ सकर्मक (समूह क्रिया) |संक्रमणीय]] रूप से कार्य करता है। अनुक्रम नौ के तीन गैर-डिसर्ग्यूसियन समतलों में से प्रत्येक में [[समरेखण]] समूह हैं, जो रेखाों पर दो कक्षाएं हैं, क्रम नौ के दो गैर-आइसोमॉर्फिक सजातीय समतलों का उत्पादन करते हैं, इस पर निर्भर करता है कि किस कक्षा को हटाया जाना है।


यदि प्रक्षेपी तल गैर-डिसार्ग्यूसियन तल है|गैर-डिसार्ग्यूसियन है, तो विभिन्न रेखाओं को हटाने से गैर-आइसोमोर्फिक एफ़ाइन तल हो सकते हैं। उदाहरण के लिए, क्रम नौ के ठीक चार प्रक्षेपी तल हैं, और क्रम नौ के सात संबंध तल हैं।<ref>{{harvnb|Moorhouse|2007|page=11}}</ref> ऑर्डर नौ के [[कार्टेशियन विमान]] के अनुरूप केवल एक ही एफाइन प्लेन है, क्योंकि उस प्रोजेक्टिव प्लेन का कॉलिनेशन प्लेन की तर्ज पर [[ सकर्मक (समूह क्रिया) ]] काम करता है। ऑर्डर नौ के तीन गैर-डिसर्ग्यूसियन विमानों में से प्रत्येक में [[समरेखण]] समूह हैं, जो लाइनों पर दो कक्षाएं हैं, क्रम नौ के दो गैर-आइसोमॉर्फिक एफ़िन विमानों का उत्पादन करते हैं, इस पर निर्भर करता है कि किस कक्षा को हटाया जाना है।
== सजातीय अनुवाद समतल ==


== Affine अनुवाद विमान ==
प्रक्षेपी समतल {{math|Π}} में एक रेखा {{math|''l''}} एक अनुवाद रेखा है यदि अक्ष {{math|''l''}} के साथ प्रफुल्लता का समूह समतल {{math|Π}} से {{math|''l''}} को हटाकर प्राप्त सजातीय समतल के बिंदुओं पर सकर्मक रूप से कार्य करता है। स्थानांतरण रेखा के साथ एक प्रक्षेपीय समतल को स्थानांतरण समतल कहा जाता है और स्थानांतरण रेखा को हटाकर प्राप्त प्रक्षेपीय समतल को प्रक्षेपीय स्थानांतरण समतल कहा जाता है। हालांकि सामान्यतः प्रक्षेपी समतलों के साथ काम करना प्रायः आसान होता है, इस संदर्भ में सजातीय समतलों को प्राथमिकता दी जाती है और कई लेखकों ने स्थानांतरण समतल शब्द का उपयोग सजातीय स्थानांतरण समतल के लिए किया है।<ref>{{harvnb|Hughes|Piper|1973|page=100}}</ref>


एक पंक्ति {{math|''l''}} प्रक्षेपी तल में {{math|Π}} अक्ष के साथ elations का समूह है तो एक अनुवाद रेखा है {{math|''l''}} [[समूह क्रिया (गणित)]] को हटाकर प्राप्त किए गए संबध तल के बिंदुओं पर सकर्मक गुण {{math|''l''}} विमान से {{math|Π}}. ट्रांसलेशन लाइन के साथ एक प्रोजेक्टिव प्लेन को ट्रांसलेशन प्लेन कहा जाता है और ट्रांसलेशन लाइन को हटाकर प्राप्त एफाइन प्लेन को एफाइन ट्रांसलेशन प्लेन कहा जाता है। हालांकि सामान्य तौर पर प्रक्षेपी विमानों के साथ काम करना अक्सर आसान होता है, इस संदर्भ में एफ़िन विमानों को प्राथमिकता दी जाती है और कई लेखकों ने ट्रांसलेशन प्लेन शब्द का उपयोग एफ़िन ट्रांसलेशन प्लेन के लिए किया है।<ref>{{harvnb|Hughes|Piper|1973|page=100}}</ref>
प्रक्षेपीय स्थानांतरण समतल का एक वैकल्पिक दृश्य निम्नानुसार प्राप्त किया जा सकता है: मान लीजिए {{math|''V''}} क्षेत्र {{math|''F''}} पर {{math|2''n''}}- विमीय सदिश समष्टि है। {{math|''V''}} का प्रसार {{math|''V''}} के {{math|''n''}}-आयामी उप-समष्‍टि का एक समुच्चय {{math|''S''}} है जो {{math|''V''}} के गैर-शून्य सदिश को विभाजित करता है। {{math|''S''}} के सदस्यों को प्रसार के घटक कहा जाता है और यदि {{math|''V''<sub>''i''</sub>}} और {{math|''V''<sub>''j''</sub>}} अलग-अलग घटक {{math|1=''V''<sub>''i''</sub> ⊕ ''V''<sub>''j''</sub> = ''V''}} होते है। {{math|''A''}} को [[घटना संरचना|आपतन संरचना]] होने दें जिसके बिंदु {{math|''V''}} के सदिश हैं और जिनकी रेखाएँ घटकों के सहसमुच्चय हैं, अर्थात् प्रपत्र के समुच्चय {{math|''v'' + ''U''}} जहां {{math|''v''}}, {{math|''V''}} का सदिश है और {{math|''U''}} प्रसार {{math|''S''}} का एक घटक है। तब:<ref>{{harvnb|Moorhouse|2007|page=13}}</ref>
एफाइन ट्रांसलेशन प्लेन का एक वैकल्पिक दृश्य निम्नानुसार प्राप्त किया जा सकता है: मान लीजिए {{math|''V''}} एक हो {{math|2''n''}}-क्षेत्र के ऊपर आयामी सदिश स्थान (गणित) {{math|''F''}}. का प्रसार {{math|''V''}} एक समुच्चय है {{math|''S''}} का {{math|''n''}}-आयामी उप-स्थान {{math|''V''}} जो गैर-शून्य वैक्टर को विभाजित करता है {{math|''V''}}. के सदस्य {{math|''S''}} प्रसार के घटक कहलाते हैं और यदि {{math|''V''<sub>''i''</sub>}} और {{math|''V''<sub>''j''</sub>}} तब विशिष्ट घटक हैं {{math|1=''V''<sub>''i''</sub> ⊕ ''V''<sub>''j''</sub> = ''V''}}. होने देना {{math|''A''}} वह [[घटना संरचना]] हो जिसके बिंदु सदिश हैं {{math|''V''}} और जिनकी रेखाएँ घटकों के सहसमुच्चय हैं, अर्थात् प्रपत्र के समुच्चय हैं {{math|''v'' + ''U''}} कहाँ {{math|''v''}} का सदिश है {{math|''V''}} और {{math|''U''}} प्रसार का एक घटक है {{math|''S''}}. तब:<ref>{{harvnb|Moorhouse|2007|page=13}}</ref>
:{{math|''A''}} एक सजातीय समतल है और सदिश {{math|''w''}} के लिए {{math|''x'' ''x'' + ''w''}} अनुवादों का समूह इस समतल के बिंदुओं पर नियमित रूप से कार्य करने वाला एक स्वसमाकृतिकता समूह है।
:{{math|''A''}} एक सजातीय तल है और अनुवाद का समूह (ज्यामिति) {{math|''x'' ''x'' + ''w''}} एक वेक्टर के लिए {{math|''w''}} इस विमान के बिंदुओं पर नियमित रूप से कार्य करने वाला एक ऑटोमोर्फिज़्म समूह है।


== सामान्यीकरण: {{math|''k''}}-नेट्स ==
== सामान्यीकरण: {{math|''k''}}-नेट्स ==


परिमित संबधित तल से अधिक व्यापक एक आपतन संरचना है a {{math|''k''}}-नेट ऑफ ऑर्डर {{math|''n''}}. इसमें शामिल है {{math|''n''<sup>2</sup>}} अंक और {{math|''nk''}} पंक्तियां जैसे कि:
परिमित संबधित समतल से अधिक सामान्य एक आपतन संरचना अनुक्रम {{math|''n''}} का {{math|''k''}}-नेट है। इसमें {{math|''n''<sup>2</sup>}} बिंदु और {{math|''nk''}} रेखाएँ सम्मलित है जैसे कि:
* समांतरता (एफ़ाइन तलों में परिभाषित) रेखाओं के समुच्चय पर एक तुल्यता संबंध है।
* समांतरता (सजातीय समतलों में परिभाषित के रूप में) रेखाओं के समुच्चय पर एक तुल्यता संबंध है।
* हर पंक्ति में बिल्कुल है {{math|''n''}} अंक, और प्रत्येक समांतर वर्ग में है {{math|''n''}} रेखाएँ (इसलिए रेखाओं का प्रत्येक समानांतर वर्ग बिंदु सेट को विभाजित करता है)।
* हर रेखा में ठीक {{math|''n''}} बिंदु होते हैं, और प्रत्येक समांतर वर्ग में {{math|''n''}} रेखाएँ होती हैं (इसलिए रेखाओं का प्रत्येक समानांतर वर्ग बिंदु समुच्चय को विभाजित करता है)।
* वहाँ हैं {{math|''k''}} रेखाओं के समानांतर वर्ग। प्रत्येक बिंदु पर सटीक बैठता है {{math|''k''}} रेखाएँ, प्रत्येक समानांतर वर्ग से एक।
* रेखाओं के {{math|''k''}} समानांतर वर्ग हैं। प्रत्येक बिंदु यथार्थत: {{math|''k''}} रेखाओं पर स्थित है, प्रत्येक समानांतर वर्ग से एक है।


एक {{math|(''n'' + 1)}}-नेट ऑफ ऑर्डर {{math|''n''}} ठीक क्रम का एक सजातीय तल है {{math|''n''}}.
एक {{math|(''n'' + 1)}}-नेट अनुक्रम {{math|''n''}} यथार्थतः क्रम {{math|''n''}} का एक सजातीय समतल है।


{{math|''k''}}-नेट ऑफ ऑर्डर {{math|''n''}} के समुच्चय के बराबर है {{math|''k'' − 2}} क्रम के पारस्परिक रूप से ऑर्थोगोनल लैटिन वर्ग {{math|''n''}}.
अनुक्रम {{math|''n''}} का {{math|''k''}}-नेट, {{math|''k'' − 2}} के समुच्चय के समान है, क्रम {{math|''n''}} के पारस्परिक रूप से लंबकोणिक लैटिन वर्ग है।


=== उदाहरण: अनुवाद जाल ===
=== उदाहरण: अनुवाद नेट ===
 
एक मनमाना क्षेत्र के लिए {{math|''F''}}, होने देना {{math|Σ}} का एक सेट हो {{math|''n''}}-सदिश अंतरिक्ष के आयामी उप-स्थान {{math|''F''<sup>2''n''</sup>}}, जिनमें से कोई भी दो केवल {0} में प्रतिच्छेद करते हैं (आंशिक प्रसार कहा जाता है)। के सदस्य {{math|Σ}}, और उनके सहसमुच्चय अंदर {{math|''F''<sup>2''n''</sup>}}, के बिंदुओं पर एक अनुवाद जाल की रेखाएँ बनाएँ {{math|''F''<sup>2''n''</sup>}}. अगर {{math|1={{abs|Σ}} = ''k''}} यह है एक {{math|''k''}}-नेट ऑफ ऑर्डर {{math|{{abs|''F''<sup>''n''</sup>}}}}. एक एफ़िन [[ अनुवाद विमान ]] से शुरू होकर, समानांतर कक्षाओं का कोई भी सबसेट एक ट्रांसलेशन नेट बनाएगा।
 
एक ट्रांसलेशन नेट दिया गया है, एक एफ़िन प्लेन बनाने के लिए नेट में समानांतर कक्षाएं जोड़ना हमेशा संभव नहीं होता है। हालांकि, यदि {{math|''F''}} एक अनंत क्षेत्र है, कोई भी आंशिक प्रसार {{math|Σ}} से कम के साथ {{math|{{abs|''F''}}}} सदस्यों को बढ़ाया जा सकता है और ट्रांसलेशन नेट को एफाइन ट्रांसलेशन प्लेन में पूरा किया जा सकता है।<ref>{{harvnb|Moorhouse|2007|pages=21–22}}</ref>


एक स्वेच्छाचारी क्षेत्र {{math|''F''}} के लिए, {{math|Σ}} सदिश स्थान {{math|''F''<sup>2''n''</sup>}} के {{math|''n''}}-विमीय उपसमष्‍टि का एक समुच्चय है, जिनमें से कोई भी दो केवल {0} (आंशिक प्रसार कहा जाता है) में प्रतिच्छेद करते हैं। {{math|Σ}} के सदस्य, और {{math|''F''<sup>2''n''</sup>}} में उनके सहसमुच्चय, {{math|''F''<sup>2''n''</sup>}} के बिंदुओं पर एक अनुवाद नेट की रेखाएँ बनाते हैं। अगर {{math|1={{abs|Σ}} = ''k''}} यह क्रम {{math|{{abs|''F''<sup>''n''</sup>}}}} का {{math|''k''}}-नेट है। एक सजातीय [[ अनुवाद विमान |अनुवाद समतल]] से प्रारम्भ होकर, समानांतर कक्षाओं का कोई भी उपसमुच्चय एक स्थानांतरण नेट बनाएगा।


एक स्थानांतरण नेट दिया गया है, एक सजातीय समतल बनाने के लिए नेट में समानांतर कक्षाएं जोड़ना हमेशा संभव नहीं होता है। हालांकि, यदि {{math|''F''}} एक अनंत क्षेत्र है, कोई भी आंशिक प्रसार {{math|Σ}} {{math|{{abs|''F''}}}} से कम है सदस्यों को बढ़ाया जा सकता है और स्थानांतरण नेट को प्रक्षेपीय स्थानांतरण समतल में पूरा किया जा सकता है।<ref>{{harvnb|Moorhouse|2007|pages=21–22}}</ref>
== ज्यामितीय कोड ==
== ज्यामितीय कोड ==
किसी परिमित आपतन संरचना की रेखा/बिंदु आपतन मैट्रिक्स को देखते हुए, {{math|''M''}}, और कोई भी क्षेत्र (गणित), {{math|''F''}} की पंक्ति स्थान {{math|''M''}} ऊपर {{math|''F''}} एक रेखीय कोड है जिसे हम निरूपित कर सकते हैं {{math|1=''C'' = ''C''<sub>''F''</sub>(''M'')}}. एक अन्य संबंधित कोड जिसमें घटना संरचना के बारे में जानकारी होती है, वह हल है {{math|''C''}} जिसे इस प्रकार परिभाषित किया गया है:<ref>{{harvnb|Assmus|Key|1992|page=43}}</ref>
किसी भी परिमित आपतन संरचना, {{math|''M''}} और किसी भी क्षेत्र के रेखा/बिंदु आपतन आव्यूह को देखते हुए, {{math|''F''}} पर {{math|''M''}} की पंक्ति समष्‍टि {{math|''F''}} एक रैखिक कोड है जिसे हम {{math|1=''C'' = ''C''<sub>''F''</sub>(''M'')}} द्वारा निरूपित कर सकते हैं। एक अन्य संबंधित कोड जिसमें आपतन संरचना के बारे में जानकारी सम्मलित होती है, {{math|''C''}} का समाधान है जिसे इस प्रकार परिभाषित किया गया है:<ref>{{harvnb|Assmus|Key|1992|page=43}}</ref>
:<math>\operatorname{Hull}(C) = C \cap C^{\perp},</math>
:<math>\operatorname{Hull}(C) = C \cap C^{\perp},</math>
कहाँ {{math|''C''<sup>⊥</sup>}} ऑर्थोगोनल कोड है {{math|''C''}}.
जहाँ {{math|''C''<sup>⊥</sup>}}, {{math|''C''}} लंबकोणिक कोड हैं।


सामान्यता के इस स्तर पर इन कोडों के बारे में बहुत कुछ नहीं कहा जा सकता है, लेकिन अगर घटना संरचना में कुछ नियमितता है तो इस तरह से निर्मित कोडों का विश्लेषण किया जा सकता है और कोड और घटना संरचनाओं के बारे में जानकारी एक दूसरे से प्राप्त की जा सकती है। जब घटना संरचना एक परिमित संबंध विमान है, तो कोड ज्यामितीय कोड के रूप में जाने वाले कोड के एक वर्ग से संबंधित होते हैं। एफ़िन विमान के बारे में कोड में कितनी जानकारी होती है, यह क्षेत्र की पसंद पर निर्भर करता है। यदि फ़ील्ड की [[विशेषता (फ़ील्ड)]] विमान के क्रम को विभाजित नहीं करती है, तो उत्पन्न कोड पूर्ण स्थान होता है और इसमें कोई जानकारी नहीं होती है। वहीं दूसरी ओर,<ref>{{harvnb|Assmus|Key|1992|page=208}}</ref> * अगर {{math|''π''}} क्रम का एक सजातीय तल है {{math|''n''}} और {{math|''F''}} विशेषता का क्षेत्र है {{math|''p''}}, कहाँ {{math|''p''}} विभाजित करता है {{math|''n''}}, फिर कोड का न्यूनतम वजन {{math|1=''B'' = Hull(''C''<sub>''F''</sub>(''π''))<sup>⊥</sup>}} है {{math|''n''}} और सभी न्यूनतम भार सदिश सदिशों के निरंतर गुणक हैं जिनकी प्रविष्टियाँ या तो शून्य या एक हैं।
सामान्यता के इस स्तर पर इन कोडों के बारे में बहुत कुछ नहीं कहा जा सकता है, लेकिन यदि आपतन संरचना में कुछ <nowiki>''नियमितता''</nowiki> है, तो इस तरह से उत्पादित कोडों का विश्लेषण किया जा सकता है और कोड और आपतन संरचनाओं के बारे में जानकारी एक दूसरे से प्राप्त की जा सकती है। जब आपतन संरचना एक परिमित संबंध समतल है, तो कोड ज्यामितीय कोड के रूप में जाने वाले कोड के एक वर्ग से संबंधित होते हैं। सजातीय समतल के बारे में कोड में कितनी जानकारी होती है, यह क्षेत्र की पसंद पर निर्भर करता है। यदि क्षेत्र की [[विशेषता (फ़ील्ड)|विशेषता]] समतल के क्रम को विभाजित नहीं करती है, तो उत्पन्न कोड पूर्ण समष्‍टि होता है और इसमें कोई जानकारी नहीं होती है। वहीं दूसरी ओर,<ref>{{harvnb|Assmus|Key|1992|page=208}}</ref>  


आगे,<ref>{{harvnb|Assmus|Key|1992|page=211}}</ref> * अगर {{math|''π''}} क्रम का एक सजातीय तल है {{math|''p''}} और {{math|''F''}} विशेषता का क्षेत्र है {{math|''p''}}, तब {{math|1=''C'' = Hull(''C''<sub>''F''</sub>(''π''))<sup>⊥</sup>}} और न्यूनतम वजन वाले वैक्टर सटीक रूप से (घटना वैक्टर) की रेखाओं के अदिश गुणक हैं  {{math|''π''}}.
* यदि {{math|''π''}} क्रम {{math|''n''}} का एक सजातीय समतल है और {{math|''F''}} विशेषता {{math|''p''}} का क्षेत्र है, जहाँ {{math|''p''}}, {{math|''n''}} को विभाजित करता है, तो कोड {{math|1=''B'' = Hull(''C''<sub>''F''</sub>(''π''))<sup>⊥</sup>}} का न्यूनतम भार {{math|''n''}} है और सभी न्यूनतम भार सदिशों के निरंतर गुणक हैं जिनकी प्रविष्टियाँ या तो शून्य या एक हैं।


कब {{math|1=''π'' = AG(2, ''q'')}} उत्पन्न ज्यामितीय कोड है {{math|''q''}}-एरी [[रीड-मुलर कोड]]।
अतिरिक्त,<ref>{{harvnb|Assmus|Key|1992|page=211}}</ref>


== Affine रिक्त स्थान ==
* अगर {{math|''π''}} क्रम {{math|''p''}} का एक सजातीय समतल है और {{math|''F''}} विशेषता {{math|''p''}} का क्षेत्र है, तो {{math|1=''C'' = Hull(''C''<sub>''F''</sub>(''π''))<sup>⊥</sup>}} और न्यूनतम भार सदिश {{math|''π''}} की रेखाओं के (आपतन सदिश) के अदिश गुणक हैं।
एफ़िन रिक्त स्थान को प्रोजेक्टिव विमानों से एफ़िन विमानों के निर्माण के समान तरीके से परिभाषित किया जा सकता है। उच्च-आयामी एफ़िन रिक्त स्थान के लिए सिद्धांतों की एक प्रणाली प्रदान करना भी संभव है जो संबंधित [[ प्रक्षेपण स्थान ]] को संदर्भित नहीं करता है।<ref>{{harvnb|Lenz|1961|page= 138}}, but see also {{harvnb|Cameron|1991|loc=chapter 3}}</ref>


जब {{math|1=''π'' = AG(2, ''q'')}} उत्पन्न ज्यामितीय कोड {{math|''q''}}-एरी [[रीड-मुलर कोड]] है।


== सजातीयउपसमष्‍टि ==
सजातीय उपसमष्‍टि को प्रक्षेपीय समतलों से सजातीय समतलों के निर्माण के समान प्रकार से परिभाषित किया जा सकता है। उच्च-आयामी सजातीय उपसमष्‍टि के लिए सिद्धांतों की एक प्रणाली प्रदान करना भी संभव है जो संबंधित[[ प्रक्षेपण स्थान | प्रक्षेपण समष्‍टि]] को संदर्भित नहीं करता है।<ref>{{harvnb|Lenz|1961|page= 138}}, but see also {{harvnb|Cameron|1991|loc=chapter 3}}</ref>
==टिप्पणियाँ==
==टिप्पणियाँ==
{{reflist}}
{{reflist}}


==संदर्भ==
==संदर्भ==
Line 85: Line 86:
*{{Citation|last=Lenz|first=H.|title = Grundlagen der Elementarmathematik|publisher = Deutscher Verlag d. Wiss.|place=Berlin|year=1961}}
*{{Citation|last=Lenz|first=H.|title = Grundlagen der Elementarmathematik|publisher = Deutscher Verlag d. Wiss.|place=Berlin|year=1961}}
*{{citation|url=http://ericmoorhouse.org/handouts/Incidence_Geometry.pdf|title=Incidence Geometry|year=2007|first=Eric|last=Moorhouse}}
*{{citation|url=http://ericmoorhouse.org/handouts/Incidence_Geometry.pdf|title=Incidence Geometry|year=2007|first=Eric|last=Moorhouse}}
==अग्रिम पठन==
==अग्रिम पठन==
* {{Citation | last = Casse | first = Rey | title = Projective Geometry: An Introduction | publisher = Oxford University Press | place = Oxford | year = 2006 | isbn =0-19-929886-6 }}
* {{Citation | last = Casse | first = Rey | title = प्रक्षेपी ज्यामिति: एक परिचय | publisher = ऑक्सफोर्ड यूनिवरसिटि प्रेस | place = Oxford | year = 2006 | isbn =0-19-929886-6 }}
* {{Citation | last = Dembowski | first = Peter | title = Finite Geometries | publisher = Springer Verlag | place = Berlin | year = 1968}}
* {{Citation | last = डेम्बोव्स्की | first = पीटर | title = परिमित ज्यामिति | publisher = स्प्रिंगर वर्लग | place = बर्लिन | year = 1968}}
*{{Citation | last = Kárteszi | first = F. | title = Introduction to Finite Geometries| publisher = North-Holland | place = Amsterdam | year = 1976 | isbn = 0-7204-2832-7}}
*{{Citation | last = कार्तज़ी | first = F. | title = परिमित ज्यामिति का परिचय| publisher = उत्तर-हॉलैंड | place = एम्स्टर्डम | year = 1976 | isbn = 0-7204-2832-7}}
*{{citation|last1=Lindner|first1= Charles C. |first2=Christopher A.|last2=Rodger|title=Design Theory|publisher=CRC Press|year=1997|isbn=0-8493-3986-3}}
*{{citation|last1=लिंडनर|first1= चार्ल्स सी. |first2=क्रिस्टोफर ए.|last2=रोजर|title=डिजाइन सिद्धांत|publisher=सीआरसी प्रेस|year=1997|isbn=0-8493-3986-3}}
*{{Citation | last = Lüneburg | first = Heinz | title = Translation Planes | publisher = Springer Verlag | place = Berlin | year = 1980 | isbn = 0-387-09614-0 | url-access = registration | url = https://archive.org/details/translationplane0000lune }}
*{{Citation | last = ल्यूंबर्ग | first = हाइन्ज़ | title = अनुवाद समतल | publisher = स्प्रिंगर वर्लग | place = बर्लिन | year = 1980 | isbn = 0-387-09614-0 | url-access = पंजीकरण | url = https://archive.org/details/translationplane0000lune }}
*{{Citation | last = Stevenson | first = Frederick W. | title = Projective Planes | publisher = W.H. Freeman and Company | place = San Francisco |year = 1972 | isbn = 0-7167-0443-9}}
*{{Citation | last = स्टीवेंसन | first = फ्रेडरिक डब्ल्यू. | title = प्रक्षेपी योजनाएँ | publisher = W.H. फ्रीमैन एंड कंपनी | place = सैन फ्रांसिस्को |year = 1972 | isbn = 0-7167-0443-9}}
[[Category: घटना ज्यामिति]] [[Category: विमान (ज्यामिति)]]  
[[Category: घटना ज्यामिति]] [[Category: विमान (ज्यामिति)]]  



Revision as of 12:40, 8 May 2023

ज्यामिति में, एक सजातीय समतल बिंदुओं और रेखाओं की एक प्रणाली है जो निम्नलिखित स्वयंसिद्धों को संतुष्ट करती है:[1]

  • कोई भी दो भिन्न बिन्दु एक अद्वितीय रेखा पर स्थित होते हैं।
  • किसी भी रेखा और किसी भी बिंदु को उस रेखा पर नहीं दिए जाने पर एक अद्वितीय रेखा होती है जिसमें बिंदु सम्मलित है और दी गई रेखा के अनुरूप नहीं है। (प्लेफेयर का स्वयंसिद्ध)
  • तीन असंरेख बिंदु उपस्तिथ हैं (बिंदु एक रेखा पर नहीं हैं)।

एक सजातीय समतल में, दो रेखाएँ समानांतर कहलाती हैं यदि वे समान या असंयुक्त होती है। इस परिभाषा का उपयोग करते हुए, प्लेफेयर के ऊपर दिए गए स्वयंसिद्ध को इसके द्वारा प्रतिस्थापित किया जा सकता है:[2]

  • एक बिंदु और एक रेखा को देखते हुए, एक अद्वितीय रेखा होती है जिसमें बिंदु होता है और रेखा के समानांतर होता है।

समांतरता एक सजातीय समतल की रेखा पर एक तुल्यता संबंध है।

क्योंकि बिंदुओं और रेखाओं के मध्य के संबंध को सम्मलित करने वाली अवधारणाओं के अलावा कोई भी अवधारणा स्वयंसिद्धों में सम्मलित नहीं है, एक संबधित समतल आपतन ज्यामिति से संबंधित अध्ययन का एक उद्देश्य है। वे प्लेफेयर के स्वयंसिद्ध को संतुष्ट करने वाले गैर-पतित रैखिक समष्‍टि हैं।

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

परिमित सजातीय समतल

अनुक्रम 3 का सजातीय समतल 9 अंक, 12 रेखाएँ

यदि किसी सजातीय समतल में बिंदुओं की संख्या परिमित है, तो यदि समतल की एक रेखा में n बिंदु हैं, तो:

  • प्रत्येक रेखा में n बिंदु होते हैं,
  • प्रत्येक बिंदु n + 1 रेखाओं में निहित है,
  • सभी में n2 बिंदु हैं, और
  • कुल n2 + n रेखाएँ हैं।

संख्या n को सजातीय समतल का क्रम कहा जाता है।

सभी ज्ञात परिमित सजातीय समतलों के अनुक्रम हैं जो प्रधान या प्रधान शक्ति पूर्णांक हैं। फ़ानो समतल से एक रेखा और उस रेखा पर तीन बिंदुओं को हटाकर सबसे छोटा संबंध समतल (क्रम 2 का) प्राप्त किया जाता है। एक समान निर्माण, क्रम 3 के प्रक्षेपी समतल से प्रारम्भ होकर, क्रम 3 के संबंध समतल का उत्पादन करता है जिसे कभी-कभी हेस्से विन्यास कहा जाता है। Cn का एक सजातीय समतल उपस्तिथ है अगर और केवल अगर अनुक्रम n का प्रक्षेपीय समतल उपस्तिथ है (हालाँकि, इन दो प्रकरणों में अनुक्रम की परिभाषा समान नहीं है)। इस प्रकार, अनुक्रम 6 या अनुक्रम 10 का कोई सजातीय समतल नहीं है क्योंकि उन अनुक्रम के कोई प्रक्षेपीय समतल नहीं हैं। ब्रुक-रेज़र-चावला प्रमेय एक प्रक्षेपी समतल के क्रम पर और इस प्रकार, एक सजातीय समतल के क्रम पर और सीमाएँ प्रदान करता है।

समान्तरता के तुल्यता संबंध के अंतर्गत क्रम n के संबंध तल की n2 + n रेखाएँ n रेखाओं के n + 1 तुल्यता वर्गों में आती हैं। इन वर्गों को रेखाओं का समांतर वर्ग कहा जाता है। किसी भी समांतर वर्ग में रेखाएं एक विभाजन बनाती हैं जो सजातीय समतल के बिंदु हैं। प्रत्येक n + 1 रेखाएँ जो एक बिंदु से होकरपारित होती हैं, एक अलग समानांतर वर्ग में स्थित होती हैं।

क्रम n के एक सजातीय समतल की समानांतर वर्ग संरचना का उपयोग n − 1 पारस्परिक रूप से लंबकोणिक लैटिन वर्गों के समुच्चय के निर्माण के लिए किया जा सकता है। इस निर्माण के लिए केवल आपतन संबंधों की आवश्यकता है।

प्रक्षेपीय समतलों के साथ संबंध

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

यदि प्रक्षेपी समतल गैर-डिसार्ग्यूसियन समतल है, तो विभिन्न रेखाओं को हटाने से गैर-आइसोमोर्फिक सजातीय समतल बन सकते हैं। उदाहरण के लिए, क्रम नौ के ठीक चार प्रक्षेपी समतल हैं, और क्रम नौ के सात संबंध समतल हैं।[4] अनुक्रम नौ के डेसार्गेसियन समतल के अनुरूप केवल एक ही प्रक्षेपीय समतल है, क्योंकि उस प्रक्षेपीय समतल का समतलीकरण समूह समतल की रेखा पर संक्रमणीय रूप से कार्य करता है। अनुक्रम नौ के तीन गैर-डिसर्ग्यूसियन समतलों में से प्रत्येक में समरेखण समूह हैं, जो रेखाों पर दो कक्षाएं हैं, क्रम नौ के दो गैर-आइसोमॉर्फिक सजातीय समतलों का उत्पादन करते हैं, इस पर निर्भर करता है कि किस कक्षा को हटाया जाना है।

सजातीय अनुवाद समतल

प्रक्षेपी समतल Π में एक रेखा l एक अनुवाद रेखा है यदि अक्ष l के साथ प्रफुल्लता का समूह समतल Π से l को हटाकर प्राप्त सजातीय समतल के बिंदुओं पर सकर्मक रूप से कार्य करता है। स्थानांतरण रेखा के साथ एक प्रक्षेपीय समतल को स्थानांतरण समतल कहा जाता है और स्थानांतरण रेखा को हटाकर प्राप्त प्रक्षेपीय समतल को प्रक्षेपीय स्थानांतरण समतल कहा जाता है। हालांकि सामान्यतः प्रक्षेपी समतलों के साथ काम करना प्रायः आसान होता है, इस संदर्भ में सजातीय समतलों को प्राथमिकता दी जाती है और कई लेखकों ने स्थानांतरण समतल शब्द का उपयोग सजातीय स्थानांतरण समतल के लिए किया है।[5]

प्रक्षेपीय स्थानांतरण समतल का एक वैकल्पिक दृश्य निम्नानुसार प्राप्त किया जा सकता है: मान लीजिए V क्षेत्र F पर 2n- विमीय सदिश समष्टि है। V का प्रसार V के n-आयामी उप-समष्‍टि का एक समुच्चय S है जो V के गैर-शून्य सदिश को विभाजित करता है। S के सदस्यों को प्रसार के घटक कहा जाता है और यदि Vi और Vj अलग-अलग घटक ViVj = V होते है। A को आपतन संरचना होने दें जिसके बिंदु V के सदिश हैं और जिनकी रेखाएँ घटकों के सहसमुच्चय हैं, अर्थात् प्रपत्र के समुच्चय v + U जहां v, V का सदिश है और U प्रसार S का एक घटक है। तब:[6]

A एक सजातीय समतल है और सदिश w के लिए xx + w अनुवादों का समूह इस समतल के बिंदुओं पर नियमित रूप से कार्य करने वाला एक स्वसमाकृतिकता समूह है।

सामान्यीकरण: k-नेट्स

परिमित संबधित समतल से अधिक सामान्य एक आपतन संरचना अनुक्रम n का k-नेट है। इसमें n2 बिंदु और nk रेखाएँ सम्मलित है जैसे कि:

  • समांतरता (सजातीय समतलों में परिभाषित के रूप में) रेखाओं के समुच्चय पर एक तुल्यता संबंध है।
  • हर रेखा में ठीक n बिंदु होते हैं, और प्रत्येक समांतर वर्ग में n रेखाएँ होती हैं (इसलिए रेखाओं का प्रत्येक समानांतर वर्ग बिंदु समुच्चय को विभाजित करता है)।
  • रेखाओं के k समानांतर वर्ग हैं। प्रत्येक बिंदु यथार्थत: k रेखाओं पर स्थित है, प्रत्येक समानांतर वर्ग से एक है।

एक (n + 1)-नेट अनुक्रम n यथार्थतः क्रम n का एक सजातीय समतल है।

अनुक्रम n का k-नेट, k − 2 के समुच्चय के समान है, क्रम n के पारस्परिक रूप से लंबकोणिक लैटिन वर्ग है।

उदाहरण: अनुवाद नेट

एक स्वेच्छाचारी क्षेत्र F के लिए, Σ सदिश स्थान F2n के n-विमीय उपसमष्‍टि का एक समुच्चय है, जिनमें से कोई भी दो केवल {0} (आंशिक प्रसार कहा जाता है) में प्रतिच्छेद करते हैं। Σ के सदस्य, और F2n में उनके सहसमुच्चय, F2n के बिंदुओं पर एक अनुवाद नेट की रेखाएँ बनाते हैं। अगर |Σ| = k यह क्रम |Fn| का k-नेट है। एक सजातीय अनुवाद समतल से प्रारम्भ होकर, समानांतर कक्षाओं का कोई भी उपसमुच्चय एक स्थानांतरण नेट बनाएगा।

एक स्थानांतरण नेट दिया गया है, एक सजातीय समतल बनाने के लिए नेट में समानांतर कक्षाएं जोड़ना हमेशा संभव नहीं होता है। हालांकि, यदि F एक अनंत क्षेत्र है, कोई भी आंशिक प्रसार Σ |F| से कम है सदस्यों को बढ़ाया जा सकता है और स्थानांतरण नेट को प्रक्षेपीय स्थानांतरण समतल में पूरा किया जा सकता है।[7]

ज्यामितीय कोड

किसी भी परिमित आपतन संरचना, M और किसी भी क्षेत्र के रेखा/बिंदु आपतन आव्यूह को देखते हुए, F पर M की पंक्ति समष्‍टि F एक रैखिक कोड है जिसे हम C = CF(M) द्वारा निरूपित कर सकते हैं। एक अन्य संबंधित कोड जिसमें आपतन संरचना के बारे में जानकारी सम्मलित होती है, C का समाधान है जिसे इस प्रकार परिभाषित किया गया है:[8]

जहाँ C, C लंबकोणिक कोड हैं।

सामान्यता के इस स्तर पर इन कोडों के बारे में बहुत कुछ नहीं कहा जा सकता है, लेकिन यदि आपतन संरचना में कुछ ''नियमितता'' है, तो इस तरह से उत्पादित कोडों का विश्लेषण किया जा सकता है और कोड और आपतन संरचनाओं के बारे में जानकारी एक दूसरे से प्राप्त की जा सकती है। जब आपतन संरचना एक परिमित संबंध समतल है, तो कोड ज्यामितीय कोड के रूप में जाने वाले कोड के एक वर्ग से संबंधित होते हैं। सजातीय समतल के बारे में कोड में कितनी जानकारी होती है, यह क्षेत्र की पसंद पर निर्भर करता है। यदि क्षेत्र की विशेषता समतल के क्रम को विभाजित नहीं करती है, तो उत्पन्न कोड पूर्ण समष्‍टि होता है और इसमें कोई जानकारी नहीं होती है। वहीं दूसरी ओर,[9]

  • यदि π क्रम n का एक सजातीय समतल है और F विशेषता p का क्षेत्र है, जहाँ p, n को विभाजित करता है, तो कोड B = Hull(CF(π)) का न्यूनतम भार n है और सभी न्यूनतम भार सदिशों के निरंतर गुणक हैं जिनकी प्रविष्टियाँ या तो शून्य या एक हैं।

अतिरिक्त,[10]

  • अगर π क्रम p का एक सजातीय समतल है और F विशेषता p का क्षेत्र है, तो C = Hull(CF(π)) और न्यूनतम भार सदिश π की रेखाओं के (आपतन सदिश) के अदिश गुणक हैं।

जब π = AG(2, q) उत्पन्न ज्यामितीय कोड q-एरी रीड-मुलर कोड है।

सजातीयउपसमष्‍टि

सजातीय उपसमष्‍टि को प्रक्षेपीय समतलों से सजातीय समतलों के निर्माण के समान प्रकार से परिभाषित किया जा सकता है। उच्च-आयामी सजातीय उपसमष्‍टि के लिए सिद्धांतों की एक प्रणाली प्रदान करना भी संभव है जो संबंधित प्रक्षेपण समष्‍टि को संदर्भित नहीं करता है।[11]

टिप्पणियाँ

  1. Hughes & Piper 1973, p. 82
  2. Hartshorne 2000, p. 71
  3. Moulton, Forest Ray (1902), "A Simple Non-Desarguesian Plane Geometry", Transactions of the American Mathematical Society, Providence, R.I.: American Mathematical Society, 3 (2): 192–195, doi:10.2307/1986419, ISSN 0002-9947, JSTOR 1986419
  4. Moorhouse 2007, p. 11
  5. Hughes & Piper 1973, p. 100
  6. Moorhouse 2007, p. 13
  7. Moorhouse 2007, pp. 21–22
  8. Assmus & Key 1992, p. 43
  9. Assmus & Key 1992, p. 208
  10. Assmus & Key 1992, p. 211
  11. Lenz 1961, p. 138, but see also Cameron 1991, chapter 3

संदर्भ

अग्रिम पठन

  • Casse, Rey (2006), प्रक्षेपी ज्यामिति: एक परिचय, Oxford: ऑक्सफोर्ड यूनिवरसिटि प्रेस, ISBN 0-19-929886-6
  • डेम्बोव्स्की, पीटर (1968), परिमित ज्यामिति, बर्लिन: स्प्रिंगर वर्लग
  • कार्तज़ी, F. (1976), परिमित ज्यामिति का परिचय, एम्स्टर्डम: उत्तर-हॉलैंड, ISBN 0-7204-2832-7
  • लिंडनर, चार्ल्स सी.; रोजर, क्रिस्टोफर ए. (1997), डिजाइन सिद्धांत, सीआरसी प्रेस, ISBN 0-8493-3986-3
  • ल्यूंबर्ग, हाइन्ज़ (1980), अनुवाद समतल, बर्लिन: स्प्रिंगर वर्लग, ISBN 0-387-09614-0 {{citation}}: Invalid |url-access=पंजीकरण (help)
  • स्टीवेंसन, फ्रेडरिक डब्ल्यू. (1972), प्रक्षेपी योजनाएँ, सैन फ्रांसिस्को: W.H. फ्रीमैन एंड कंपनी, ISBN 0-7167-0443-9