ध्रुवीय स्थान: Difference between revisions
No edit summary |
|||
Line 3: | Line 3: | ||
* प्रत्येक उपसमष्टि प्रक्षेपी स्थान के लिए तुल्याकारी है {{nowrap|'''P'''<sup>''d''</sup>(''K'')}} साथ {{nowrap|−1 ≤ ''d'' ≤ (''n'' − 1)}} और K एक [[ विभाजन की अंगूठी | विभाजन रिंग]] (डिवीज़न रिंग) है। परिभाषा के अनुसार, प्रत्येक उपसमष्टि के लिए संगत d उसका आयाम है। | * प्रत्येक उपसमष्टि प्रक्षेपी स्थान के लिए तुल्याकारी है {{nowrap|'''P'''<sup>''d''</sup>(''K'')}} साथ {{nowrap|−1 ≤ ''d'' ≤ (''n'' − 1)}} और K एक [[ विभाजन की अंगूठी | विभाजन रिंग]] (डिवीज़न रिंग) है। परिभाषा के अनुसार, प्रत्येक उपसमष्टि के लिए संगत d उसका आयाम है। | ||
* दो उपसमष्टि का प्रतिच्छेदन सदैव उपसमष्टि होता है। | * दो उपसमष्टि का प्रतिच्छेदन सदैव उपसमष्टि होता है। | ||
* प्रत्येक बिंदु के लिए ''p'' के आयाम के उप-स्थान A में नहीं है {{nowrap|''n'' − 1}}, आयाम की एक अद्वितीय उपसमष्टि B है {{nowrap|''n'' − 1}} जिसमें ''p'' और ऐसा है {{nowrap|''A'' ∩ ''B''}} है {{nowrap|(''n'' − 2)}}- | * प्रत्येक बिंदु के लिए ''p'' के आयाम के उप-स्थान A में नहीं है {{nowrap|''n'' − 1}}, आयाम की एक अद्वितीय उपसमष्टि B है {{nowrap|''n'' − 1}} जिसमें ''p'' और ऐसा है {{nowrap|''A'' ∩ ''B''}} है {{nowrap|(''n'' − 2)}}-आयामी में अंक {{nowrap|''A'' ∩ ''B''}} वास्तव में ए के बिंदु हैं जो पी के साथ आयाम 1 के एक सामान्य उप-स्थान में हैं। | ||
* आयाम के कम से कम दो असंयुक्त उपसमष्टि हैं {{nowrap|''n'' − 1}}. | * आयाम के कम से कम दो असंयुक्त उपसमष्टि हैं {{nowrap|''n'' − 1}}. | ||
Line 16: | Line 16: | ||
मान ले <math>PG(n,q)</math> आयाम का प्रक्षेप्य स्थान हो <math>n</math> परिमित क्षेत्र के ऊपर <math>\mathbb{F} _q</math> और जाने <math>f</math> अंतर्निहित वेक्टर स्पेस पर एक रिफ्लेक्सिव [[ सेस्क्विलिनियर रूप ]] या क्वाड्रेटिक फॉर्म है। तब इस रूप से जुड़े परिमित प्राचीन ध्रुवीय स्थान के तत्वों में आइसोट्रोपिक [[द्विघात रूप]] (जब <math>f</math> एक sesquilinear रूप है) या पूरी तरह से एकवचन उप-स्थान (जब <math>f</math> का द्विघात रूप है)। <math>PG(n,q)</math> इसके संबंध में <math>f</math>. फॉर्म का विट का प्रमेय ध्रुवीय अंतरिक्ष में निहित उप-अंतरिक्ष के सबसे बड़े वेक्टर अंतरिक्ष आयाम के बराबर है, और इसे ध्रुवीय अंतरिक्ष का रैंक कहा जाता है। इन परिमित प्राचीन ध्रुवीय स्थानों को निम्न तालिका द्वारा संक्षेपित किया जा सकता है, जहाँ <math>n</math> अंतर्निहित प्रोजेक्टिव स्पेस का आयाम है और <math>r</math> ध्रुवीय अंतरिक्ष की रैंक है। अंकों की संख्या <math>PG(k,q)</math> द्वारा निरूपित किया जाता है <math>\theta_k(q)</math> और यह बराबर है <math>q^k + q^{k-1} + \cdots + 1</math>. जब <math>r</math> के बराबर है <math>2</math>, हमें एक सामान्यीकृत चतुर्भुज मिलता है। | मान ले <math>PG(n,q)</math> आयाम का प्रक्षेप्य स्थान हो <math>n</math> परिमित क्षेत्र के ऊपर <math>\mathbb{F} _q</math> और जाने <math>f</math> अंतर्निहित वेक्टर स्पेस पर एक रिफ्लेक्सिव [[ सेस्क्विलिनियर रूप ]] या क्वाड्रेटिक फॉर्म है। तब इस रूप से जुड़े परिमित प्राचीन ध्रुवीय स्थान के तत्वों में आइसोट्रोपिक [[द्विघात रूप]] (जब <math>f</math> एक sesquilinear रूप है) या पूरी तरह से एकवचन उप-स्थान (जब <math>f</math> का द्विघात रूप है)। <math>PG(n,q)</math> इसके संबंध में <math>f</math>. फॉर्म का विट का प्रमेय ध्रुवीय अंतरिक्ष में निहित उप-अंतरिक्ष के सबसे बड़े वेक्टर अंतरिक्ष आयाम के बराबर है, और इसे ध्रुवीय अंतरिक्ष का रैंक कहा जाता है। इन परिमित प्राचीन ध्रुवीय स्थानों को निम्न तालिका द्वारा संक्षेपित किया जा सकता है, जहाँ <math>n</math> अंतर्निहित प्रोजेक्टिव स्पेस का आयाम है और <math>r</math> ध्रुवीय अंतरिक्ष की रैंक है। अंकों की संख्या <math>PG(k,q)</math> द्वारा निरूपित किया जाता है <math>\theta_k(q)</math> और यह बराबर है <math>q^k + q^{k-1} + \cdots + 1</math>. जब <math>r</math> के बराबर है <math>2</math>, हमें एक सामान्यीकृत चतुर्भुज मिलता है। | ||
{| class="wikitable" | {| class="wikitable" | ||
! | !प्रपत्र | ||
!<math>n + 1</math> | !<math>n + 1</math> | ||
! | !नाम | ||
! | !नोटेशन | ||
! | !बिंदुओं की संख्या | ||
! | !समरेखण समूह | ||
|- | |- | ||
|[[Symplectic vector space| | |[[Symplectic vector space|अदल-बदल कर]] | ||
|<math>2r</math> | |<math>2r</math> | ||
| | |सैम्पलेक्टिक | ||
|<math>W(2r - 1, q)</math> | |<math>W(2r - 1, q)</math> | ||
|<math>(q^r +1)\theta_{r-1}(q)</math> | |<math>(q^r +1)\theta_{r-1}(q)</math> | ||
|<math>\mathrm{P \Gamma Sp}(2r,q)</math> | |<math>\mathrm{P \Gamma Sp}(2r,q)</math> | ||
|- | |- | ||
| | |हर्मिटियन | ||
|<math>2r</math> | |<math>2r</math> | ||
| | |हर्मिटियन | ||
|<math>H(2r-1,q)</math> | |<math>H(2r-1,q)</math> | ||
|<math>(q^{r - 1/2} + 1)\theta_{r-1}(q)</math> | |<math>(q^{r - 1/2} + 1)\theta_{r-1}(q)</math> | ||
|<math>\mathrm{P \Gamma U(2r,q)}</math> | |<math>\mathrm{P \Gamma U(2r,q)}</math> | ||
|- | |- | ||
| | |हर्मिटियन | ||
|<math>2r + 1</math> | |<math>2r + 1</math> | ||
| | |हर्मिटियन | ||
|<math>H(2r,q)</math> | |<math>H(2r,q)</math> | ||
|<math>(q^{r + 1/2} + 1) \theta_{r - 1}(q)</math> | |<math>(q^{r + 1/2} + 1) \theta_{r - 1}(q)</math> | ||
|<math>\mathrm{P \Gamma U(2r+1,q)}</math> | |<math>\mathrm{P \Gamma U(2r+1,q)}</math> | ||
|- | |- | ||
|[[Quadratic form| | |[[Quadratic form|द्विघात]] | ||
|<math>2r</math> | |<math>2r</math> | ||
| | |अतिपरवलिक | ||
|<math>Q^+(2r-1,q)</math> | |<math>Q^+(2r-1,q)</math> | ||
|<math>(q^{r-1} + 1) \theta_{r-1}(q)</math> | |<math>(q^{r-1} + 1) \theta_{r-1}(q)</math> | ||
|<math>\mathrm{P \Gamma O^+}(2r,q)</math> | |<math>\mathrm{P \Gamma O^+}(2r,q)</math> | ||
|- | |- | ||
| | |द्विघात | ||
|<math>2r + 1</math> | |<math>2r + 1</math> | ||
| | |अणुवृत्त आकार का | ||
|<math>Q(2r,q)</math> | |<math>Q(2r,q)</math> | ||
|<math>(q^r + 1)\theta_{r-1}(q)</math> | |<math>(q^r + 1)\theta_{r-1}(q)</math> | ||
|<math>\mathrm{P \Gamma O}(2r+1,q)</math> | |<math>\mathrm{P \Gamma O}(2r+1,q)</math> | ||
|- | |- | ||
| | |द्विघात | ||
|<math>2r + 2</math> | |<math>2r + 2</math> | ||
| | |अंडाकार का | ||
|<math>Q^-(2r + 1,q)</math> | |<math>Q^-(2r + 1,q)</math> | ||
|<math>(q^{r + 1} + 1)\theta_{r-1}(q)</math> | |<math>(q^{r + 1} + 1)\theta_{r-1}(q)</math> | ||
|<math>\mathrm{P \Gamma O^-}(2r + 2,q)</math> | |<math>\mathrm{P \Gamma O^-}(2r + 2,q)</math> | ||
|} | |} | ||
== वर्गीकरण == | == वर्गीकरण == | ||
[[ जैक्स स्तन ]] ने साबित किया कि कम से कम तीन रैंक का एक परिमित ध्रुवीय स्थान, ऊपर दिए गए तीन प्रकार के | [[ जैक्स स्तन ]]ने साबित किया कि कम से कम तीन रैंक का एक परिमित ध्रुवीय स्थान, ऊपर दिए गए तीन प्रकार के प्राचीन ध्रुवीय स्थानों में से एक के साथ हमेशा आइसोमॉर्फिक होता है। यह केवल परिमित सामान्यीकृत चतुष्कोणों को वर्गीकृत करने की समस्या को खोलता है। | ||
==संदर्भ== | ==संदर्भ== |
Revision as of 19:34, 11 May 2023
गणित में, ज्यामिति के क्षेत्र में, रैंक n का एक ध्रुवीय स्थान (n ≥ 3), या प्रक्षेपी सूचकांक n − 1, में एक सेट P होता है, जिसे पारंपरिक रूप से बिंदुओं का सेट कहा जाता है, साथ में P के कुछ उपसमुच्चय, जिन्हें उप-स्थान कहा जाता है, जो इन स्वयंसिद्धों को संतुष्ट करते हैं:
- प्रत्येक उपसमष्टि प्रक्षेपी स्थान के लिए तुल्याकारी है Pd(K) साथ −1 ≤ d ≤ (n − 1) और K एक विभाजन रिंग (डिवीज़न रिंग) है। परिभाषा के अनुसार, प्रत्येक उपसमष्टि के लिए संगत d उसका आयाम है।
- दो उपसमष्टि का प्रतिच्छेदन सदैव उपसमष्टि होता है।
- प्रत्येक बिंदु के लिए p के आयाम के उप-स्थान A में नहीं है n − 1, आयाम की एक अद्वितीय उपसमष्टि B है n − 1 जिसमें p और ऐसा है A ∩ B है (n − 2)-आयामी में अंक A ∩ B वास्तव में ए के बिंदु हैं जो पी के साथ आयाम 1 के एक सामान्य उप-स्थान में हैं।
- आयाम के कम से कम दो असंयुक्त उपसमष्टि हैं n − 1.
बिंदुओं और रेखाओं के बीच केवल संबंध का उपयोग करके वस्तुओं के थोड़े बड़े वर्ग को परिभाषित और अध्ययन करना संभव है: एक ध्रुवीय स्थान एक आंशिक रैखिक स्थान (P,L) है, ताकि प्रत्येक बिंदु के लिए p ∈ P और प्रत्येक पंक्ति l ∈ L, p के समरेख l के बिंदुओं का समूह, या तो एक सिंगलटन या संपूर्ण l है।
परिमित ध्रुवीय स्थान (जहाँ P एक परिमित समुच्चय है) का भी संयोजक के रूप में अध्ययन किया जाता है।
सामान्यीकृत चतुष्कोण
रैंक दो का एक ध्रुवीय स्थान एक सामान्यीकृत चतुर्भुज है; इस कार्य में, बाद की परिभाषा में, बिंदु p के साथ रेखा ℓ के बिंदुओं का समुच्चय केवल पूर्ण ℓ है यदि p ∈ ℓ। एक बाद की परिभाषा से पूर्व की परिभाषा को इस धारणा के तहत पुनर्प्राप्त करता है कि रेखाओं में 2 से अधिक बिंदु होते हैं, बिंदु 2 से अधिक रेखाओं पर स्थित होते हैं, और एक रेखा ℓ उपस्थित होती है और एक बिंदु p ℓ पर नहीं होता है ताकि p ℓ के सभी बिंदुओं के समरेख हो .
परिमित शास्त्रीय ध्रुवीय स्थान
मान ले आयाम का प्रक्षेप्य स्थान हो परिमित क्षेत्र के ऊपर और जाने अंतर्निहित वेक्टर स्पेस पर एक रिफ्लेक्सिव सेस्क्विलिनियर रूप या क्वाड्रेटिक फॉर्म है। तब इस रूप से जुड़े परिमित प्राचीन ध्रुवीय स्थान के तत्वों में आइसोट्रोपिक द्विघात रूप (जब एक sesquilinear रूप है) या पूरी तरह से एकवचन उप-स्थान (जब का द्विघात रूप है)। इसके संबंध में . फॉर्म का विट का प्रमेय ध्रुवीय अंतरिक्ष में निहित उप-अंतरिक्ष के सबसे बड़े वेक्टर अंतरिक्ष आयाम के बराबर है, और इसे ध्रुवीय अंतरिक्ष का रैंक कहा जाता है। इन परिमित प्राचीन ध्रुवीय स्थानों को निम्न तालिका द्वारा संक्षेपित किया जा सकता है, जहाँ अंतर्निहित प्रोजेक्टिव स्पेस का आयाम है और ध्रुवीय अंतरिक्ष की रैंक है। अंकों की संख्या द्वारा निरूपित किया जाता है और यह बराबर है . जब के बराबर है , हमें एक सामान्यीकृत चतुर्भुज मिलता है।
प्रपत्र | नाम | नोटेशन | बिंदुओं की संख्या | समरेखण समूह | |
---|---|---|---|---|---|
अदल-बदल कर | सैम्पलेक्टिक | ||||
हर्मिटियन | हर्मिटियन | ||||
हर्मिटियन | हर्मिटियन | ||||
द्विघात | अतिपरवलिक | ||||
द्विघात | अणुवृत्त आकार का | ||||
द्विघात | अंडाकार का |
वर्गीकरण
जैक्स स्तन ने साबित किया कि कम से कम तीन रैंक का एक परिमित ध्रुवीय स्थान, ऊपर दिए गए तीन प्रकार के प्राचीन ध्रुवीय स्थानों में से एक के साथ हमेशा आइसोमॉर्फिक होता है। यह केवल परिमित सामान्यीकृत चतुष्कोणों को वर्गीकृत करने की समस्या को खोलता है।
संदर्भ
- Cameron, Peter J. (2015), Projective and polar spaces (PDF), QMW Maths Notes, vol. 13, London: Queen Mary and Westfield College School of Mathematical Sciences, MR 1153019
- Buekenhout, Francis; Cohen, Arjeh M. (2013), Diagram Geometry (Related to classical groups and buildings), A Series of Modern Surveys in Mathematics, part 3, vol. 57, Heidelberg: Springer, MR 3014979
- Buekenhout, Francis, Prehistory and History of Polar Spaces and of Generalized Polygons (PDF)
- Ball, Simeon (2015), Finite Geometry and Combinatorial Applications, London Mathematical Society Student Texts, Cambridge University Press, ISBN 978-1107518438.