परिमित ज्यामिति



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

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

परिमित विमान
निम्नलिखित टिप्पणी केवल परिमित तलों पर लागू होती है। परिमित समतल ज्यामिति के दो मुख्य प्रकार हैं: एफ़िन ज्यामिति और प्रक्षेपी ज्यामिति। एक सजातीय तल (घटना ज्यामिति) में, समानांतर (ज्यामिति) रेखाओं का सामान्य अर्थ लागू होता है। एक प्रक्षेपी तल में, इसके विपरीत, कोई भी दो रेखाएँ एक अद्वितीय बिंदु पर प्रतिच्छेद करती हैं, इसलिए समानांतर रेखाएँ मौजूद नहीं होती हैं। परिमित सम्बद्ध समतल ज्यामिति और परिमित प्रक्षेपी समतल ज्यामिति दोनों को काफी सरल स्वयंसिद्धों द्वारा वर्णित किया जा सकता है।

परिमित संबधित तल
एक affine समतल ज्यामिति एक गैर-खाली सेट X (जिसके तत्वों को बिंदु कहा जाता है) के साथ-साथ X के सबसेट (जिनके तत्वों को रेखाएं कहा जाता है) का एक गैर-खाली संग्रह L है, जैसे कि: अंतिम स्वयंसिद्ध यह सुनिश्चित करता है कि ज्यामिति तुच्छ नहीं है (या तो खाली सेट या रुचि के लिए बहुत सरल है, जैसे कि उस पर एक मनमानी संख्या के साथ एक पंक्ति), जबकि पहले दो ज्यामिति की प्रकृति को निर्दिष्ट करते हैं।
 * 1) प्रत्येक दो अलग-अलग बिंदुओं के लिए, केवल एक रेखा होती है जिसमें दोनों बिंदु होते हैं।
 * 2) प्लेफेयर का स्वयंसिद्ध: एक पंक्ति दी गई $$\ell$$ और एक बिंदु $$p$$ पर नहीं $$\ell$$, बिल्कुल एक पंक्ति मौजूद है $$\ell'$$ युक्त $$p$$ ऐसा है कि $$\ell \cap \ell' = \varnothing.$$
 * 3) चार बिंदुओं का एक सेट मौजूद है, जिनमें से तीन एक ही रेखा से संबंधित नहीं हैं।

सरलतम संबंध तल में केवल चार बिंदु होते हैं; इसे क्रम 2 का affine तल कहा जाता है। (एक affine तल का क्रम किसी भी रेखा पर बिंदुओं की संख्या है, नीचे देखें।) चूँकि कोई भी तीन संरेख नहीं हैं, बिंदुओं का कोई भी युग्म एक अद्वितीय रेखा निर्धारित करता है, और इसलिए इस तल में समाविष्ट है छह पंक्तियाँ। यह एक टेट्राहेड्रॉन से मेल खाता है जहां गैर-अंतर्विभाजक किनारों को समानांतर माना जाता है, या एक वर्ग जहां न केवल विपरीत पक्ष, बल्कि विकर्णों को भी समानांतर माना जाता है। अधिक आम तौर पर, क्रम n के परिमित संबंध तल में n होता है2 अंक और n2 + n पंक्तियां; प्रत्येक पंक्ति में n बिंदु होते हैं, और प्रत्येक बिंदु चालू होता है n + 1 पंक्तियां। ऑर्डर 3 के एफाइन प्लेन को हेस्से विन्यास के रूप में जाना जाता है।

