गैलोज़ ज्यामिति

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

अंकन
हालांकि प्रक्षेपी ज्यामिति के सामान्य संकेतन का कभी-कभी उपयोग किया जाता है, परिमित क्षेत्रों पर प्रक्षेपी रिक्त समष्‍टि को निरूपित करना अधिक सामान्य है $PG(n, q)$, जहाँ $n$ "ज्यामितीय" आयाम है (नीचे देखें), और $q$ परिमित क्षेत्र (या गैल्वा क्षेत्र) का क्रम है $GF(q)$, जो पूर्णांक होना चाहिए जो एक प्रमुख या अभाज्य घात है।

उपरोक्त संकेतन में ज्यामितीय आयाम उस प्रणाली को संदर्भित करता है जिससे रेखाएं 1-आयामी होती हैं, समतल 2-आयामी होते हैं, बिंदु 0-आयामी होते हैं, आदि। संशोधक, कभी-कभी ज्यामितीय के बजाय प्रक्षेपी शब्द का उपयोग किया जाता है, इस अवधारणा के बाद से आवश्यक है आयाम की संख्या सदिश रिक्त समष्‍टि के लिए उपयोग की जाने वाली अवधारणा से भिन्न होती है (अर्थात, एक आधार में तत्वों की संख्या)। आम तौर पर एक ही नाम के साथ दो अलग-अलग अवधारणाएं होने से संदर्भ के कारण अलग-अलग क्षेत्रों में ज्यादा कठिनाई नहीं होती है, लेकिन इस विषय में सदिश समष्टि और प्रक्षेपी समष्टि दोनों महत्वपूर्ण भूमिका निभाते हैं और भ्रम की संभावना बहुत अधिक होती है। सदिश समष्‍टि अवधारणा को कभी-कभी बीजगणितीय आयाम के रूप में जाना जाता है।

निर्माण
होने देना $V = V(n + 1, q)$ (बीजीय) आयाम के सदिश समष्‍टि को दर्शाता है $n + 1$ परिमित क्षेत्र पर परिभाषित $GF(q)$. प्रक्षेप्य समष्‍टि $PG(n, q)$ के सभी सकारात्मक (बीजीय) आयामी सदिश उप-समष्‍टि होते हैं $V$. निर्माण को देखने का एक वैकल्पिक तरीका बिंदुओं को परिभाषित करना है $PG(n, q)$ के गैर-शून्य सदिशों के तुल्यता वर्गों के रूप में $V$ तुल्यता संबंध के तहत जिससे दो सदिश समतुल्य होते हैं यदि एक दूसरे का अदिश गुणक है। बिंदुओं के सेट की रैखिक स्वतंत्रता की परिभाषा का उपयोग करके उप-समष्‍टि तब बिंदुओं से बनाए जाते हैं।

उप-समष्‍टि
बीजीय आयाम की सदिश उपसमष्टि $d + 1$ का $V$ की (प्रक्षेपी) उपसमष्टि है $PG(n, q)$ ज्यामितीय आयाम का $d$. प्रक्षेपी उपस्थानों को सामान्य ज्यामितीय नाम दिए गए हैं; बिंदु, रेखाएँ, तल और ठोस क्रमशः 0,1,2 और 3-आयामी उपसमष्टि हैं। संपूर्ण समष्‍टि एक है $n$-आयामी उप-समष्‍टि और एक ($n − 1$)-डायमेंशनल सबस्पेस को हाइपरप्लेन (या प्राइम) कहा जाता है।

बीजगणितीय आयाम के सदिश उपस्थानों की संख्या $d$ सदिश समष्‍टि में $V(n, q)$ गाऊसी द्विपद गुणांक द्वारा दिया जाता है,
 * $$\left [ \begin{matrix} n \\ d \end{matrix} \right]_q = \frac{(q^n - 1)(q^n - q) \cdots (q^n - q^{d-1})}{(q^d -1)(q^d - q) \cdots (q^d - q^{d-1})}.$$

इसलिए, की संख्या $k$ आयामी प्रक्षेप्य उप-समष्‍टि $PG(n, q)$ द्वारा दिया गया है
 * $$\left [ \begin{matrix} n + 1 \\ k + 1 \end{matrix} \right]_q = \frac{(q^{n+1} - 1)(q^{n+1} - q) \cdots (q^{n+1} - q^k)}{(q^{k+1} -1)(q^{k+1} - q) \cdots (q^{k+1} - q^k)}.$$

