वास्तविक प्रोजेक्टिव स्पेस: Difference between revisions

From Vigyanwiki
No edit summary
No edit summary
Line 1: Line 1:
{{short description|Type of topological space}}
{{short description|Type of topological space}}
गणित में, वास्तविक प्रक्षेपी स्थान, निरूपित {{tmath|\mathbb{RP}^n}} या {{tmath|\mathbb{P}_n(\R),}} मूल 0 में से होकर गुजरने वाली रेखाओं का सांस्थितिक स्थान है {{tmath|\R^{n+1}.}} यह [[कॉम्पैक्ट जगह]] है, डायमेंशन का [[चिकना कई गुना]] {{mvar|n}}, और विशेष मामला है {{tmath|\mathbf{Gr}(1, \R^{n+1})}} [[ग्रासमानियन]] अंतरिक्ष का।
गणित में, वास्तविक प्रक्षेपी स्थान, {{tmath|\mathbb{RP}^n}} या {{tmath|\mathbb{P}_n(\R),}} द्वारा निरूपित, मूल 0 में {{tmath|\R^{n+1}.}} से होकर गुजरने वाली रेखाओं का सांस्थितिक स्थान है। यह आयाम {{mvar|n}} का [[कॉम्पैक्ट जगह|कॉम्पैक्ट]] [[चिकना कई गुना|स्मूथ मैनिफोल्ड]] हैं, और [[ग्रासमानियन]] स्पेस का विशेष मामला {{tmath|\mathbf{Gr}(1, \R^{n+1})}} है।


== मूल गुण ==
== मूल गुण ==


=== निर्माण ===
=== निर्माण ===
जैसा कि सभी प्रोजेक्टिव स्पेस के साथ होता है, RP<sup>n</sup> का [[भागफल स्थान (टोपोलॉजी)]] लेकर बनता है {{math|'''R'''<sup>''n''+1</sup> ∖ {{mset|0}}}} [[तुल्यता संबंध]] के तहत {{math|''x'' ∼ ''λx''}} सभी [[वास्तविक संख्या]]ओं के लिए {{math|''λ'' 0}}. सभी एक्स के लिए {{math|'''R'''<sup>''n''+1</sup> ∖ {{mset|0}}}} कोई हमेशा λ पा सकता है जैसे कि λx में नॉर्म (गणित) है 1। ठीक ऐसे दो λ हैं जो चिह्न से भिन्न हैं।
जैसा कि सभी प्रक्षेप्य स्पेस के साथ होता है, सभी [[वास्तविक संख्या]]ओं के लिए {{math|''λ'' 0}} के लिए [[तुल्यता संबंध]] के {{math|''x'' ∼ ''λx''}} के अंतर्गत {{math|'''R'''<sup>''n''+1</sup> ∖ {{mset|0}}}} का [[भागफल स्थान (टोपोलॉजी)]] लेकर RP<sup>n</sup>  बनता है। सभी x के लिए {{math|'''R'''<sup>''n''+1</sup> ∖ {{mset|0}}}} कोई हमेशा λ पा सकता है जैसे कि λx में मापदंड (गणित) 1 है। ठीक ऐसे दो λ हैं जो चिह्न से भिन्न हैं।


इस प्रकार 'आर.पी.'<sup>n</sup> को इकाई n-क्षेत्र, S के प्रतिव्यासांत बिंदुओं की पहचान करके भी बनाया जा सकता है<sup>n</sup>, 'आर' में<sup>एन+1</sup>.
इस प्रकार ''''RP'''<sup>n</sup> को '''R'''<sup>n+1</sup> में इकाई n-क्षेत्र, S<sup>n</sup> के प्रतिमुख बिंदुओं की पहचान करके भी बनाया जा सकता है।


आगे S के ऊपरी गोलार्द्ध तक सीमित किया जा सकता है<sup>n</sup> और केवल बाउंडिंग भूमध्य रेखा पर एंटीपोडल बिंदुओं की पहचान करें। इससे पता चलता है कि 'आरपी'<sup>n</sup> बंद n-डायमेंशनल डिस्क, D के समतुल्य भी है<sup>n</sup>, सीमा पर एंटीपोडल बिंदुओं के साथ, {{math|1=∂''D''<sup>''n''</sup> = ''S''<sup>''n''−1</sup>}}, पहचान की।
आगे S<sup>n</sup> के ऊपरी गोलार्द्ध तक सीमित किया जा सकता है और केवल बाउंडिंग भूमध्य रेखा पर प्रतिलोम बिंदुओं की पहचान करें। इससे पता चलता है कि ''''RP'''<sup>n</sup> बंद n-डायमेंशनल डिस्क, D<sup>n</sup> के समतुल्य भी है, सीमा, {{math|1=∂''D''<sup>''n''</sup> = ''S''<sup>''n''−1</sup>}}, पर प्रतिलोम बिंदुओं के साथ पहचान किया था।