परिमित प्रोजेक्टिव प्लेन
एक प्रोजेक्टिव प्लेन ज्योमेट्री एक गैर-खाली सेट X (जिसके तत्वों को बिंदु कहा जाता है) के साथ-साथ X के सबसेट (जिनके तत्वों को लाइन कहा जाता है) के गैर-रिक्त संग्रह L के साथ होता है, जैसे कि: पहले दो स्वयंसिद्धों की एक परीक्षा से पता चलता है कि वे लगभग समान हैं, सिवाय इसके कि बिंदुओं और रेखाओं की भूमिकाओं को आपस में बदल दिया गया है। यह द्वैत (गणित) के सिद्धांत का सुझाव देता है # प्रक्षेपी विमान ज्यामिति के लिए आयाम-उलटा द्वैत, जिसका अर्थ है कि इन सभी ज्यामितीयों में मान्य कोई भी सत्य कथन सही रहता है यदि हम बिंदुओं के लिए रेखाओं और रेखाओं के लिए बिंदुओं का आदान-प्रदान करते हैं। तीनों अभिगृहीतों को संतुष्ट करने वाली सबसे छोटी ज्यामिति में सात बिंदु होते हैं। प्रक्षेपी तलों में इस सरलतम तल में भी सात रेखाएँ होती हैं; प्रत्येक बिंदु तीन रेखाओं पर है, और प्रत्येक पंक्ति में तीन बिंदु हैं। इस विशेष प्रोजेक्टिव प्लेन को कभी-कभी फ़ानो प्लेन कहा जाता है। यदि किसी भी रेखा को समतल से हटा दिया जाता है, तो उस रेखा पर बिंदुओं के साथ, परिणामी ज्यामिति क्रम 2 का परिशोधन तल है। फ़ानो विमान को प्रोजेक्टिव प्लेन ऑफ़ ऑर्डर 2 कहा जाता है क्योंकि यह अद्वितीय (समरूपता तक) है। सामान्य तौर पर, ऑर्डर 'एन' के प्रोजेक्टिव प्लेन में 'एन'' होता है2 + n + 1 अंक और उतनी ही पंक्तियां; प्रत्येक पंक्ति में n + 1 बिंदु होते हैं, और प्रत्येक बिंदु n + 1 रेखा पर होता है।
 * 1) प्रत्येक दो अलग-अलग बिंदुओं के लिए, केवल एक रेखा होती है जिसमें दोनों बिंदु होते हैं।
 * 2) किसी भी दो अलग-अलग रेखाओं के प्रतिच्छेदन में ठीक एक बिंदु होता है।
 * 3) चार बिंदुओं का एक सेट मौजूद है, जिनमें से तीन एक ही रेखा से संबंधित नहीं हैं।

फ़ानो विमान के सात बिंदुओं का एक क्रमचय जो आपतन (ज्यामिति) बिंदुओं (एक ही रेखा पर बिंदु) को संरेख बिंदुओं तक ले जाता है, उसे विमान का समतलीकरण कहा जाता है। पूर्ण संरेखन समूह क्रम 168 का है और समूह PSL(2,7) ≈ PSL(3,2) के लिए समरूप है, जो इस विशेष मामले में सामान्य रैखिक समूह के लिए भी समरूप है GL(3,2) ≈ PGL(3,2).

विमानों का क्रम
क्रम n का एक परिमित तल ऐसा है कि प्रत्येक पंक्ति में n बिंदु हैं (एक सजातीय तल के लिए), या ऐसे कि प्रत्येक पंक्ति में n + 1 अंक हैं (प्रक्षेपी तल के लिए). परिमित ज्यामिति में एक प्रमुख खुला प्रश्न है:
 * क्या एक परिमित विमान का क्रम हमेशा एक प्रमुख शक्ति है?

यह सच होने का अनुमान है।

परिमित क्षेत्र के ऊपर affine और प्रक्षेपी विमानों का उपयोग करके, जब भी  n  एक प्रमुख शक्ति (एक सकारात्मक संख्या पूर्णांक घातांक के लिए उठाया गया एक प्रमुख संख्या) है, तो क्रम के affine और प्रोजेक्टिव विमान  n  मौजूद हैं। n = pk तत्व। परिमित क्षेत्रों से प्राप्त नहीं हुए विमान भी मौजूद हैं (उदाहरण के लिए $$n=9$$), लेकिन सभी ज्ञात उदाहरणों में आदेश एक प्रमुख शक्ति है। आज तक का सबसे अच्छा सामान्य परिणाम 1949 का ब्रुक-राइज़र प्रमेय है, जिसमें कहा गया है:
 * यदि n रूप का धनात्मक पूर्णांक है 4k + 1 या 4k + 2 और n दो पूर्णांक वर्ग (बीजगणित) के योग के बराबर नहीं है, तो n परिमित विमान के क्रम के रूप में नहीं होता है।

सबसे छोटा पूर्णांक जो एक प्रमुख शक्ति नहीं है और ब्रुक-राइज़र प्रमेय द्वारा कवर नहीं किया गया है, वह 10 है; 10 रूप का है 4k + 2, लेकिन यह वर्गों के योग के बराबर है 12 + 32. क्रम 10 के एक परिमित विमान की गैर-मौजूदगी एक कंप्यूटर-सहायता प्रमाण में सिद्ध हुई थी जो 1989 में समाप्त हुई थी - देखें जानकारी के लिए।

विचार करने के लिए अगली सबसे छोटी संख्या 12 है, जिसके लिए न तो सकारात्मक और न ही नकारात्मक परिणाम सिद्ध किया गया है।