इस प्रकार, उदाहरण के लिए, लाइनों की संख्या ($k$ = 1) पीजी(3,2) में है
 * $$\left [ \begin{matrix} 4 \\ 2 \end{matrix} \right]_2 = \frac{(2^4 - 1)(2^4 - 2)}{(2^2 -1)(2^2 - 2)} = \frac{(15)(14)}{(3)(2)} = 35.$$

यह इस प्रकार है कि अंकों की कुल संख्या ($k$ = 0) का $P = PG(n, q)$ है
 * $$\left [ \begin{matrix} n + 1 \\ 1 \end{matrix} \right]_q = \frac{(q^{n+1} - 1)}{(q -1)} = q^n + q^{n-1} + \cdots + q + 1.$$

यह के हाइपरप्लेन की संख्या के बराबर भी है $P$.

के एक बिंदु के माध्यम से लाइनों की संख्या $P$ की गणना की जा सकती है $$q^{n-1} + q^{n-2} + \cdots + q + 1$$ और यह एक निश्चित बिंदु से गुजरने वाले हाइपरप्लेन की संख्या भी है। होने देना $U$ और $W$ गाल्वा ज्यामिति के उप-समष्‍टि बनें $P = PG(n, q)$. चौराहा $U ∩ W$ की एक उपसमष्टि है $P$, लेकिन सेट सैद्धांतिक संघ नहीं हो सकता है। द्वारा निरूपित इन उप-स्थानों का जुड़ाव $$, की सबसे छोटी उपसमष्टि है $P$ जिसमें दोनों शामिल हैं $U$ और $W$. इन दो उप-स्थानों के जुड़ने और प्रतिच्छेदन के आयाम सूत्र द्वारा संबंधित हैं,
 * $$|| = |U| + |W| - |U \cap W|.$$

निर्देशांक
एक निश्चित आधार के संबंध में, प्रत्येक सदिश में $V$ विशिष्ट रूप से एक द्वारा दर्शाया गया है ($n + 1$)- के तत्वों का टपल $GF(q)$. एक प्रक्षेप्य बिंदु सदिशों का एक तुल्यता वर्ग है, इसलिए कई अलग-अलग निर्देशांक (वैक्टरों के) हैं जो एक ही बिंदु के अनुरूप हैं। हालाँकि, ये सभी एक दूसरे से संबंधित हैं क्योंकि प्रत्येक दूसरों का एक गैर-शून्य अदिश गुणक है। यह प्रक्षेपी समष्‍टि के बिंदुओं का प्रतिनिधित्व करने के लिए उपयोग किए जाने वाले सजातीय निर्देशांक की अवधारणा को जन्म देता है।

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

जॉर्ज कॉनवेल ने 1910 में गैलोज़ ज्यामिति का एक प्रारंभिक अनुप्रयोग दिया, जब उन्होंने पीजी (3,2) में तिरछी रेखाओं के सेट के विभाजन के रूप में किर्कमैन की स्कूली छात्राओं की समस्या के समाधान की विशेषता बताई, गैलोज़ क्षेत्र GF(2) पर त्रि-आयामी प्रक्षेपी ज्यामिति।. विशेषता 0 के क्षेत्र में अंतरिक्ष में लाइन ज्यामिति के तरीकों के समान, कॉनवेल ने पीजी (5,2) में प्लकर निर्देशांक का इस्तेमाल किया और क्लेन क्वाड्रिक पर पीजी (3,2) में लाइनों का प्रतिनिधित्व करने वाले बिंदुओं की पहचान की।

1955 में Beniamino Segre ने q विषम के लिए अंडाकारों की विशेषता बताई। सेग्रे के प्रमेय में कहा गया है कि विषम क्रम के एक गैलोज़ ज्यामिति में (अर्थात, विषम विशेषता (क्षेत्र) के एक परिमित क्षेत्र पर परिभाषित एक प्रक्षेप्य समतल) प्रत्येक अंडाकार एक शंकु खंड है। इस परिणाम को अक्सर अनुसंधान के एक महत्वपूर्ण क्षेत्र के रूप में गैलोइस ज्यामिति स्थापित करने का श्रेय दिया जाता है। 1958 में अंतर्राष्ट्रीय गणितीय कांग्रेस सेग्रे ने उस समय तक ज्ञात गैलोज़ ज्यामिति में परिणामों का एक सर्वेक्षण प्रस्तुत किया।

यह भी देखें

 * घटना ज्यामिति

बाहरी संबंध

 * Galois geometry at Encyclopaedia of Mathematics, SpringerLink