=== कम आयामी उदाहरण ===
=== कम आयामी उदाहरण ===
* आर.पी<sup>1</sup> वास्तविक प्रक्षेपी रेखा कहलाती है, जो वृत्त के समतुल्य [[टोपोलॉजी]] है।
* RP<sup>1</sup> वास्तविक प्रक्षेपी रेखा कहलाती है, जो वृत्त के समतुल्य [[टोपोलॉजी]] है।
* आर.पी<sup>2</sup> को वास्तविक प्रक्षेपी तल कहा जाता है। यह स्थान R में [[एम्बेडिंग]] नहीं किया जा सकता है<sup>3</उप>। हालांकि इसे आर में एम्बेड किया जा सकता है<sup>4</sup> और R में [[विसर्जन (गणित)]] हो सकता है<sup>3</sup> (लड़के की सतह देखें)। प्रोजेक्टिव एन-स्पेस के लिए एंबेडेबिलिटी और इमर्सिबिलिटी के सवालों का अच्छी तरह से अध्ययन किया गया है।<ref>See the table of Don Davis for a bibliography and list of results.</ref>
* RP<sup>2</sup> को वास्तविक प्रक्षेपी तल कहा जाता है। यह स्थान R<sup>3 में [[एम्बेडिंग]] नहीं किया जा सकता है। हालांकि इसे '''R<sup>4''' में एम्बेड किया जा सकता है और R<sup>3 में [[विसर्जन (गणित)]] हो सकता है (यहाँ देखें)। प्रक्षेप्य n-स्पेस के लिए एंबेडेबिलिटी और इमर्सिबिलिटी के सवालों का अच्छी तरह से अध्ययन किया गया है।<ref>See the table of Don Davis for a bibliography and list of results.</ref>
* आर.पी<sup>3</sup> [[SO(3)]] के लिए (भिन्नरूपी) है, इसलिए समूह संरचना को स्वीकार करता है; कवरिंग मैप एस<sup>3</sup> → आरपी<sup>3</sup> समूह स्पिन(3) → SO(3) का मानचित्र है, जहां [[स्पिन समूह]]|स्पिन(3) लाइ समूह है जो SO(3) का [[सार्वभौमिक आवरण]] है।
* RP<sup>3</sup> [[SO(3)]] के लिए (भिन्नरूपी) है, इसलिए समूह संरचना को स्वीकार करता है; कवरिंग मैप एस<sup>3</sup> → आरपी<sup>3</sup> समूह स्पिन(3) → SO(3) का मानचित्र है, जहां [[स्पिन समूह]]|स्पिन(3) लाइ समूह है जो SO(3) का [[सार्वभौमिक आवरण]] है।