इतिहास
व्यक्तिगत उदाहरण थॉमस पेनिंगटन किर्कमैन (1847) के काम और कार्ल जॉर्ज क्रिश्चियन वॉन स्टॉड्ट (1856) द्वारा दिए गए परिमित प्रक्षेपी ज्यामिति के व्यवस्थित विकास में पाए जा सकते हैं।

परिमित प्रोजेक्टिव ज्यामिति का पहला स्वयंसिद्ध उपचार इटली  गणितज्ञ गीनो फानो द्वारा विकसित किया गया था। उसके काम में प्रोजेक्टिव स्पेस के लिए स्वयंसिद्धों के सेट की स्वतंत्रता को साबित करने पर | प्रोजेक्टिव एन-स्पेस जिसे उन्होंने विकसित किया, उन्होंने 15 बिंदुओं, 35 रेखाओं और 15 विमानों (आरेख देखें) के साथ एक परिमित त्रिविमीय स्थान पर विचार किया, जिसमें प्रत्येक रेखा पर केवल तीन बिंदु थे। 1906 में ओसवाल्ड वेब्लेन और डब्ल्यू. एच. बस्सी ने गाल्वा का मैदान जीएफ (क्यू) से प्रविष्टियों के साथ सजातीय निर्देशांक का उपयोग करते हुए प्रक्षेपी ज्यामिति का वर्णन किया। जब n + 1 निर्देशांकों का उपयोग किया जाता है, तो n-विम परिमित ज्यामिति को PG(n, q) निरूपित किया जाता है। यह सिंथेटिक ज्यामिति में उत्पन्न होता है और इसमें एक संबद्ध परिवर्तन समूह (गणित) होता है।

3 या अधिक आयामों के परिमित स्थान
परिमित समतल ज्यामिति और उच्च-आयामी परिमित स्थानों की ज्यामिति के बीच कुछ महत्वपूर्ण अंतरों के लिए, स्वयंसिद्ध प्रक्षेपी स्थान देखें। सामान्य रूप से उच्च-आयामी परिमित स्थानों की चर्चा के लिए, उदाहरण के लिए, जेम्स विलियम पीटर हिर्शफेल्ड | जे.डब्ल्यू.पी. हिर्शफेल्ड। इन उच्च-आयामी स्थानों का अध्ययन (n ≥ 3) उन्नत गणितीय सिद्धांतों में कई महत्वपूर्ण अनुप्रयोग हैं।

स्वयंसिद्ध परिभाषा
एक प्रोजेक्टिव स्पेस S को 'P (लाइनों का सेट) के सबसेट के सेट L के साथ मिलकर एक सेट P'' (पॉइंट्स का सेट) के रूप में स्वैच्छिक रूप से परिभाषित किया जा सकता है।, इन स्वयंसिद्धों को संतुष्ट करना:
 * प्रत्येक दो अलग-अलग बिंदु p और q बिल्कुल एक रेखा में हैं।
 * ओसवाल्ड वेब्लेन का स्वयंसिद्ध: यदि a, b, c, d भिन्न बिंदु हैं और ab और cd से होकर जाने वाली रेखाएँ मिलती हैं, तो ac और bd से होकर जाने वाली रेखाएँ भी मिलती हैं।
 * किसी भी रेखा पर कम से कम 3 बिंदु होते हैं।

अंतिम स्वयंसिद्ध कम करने योग्य मामलों को समाप्त कर देता है जिसे प्रोजेक्टिव रिक्त स्थान के एक अलग संघ के रूप में लिखा जा सकता है, जिसमें 2-बिंदु रेखाएं अलग-अलग प्रोजेक्टिव रिक्त स्थान में किसी भी दो बिंदुओं में शामिल हो सकती हैं। अधिक संक्षेप में, इसे एक घटना संरचना के रूप में परिभाषित किया जा सकता है (P, L, I) बिंदुओं का एक सेट P, रेखाओं का एक सेट L, और एक घटना संबंध I जिसमें बताया गया है कि कौन से बिंदु किस रेखा पर स्थित हैं।

एक परिमित प्रोजेक्टिव स्पेस प्राप्त करने के लिए एक और स्वयंसिद्ध की आवश्यकता होती है:
 * बिंदुओं का समुच्चय P परिमित समुच्चय है।

किसी भी परिमित प्रक्षेप्य स्थान में, प्रत्येक पंक्ति में समान अंक होते हैं और अंतरिक्ष के क्रम को इस सामान्य संख्या से एक कम के रूप में परिभाषित किया जाता है।

प्रक्षेपी स्थान का एक उप-स्थान एक उपसमुच्चय X है, जैसे कि X के दो बिंदुओं वाली कोई भी रेखा X का उपसमुच्चय है (अर्थात, X में पूरी तरह समाहित है)। पूर्ण स्थान और खाली स्थान हमेशा उप-स्थान होते हैं।

अंतरिक्ष के ज्यामितीय आयाम को एन कहा जाता है यदि वह सबसे बड़ी संख्या है जिसके लिए इस रूप के उप-स्थानों की सख्ती से आरोही श्रृंखला है:


 * $$ \varnothing = X_{-1} \subset X_{0}\subset \cdots \subset X_{n} = P .$$

बीजगणितीय रचना
प्रणालियों का एक मानक बीजगणितीय निर्माण इन स्वयंसिद्धों को संतुष्ट करता है। एक विभाजन की अंगूठी  डी के लिए एक का निर्माण करें {{nowrap|(n + 1)}डी पर }-आयामी वेक्टर स्थान (वेक्टर स्थान आयाम एक आधार में तत्वों की संख्या है)। मान लीजिए कि P इस सदिश स्थान की 1-आयामी (एकल जनित्र) उप-समष्टि है और L 2-आयामी (दो स्वतंत्र जनित्र) उप-समष्टि (वेक्टर जोड़ के अंतर्गत बंद) है। घटना नियंत्रण है। यदि D परिमित है तो यह एक परिमित क्षेत्र GF(q) होना चाहिए, क्योंकि वेडरबर्न के छोटे प्रमेय के अनुसार सभी परिमित विभाजन वलय क्षेत्र हैं। इस मामले में, यह निर्माण एक परिमित प्रक्षेप्य स्थान पैदा करता है। इसके अलावा, यदि प्रक्षेप्य स्थान का ज्यामितीय आयाम कम से कम तीन है तो एक विभाजन की अंगूठी होती है जिससे इस तरह अंतरिक्ष का निर्माण किया जा सकता है। नतीजतन, कम से कम तीन ज्यामितीय आयाम के सभी परिमित प्रक्षेप्य स्थान परिमित क्षेत्रों पर परिभाषित किए गए हैं। इस तरह के परिमित क्षेत्र में परिभाषित एक परिमित प्रक्षेप्य स्थान है q + 1 एक रेखा पर स्थित है, इसलिए क्रम की दो अवधारणाएँ मेल खाती हैं। इस तरह के एक परिमित प्रक्षेप्य स्थान को निरूपित किया जाता है PG(n, q), जहां पीजी प्रक्षेपी ज्यामिति के लिए खड़ा है, n ज्यामिति का ज्यामितीय आयाम है और q ज्यामिति के निर्माण के लिए उपयोग किए जाने वाले परिमित क्षेत्र का आकार (क्रम) है।

सामान्य तौर पर, k- डायमेंशनल सबस्पेस की संख्या PG(n, q) उत्पाद द्वारा दिया गया है:

{{n+1} \choose {k+1}}_q = \prod_{i=0}^k \frac{q^{n+1-i}-1}{q^{i+1}-1}, $$ जो एक गाऊसी द्विपद गुणांक है, एक द्विपद गुणांक का q अनुरूप है।

ज्यामितीय आयाम द्वारा परिमित प्रक्षेप्य स्थानों का वर्गीकरण

 * आयाम 0 (कोई रेखा नहीं): अंतरिक्ष एक बिंदु है और इतना पतित है कि इसे आमतौर पर अनदेखा कर दिया जाता है।
 * आयाम 1 (बिल्कुल एक रेखा): सभी बिंदु अद्वितीय रेखा पर स्थित होते हैं, जिसे प्रक्षेपी रेखा कहा जाता है।
 * आयाम 2: कम से कम 2 रेखाएँ हैं, और कोई भी दो रेखाएँ मिलती हैं। के लिए एक प्रोजेक्टिव स्पेस n = 2 एक प्रक्षेपी तल है। इन्हें वर्गीकृत करना बहुत कठिन है, क्योंकि ये सभी एक के साथ आइसोमॉर्फिक नहीं हैं PG(d, q). Desarguesian विमान (जो एक के साथ आइसोमोर्फिक हैं PG(2, q)) Desargues के प्रमेय को संतुष्ट करते हैं और परिमित क्षेत्रों पर प्रक्षेपी विमान हैं, लेकिन कई गैर-Desarguesian विमान हैं।
 * आयाम कम से कम 3: दो गैर-प्रतिच्छेदी रेखाएँ मौजूद हैं। वेब्लेन-यंग प्रमेय परिमित मामले में बताता है कि ज्यामितीय आयाम का प्रत्येक प्रक्षेप्य स्थान n ≥ 3 एक के साथ आइसोमोर्फिक है PG(n, q), कुछ परिमित क्षेत्र GF(q) पर n-आयामी प्रक्षेपी स्थान।