=== टोपोलॉजी ===
=== टोपोलॉजी ===
एन-स्फीयर पर एंटीपोडल मानचित्र (x से -x को भेजने वाला नक्शा) चक्रीय समूह बनाता है|'Z'<sub>2</sub>एस पर ग्रुप एक्शन (गणित)।<sup>एन</sup>. जैसा कि ऊपर बताया गया है, इस क्रिया के लिए कक्षा स्थान 'RP' है<sup>एन</sup>. यह क्रिया वास्तव में [[अंतरिक्ष को कवर करना]] क्रिया है जो एस देती है<sup>n</sup> 'RP' के दोहरे आवरण (टोपोलॉजी) के रूप में<sup>एन</sup>. चूंकि एस<sup>n</sup> केवल n ≥ 2 के लिए जुड़ा हुआ है, यह इन मामलों में सार्वभौमिक आवरण के रूप में भी कार्य करता है। यह इस प्रकार है कि 'आरपी' का [[मौलिक समूह]]<sup>n</sup> 'Z' है<sub>2</sub> जब n > 1. (जब n = 1 मूल समूह S के साथ होमोमोर्फिज्म के कारण 'Z' होता है<sup>1</सुप>). मौलिक समूह के लिए जनरेटर एस में एंटीपोडल बिंदुओं को जोड़ने वाले किसी भी [[वक्र]] को प्रक्षेपित करके प्राप्त बंद वक्र है<sup>n</sup> नीचे 'RP' तक<sup>एन</sup>.
n-स्फीयर पर प्रतिलोम मानचित्र (x से -x को भेजने वाला नक्शा) चक्रीय समूह बनाता है|'Z'<sub>2</sub>एस पर ग्रुप एक्शन (गणित)।<sup>n</sup>. जैसा कि ऊपर बताया गया है, इस क्रिया के लिए कक्षा स्थान 'RP' है<sup>n</sup>. यह क्रिया वास्तव में [[अंतरिक्ष को कवर करना]] क्रिया है जो एस देती है<sup>n</sup> 'RP' के दोहरे आवरण (टोपोलॉजी) के रूप में<sup>n</sup>. चूंकि एस<sup>n</sup> केवल n ≥ 2 के लिए जुड़ा हुआ है, यह इन मामलों में सार्वभौमिक आवरण के रूप में भी कार्य करता है। यह इस प्रकार है कि 'आरपी' का [[मौलिक समूह]]<sup>n</sup> 'Z' है<sub>2</sub> जब n > 1. (जब n = 1 मूल समूह S के साथ होमोमोर्फिज्म के कारण 'Z' होता है<sup>1</सुप>). मौलिक समूह के लिए जनरेटर एस में प्रतिलोम बिंदुओं को जोड़ने वाले किसी भी [[वक्र]] को प्रक्षेपित करके प्राप्त बंद वक्र है<sup>n</sup> नीचे 'RP' तक<sup>n</sup>.