सबसे छोटा प्रक्षेप्य तीन-स्थान
सबसे छोटा 3-आयामी प्रोजेक्टिव स्पेस फ़ील्ड GF(2) के ऊपर है और इसे PG(3,2) द्वारा दर्शाया गया है। इसके 15 बिंदु, 35 रेखाएँ और 15 तल हैं। प्रत्येक तल में 7 बिंदु और 7 रेखाएँ होती हैं। प्रत्येक पंक्ति में 3 बिंदु होते हैं। ज्यामिति के रूप में, ये तल फैनो तल के लिए समरूपता हैं।

हर बिंदु 7 पंक्तियों में समाहित है। अलग-अलग बिंदुओं की प्रत्येक जोड़ी ठीक एक रेखा में समाहित होती है और अलग-अलग विमानों की हर जोड़ी ठीक एक रेखा में प्रतिच्छेद करती है।

1892 में, गीनो फ़ानो ऐसे परिमित ज्यामिति पर विचार करने वाले पहले व्यक्ति थे।

किर्कमैन की छात्रा समस्या
पीजी (3,2) किर्कमैन की स्कूली छात्राओं की समस्या के समाधान की पृष्ठभूमि के रूप में उभरती है, जिसमें कहा गया है: तीन के पांच समूहों में प्रत्येक दिन पंद्रह स्कूली छात्राएं चलती हैं। एक सप्ताह के लिए लड़कियों के चलने की व्यवस्था करें ताकि इतने समय में लड़कियों का प्रत्येक जोड़ा समूह में केवल एक बार साथ-साथ चले। लड़कियों के एक साथ चलने के लिए 35 अलग-अलग कॉम्बिनेशन हैं। सप्ताह के 7 दिन भी होते हैं, और प्रत्येक समूह में 3 लड़कियाँ होती हैं। इस समस्या के सात गैर-आइसोमॉर्फिक समाधानों में से दो को फ़ानो 3-स्पेस, पीजी (3,2) में संरचनाओं के संदर्भ में कहा जा सकता है, जिसे पैकिंग के रूप में जाना जाता है। एक प्रोजेक्टिव स्पेस का फैलाव अपने बिंदुओं का एक विभाजन (सेट सिद्धांत) है जो अलग-अलग रेखाओं में होता है, और एक पैकिंग अलग-अलग फैलाव में रेखाओं का विभाजन होता है। पीजी (3,2) में, एक स्प्रेड 15 बिंदुओं का 5 असंयुक्त रेखाओं (प्रत्येक पंक्ति पर 3 बिंदुओं के साथ) में विभाजन होगा, इस प्रकार एक विशेष दिन पर स्कूली छात्राओं की व्यवस्था के अनुरूप होगा। पीजी (3,2) की एक पैकिंग में सात अलग-अलग फैलाव होते हैं और इसलिए व्यवस्था के पूरे सप्ताह के अनुरूप होते हैं।

यह भी देखें

 * ब्लॉक डिजाइन - एक परिमित प्रक्षेपी विमान का सामान्यीकरण।
 * सामान्यीकृत बहुभुज
 * घटना ज्यामिति
 * रेखीय स्थान (ज्यामिति)
 * बहुभुज के पास
 * आंशिक ज्यामिति
 * ध्रुवीय स्थान

संदर्भ








बाहरी संबंध

 * Incidence Geometry by Eric Moorhouse
 * Algebraic Combinatorial Geometry by Terence Tao
 * Essay on Finite Geometry by Michael Greenberg
 * Finite geometry (Script)
 * Finite Geometry Resources
 * J. W. P. Hirschfeld, researcher on finite geometries
 * Books by Hirschfeld on finite geometry
 * AMS Column: Finite Geometries?
 * Galois Geometry and Generalized Polygons, intensive course in 1998
 * Projective Plane of Order 12 on MathOverflow.
 * Projective Plane of Order 12 on MathOverflow.
 * Projective Plane of Order 12 on MathOverflow.
 * Projective Plane of Order 12 on MathOverflow.