प्रोजेक्टिव एन-स्पेस कॉम्पैक्ट, जुड़ा हुआ है, और ऑर्डर 2 के चक्रीय समूह के लिए मौलिक समूह आइसोमॉर्फिक है: इसका सार्वभौमिक कवरिंग स्पेस एन-स्फीयर से एंटीपोडी क्वांटेंट मैप द्वारा दिया जाता है, जो साधारण कनेक्टेड स्पेस है। यह [[डबल कवरिंग ग्रुप]] है। 'आर' पर एंटीपोड मानचित्र<sup>p</sup> का चिह्न है <math>(-1)^p</math>, इसलिए यह अभिविन्यास-संरक्षण है यदि और केवल यदि p सम है। [[अभिविन्यास चरित्र]] इस प्रकार है: नॉन-ट्रिविअल लूप इन <math>\pi_1(\mathbf{RP}^n)</math> के समान एक्ट करें <math>(-1)^{n+1}</math> अभिविन्यास पर, इसलिए RP<sup>n</sup> ओरिएंटेबल है अगर और केवल अगर {{math|''n'' + 1}} सम है, अर्थात n विषम है।<ref>{{cite book|author1=J. T. Wloka|author2=B. Rowley |author3=B. Lawruk | title=Boundary Value Problems for Elliptic Systems|url=https://books.google.com/books?id=W7N8kyJB8NwC&pg=PA197| year=1995 | publisher=Cambridge University Press|isbn=978-0-521-43011-1|page=197}}</ref>
प्रक्षेप्य n-स्पेस कॉम्पैक्ट, जुड़ा हुआ है, और ऑर्डर 2 के चक्रीय समूह के लिए मौलिक समूह आइसोमॉर्फिक है: इसका सार्वभौमिक कवरिंग स्पेस n-स्फीयर से एंटीपोडी क्वांटेंट मैप द्वारा दिया जाता है, जो साधारण कनेक्टेड स्पेस है। यह [[डबल कवरिंग ग्रुप]] है। 'आर' पर एंटीपोड मानचित्र<sup>p</sup> का चिह्न है <math>(-1)^p</math>, इसलिए यह अभिविन्यास-संरक्षण है यदि और केवल यदि p सम है। [[अभिविन्यास चरित्र]] इस प्रकार है: नॉन-ट्रिविअल लूप इन <math>\pi_1(\mathbf{RP}^n)</math> के समान एक्ट करें <math>(-1)^{n+1}</math> अभिविन्यास पर, इसलिए RP<sup>n</sup> ओरिएंटेबल है अगर और केवल अगर {{math|''n'' + 1}} सम है, अर्थात n विषम है।<ref>{{cite book|author1=J. T. Wloka|author2=B. Rowley |author3=B. Lawruk | title=Boundary Value Problems for Elliptic Systems|url=https://books.google.com/books?id=W7N8kyJB8NwC&pg=PA197| year=1995 | publisher=Cambridge University Press|isbn=978-0-521-43011-1|page=197}}</ref>
प्रोजेक्टिव एन-स्पेस वास्तव में 'आर' के सबमनीफोल्ड के लिए भिन्न है<sup>(एन+1)<sup>2</sup></sup> जिसमें सभी सममित हैं {{math|(''n'' + 1) × (''n'' + 1)}} [[ट्रेस (रैखिक बीजगणित)]] 1 के मैट्रिसेस जो कि उदासीन रैखिक परिवर्तन भी हैं।{{fact|date=April 2020}}
प्रक्षेप्य n-स्पेस वास्तव में 'आर' के सबमनीफोल्ड के लिए भिन्न है<sup>(n+1)<sup>2</sup></sup> जिसमें सभी सममित हैं {{math|(''n'' + 1) × (''n'' + 1)}} [[ट्रेस (रैखिक बीजगणित)]] 1 के मैट्रिसेस जो कि उदासीन रैखिक परिवर्तन भी हैं।{{fact|date=April 2020}}




== वास्तविक प्रक्षेप्य रिक्त स्थान की ज्यामिति ==
== वास्तविक प्रक्षेप्य रिक्त स्थान की ज्यामिति ==
वास्तविक प्रक्षेप्य स्थान निरंतर सकारात्मक स्केलर वक्रता मीट्रिक को स्वीकार करता है, जो मानक गोल क्षेत्र (एंटीपोडल मानचित्र स्थानीय रूप से आइसोमेट्री) द्वारा डबल कवर से आ रहा है।
वास्तविक प्रक्षेप्य स्थान निरंतर सकारात्मक स्केलर वक्रता मीट्रिक को स्वीकार करता है, जो मानक गोल क्षेत्र (प्रतिलोम मानचित्र स्थानीय रूप से आइसोमेट्री) द्वारा डबल कवर से आ रहा है।


मानक गोल मीट्रिक के लिए, इसमें [[अनुभागीय वक्रता]] समान रूप से 1 है।
मानक गोल मीट्रिक के लिए, इसमें [[अनुभागीय वक्रता]] समान रूप से 1 है।
Line 34: Line 34:


=== सीडब्ल्यू कॉम्प्लेक्स === के रूप में संरचना
=== सीडब्ल्यू कॉम्प्लेक्स === के रूप में संरचना
रियल प्रोजेक्टिव स्पेस आरपी<sup>n</sup> प्रत्येक आयाम में 1 सेल वाले CW कॉम्प्लेक्स की संरचना को स्वीकार करता है।
रियल प्रक्षेप्य स्पेस आरपी<sup>n</sup> प्रत्येक आयाम में 1 सेल वाले CW कॉम्प्लेक्स की संरचना को स्वीकार करता है।


सजातीय निर्देशांक में (x<sub>1</sub> ... एक्स<sub>''n''+1</sub>) एस पर<sup>n</sup>, निर्देशांक पड़ोस U<sub>1</sub> = {(एक्स<sub>1</sub> ... एक्स<sub>''n''+1</sub>) | एक्स<sub>1</sub> ≠ 0} को n-डिस्क D के आंतरिक भाग से पहचाना जा सकता है<sup>एन</sup>. जब एक्स<sub>i</sub>= 0, के पास 'RP' है<sup>n−1</sup>. इसलिए 'RP' का n−1 कंकाल<sup>n</sup> 'आरपी' है<sup>n−1</sup>, और संलग्न मानचित्र f : S<sup>n−1</sup> → 'RP'<sup>n−1</sup> 2-टू-1 कवरिंग मैप है। कोई लगा सकता है
सजातीय निर्देशांक में (x<sub>1</sub> ... एक्स<sub>''n''+1</sub>) एस पर<sup>n</sup>, निर्देशांक पड़ोस U<sub>1</sub> = {(एक्स<sub>1</sub> ... एक्स<sub>''n''+1</sub>) | एक्स<sub>1</sub> ≠ 0} को n-डिस्क D के आंतरिक भाग से पहचाना जा सकता है<sup>n</sup>. जब एक्स<sub>i</sub>= 0, के पास 'RP' है<sup>n−1</sup>. इसलिए 'RP' का n−1 कंकाल<sup>n</sup> 'आरपी' है<sup>n−1</sup>, और संलग्न मानचित्र f : S<sup>n−1</sup> → 'RP'<sup>n−1</sup> 2-टू-1 कवरिंग मैप है। कोई लगा सकता है
<math display="block">\mathbf{RP}^n = \mathbf{RP}^{n-1} \cup_f D^n.</math>
<math display="block">\mathbf{RP}^n = \mathbf{RP}^{n-1} \cup_f D^n.</math>
इंडक्शन से पता चलता है कि RP<sup>n</sup> CW कॉम्प्लेक्स है जिसमें n तक के प्रत्येक आयाम में 1 सेल है।
इंडक्शन से पता चलता है कि RP<sup>n</sup> CW कॉम्प्लेक्स है जिसमें n तक के प्रत्येक आयाम में 1 सेल है।
Line 57: Line 57:


=== [[टॉटोलॉजिकल बंडल]]्स ===
=== [[टॉटोलॉजिकल बंडल]]्स ===
रियल प्रोजेक्टिव स्पेस के ऊपर नेचुरल [[लाइन बंडल]] होता है, जिसे टॉटोलॉजिकल बंडल कहा जाता है। अधिक सटीक रूप से, इसे टॉटोलॉजिकल सबबंडल कहा जाता है, और दोहरी एन-डायमेंशनल बंडल भी होता है जिसे टॉटोलॉजिकल भागफल बंडल कहा जाता है।
रियल प्रक्षेप्य स्पेस के ऊपर नेचुरल [[लाइन बंडल]] होता है, जिसे टॉटोलॉजिकल बंडल कहा जाता है। अधिक सटीक रूप से, इसे टॉटोलॉजिकल सबबंडल कहा जाता है, और दोहरी n-डायमेंशनल बंडल भी होता है जिसे टॉटोलॉजिकल भागफल बंडल कहा जाता है।


== वास्तविक प्रक्षेप्य स्थानों की बीजगणितीय टोपोलॉजी ==
== वास्तविक प्रक्षेप्य स्थानों की बीजगणितीय टोपोलॉजी ==
Line 78: Line 78:


=== समरूपता ===
=== समरूपता ===
उपरोक्त सीडब्ल्यू संरचना से जुड़े सेलुलर चेन कॉम्प्लेक्स में प्रत्येक आयाम 0, ..., एन में 1 सेल है। प्रत्येक आयामी k के लिए, सीमा मानचित्र d<sub>k</sub>: डी.डी<sup>कश्मीर</sup> → 'आरपी'<sup>k−1</sup>/'RP'<sup>k−2</sup> वह मानचित्र है जो भूमध्य रेखा को S पर गिराता है<sup>k−1</sup> और फिर प्रतिव्यासांत बिंदुओं की पहचान करता है। विषम (प्रतिक्रिया सम) आयामों में, इसकी डिग्री 0 (प्रतिक्रिया 2) है:
उपरोक्त सीडब्ल्यू संरचना से जुड़े सेलुलर चेन कॉम्प्लेक्स में प्रत्येक आयाम 0, ..., n में 1 सेल है। प्रत्येक आयामी k के लिए, सीमा मानचित्र d<sub>k</sub>: डी.डी<sup>कश्मीर</sup> → 'आरपी'<sup>k−1</sup>/'RP'<sup>k−2</sup> वह मानचित्र है जो भूमध्य रेखा को S पर गिराता है<sup>k−1</sup> और फिर प्रतिव्यासांत बिंदुओं की पहचान करता है। विषम (प्रतिक्रिया सम) आयामों में, इसकी डिग्री 0 (प्रतिक्रिया 2) है:


<math display="block">\deg(d_k) = 1 + (-1)^k.</math>
<math display="block">\deg(d_k) = 1 + (-1)^k.</math>
इस प्रकार अभिन्न [[सेलुलर समरूपता]] है
इस प्रकार अभिन्न [[सेलुलर समरूपता]] है
<math display="block">H_i(\mathbf{RP}^n) = \begin{cases}
<math display="block">H_i(\mathbf{RP}^n) = \begin{cases}
Line 87: Line 87:
0 & \text{else.}
0 & \text{else.}
\end{cases}</math>
\end{cases}</math>
आर.पी<sup>n</sup> ओरिएंटेबल है अगर और केवल अगर n विषम है, जैसा कि उपरोक्त होमोलॉजी गणना से पता चलता है।
RP<sup>n</sup> ओरिएंटेबल है अगर और केवल अगर n विषम है, जैसा कि उपरोक्त होमोलॉजी गणना से पता चलता है।


== अनंत वास्तविक प्रक्षेप्य स्थान ==
== अनंत वास्तविक प्रक्षेप्य स्थान ==
अनंत वास्तविक प्रोजेक्टिव स्पेस को सीमित प्रोजेक्टिव स्पेस की [[प्रत्यक्ष सीमा]] या संघ के रूप में बनाया गया है:
अनंत वास्तविक प्रक्षेप्य स्पेस को सीमित प्रक्षेप्य स्पेस की [[प्रत्यक्ष सीमा]] या संघ के रूप में बनाया गया है:
<math display="block">\mathbf{RP}^\infty := \lim_n \mathbf{RP}^n.</math>
<math display="block">\mathbf{RP}^\infty := \lim_n \mathbf{RP}^n.</math>
यह स्थान O(n) के लिए स्थान को वर्गीकृत कर रहा है | O(1) के स्थान को वर्गीकृत कर रहा है, पहला ओर्थोगोनल समूह।
यह स्थान O(n) के लिए स्थान को वर्गीकृत कर रहा है | O(1) के स्थान को वर्गीकृत कर रहा है, पहला ओर्थोगोनल समूह।
Line 103: Line 103:


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

Revision as of 11:41, 15 February 2023

गणित में, वास्तविक प्रक्षेपी स्थान, या द्वारा निरूपित, मूल 0 में से होकर गुजरने वाली रेखाओं का सांस्थितिक स्थान है। यह आयाम n का कॉम्पैक्ट स्मूथ मैनिफोल्ड हैं, और ग्रासमानियन स्पेस का विशेष मामला है।

मूल गुण

निर्माण

जैसा कि सभी प्रक्षेप्य स्पेस के साथ होता है, सभी वास्तविक संख्याओं के लिए λ ≠ 0 के लिए तुल्यता संबंध के xλx के अंतर्गत Rn+1 ∖ {0} का भागफल स्थान (टोपोलॉजी) लेकर RPn बनता है। सभी x के लिए Rn+1 ∖ {0} कोई हमेशा λ पा सकता है जैसे कि λx में मापदंड (गणित) 1 है। ठीक ऐसे दो λ हैं जो चिह्न से भिन्न हैं।

इस प्रकार 'RPn को Rn+1 में इकाई n-क्षेत्र, Sn के प्रतिमुख बिंदुओं की पहचान करके भी बनाया जा सकता है।

आगे Sn के ऊपरी गोलार्द्ध तक सीमित किया जा सकता है और केवल बाउंडिंग भूमध्य रेखा पर प्रतिलोम बिंदुओं की पहचान करें। इससे पता चलता है कि 'RPn बंद n-डायमेंशनल डिस्क, Dn के समतुल्य भी है, सीमा, Dn = Sn−1, पर प्रतिलोम बिंदुओं के साथ पहचान किया था।

कम आयामी उदाहरण

  • RP1 वास्तविक प्रक्षेपी रेखा कहलाती है, जो वृत्त के समतुल्य टोपोलॉजी है।
  • RP2 को वास्तविक प्रक्षेपी तल कहा जाता है। यह स्थान R3 में एम्बेडिंग नहीं किया जा सकता है। हालांकि इसे R4 में एम्बेड किया जा सकता है और R3 में विसर्जन (गणित) हो सकता है (यहाँ देखें)। प्रक्षेप्य n-स्पेस के लिए एंबेडेबिलिटी और इमर्सिबिलिटी के सवालों का अच्छी तरह से अध्ययन किया गया है।[1]
  • RP3 SO(3) के लिए (भिन्नरूपी) है, इसलिए समूह संरचना को स्वीकार करता है; कवरिंग मैप एस3 → आरपी3 समूह स्पिन(3) → SO(3) का मानचित्र है, जहां स्पिन समूह|स्पिन(3) लाइ समूह है जो SO(3) का सार्वभौमिक आवरण है।

टोपोलॉजी

n-स्फीयर पर प्रतिलोम मानचित्र (x से -x को भेजने वाला नक्शा) चक्रीय समूह बनाता है|'Z'2एस पर ग्रुप एक्शन (गणित)।n. जैसा कि ऊपर बताया गया है, इस क्रिया के लिए कक्षा स्थान 'RP' हैn. यह क्रिया वास्तव में अंतरिक्ष को कवर करना क्रिया है जो एस देती हैn 'RP' के दोहरे आवरण (टोपोलॉजी) के रूप मेंn. चूंकि एसn केवल n ≥ 2 के लिए जुड़ा हुआ है, यह इन मामलों में सार्वभौमिक आवरण के रूप में भी कार्य करता है। यह इस प्रकार है कि 'आरपी' का मौलिक समूहn 'Z' है2 जब n > 1. (जब n = 1 मूल समूह S के साथ होमोमोर्फिज्म के कारण 'Z' होता है1</सुप>). मौलिक समूह के लिए जनरेटर एस में प्रतिलोम बिंदुओं को जोड़ने वाले किसी भी वक्र को प्रक्षेपित करके प्राप्त बंद वक्र हैn नीचे 'RP' तकn.

प्रक्षेप्य n-स्पेस कॉम्पैक्ट, जुड़ा हुआ है, और ऑर्डर 2 के चक्रीय समूह के लिए मौलिक समूह आइसोमॉर्फिक है: इसका सार्वभौमिक कवरिंग स्पेस n-स्फीयर से एंटीपोडी क्वांटेंट मैप द्वारा दिया जाता है, जो साधारण कनेक्टेड स्पेस है। यह डबल कवरिंग ग्रुप है। 'आर' पर एंटीपोड मानचित्रp का चिह्न है , इसलिए यह अभिविन्यास-संरक्षण है यदि और केवल यदि p सम है। अभिविन्यास चरित्र इस प्रकार है: नॉन-ट्रिविअल लूप इन के समान एक्ट करें अभिविन्यास पर, इसलिए RPn ओरिएंटेबल है अगर और केवल अगर n + 1 सम है, अर्थात n विषम है।[2] प्रक्षेप्य n-स्पेस वास्तव में 'आर' के सबमनीफोल्ड के लिए भिन्न है(n+1)2 जिसमें सभी सममित हैं (n + 1) × (n + 1) ट्रेस (रैखिक बीजगणित) 1 के मैट्रिसेस जो कि उदासीन रैखिक परिवर्तन भी हैं।[citation needed]


वास्तविक प्रक्षेप्य रिक्त स्थान की ज्यामिति

वास्तविक प्रक्षेप्य स्थान निरंतर सकारात्मक स्केलर वक्रता मीट्रिक को स्वीकार करता है, जो मानक गोल क्षेत्र (प्रतिलोम मानचित्र स्थानीय रूप से आइसोमेट्री) द्वारा डबल कवर से आ रहा है।

मानक गोल मीट्रिक के लिए, इसमें अनुभागीय वक्रता समान रूप से 1 है।

मानक गोल मीट्रिक में, प्रक्षेप्य स्थान का माप गोले के माप का ठीक आधा है।

चिकनी संरचना

वास्तविक प्रक्षेप्य स्थान चिकने कई गुना हैं। एस परn, समरूप निर्देशांकों में, (x1, ..., एक्सn+1), सबसेट यू पर विचार करेंiएक्स के साथi≠ 0. प्रत्येक यूi'आर' में दो खुली इकाई गेंदों के असंयुक्त संघ के लिए होमोमोर्फिक हैn वह मानचित्र 'RP' के समान उपसमुच्चय के लिएn और समन्वय संक्रमण कार्य सुचारू हैं। यह 'आरपी' देता हैn चिकनी संरचना

=== सीडब्ल्यू कॉम्प्लेक्स === के रूप में संरचना रियल प्रक्षेप्य स्पेस आरपीn प्रत्येक आयाम में 1 सेल वाले CW कॉम्प्लेक्स की संरचना को स्वीकार करता है।

सजातीय निर्देशांक में (x1 ... एक्सn+1) एस परn, निर्देशांक पड़ोस U1 = {(एक्स1 ... एक्सn+1) | एक्स1 ≠ 0} को n-डिस्क D के आंतरिक भाग से पहचाना जा सकता हैn. जब एक्सi= 0, के पास 'RP' हैn−1. इसलिए 'RP' का n−1 कंकालn 'आरपी' हैn−1, और संलग्न मानचित्र f : Sn−1 → 'RP'n−1 2-टू-1 कवरिंग मैप है। कोई लगा सकता है

इंडक्शन से पता चलता है कि RPn CW कॉम्प्लेक्स है जिसमें n तक के प्रत्येक आयाम में 1 सेल है।

कोशिकाएँ शूबर्ट कोशिकाएँ हैं, जैसा कि झंडा कई गुना पर है। अर्थात्, पूर्ण ध्वज (रैखिक बीजगणित) लें (मानक ध्वज कहें) 0 = वी0 <वी1 <...< वीn; तब बंद k-सेल वे रेखाएँ होती हैं जो V में स्थित होती हैंk. इसके अलावा ओपन के-सेल (के-सेल का इंटीरियर) लाइन में है Vk \ Vk−1 (वी में लाइनेंkलेकिन वी नहींk−1).

सजातीय निर्देशांक (ध्वज के संबंध में) में, कोशिकाएं हैं

यह नियमित सीडब्ल्यू संरचना नहीं है, क्योंकि संलग्न मानचित्र 2-से-1 हैं। हालाँकि, इसका आवरण गोले पर नियमित CW संरचना है, जिसमें प्रत्येक आयाम में 2 कोशिकाएँ हैं; वास्तव में, क्षेत्र पर न्यूनतम नियमित सीडब्ल्यू संरचना।

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

प्रत्येक मोहल्ले में यूi, g का गैर-डीजेनरेट महत्वपूर्ण बिंदु (0,...,1,...,0) है जहां 1 मोर्स इंडेक्स i के साथ i-वें स्थान पर होता है। यह 'आरपी' दिखाता हैn प्रत्येक आयाम में 1 सेल वाला CW कॉम्प्लेक्स है।

टॉटोलॉजिकल बंडल्स

रियल प्रक्षेप्य स्पेस के ऊपर नेचुरल लाइन बंडल होता है, जिसे टॉटोलॉजिकल बंडल कहा जाता है। अधिक सटीक रूप से, इसे टॉटोलॉजिकल सबबंडल कहा जाता है, और दोहरी n-डायमेंशनल बंडल भी होता है जिसे टॉटोलॉजिकल भागफल बंडल कहा जाता है।

वास्तविक प्रक्षेप्य स्थानों की बीजगणितीय टोपोलॉजी

होमोटॉपी समूह

आरपी के उच्च होमोटॉपी समूहn वास्तव में S के उच्च होमोटॉपी समूह हैंn, कंपन से जुड़े होमोटॉपी पर लंबे सटीक अनुक्रम के माध्यम से।

स्पष्ट रूप से, फाइबर बंडल है:

आप इसे ऐसे भी लिख सकते हैं
या
जटिल प्रक्षेप्य स्थान के अनुरूप।

होमोटॉपी समूह हैं:


समरूपता

उपरोक्त सीडब्ल्यू संरचना से जुड़े सेलुलर चेन कॉम्प्लेक्स में प्रत्येक आयाम 0, ..., n में 1 सेल है। प्रत्येक आयामी k के लिए, सीमा मानचित्र dk: डी.डीकश्मीर → 'आरपी'k−1/'RP'k−2 वह मानचित्र है जो भूमध्य रेखा को S पर गिराता हैk−1 और फिर प्रतिव्यासांत बिंदुओं की पहचान करता है। विषम (प्रतिक्रिया सम) आयामों में, इसकी डिग्री 0 (प्रतिक्रिया 2) है:

इस प्रकार अभिन्न सेलुलर समरूपता है
RPn ओरिएंटेबल है अगर और केवल अगर n विषम है, जैसा कि उपरोक्त होमोलॉजी गणना से पता चलता है।

अनंत वास्तविक प्रक्षेप्य स्थान

अनंत वास्तविक प्रक्षेप्य स्पेस को सीमित प्रक्षेप्य स्पेस की प्रत्यक्ष सीमा या संघ के रूप में बनाया गया है:

यह स्थान O(n) के लिए स्थान को वर्गीकृत कर रहा है | O(1) के स्थान को वर्गीकृत कर रहा है, पहला ओर्थोगोनल समूह।

इस स्थान का दोहरा आवरण अनंत गोला है , जो संविदात्मक है। अनंत प्रक्षेपी स्थान इसलिए ईलेनबर्ग-मैकलेन अंतरिक्ष K('Z') है।2, 1).

प्रत्येक गैर-ऋणात्मक पूर्णांक q के लिए, मॉड्यूल 2 समरूपता समूह .

इसका कोहोलॉजी रिंग मोडुलो (शब्दजाल) 2 है

कहाँ पहला स्टिफ़ेल-व्हिटनी वर्ग है: यह मुफ़्त है -बीजगणित है , जिसकी डिग्री 1 है।

यह भी देखें

टिप्पणियाँ

  1. See the table of Don Davis for a bibliography and list of results.
  2. J. T. Wloka; B. Rowley; B. Lawruk (1995). Boundary Value Problems for Elliptic Systems. Cambridge University Press. p. 197. ISBN 978-0-521-43011-1.


संदर्भ