पोंट्रीगिन द्वैत: Difference between revisions
(Created page with "{{short description|Duality for locally compact abelian groups}} {{More footnotes|date=June 2013}} Image:2-adic integers with dual colorings.svg|thumb|upright=1.35|p-adic...") |
No edit summary |
||
Line 1: | Line 1: | ||
{{short description|Duality for locally compact abelian groups}} | {{short description|Duality for locally compact abelian groups}} | ||
{{More footnotes|date= | {{More footnotes|date=जून 2013}} | ||
[[Image:2-adic integers with dual colorings.svg|thumb|upright=1.35|p-adic पूर्णांक | 2-adic पूर्णांक, Prüfer समूह पर चयनित संबंधित वर्णों के साथ]]गणित में, | [[Image:2-adic integers with dual colorings.svg|thumb|upright=1.35|p-adic पूर्णांक | 2-adic पूर्णांक, Prüfer समूह पर चयनित संबंधित वर्णों के साथ]]गणित में, पोन्ट्रियाजिन द्वयात्मकता [[स्थानीय रूप से कॉम्पैक्ट एबेलियन समूह|स्थानीय रूप से सुसंहत एबेलियन समूह]] के बीच एक द्वयात्मकता (गणित) है जो सामान्य रूप से फूरियर को ऐसे सभी समूहों में बदलने की अनुमति देता है, जिसमें वृत्त समूह (मापांक एक की जटिल संख्याओं का गुणक समूह), [[परिमित एबेलियन समूह]] (साथ) शामिल हैं। [[असतत टोपोलॉजी|असतत संस्थितिविज्ञान]]), और पूर्णांकों का योगात्मक समूह (असतत संस्थितिविज्ञान के साथ भी), वास्तविक संख्याएँ, और वास्तविक या पी-एडिक फ़ील्ड पर हर आयाम (सदिश स्थान)|{{mvar|p}}-एडिक फील्ड। | ||
स्थानीय रूप से | स्थानीय रूप से सुसंहत एबेलियन समूह का पोन्ट्रियाजिन डुअल स्थानीय रूप से सुसंहत एबेलियन सांस्थितिक समूह है, जो समूह से वृत्त समूह तक बिन्दुवार गुणन के कार्य प्रणाली और सुसंहत समूह पर [[ एकसमान अभिसरण ]] के संस्थितिविज्ञान के साथ [[समूह समरूपता]] द्वारा बनाया गया है। पोन्ट्रियाजिन द्वयात्मकता प्रमेय पोन्ट्रियाजिन द्वयात्मकता को यह कहते हुए स्थापित करता है कि कोई भी स्थानीय रूप से सुसंहत एबेलियन समूह स्वाभाविक रूप से अपनी बोली (इसके दोहरे के दोहरे) के साथ समरूपीय है। [[फूरियर उलटा प्रमेय]] इस प्रमेय का एक विशेष मामला है। | ||
इस विषय का नाम [[लेव पोंट्रीगिन]] के नाम पर रखा गया है जिन्होंने 1934 में अपने शुरुआती गणितीय कार्यों के दौरान स्थानीय रूप से | इस विषय का नाम [[लेव पोंट्रीगिन|लेव पोन्ट्रियाजिन]] के नाम पर रखा गया है जिन्होंने 1934 में अपने शुरुआती गणितीय कार्यों के दौरान स्थानीय रूप से सुसंहत एबेलियन समूहों और उनके द्वंद्व के सिद्धांत की नींव रखी थी। असतत। 1935 में [[एगबर्ट वैन कम्पेन]] और 1940 में आंद्रे वेइल द्वारा स्थानीय रूप से सुसंहत एबेलियन समूहों को कवर करने के लिए इसमें सुधार किया गया था। | ||
== परिचय == | == परिचय == | ||
पोन्ट्रियाजिन द्वयात्मकता एक एकीकृत संदर्भ में वास्तविक रेखा पर या परिमित एबेलियन समूहों पर कार्यों के बारे में कई टिप्पणियों को रखता है: | |||
* वास्तविक रेखा पर उचित रूप से नियमित रूप से जटिल-मूल्यवान आवधिक कार्यों में फूरियर श्रृंखला होती है और इन कार्यों को उनकी फूरियर श्रृंखला से पुनर्प्राप्त किया जा सकता है; | * वास्तविक रेखा पर उचित रूप से नियमित रूप से जटिल-मूल्यवान आवधिक कार्यों में फूरियर श्रृंखला होती है और इन कार्यों को उनकी फूरियर श्रृंखला से पुनर्प्राप्त किया जा सकता है; | ||
* वास्तविक रेखा पर उचित रूप से नियमित रूप से जटिल-मूल्यवान कार्यों में फूरियर रूपांतरण होते हैं जो वास्तविक रेखा पर भी कार्य करते हैं और, आवधिक कार्यों के लिए, इन कार्यों को उनके फूरियर रूपांतरणों से पुनर्प्राप्त किया जा सकता है; और | * वास्तविक रेखा पर उचित रूप से नियमित रूप से जटिल-मूल्यवान कार्यों में फूरियर रूपांतरण होते हैं जो वास्तविक रेखा पर भी कार्य करते हैं और, आवधिक कार्यों के लिए, इन कार्यों को उनके फूरियर रूपांतरणों से पुनर्प्राप्त किया जा सकता है; और | ||
* एक एबेलियन समूह पर जटिल-मूल्यवान कार्य | * एक एबेलियन समूह पर जटिल-मूल्यवान कार्य परिमित एबेलियन समूहों में असतत फूरियर परिवर्तन होते हैं, जो # द डुअल समूह पर कार्य करते हैं, जो एक (गैर-कैनोनिक रूप से) समरूपीय समूह है। इसके अलावा, परिमित एबेलियन समूह पर कोई भी कार्य इसके [[असतत फूरियर रूपांतरण]] से पुनर्प्राप्त किया जा सकता है। | ||
सिद्धांत, लेव | सिद्धांत, लेव पोन्ट्रियाजिन द्वारा प्रस्तुत किया गया और [[जॉन वॉन न्यूमैन]], आंद्रे वेइल और अन्य द्वारा प्रस्तुत किए गए हार उपाय के साथ संयुक्त रूप से स्थानीय रूप [[स्थानीय रूप से कॉम्पैक्ट स्थान|स्थानीय रूप से सुसंहत स्थान]] एबेलियन समूह के दोहरे समूह के सिद्धांत पर निर्भर करता है। | ||
यह एक सदिश स्थान के दोहरे सदिश स्थान के अनुरूप है: एक परिमित-आयामी सदिश स्थान V और इसका दोहरा सदिश स्थान V* स्वाभाविक रूप से | यह एक सदिश स्थान के दोहरे सदिश स्थान के अनुरूप है: एक परिमित-आयामी सदिश स्थान V और इसका दोहरा सदिश स्थान V* स्वाभाविक रूप से समरूपीय नहीं है, लेकिन एक का [[एंडोमोर्फिज्म|अंतःरूपांतरण]] बीजगणित (मैट्रिक्स बीजगणित) विपरीत रिंग के लिए समरूपीय है। अंतःरूपांतरण दूसरे का बीजगणित: <math>\text{End}(V) \cong {\text{End}(V^*)}^\text{op},</math> ट्रांसपोज़ के माध्यम से। इसी प्रकार एक समूह <math>G</math> और इसका दोहरा समूह <math>\widehat{G}</math> सामान्य रूप से समरूपीय नहीं होते हैं, लेकिन उनके अंतःरूपांतरण के छल्ले एक दूसरे के विपरीत होते हैं: <math>\text{End}(G) \cong \text{End}(\widehat{G})^\text{op}</math>. अधिक स्पष्ट रूप से, यह केवल अंतःरूपांतरण बीजगणित का एक समरूपता नहीं है, बल्कि श्रेणियों का एक विरोधाभासी तुल्यता है - श्रेणीबद्ध विचार देखें। | ||
== परिभाषा == | == परिभाषा == | ||
{{further|Locally compact abelian group}} | {{further|Locally compact abelian group}} | ||
एक [[टोपोलॉजिकल समूह]] स्थानीय रूप से | एक [[टोपोलॉजिकल समूह|सांस्थितिक समूह]] स्थानीय रूप से सुसंहत समूह है यदि अंतर्निहित सांस्थितिक स्थान स्थानीय रूप से सुसंहत स्थान और [[हॉसडॉर्फ स्पेस|हॉसडॉर्फ स्थान]] है; एक सांस्थितिक समूह एबेलियन है यदि अंतर्निहित समूह [[एबेलियन समूह]] है।स्थानीय रूप से सुसंहत एबेलियन समूहों के उदाहरणों में परिमित एबेलियन समूह, पूर्णांक (दोनों असतत संस्थितिविज्ञान के लिए, जो सामान्य मीट्रिक द्वारा भी प्रेरित होते हैं), वास्तविक संख्याएं, वृत्त समूह टी (दोनों अपने सामान्य मीट्रिक संस्थितिविज्ञान के साथ), और भी शामिल हैं। पी-एडिक नंबर | पी-एडिक नंबर (उनके सामान्य पी-एडिक संस्थितिविज्ञान के साथ)। | ||
स्थानीय रूप से | स्थानीय रूप से सुसंहत एबेलियन समूह के लिए <math>G</math>, पोन्ट्रियाजिन दोहरी समूह है <math>\widehat G</math> निरंतर [[समूह समरूपता]] से <math>G</math> मंडली समूह को <math>T</math>. वह है, | ||
<math display="block">\widehat G := \operatorname{Hom}(G, T).</math> | <math display="block">\widehat G := \operatorname{Hom}(G, T).</math> | ||
पोन्ट्रियाजिन दोहरी <math>\widehat G</math> आमतौर पर [[कॉम्पैक्ट सेट|सुसंहत समूह]] पर समान अभिसरण द्वारा दी गई [[टोपोलॉजी|संस्थितिविज्ञान]] से संपन्न होता है (अर्थात, सभी निरंतर कार्यों के स्थान पर [[कॉम्पैक्ट-ओपन टोपोलॉजी|सुसंहत-ओपन संस्थितिविज्ञान]] द्वारा प्रेरित संस्थितिविज्ञान <math>G</math> को <math>T</math>). | |||
उदाहरण के लिए,<math display="block">\widehat{\Z/n\Z}= \Z/n\Z,\ \widehat {\Z} = T,\ \widehat {\mathbb R} = \R,\ \widehat T = \Z.</math> | उदाहरण के लिए,<math display="block">\widehat{\Z/n\Z}= \Z/n\Z,\ \widehat {\Z} = T,\ \widehat {\mathbb R} = \R,\ \widehat T = \Z.</math> | ||
== | == पोन्ट्रियाजिन द्वयात्मकता प्रमेय == | ||
{{math theorem | name = Theorem{{sfn|Hewitt|Ross|1963|loc=(24.2)}}{{sfn|Morris|1977|loc=Chapter 4}} | math_statement = There is a canonical isomorphism <math>G\cong\widehat{\widehat{G}}</math> between any locally compact abelian group <math>G</math> and its double dual.}} | {{math theorem | name = Theorem{{sfn|Hewitt|Ross|1963|loc=(24.2)}}{{sfn|Morris|1977|loc=Chapter 4}} | math_statement = There is a canonical isomorphism <math>G\cong\widehat{\widehat{G}}</math> between any locally compact abelian group <math>G</math> and its double dual.}} | ||
Line 37: | Line 36: | ||
<math display="block"> \operatorname{ev}_G(x)(\chi) = \chi(x) \in\mathbb{T}. </math> | <math display="block"> \operatorname{ev}_G(x)(\chi) = \chi(x) \in\mathbb{T}. </math> | ||
वह है, <math display="block">\operatorname{ev}_G(x) : (\chi \mapsto \chi(x)).</math> | वह है, <math display="block">\operatorname{ev}_G(x) : (\chi \mapsto \chi(x)).</math> | ||
दूसरे शब्दों में, प्रत्येक समूह तत्व <math>x</math> दोहरे पर मूल्यांकन चरित्र की पहचान की जाती है। यह एक [[परिमित-आयामी वेक्टर अंतरिक्ष]] और इसके दोहरे दोहरे के बीच दोहरे- | दूसरे शब्दों में, प्रत्येक समूह तत्व <math>x</math> दोहरे पर मूल्यांकन चरित्र की पहचान की जाती है। यह एक [[परिमित-आयामी वेक्टर अंतरिक्ष|परिमित-आयामी सदिश अंतरिक्ष]] और इसके दोहरे दोहरे के बीच दोहरे-द्वयात्मकता में दोहरे स्थान # इंजेक्शन के समान है, <math>V \cong V^{**}</math>, और यह ध्यान देने योग्य है कि कोई भी सदिश स्थान <math>V</math> एबेलियन समूह है। अगर <math>G</math> एक परिमित एबेलियन समूह है, तब <math>G \cong \widehat{G}</math> लेकिन यह समरूपता विहित नहीं है। इस कथन को सटीक (सामान्य रूप से) बनाने के लिए न केवल समूहों पर, बल्कि समूहों के बीच नक्शों पर भी दोहरीकरण के बारे में सोचने की आवश्यकता है, ताकि दोहरीकरण को एक [[ऑपरेटर]] के रूप में माना जा सके और पहचान फ़ैक्टर को साबित किया जा सके और डुअलाइज़ेशन फ़ंक्टर स्वाभाविक रूप से समकक्ष नहीं हैं। साथ ही द्वयात्मकता प्रमेय का अर्थ है कि किसी भी समूह के लिए (जरूरी नहीं कि परिमित हो) द्वयात्मकताकरण फ़ंक्टर एक सटीक फ़ंक्टर है। | ||
== | == पोन्ट्रियाजिन द्वयात्मकता और फूरियर रूपांतरण == | ||
=== उसका नाप === | === उसका नाप === | ||
{{main|Haar measure}} | {{main|Haar measure}} | ||
स्थानीय रूप से | स्थानीय रूप से सुसंहत समूह के बारे में सबसे उल्लेखनीय तथ्यों में से एक <math>G</math> यह है कि यह एक अनिवार्य रूप से अद्वितीय प्राकृतिक [[उपाय (गणित)]], हार उपाय करता है, जो किसी को पर्याप्त रूप से नियमित उपसमुच्चय के आकार को लगातार मापने की अनुमति देता है <math>G</math>. पर्याप्त रूप से नियमित उपसमुच्चय का अर्थ है [[बोरेल सेट|बोरेल समूह]]; अर्थात्, सुसंहत समूह द्वारा उत्पन्न सिग्मा-बीजगणित|σ-बीजगणित का एक तत्व। अधिक सटीक रूप से, स्थानीय रूप से सुसंहत समूह पर एक सही हार उपाय <math>G</math> के बोरेल समूह पर परिभाषित एक योगात्मक योगात्मक उपाय है <math>G</math> जो इस अर्थ में सही अपरिवर्तनीय है {{math|1=μ(''Ax'') = μ(''A'')}} के लिए <math>x</math> का एक तत्व <math>G</math> और <math>A</math> का एक बोरेल सबसमूह <math>G</math> और नियमितता की कुछ शर्तों को भी पूरा करता है (हार उपाय पर लेख में विस्तार से बताया गया है)। सकारात्मक स्केलिंग कारकों को छोड़कर, हार माप पर <math>G</math> निराला है। | ||
हार नाप रहा है <math>G</math> हमें समूह पर परिभाषित बोरेल कार्यों ([[जटिल संख्या]]-मूल्यवान) के लिए [[अभिन्न]] की धारणा को परिभाषित करने की अनुमति देता है। विशेष रूप से, कोई व्यक्ति विभिन्न Lp | हार नाप रहा है <math>G</math> हमें समूह पर परिभाषित बोरेल कार्यों ([[जटिल संख्या]]-मूल्यवान) के लिए [[अभिन्न]] की धारणा को परिभाषित करने की अनुमति देता है। विशेष रूप से, कोई व्यक्ति विभिन्न Lp स्थान #Lp स्थान और Lebesgue इंटीग्रल्स|L पर विचार कर सकता है<sup>p</sup> हार से संबंधित रिक्त स्थान μ मापते हैं। विशेष रूप से, | ||
<math display="block"> \mathcal L^p_\mu(G) = \left \{ (f: G \to \Complex) \ \Big| \ \int_G |f(x)|^p\ d \mu(x) < \infty \right \}. </math> | <math display="block"> \mathcal L^p_\mu(G) = \left \{ (f: G \to \Complex) \ \Big| \ \int_G |f(x)|^p\ d \mu(x) < \infty \right \}. </math> | ||
ध्यान दें, चूंकि कोई भी दो हार पर उपाय करता है <math>G</math> एक स्केलिंग कारक के बराबर हैं, यह <math>L^p</math>-अंतरिक्ष हार माप की पसंद से स्वतंत्र है और इस प्रकार शायद इसे लिखा जा सकता है <math>L^p(G)</math>. हालांकि <math>L^p</math>-इस स्थान पर मानदंड हार माप की पसंद पर निर्भर करता है, इसलिए यदि कोई आइसोमेट्री के बारे में बात करना चाहता है तो उपयोग किए जा रहे हार माप का ट्रैक रखना महत्वपूर्ण है। | ध्यान दें, चूंकि कोई भी दो हार पर उपाय करता है <math>G</math> एक स्केलिंग कारक के बराबर हैं, यह <math>L^p</math>-अंतरिक्ष हार माप की पसंद से स्वतंत्र है और इस प्रकार शायद इसे लिखा जा सकता है <math>L^p(G)</math>. हालांकि <math>L^p</math>-इस स्थान पर मानदंड हार माप की पसंद पर निर्भर करता है, इसलिए यदि कोई आइसोमेट्री के बारे में बात करना चाहता है तो उपयोग किए जा रहे हार माप का ट्रैक रखना महत्वपूर्ण है। | ||
Line 52: | Line 51: | ||
=== एल के लिए फूरियर रूपांतरण और फूरियर उलटा सूत्र<sup>1</sup>-फंक्शन === | === एल के लिए फूरियर रूपांतरण और फूरियर उलटा सूत्र<sup>1</sup>-फंक्शन === | ||
स्थानीय रूप से | स्थानीय रूप से सुसंहत एबेलियन समूह के दोहरे समूह का उपयोग फूरियर रूपांतरण के सार संस्करण के लिए अंतर्निहित स्थान के रूप में किया जाता है। अगर <math>f \in L^1(G)</math>, तो फूरियर रूपांतरण कार्य है <math>\widehat f</math> पर <math>\widehat{G}</math> द्वारा परिभाषित | ||
<math display="block"> \widehat f(\chi) = \int_G f(x) \overline{\chi(x)}\ d\mu(x),</math> | <math display="block"> \widehat f(\chi) = \int_G f(x) \overline{\chi(x)}\ d\mu(x),</math> | ||
जहां इंटीग्रल हार माप के सापेक्ष है <math>\mu</math> पर <math>G</math>. यह भी बताया गया है <math>(\mathcal{F}f)(\chi)</math>. ध्यान दें कि फूरियर रूपांतरण हार माप की पसंद पर निर्भर करता है। यह दिखाना बहुत मुश्किल नहीं है कि फूरियर एक का रूपांतरण करता है <math>L^1</math> समारोह चालू <math>G</math> पर एक परिबद्ध सतत फलन है <math>\widehat{G}</math> जो [[रीमैन-लेबेस्गु लेम्मा]] है। | जहां इंटीग्रल हार माप के सापेक्ष है <math>\mu</math> पर <math>G</math>. यह भी बताया गया है <math>(\mathcal{F}f)(\chi)</math>. ध्यान दें कि फूरियर रूपांतरण हार माप की पसंद पर निर्भर करता है। यह दिखाना बहुत मुश्किल नहीं है कि फूरियर एक का रूपांतरण करता है <math>L^1</math> समारोह चालू <math>G</math> पर एक परिबद्ध सतत फलन है <math>\widehat{G}</math> जो [[रीमैन-लेबेस्गु लेम्मा]] है। | ||
Line 83: | Line 82: | ||
हालाँकि, अगर हम अपनी पहचान के तरीके को बदलते हैं <math>\R^n</math> इसके दोहरे समूह के साथ, पेयरिंग का उपयोग करके | हालाँकि, अगर हम अपनी पहचान के तरीके को बदलते हैं <math>\R^n</math> इसके दोहरे समूह के साथ, पेयरिंग का उपयोग करके | ||
<math display="block">(\mathbf{v}, \mathbf{w}) \mapsto e^{2\pi i \mathbf{v} \cdot \mathbf{w}},</math> | <math display="block">(\mathbf{v}, \mathbf{w}) \mapsto e^{2\pi i \mathbf{v} \cdot \mathbf{w}},</math> | ||
फिर लेबेसेग उपाय <math>\R^n</math> अपने स्वयं के दोहरे माप के बराबर है। यह सम्मेलन के कारकों की संख्या को कम करता है <math>2\pi</math> जो यूक्लिडियन अंतरिक्ष पर फूरियर रूपांतरण या व्युत्क्रम फूरियर रूपांतरण की गणना करते समय विभिन्न स्थानों पर दिखाई देता है। (असल में यह सीमित करता है <math>2\pi</math> अभिन्न चिह्न के बाहर एक पूर्व-कारक के बजाय केवल प्रतिपादक के लिए।) ध्यान दें कि पहचान कैसे करें <math>\R^n</math> अपने दोहरे समूह के साथ स्व-दोहरी कार्य शब्द के अर्थ को प्रभावित करता है, जो एक कार्य है <math>\R^n</math> अपने स्वयं के फूरियर रूपांतरण के बराबर: शास्त्रीय जोड़ी का उपयोग करना <math>(\mathbf{v}, \mathbf{w}) \mapsto e^{i\mathbf{v} \cdot \mathbf{w}}</math> कार्यक्रम <math>e^{-\frac{1}{2} x^2}</math> स्वयं | फिर लेबेसेग उपाय <math>\R^n</math> अपने स्वयं के दोहरे माप के बराबर है। यह सम्मेलन के कारकों की संख्या को कम करता है <math>2\pi</math> जो यूक्लिडियन अंतरिक्ष पर फूरियर रूपांतरण या व्युत्क्रम फूरियर रूपांतरण की गणना करते समय विभिन्न स्थानों पर दिखाई देता है। (असल में यह सीमित करता है <math>2\pi</math> अभिन्न चिह्न के बाहर एक पूर्व-कारक के बजाय केवल प्रतिपादक के लिए।) ध्यान दें कि पहचान कैसे करें <math>\R^n</math> अपने दोहरे समूह के साथ स्व-दोहरी कार्य शब्द के अर्थ को प्रभावित करता है, जो एक कार्य है <math>\R^n</math> अपने स्वयं के फूरियर रूपांतरण के बराबर: शास्त्रीय जोड़ी का उपयोग करना <math>(\mathbf{v}, \mathbf{w}) \mapsto e^{i\mathbf{v} \cdot \mathbf{w}}</math> कार्यक्रम <math>e^{-\frac{1}{2} x^2}</math> स्वयं द्वयात्मकता है। लेकिन जोड़ी का उपयोग करना, जो पूर्व-कारक को एकता के रूप में रखता है, <math>(\mathbf{v}, \mathbf{w}) \mapsto e^{2\pi i \mathbf v \cdot \mathbf w}</math> बनाता है <math>e^{-\pi x^2}</math> इसके बजाय स्व-दोहरी। फूरियर रूपांतरण के लिए इस दूसरी परिभाषा का लाभ यह है कि यह गुणात्मक पहचान को संकल्प पहचान के लिए मैप करता है, जो उपयोगी है <math>L^1</math> एक कनवल्शन बीजगणित है। #The Group बीजगणित पर अगला भाग देखें। इसके अलावा, यह फॉर्म भी आवश्यक रूप से आइसोमेट्रिक है <math>L^2</math> रिक्त स्थान। नीचे देखें #Plancherel और L2 फूरियर उलटा प्रमेय |Plancherel और L<sup>2</sup> फूरियर व्युत्क्रम प्रमेय। | ||
=== समूह बीजगणित === | === समूह बीजगणित === | ||
{{main|Group algebra of a locally compact group}} | {{main|Group algebra of a locally compact group}} | ||
स्थानीय रूप से | स्थानीय रूप से सुसंहत एबेलियन समूह पर पूर्णांक कार्यों का स्थान <math>G</math> एक [[बीजगणित]] है, जहाँ गुणन कनवल्शन है: दो पूर्णांक कार्यों का कनवल्शन <math>f</math> और <math>g</math> परिभाषित किया जाता है | ||
<math display="block"> (f * g)(x) = \int_G f(x - y) g(y)\ d \mu(y).</math> | <math display="block"> (f * g)(x) = \int_G f(x - y) g(y)\ d \mu(y).</math> | ||
{{math theorem | math_statement = The Banach space <math>L^1(G)</math> is an associative and commutative algebra under convolution.}} | {{math theorem | math_statement = The Banach space <math>L^1(G)</math> is an associative and commutative algebra under convolution.}} | ||
इस बीजगणित को समूह बीजगणित कहा जाता है <math>G</math>. फ़ुबिनी के प्रमेय के अनुसार|फ़ुबिनी-टोनेली प्रमेय के अनुसार कनवल्शन सबमल्टीप्लिकेटिव है <math>L^1</math> मानदंड, बनाना <math>L^1(G)</math> एक [[बनच बीजगणित]]। बनच बीजगणित <math>L^1(G)</math> यदि और केवल यदि गुणक पहचान तत्व है <math>G</math> एक असतत समूह है, अर्थात् कार्य जो पहचान पर 1 है और कहीं और शून्य है। सामान्य तौर पर, हालांकि, इसकी एक [[अनुमानित पहचान]] होती है जो एक शुद्ध (या सामान्यीकृत अनुक्रम) है <math>\{e_i\}_{i \in I}</math> एक निर्देशित | इस बीजगणित को समूह बीजगणित कहा जाता है <math>G</math>. फ़ुबिनी के प्रमेय के अनुसार|फ़ुबिनी-टोनेली प्रमेय के अनुसार कनवल्शन सबमल्टीप्लिकेटिव है <math>L^1</math> मानदंड, बनाना <math>L^1(G)</math> एक [[बनच बीजगणित]]। बनच बीजगणित <math>L^1(G)</math> यदि और केवल यदि गुणक पहचान तत्व है <math>G</math> एक असतत समूह है, अर्थात् कार्य जो पहचान पर 1 है और कहीं और शून्य है। सामान्य तौर पर, हालांकि, इसकी एक [[अनुमानित पहचान]] होती है जो एक शुद्ध (या सामान्यीकृत अनुक्रम) है <math>\{e_i\}_{i \in I}</math> एक निर्देशित समूह पर अनुक्रमित <math>I</math> ऐसा है कि <math> f * e_i \to f. </math> | ||
फूरियर रूपांतरण कनवल्शन को गुणन में ले जाता है, अर्थात यह एबेलियन बनच बीजगणित का एक समरूपता है <math>L^1(G) \to C_0\left(\widehat{G}\right)</math> (आदर्श ≤ 1): | फूरियर रूपांतरण कनवल्शन को गुणन में ले जाता है, अर्थात यह एबेलियन बनच बीजगणित का एक समरूपता है <math>L^1(G) \to C_0\left(\widehat{G}\right)</math> (आदर्श ≤ 1): | ||
<math display="block"> \mathcal{F}( f * g)(\chi) = \mathcal{F}(f)(\chi) \cdot \mathcal{F}(g)(\chi).</math> | <math display="block"> \mathcal{F}( f * g)(\chi) = \mathcal{F}(f)(\chi) \cdot \mathcal{F}(g)(\chi).</math> | ||
विशेष रूप से, प्रत्येक समूह के चरित्र पर <math>G</math> द्वारा परिभाषित समूह बीजगणित पर एक अद्वितीय गुणात्मक रैखिक कार्यात्मक से मेल खाता है | विशेष रूप से, प्रत्येक समूह के चरित्र पर <math>G</math> द्वारा परिभाषित समूह बीजगणित पर एक अद्वितीय गुणात्मक रैखिक कार्यात्मक से मेल खाता है | ||
<math display="block"> f \mapsto \widehat{f}(\chi).</math> | <math display="block"> f \mapsto \widehat{f}(\chi).</math> | ||
समूह बीजगणित की यह एक महत्वपूर्ण संपत्ति है कि ये समूह बीजगणित पर गैर-तुच्छ (जो समान रूप से शून्य नहीं है) गुणात्मक रैखिक क्रियाओं के | समूह बीजगणित की यह एक महत्वपूर्ण संपत्ति है कि ये समूह बीजगणित पर गैर-तुच्छ (जो समान रूप से शून्य नहीं है) गुणात्मक रैखिक क्रियाओं के समूह को समाप्त करते हैं; की धारा 34 देखें {{harv|Loomis|1953}}. इसका मतलब है कि फूरियर ट्रांसफॉर्म [[गेलफैंड ट्रांसफॉर्म]] का एक विशेष मामला है। | ||
=== प्लांचरेल और एल<sup>2</sup> फूरियर उलटा प्रमेय === | === प्लांचरेल और एल<sup>2</sup> फूरियर उलटा प्रमेय === | ||
जैसा कि हमने कहा है, स्थानीय रूप से | जैसा कि हमने कहा है, स्थानीय रूप से सुसंहत एबेलियन समूह का दोहरा समूह अपने आप में स्थानीय रूप से सुसंहत एबेलियन समूह है और इस प्रकार एक हार उपाय है, या अधिक सटीक रूप से पैमाने से संबंधित हार उपायों का एक पूरा परिवार है। | ||
{{math theorem | math_statement = Choose a Haar measure <math>\mu</math> on <math>G</math> and let <math>\nu</math> be the dual measure on <math>\widehat{G}</math> as defined above. If <math>f : G \to \Complex</math> is continuous with compact support then <math>\widehat{f} \in L^2\left(\widehat{G}\right)</math> and | {{math theorem | math_statement = Choose a Haar measure <math>\mu</math> on <math>G</math> and let <math>\nu</math> be the dual measure on <math>\widehat{G}</math> as defined above. If <math>f : G \to \Complex</math> is continuous with compact support then <math>\widehat{f} \in L^2\left(\widehat{G}\right)</math> and | ||
Line 106: | Line 105: | ||
In particular, the Fourier transform is an <math>L^2</math> isometry from the complex-valued continuous functions of compact support on <math>G</math> to the <math>L^2</math>-functions on <math>\widehat{G}</math> (using the <math>L^2</math>-norm with respect to <math>\mu</math> for functions on <math>G</math> and the <math>L^2</math>-norm with respect to <math>\nu</math> for functions on <math>\widehat{G}</math>).}} | In particular, the Fourier transform is an <math>L^2</math> isometry from the complex-valued continuous functions of compact support on <math>G</math> to the <math>L^2</math>-functions on <math>\widehat{G}</math> (using the <math>L^2</math>-norm with respect to <math>\mu</math> for functions on <math>G</math> and the <math>L^2</math>-norm with respect to <math>\nu</math> for functions on <math>\widehat{G}</math>).}} | ||
सुसंहत समर्थन के जटिल-मूल्यवान निरंतर कार्यों के बाद से <math>G</math> हैं <math>L^2</math>-सघन, उस स्थान से एकात्मक संचालिका में फूरियर रूपांतरण का एक अनूठा विस्तार है | |||
<math display="block"> \mathcal{F}: L^2_\mu(G) \to L^2_\nu\left(\widehat{G}\right).</math> | <math display="block"> \mathcal{F}: L^2_\mu(G) \to L^2_\nu\left(\widehat{G}\right).</math> | ||
और हमारे पास सूत्र है | और हमारे पास सूत्र है | ||
<math display="block"> \forall f \in L^2(G): \quad \int_G |f(x)|^2 \ d \mu(x) = \int_{\widehat{G}} \left|\widehat{f}(\chi)\right|^2 \ d \nu(\chi).</math> | <math display="block"> \forall f \in L^2(G): \quad \int_G |f(x)|^2 \ d \mu(x) = \int_{\widehat{G}} \left|\widehat{f}(\chi)\right|^2 \ d \nu(\chi).</math> | ||
ध्यान दें कि गैर- | ध्यान दें कि गैर-सुसंहत स्थानीय रूप से सुसंहत समूहों के लिए <math>G</math> अंतरिक्ष <math>L^1(G)</math> शामिल नहीं है <math>L^2(G)</math>, इसलिए फूरियर सामान्य का रूपांतरण करता है <math>L^2</math>-कार्य चालू है <math>G</math> किसी भी प्रकार के एकीकरण सूत्र (या वास्तव में किसी स्पष्ट सूत्र) द्वारा नहीं दिया गया है। परिभाषित करने के लिए <math>L^2</math> फूरियर रूपांतरण में किसी को कुछ तकनीकी तरकीबों का सहारा लेना पड़ता है जैसे घने उप-स्थान पर शुरू करना जैसे कि सुसंहत समर्थन के साथ निरंतर कार्य और फिर पूरे अंतरिक्ष में निरंतरता द्वारा आइसोमेट्री का विस्तार करना। फूरियर रूपांतरण का यह एकात्मक विस्तार वर्ग समाकलनीय कार्यों के स्थान पर फूरियर रूपांतरण से हमारा तात्पर्य है। | ||
दोहरे समूह में अपने आप में एक व्युत्क्रम फूरियर रूपांतरण भी होता है; इसे व्युत्क्रम (या आसन्न, क्योंकि यह एकात्मक है) के रूप में चित्रित किया जा सकता है <math>L^2</math> फूरियर रूपांतरण। यह की सामग्री है <math>L^2</math> फूरियर उलटा सूत्र जो इस प्रकार है। | दोहरे समूह में अपने आप में एक व्युत्क्रम फूरियर रूपांतरण भी होता है; इसे व्युत्क्रम (या आसन्न, क्योंकि यह एकात्मक है) के रूप में चित्रित किया जा सकता है <math>L^2</math> फूरियर रूपांतरण। यह की सामग्री है <math>L^2</math> फूरियर उलटा सूत्र जो इस प्रकार है। | ||
Line 118: | Line 117: | ||
where <math>\nu</math> is the dual measure to <math>\mu</math>.}} | where <math>\nu</math> is the dual measure to <math>\mu</math>.}} | ||
यदि <math>G = \mathbb{T}</math> | यदि <math>G = \mathbb{T}</math> द्वयात्मकता समूह <math>\widehat{G}</math> पूर्णांकों के समूह के लिए स्वाभाविक रूप से समरूपीय है <math>\Z</math> और फूरियर रूपांतरण आवधिक कार्यों की फूरियर श्रृंखला के गुणांकों की गणना करने में माहिर है। | ||
अगर <math>G</math> एक परिमित समूह है, हम असतत फूरियर रूपांतरण को पुनः प्राप्त करते हैं। ध्यान दें कि इस मामले को सीधे साबित करना बहुत आसान है। | अगर <math>G</math> एक परिमित समूह है, हम असतत फूरियर रूपांतरण को पुनः प्राप्त करते हैं। ध्यान दें कि इस मामले को सीधे साबित करना बहुत आसान है। | ||
Line 124: | Line 123: | ||
== बोह्र संघनन और लगभग-आवधिकता == | == बोह्र संघनन और लगभग-आवधिकता == | ||
<!-- This section is linked from [[Discrete space]] --> | <!-- This section is linked from [[Discrete space]] --> | ||
पोन्ट्रियाजिन द्वयात्मकता का एक महत्वपूर्ण अनुप्रयोग सुसंहत एबेलियन सांस्थितिक समूहों का निम्नलिखित लक्षण वर्णन है: | |||
{{math theorem | math_statement = A locally compact ''abelian'' group <math>G</math> is compact [[if and only if]] the dual group <math>\widehat{G}</math> is discrete. Conversely, <math>G</math> is discrete if and only if <math>\widehat{G}</math> is compact.}} | {{math theorem | math_statement = A locally compact ''abelian'' group <math>G</math> is compact [[if and only if]] the dual group <math>\widehat{G}</math> is discrete. Conversely, <math>G</math> is discrete if and only if <math>\widehat{G}</math> is compact.}} | ||
वह <math>G</math> | वह <math>G</math> सुसंहत होने का तात्पर्य है <math>\widehat{G}</math> असतत है या वह <math>G</math> असतत होने का तात्पर्य है <math>\widehat{G}</math> सुसंहत है, सुसंहत-ओपन संस्थितिविज्ञान की परिभाषा का एक प्राथमिक परिणाम है <math>\widehat{G}</math> और पोन्ट्रियाजिन द्वंद्व की आवश्यकता नहीं है। बातचीत को साबित करने के लिए एक पोन्ट्रियाजिन द्वयात्मकता का उपयोग करता है। | ||
[[बोह्र संघनन]] को किसी भी सामयिक समूह के लिए परिभाषित किया गया है <math>G</math>, दोनों में से किसी की परवाह किये बिना <math>G</math> स्थानीय रूप से | [[बोह्र संघनन]] को किसी भी सामयिक समूह के लिए परिभाषित किया गया है <math>G</math>, दोनों में से किसी की परवाह किये बिना <math>G</math> स्थानीय रूप से सुसंहत या एबेलियन है। सुसंहत एबेलियन समूहों और असतत एबेलियन समूहों के बीच पोन्ट्रियाजिन द्वयात्मकता का एक उपयोग स्थानीय रूप से सुसंहत सांस्थितिक समूह के एक मनमाना एबेलियन के बोह्र सुसंहतिफिकेशन की विशेषता है। बोहर संघनन <math>B(G)</math> का <math>G</math> है <math>\widehat{H}</math>, जहाँ H की समूह संरचना है <math>\widehat{G}</math>, लेकिन असतत संस्थितिविज्ञान दी। समावेशन मानचित्र के बाद से | ||
<math display="block"> \iota: H \to \widehat{G} </math> | <math display="block"> \iota: H \to \widehat{G} </math> | ||
निरंतर है और एक समरूपता, दोहरी आकृतिवाद | निरंतर है और एक समरूपता, दोहरी आकृतिवाद | ||
Line 138: | Line 137: | ||
== स्पष्ट विचार == | == स्पष्ट विचार == | ||
पोन्ट्रियाजिन द्वयात्मकता को लाभप्रद रूप से कार्यात्मक रूप से भी माना जा सकता है। निम्नलिखित में, LCA स्थानीय रूप से सुसंहत एबेलियन समूहों और निरंतर समूह समरूपता की [[श्रेणी (गणित)]] है। का दोहरा समूह निर्माण <math>\widehat{G}</math> एक प्रतिपरिवर्ती फ़ैक्टर LCA → LCA है, जिसे वृत्त समूह द्वारा दर्शाया गया है (प्रतिनिधित्व योग्य फ़ंक्टर के अर्थ में) <math>\mathbb{T}</math> जैसा <math>\widehat{G}= \text{Hom}(G, \mathbb{T}).</math> विशेष रूप से, डबल डुअल फंक्शनल <math>G \to \widehat{\widehat{G}}</math> सहपरिवर्ती है। | |||
पोन्ट्रियाजिन द्वयात्मकता का एक स्पष्ट सूत्रीकरण तब बताता है कि 'LCA' पर पहचान फ़ैक्टर और डबल डुअल फ़ंक्टर के बीच [[प्राकृतिक परिवर्तन]] एक समरूपता है।{{sfn|Roeder|1974}} एक प्राकृतिक परिवर्तन की धारणा को खोलना, इसका मतलब है कि मानचित्र <math>G \to \operatorname {Hom}(\operatorname {Hom}(G, T), T)</math> किसी भी स्थानीय रूप से सुसंहत एबेलियन समूह के लिए आइसोमोर्फिज्म हैं <math>G</math>, और ये समरूपताएँ क्रियात्मक हैं <math>G</math>. यह समरूपता परिमित-आयामी सदिश रिक्त स्थान के दोहरे दोहरे के अनुरूप है (वास्तविक और जटिल सदिश रिक्त स्थान के लिए एक विशेष मामला)। | |||
इस सूत्रीकरण का एक तात्कालिक परिणाम | इस सूत्रीकरण का एक तात्कालिक परिणाम पोन्ट्रियाजिन द्वयात्मकता का एक और सामान्य श्रेणीबद्ध सूत्रीकरण है: दोहरी समूह फ़ंक्टर एलसीए से एलसीए की श्रेणियों का एक तुल्यता है<sup>ऑप</sup>। | ||
द्वंद्व असतत समूहों और [[कॉम्पैक्ट समूह]]ों की उपश्रेणियों का आदान-प्रदान करता है। अगर <math>R</math> एक [[अंगूठी (गणित)]] है और <math>G</math> एक बायाँ है <math>R</math>-[[मॉड्यूल (गणित)]], दोहरा समूह <math>\widehat{G}</math> अधिकार बन जाएगा <math>R</math>-मापांक; इस तरह हम उस डिस्क्रीट लेफ्ट को भी देख सकते हैं <math>R</math>-मॉड्यूल | द्वंद्व असतत समूहों और [[कॉम्पैक्ट समूह|सुसंहत समूह]]ों की उपश्रेणियों का आदान-प्रदान करता है। अगर <math>R</math> एक [[अंगूठी (गणित)]] है और <math>G</math> एक बायाँ है <math>R</math>-[[मॉड्यूल (गणित)]], दोहरा समूह <math>\widehat{G}</math> अधिकार बन जाएगा <math>R</math>-मापांक; इस तरह हम उस डिस्क्रीट लेफ्ट को भी देख सकते हैं <math>R</math>-मॉड्यूल पोन्ट्रियाजिन डुअल टू सुसंहत राइट होगा <math>R</math>-मॉड्यूल। अंगूठी <math>\text{End}(G)</math> एलसीए में अंतःरूपांतरण को द्वयात्मकता द्वारा इसके विपरीत रिंग में बदल दिया जाता है # दिए गए से नए रिंग का निर्माण (गुणन को दूसरे क्रम में बदलें)। उदाहरण के लिए, अगर <math>G</math> एक अनंत चक्रीय असतत समूह है, <math>\widehat{G}</math> एक वृत्त समूह है: पूर्व में है <math>\text{End}(G) = \Z</math> तो यह बाद के बारे में भी सच है। | ||
== सामान्यीकरण == | == सामान्यीकरण == | ||
पोन्ट्रियाजिन द्वयात्मकता के सामान्यीकरण दो मुख्य दिशाओं में निर्मित होते हैं: कम्यूटेटिव सांस्थितिक समूहों के लिए जो स्थानीय रूप से सुसंहत समूह नहीं हैं, और गैर-अनुसूचित सांस्थितिक समूहों के लिए। इन दोनों मामलों में सिद्धांत बहुत अलग हैं। | |||
=== क्रमविनिमेय सामयिक समूहों के लिए | === क्रमविनिमेय सामयिक समूहों के लिए द्वयात्मकता === | ||
कब <math>G</math> हॉउसडॉर्फ एबेलियन सामयिक समूह है, समूह <math>\widehat{G}</math> | कब <math>G</math> हॉउसडॉर्फ एबेलियन सामयिक समूह है, समूह <math>\widehat{G}</math> सुसंहत-ओपन संस्थितिविज्ञान के साथ हॉसडॉर्फ एबेलियन सांस्थितिक समूह और नेचुरल मैपिंग है <math>G</math> इसके दोहरे-दोहरे के लिए <math>\widehat{\widehat{G}}</math> समझ में आता है। यदि यह मानचित्रण एक समरूपता है, तो ऐसा कहा जाता है <math>G</math> पोन्ट्रियाजिन द्वयात्मकता को संतुष्ट करता है (या वह <math>G</math> एक प्रतिवर्त समूह है,{{sfn|Onishchik|1984}} या एक चिंतनशील समूह{{sfn|Akbarov|Shavgulidze|2003}}). इस मामले से परे कई दिशाओं में इसे बढ़ाया गया है <math>G</math> स्थानीय रूप से सुसंहत है।{{sfn|Chasco|Dikranjan|Martín-Peinador|2012}} | ||
विशेष रूप से, सैमुअल कपलान{{sfn|Kaplan|1948}}{{sfn|Kaplan|1950}} ने 1948 और 1950 में दिखाया कि मनमाना उत्पाद और स्थानीय रूप से | विशेष रूप से, सैमुअल कपलान{{sfn|Kaplan|1948}}{{sfn|Kaplan|1950}} ने 1948 और 1950 में दिखाया कि मनमाना उत्पाद और स्थानीय रूप से सुसंहत (हॉसडॉर्फ) एबेलियन समूहों की गणनीय व्युत्क्रम सीमाएं पोन्ट्रियाजिन द्वयात्मकता को संतुष्ट करती हैं। ध्यान दें कि स्थानीय रूप से सुसंहत गैर-सुसंहत रिक्त स्थान का अनंत उत्पाद स्थानीय रूप से सुसंहत नहीं है। | ||
बाद में, 1975 में, रंगाचारी वेंकटरमन{{sfn|Venkataraman|1975}} ने दिखाया, अन्य तथ्यों के साथ, कि एबेलियन | बाद में, 1975 में, रंगाचारी वेंकटरमन{{sfn|Venkataraman|1975}} ने दिखाया, अन्य तथ्यों के साथ, कि एबेलियन सांस्थितिक समूह का हर खुला उपसमूह जो पोन्ट्रियाजिन द्वयात्मकता को संतुष्ट करता है, स्वयं पोन्ट्रियाजिन द्वयात्मकता को संतुष्ट करता है। | ||
अभी हाल ही में, सर्जियो अर्दंज़ा-ट्रेविजानो और मारिया जेसुज चास्को{{sfn|Ardanza-Trevijano|Chasco|2005}} ने ऊपर उल्लिखित कपलान के परिणामों को बढ़ा दिया है। उन्होंने दिखाया कि | अभी हाल ही में, सर्जियो अर्दंज़ा-ट्रेविजानो और मारिया जेसुज चास्को{{sfn|Ardanza-Trevijano|Chasco|2005}} ने ऊपर उल्लिखित कपलान के परिणामों को बढ़ा दिया है। उन्होंने दिखाया कि पोन्ट्रियाजिन द्वयात्मकता को संतुष्ट करने वाले एबेलियन समूहों के अनुक्रमों की प्रत्यक्ष और व्युत्क्रम सीमाएं भी पोन्ट्रियाजिन द्वयात्मकता को संतुष्ट करती हैं यदि समूह मेट्रिज़ेबल हैं या <math>k_\omega</math>-स्थान लेकिन जरूरी नहीं कि स्थानीय रूप से सुसंहत हो, बशर्ते कुछ अतिरिक्त शर्तें अनुक्रमों से संतुष्ट हों। | ||
हालाँकि, एक मूलभूत पहलू है जो बदल जाता है अगर हम स्थानीय रूप से | हालाँकि, एक मूलभूत पहलू है जो बदल जाता है अगर हम स्थानीय रूप से सुसंहत मामले से परे पोन्ट्रियाजिन द्वंद्व पर विचार करना चाहते हैं। ऐलेना मार्टिन-पीनाडोर{{sfn|Martín-Peinador|1995}} ने 1995 में साबित किया कि अगर <math>G</math> हॉउसडॉर्फ एबेलियन सांस्थितिक समूह है जो पोन्ट्रियाजिन द्वंद्व और प्राकृतिक मूल्यांकन जोड़ी को संतुष्ट करता है | ||
<math display="block">\begin{cases} G \times \widehat{G} \to \mathbb{T} \\ (x, \chi) \mapsto \chi(x) \end{cases}</math> | <math display="block">\begin{cases} G \times \widehat{G} \to \mathbb{T} \\ (x, \chi) \mapsto \chi(x) \end{cases}</math> | ||
(संयुक्त रूप से) निरंतर है,{{efn|1=Joint continuousness means here that the map <math>G \times \widehat{G} \to \mathbb{T}</math> is continuous as a map between topological spaces, where <math>G \times \widehat{G}</math> is endowed with the topology of cartesian product. This result does not hold if the map <math>G \times \widehat{G} \to \mathbb{T}</math> is supposed to be separately continuous, or continuous in the [[Stereotype space#Universality of tensor product|stereotype sense]].}} तब <math>G</math> स्थानीय रूप से | (संयुक्त रूप से) निरंतर है,{{efn|1=Joint continuousness means here that the map <math>G \times \widehat{G} \to \mathbb{T}</math> is continuous as a map between topological spaces, where <math>G \times \widehat{G}</math> is endowed with the topology of cartesian product. This result does not hold if the map <math>G \times \widehat{G} \to \mathbb{T}</math> is supposed to be separately continuous, or continuous in the [[Stereotype space#Universality of tensor product|stereotype sense]].}} तब <math>G</math> स्थानीय रूप से सुसंहत है। एक परिणाम के रूप में, पोन्ट्रियाजिन द्वयात्मकता के सभी गैर-स्थानीय रूप से सुसंहत उदाहरण ऐसे समूह हैं जहां जोड़ी बनती है <math>G \times \widehat{G} \to \mathbb{T}</math> (संयुक्त रूप से) निरंतर नहीं है। | ||
कम्यूटेटिव | कम्यूटेटिव सांस्थितिक समूहों के व्यापक वर्गों के लिए पोन्ट्रियाजिन द्वयात्मकता को सामान्य बनाने का एक और तरीका है, दोहरे समूह को समाप्त करना <math>\widehat{G}</math> थोड़ा अलग संस्थितिविज्ञान के साथ, अर्थात् पूरी तरह से बंधे हुए स्थान पर समान अभिसरण की संस्थितिविज्ञान # अन्य संदर्भों में परिभाषाएँ। पहचान को संतुष्ट करने वाले समूह <math>G \cong \widehat{\widehat{G}}</math> इस धारणा के तहत{{efn|1=Where the second dual group <math>\widehat{\widehat{G}}</math> is dual to <math>\widehat{G}</math> in the same sense.}} स्टीरियोटाइप समूह कहलाते हैं।{{sfn|Akbarov|Shavgulidze|2003}} यह वर्ग भी बहुत विस्तृत है (और इसमें स्थानीय रूप से सुसंहत एबेलियन समूह शामिल हैं), लेकिन यह चिंतनशील समूहों के वर्ग की तुलना में संकीर्ण है।{{sfn|Akbarov|Shavgulidze|2003}} | ||
=== | === सांस्थितिक सदिश स्थान के लिए पोन्ट्रियाजिन द्वयात्मकता === | ||
1952 में मैरिएन एफ। स्मिथ{{sfn|Smith|1952}} ने देखा कि [[बनच स्थान]] और [[ प्रतिवर्त स्थान ]], जिसे | 1952 में मैरिएन एफ। स्मिथ{{sfn|Smith|1952}} ने देखा कि [[बनच स्थान]] और [[ प्रतिवर्त स्थान ]], जिसे सांस्थितिक समूह (एडिटिव समूह कार्य प्रणाली के साथ) माना जाता है, पोन्ट्रियाजिन द्वंद्व को संतुष्ट करता है। बाद में बी.एस. ब्रुडोव्स्की,{{sfn|Brudovskiĭ|1967}} विलियम सी. वाटरहाउस{{sfn|Waterhouse|1968}} और के. ब्रूनर{{sfn|Brauner|1973}} ने दिखाया कि यह परिणाम सभी अर्ध-पूर्ण बरेल्ड रिक्त स्थान (विशेष रूप से, सभी फ्रेचेट रिक्त स्थान) के वर्ग तक बढ़ाया जा सकता है। 1990 के दशक में सर्गेई अकबरोव{{sfn|Akbarov|2003}} ने सांस्थितिक सदिश रिक्त स्थान के वर्ग का विवरण दिया जो शास्त्रीय पोन्ट्रियाजिन रिफ्लेक्सीविटी की तुलना में एक मजबूत संपत्ति को संतुष्ट करता है, अर्थात् पहचान | ||
<math display="block">(X^\star)^\star\cong X</math> कहाँ <math>X^\star</math> का अर्थ है सभी रैखिक निरंतर कार्यात्मकताओं का स्थान <math>f \colon X \to \Complex</math> पूरी तरह से बंधे हुए | <math display="block">(X^\star)^\star\cong X</math> कहाँ <math>X^\star</math> का अर्थ है सभी रैखिक निरंतर कार्यात्मकताओं का स्थान <math>f \colon X \to \Complex</math> पूरी तरह से बंधे हुए समूहों पर समान अभिसरण की संस्थितिविज्ञान से संपन्न <math>X</math> (और <math>(X^\star)^\star</math> का अर्थ है दोहरा <math>X^\star</math> उसी अर्थ में)। इस वर्ग के रिक्त स्थान को [[स्टीरियोटाइप स्पेस|स्टीरियोटाइप स्थान]] स्थान कहा जाता है, और संबंधित सिद्धांत को कार्यात्मक विश्लेषण और ज्यामिति में अनुप्रयोगों की एक श्रृंखला मिली, जिसमें गैर-कम्यूटेटिव सांस्थितिक समूहों के लिए पोन्ट्रियाजिन द्वंद्व का सामान्यीकरण शामिल है। | ||
=== गैर-कम्यूटेटिव | === गैर-कम्यूटेटिव सांस्थितिक समूहों के लिए द्वयात्मकता === | ||
गैर-कम्यूटेटिव स्थानीय रूप से | गैर-कम्यूटेटिव स्थानीय रूप से सुसंहत समूहों के लिए <math>G</math> शास्त्रीय पोन्ट्रियाजिन निर्माण विभिन्न कारणों से काम करना बंद कर देता है, विशेष रूप से, क्योंकि पात्र हमेशा बिंदुओं को अलग नहीं करते हैं <math>G</math>, और का अलघुकरणीय निरूपण <math>G</math> हमेशा एक आयामी नहीं होते। साथ ही यह स्पष्ट नहीं है कि इरेड्यूसिबल एकात्मक निरूपण के समूह पर गुणन का परिचय कैसे दिया जाए <math>G</math>, और यह भी स्पष्ट नहीं है कि क्या यह समूह दोहरी वस्तु की भूमिका के लिए एक अच्छा विकल्प है <math>G</math>. अतः इस स्थिति में द्वयात्मकता निर्माण की समस्या पर पूर्ण पुनर्विचार की आवश्यकता है। | ||
आज तक बनाए गए सिद्धांतों को दो मुख्य समूहों में विभाजित किया गया है: सिद्धांत जहां दोहरी वस्तु की प्रकृति स्रोत एक के समान होती है (जैसे कि | आज तक बनाए गए सिद्धांतों को दो मुख्य समूहों में विभाजित किया गया है: सिद्धांत जहां दोहरी वस्तु की प्रकृति स्रोत एक के समान होती है (जैसे कि पोन्ट्रियाजिन द्वयात्मकता में ही), और सिद्धांत जहां स्रोत वस्तु और इसकी दोहरी एक दूसरे से भिन्न होती है उन्हें एक वर्ग की वस्तुओं के रूप में गिनना असंभव है। | ||
दूसरे प्रकार के सिद्धांत ऐतिहासिक रूप से पहले थे: | दूसरे प्रकार के सिद्धांत ऐतिहासिक रूप से पहले थे: पोन्ट्रियाजिन के काम के तुरंत बाद टाडाओ तनाका (1938) और [[मार्क करें]] (1949) ने मनमाना सुसंहत समूहों के लिए एक द्वयात्मकता सिद्धांत का निर्माण किया, जिसे अब तन्नाका-क्रेन द्वयात्मकता के रूप में जाना जाता है।{{sfn|Hewitt|Ross|1970}}{{sfn|Kirillov|1976}} इस सिद्धांत में एक समूह के लिए दोहरी वस्तु <math>G</math> एक समूह नहीं बल्कि अभ्यावेदन की एक श्रेणी है <math>\Pi(G)</math>. | ||
[[File:Duality-for-finite-groups.jpg|thumb|परिमित समूहों के लिए | [[File:Duality-for-finite-groups.jpg|thumb|परिमित समूहों के लिए द्वयात्मकता।]]पहले प्रकार के सिद्धांत बाद में प्रकट हुए और उनके लिए प्रमुख उदाहरण परिमित समूहों के लिए द्वयात्मकता सिद्धांत था।{{sfn|Kirillov|1976|loc=12.3}}{{sfn|Akbarov|2009}} इस सिद्धांत में परिमित समूहों की श्रेणी संक्रिया द्वारा सन्निहित है <math>G\mapsto \Complex_G</math> [[ समूह की अंगूठी ]] लेने का <math>\Complex_G</math> (ऊपर <math>\Complex</math>) परिमित आयामी [[हॉफ बीजगणित]] की श्रेणी में, ताकि पोन्ट्रियाजिन द्वयात्मकता क्रियाकार <math>G\mapsto \widehat{G}</math> कार्य प्रणाली में बदल जाता है <math>H\mapsto H^*</math> दोहरे सदिश स्थान को लेने का (जो परिमित आयामी हॉफ बीजगणित की श्रेणी में एक द्वयात्मकता कारक है)।{{sfn|Akbarov|2009}} | ||
1973 में लियोनिद आई. वेनरमैन, जॉर्ज आई. काक, मिशेल एनॉक और जीन-मैरी श्वार्ट्ज ने सभी स्थानीय | 1973 में लियोनिद आई. वेनरमैन, जॉर्ज आई. काक, मिशेल एनॉक और जीन-मैरी श्वार्ट्ज ने सभी स्थानीय सुसंहत समूहों के लिए इस प्रकार का एक सामान्य सिद्धांत बनाया।{{sfn|Enock|Schwartz|1992}} 1980 के दशक से [[क्वांटम समूह]]ों की खोज के बाद इस क्षेत्र में अनुसंधान फिर से शुरू किया गया, जिसमें निर्मित सिद्धांतों को सक्रिय रूप से स्थानांतरित किया जाने लगा।{{sfn|Timmermann|2008}} इन सिद्धांतों को [[सी-स्टार बीजगणित]]|सी*-अलजेब्रा, या [[वॉन न्यूमैन बीजगणित]] की भाषा में तैयार किया गया है, और इसके प्रकारों में से एक [[स्थानीय रूप से कॉम्पैक्ट क्वांटम समूह|स्थानीय रूप से सुसंहत क्वांटम समूह]]ों का हालिया सिद्धांत है।{{sfn|Kustermans|Vaes|2000}}{{sfn|Timmermann|2008}} | ||
हालांकि, इन सामान्य सिद्धांतों की कमियों में से एक यह है कि उनमें समूह की अवधारणा को सामान्य बनाने वाली वस्तुएं सामान्य बीजगणितीय अर्थों में हॉफ बीजगणित नहीं हैं।{{sfn|Akbarov|2009}} | हालांकि, इन सामान्य सिद्धांतों की कमियों में से एक यह है कि उनमें समूह की अवधारणा को सामान्य बनाने वाली वस्तुएं सामान्य बीजगणितीय अर्थों में हॉफ बीजगणित नहीं हैं।{{sfn|Akbarov|2009}} सांस्थितिक बीजगणित की [[लिफाफा (श्रेणी सिद्धांत)]] की धारणा के आधार पर निर्मित द्वयात्मकता सिद्धांतों के ढांचे के भीतर इस कमी को ठीक किया जा सकता है (समूहों के कुछ वर्गों के लिए)।<ref>{{harvs|nb |author=Akbarov |year1=2009 |year2=2017a |year3=2017b}}</ref> | ||
Line 186: | Line 185: | ||
* पीटर-वील प्रमेय | * पीटर-वील प्रमेय | ||
* [[कार्टियर द्वंद्व]] | * [[कार्टियर द्वंद्व]] | ||
* स्टीरियोटाइप | * स्टीरियोटाइप स्थान | ||
==टिप्पणियाँ== | ==टिप्पणियाँ== |
Revision as of 17:15, 16 March 2023
This article includes a list of general references, but it lacks sufficient corresponding inline citations. (जून 2013) (Learn how and when to remove this template message) |
गणित में, पोन्ट्रियाजिन द्वयात्मकता स्थानीय रूप से सुसंहत एबेलियन समूह के बीच एक द्वयात्मकता (गणित) है जो सामान्य रूप से फूरियर को ऐसे सभी समूहों में बदलने की अनुमति देता है, जिसमें वृत्त समूह (मापांक एक की जटिल संख्याओं का गुणक समूह), परिमित एबेलियन समूह (साथ) शामिल हैं। असतत संस्थितिविज्ञान), और पूर्णांकों का योगात्मक समूह (असतत संस्थितिविज्ञान के साथ भी), वास्तविक संख्याएँ, और वास्तविक या पी-एडिक फ़ील्ड पर हर आयाम (सदिश स्थान)|p-एडिक फील्ड।
स्थानीय रूप से सुसंहत एबेलियन समूह का पोन्ट्रियाजिन डुअल स्थानीय रूप से सुसंहत एबेलियन सांस्थितिक समूह है, जो समूह से वृत्त समूह तक बिन्दुवार गुणन के कार्य प्रणाली और सुसंहत समूह पर एकसमान अभिसरण के संस्थितिविज्ञान के साथ समूह समरूपता द्वारा बनाया गया है। पोन्ट्रियाजिन द्वयात्मकता प्रमेय पोन्ट्रियाजिन द्वयात्मकता को यह कहते हुए स्थापित करता है कि कोई भी स्थानीय रूप से सुसंहत एबेलियन समूह स्वाभाविक रूप से अपनी बोली (इसके दोहरे के दोहरे) के साथ समरूपीय है। फूरियर उलटा प्रमेय इस प्रमेय का एक विशेष मामला है।
इस विषय का नाम लेव पोन्ट्रियाजिन के नाम पर रखा गया है जिन्होंने 1934 में अपने शुरुआती गणितीय कार्यों के दौरान स्थानीय रूप से सुसंहत एबेलियन समूहों और उनके द्वंद्व के सिद्धांत की नींव रखी थी। असतत। 1935 में एगबर्ट वैन कम्पेन और 1940 में आंद्रे वेइल द्वारा स्थानीय रूप से सुसंहत एबेलियन समूहों को कवर करने के लिए इसमें सुधार किया गया था।
परिचय
पोन्ट्रियाजिन द्वयात्मकता एक एकीकृत संदर्भ में वास्तविक रेखा पर या परिमित एबेलियन समूहों पर कार्यों के बारे में कई टिप्पणियों को रखता है:
- वास्तविक रेखा पर उचित रूप से नियमित रूप से जटिल-मूल्यवान आवधिक कार्यों में फूरियर श्रृंखला होती है और इन कार्यों को उनकी फूरियर श्रृंखला से पुनर्प्राप्त किया जा सकता है;
- वास्तविक रेखा पर उचित रूप से नियमित रूप से जटिल-मूल्यवान कार्यों में फूरियर रूपांतरण होते हैं जो वास्तविक रेखा पर भी कार्य करते हैं और, आवधिक कार्यों के लिए, इन कार्यों को उनके फूरियर रूपांतरणों से पुनर्प्राप्त किया जा सकता है; और
- एक एबेलियन समूह पर जटिल-मूल्यवान कार्य परिमित एबेलियन समूहों में असतत फूरियर परिवर्तन होते हैं, जो # द डुअल समूह पर कार्य करते हैं, जो एक (गैर-कैनोनिक रूप से) समरूपीय समूह है। इसके अलावा, परिमित एबेलियन समूह पर कोई भी कार्य इसके असतत फूरियर रूपांतरण से पुनर्प्राप्त किया जा सकता है।
सिद्धांत, लेव पोन्ट्रियाजिन द्वारा प्रस्तुत किया गया और जॉन वॉन न्यूमैन, आंद्रे वेइल और अन्य द्वारा प्रस्तुत किए गए हार उपाय के साथ संयुक्त रूप से स्थानीय रूप स्थानीय रूप से सुसंहत स्थान एबेलियन समूह के दोहरे समूह के सिद्धांत पर निर्भर करता है।
यह एक सदिश स्थान के दोहरे सदिश स्थान के अनुरूप है: एक परिमित-आयामी सदिश स्थान V और इसका दोहरा सदिश स्थान V* स्वाभाविक रूप से समरूपीय नहीं है, लेकिन एक का अंतःरूपांतरण बीजगणित (मैट्रिक्स बीजगणित) विपरीत रिंग के लिए समरूपीय है। अंतःरूपांतरण दूसरे का बीजगणित: ट्रांसपोज़ के माध्यम से। इसी प्रकार एक समूह और इसका दोहरा समूह सामान्य रूप से समरूपीय नहीं होते हैं, लेकिन उनके अंतःरूपांतरण के छल्ले एक दूसरे के विपरीत होते हैं: . अधिक स्पष्ट रूप से, यह केवल अंतःरूपांतरण बीजगणित का एक समरूपता नहीं है, बल्कि श्रेणियों का एक विरोधाभासी तुल्यता है - श्रेणीबद्ध विचार देखें।
परिभाषा
एक सांस्थितिक समूह स्थानीय रूप से सुसंहत समूह है यदि अंतर्निहित सांस्थितिक स्थान स्थानीय रूप से सुसंहत स्थान और हॉसडॉर्फ स्थान है; एक सांस्थितिक समूह एबेलियन है यदि अंतर्निहित समूह एबेलियन समूह है।स्थानीय रूप से सुसंहत एबेलियन समूहों के उदाहरणों में परिमित एबेलियन समूह, पूर्णांक (दोनों असतत संस्थितिविज्ञान के लिए, जो सामान्य मीट्रिक द्वारा भी प्रेरित होते हैं), वास्तविक संख्याएं, वृत्त समूह टी (दोनों अपने सामान्य मीट्रिक संस्थितिविज्ञान के साथ), और भी शामिल हैं। पी-एडिक नंबर | पी-एडिक नंबर (उनके सामान्य पी-एडिक संस्थितिविज्ञान के साथ)।
स्थानीय रूप से सुसंहत एबेलियन समूह के लिए , पोन्ट्रियाजिन दोहरी समूह है निरंतर समूह समरूपता से मंडली समूह को . वह है,
उदाहरण के लिए,
पोन्ट्रियाजिन द्वयात्मकता प्रमेय
Theorem[1][2] — There is a canonical isomorphism between any locally compact abelian group and its double dual.
विहित रूप का अर्थ है कि स्वाभाविक रूप से परिभाषित नक्शा है ; इससे भी महत्वपूर्ण बात यह है कि नक्शा क्रियाशील होना चाहिए . विहित समरूपता पर परिभाषित किया गया है निम्नलिखित नुसार:
पोन्ट्रियाजिन द्वयात्मकता और फूरियर रूपांतरण
उसका नाप
स्थानीय रूप से सुसंहत समूह के बारे में सबसे उल्लेखनीय तथ्यों में से एक यह है कि यह एक अनिवार्य रूप से अद्वितीय प्राकृतिक उपाय (गणित), हार उपाय करता है, जो किसी को पर्याप्त रूप से नियमित उपसमुच्चय के आकार को लगातार मापने की अनुमति देता है . पर्याप्त रूप से नियमित उपसमुच्चय का अर्थ है बोरेल समूह; अर्थात्, सुसंहत समूह द्वारा उत्पन्न सिग्मा-बीजगणित|σ-बीजगणित का एक तत्व। अधिक सटीक रूप से, स्थानीय रूप से सुसंहत समूह पर एक सही हार उपाय के बोरेल समूह पर परिभाषित एक योगात्मक योगात्मक उपाय है जो इस अर्थ में सही अपरिवर्तनीय है μ(Ax) = μ(A) के लिए का एक तत्व और का एक बोरेल सबसमूह और नियमितता की कुछ शर्तों को भी पूरा करता है (हार उपाय पर लेख में विस्तार से बताया गया है)। सकारात्मक स्केलिंग कारकों को छोड़कर, हार माप पर निराला है।
हार नाप रहा है हमें समूह पर परिभाषित बोरेल कार्यों (जटिल संख्या-मूल्यवान) के लिए अभिन्न की धारणा को परिभाषित करने की अनुमति देता है। विशेष रूप से, कोई व्यक्ति विभिन्न Lp स्थान #Lp स्थान और Lebesgue इंटीग्रल्स|L पर विचार कर सकता हैp हार से संबंधित रिक्त स्थान μ मापते हैं। विशेष रूप से,
एल के लिए फूरियर रूपांतरण और फूरियर उलटा सूत्र1-फंक्शन
स्थानीय रूप से सुसंहत एबेलियन समूह के दोहरे समूह का उपयोग फूरियर रूपांतरण के सार संस्करण के लिए अंतर्निहित स्थान के रूप में किया जाता है। अगर , तो फूरियर रूपांतरण कार्य है पर द्वारा परिभाषित
Fourier Inversion Formula for -Functions — For each Haar measure on there is a unique Haar measure on such that whenever and , we have
एक समाकलनीय फलन का व्युत्क्रम फूरियर रूपांतरण द्वारा दिया गया है
विभिन्न फूरियर रूपांतरणों को उनके डोमेन और रूपांतरण डोमेन (समूह और दोहरे समूह) के संदर्भ में वर्गीकृत किया जा सकता है (ध्यान दें कि मंडल समूह है):
Transform | Original domain, | Transform domain, | Measure, |
---|---|---|---|
Fourier transform | |||
Fourier series | |||
Discrete-time Fourier transform (DTFT) | |||
Discrete Fourier transform (DFT) |
उदाहरण के तौर पर, मान लीजिए , ताकि हम सोच सकें जैसा जोड़ी द्वारा अगर यूक्लिडियन अंतरिक्ष पर लेबेस्ग माप है, हम सामान्य फूरियर रूपांतरण प्राप्त करते हैं और फूरियर व्युत्क्रम सूत्र के लिए आवश्यक दोहरी माप है . यदि हम दोनों पक्षों पर समान माप के साथ फूरियर व्युत्क्रम सूत्र प्राप्त करना चाहते हैं (अर्थात, चूंकि हम इसके बारे में सोच सकते हैं इसकी अपनी दोहरी जगह के रूप में हम मांग सकते हैं बराबर करने के लिए ) तो हमें उपयोग करने की आवश्यकता है
समूह बीजगणित
स्थानीय रूप से सुसंहत एबेलियन समूह पर पूर्णांक कार्यों का स्थान एक बीजगणित है, जहाँ गुणन कनवल्शन है: दो पूर्णांक कार्यों का कनवल्शन और परिभाषित किया जाता है
Theorem — The Banach space is an associative and commutative algebra under convolution.
इस बीजगणित को समूह बीजगणित कहा जाता है . फ़ुबिनी के प्रमेय के अनुसार|फ़ुबिनी-टोनेली प्रमेय के अनुसार कनवल्शन सबमल्टीप्लिकेटिव है मानदंड, बनाना एक बनच बीजगणित। बनच बीजगणित यदि और केवल यदि गुणक पहचान तत्व है एक असतत समूह है, अर्थात् कार्य जो पहचान पर 1 है और कहीं और शून्य है। सामान्य तौर पर, हालांकि, इसकी एक अनुमानित पहचान होती है जो एक शुद्ध (या सामान्यीकृत अनुक्रम) है एक निर्देशित समूह पर अनुक्रमित ऐसा है कि फूरियर रूपांतरण कनवल्शन को गुणन में ले जाता है, अर्थात यह एबेलियन बनच बीजगणित का एक समरूपता है (आदर्श ≤ 1):
प्लांचरेल और एल2 फूरियर उलटा प्रमेय
जैसा कि हमने कहा है, स्थानीय रूप से सुसंहत एबेलियन समूह का दोहरा समूह अपने आप में स्थानीय रूप से सुसंहत एबेलियन समूह है और इस प्रकार एक हार उपाय है, या अधिक सटीक रूप से पैमाने से संबंधित हार उपायों का एक पूरा परिवार है।
Theorem — Choose a Haar measure on and let be the dual measure on as defined above. If is continuous with compact support then and
सुसंहत समर्थन के जटिल-मूल्यवान निरंतर कार्यों के बाद से हैं -सघन, उस स्थान से एकात्मक संचालिका में फूरियर रूपांतरण का एक अनूठा विस्तार है
दोहरे समूह में अपने आप में एक व्युत्क्रम फूरियर रूपांतरण भी होता है; इसे व्युत्क्रम (या आसन्न, क्योंकि यह एकात्मक है) के रूप में चित्रित किया जा सकता है फूरियर रूपांतरण। यह की सामग्री है फूरियर उलटा सूत्र जो इस प्रकार है।
Theorem — The adjoint of the Fourier transform restricted to continuous functions of compact support is the inverse Fourier transform
यदि द्वयात्मकता समूह पूर्णांकों के समूह के लिए स्वाभाविक रूप से समरूपीय है और फूरियर रूपांतरण आवधिक कार्यों की फूरियर श्रृंखला के गुणांकों की गणना करने में माहिर है।
अगर एक परिमित समूह है, हम असतत फूरियर रूपांतरण को पुनः प्राप्त करते हैं। ध्यान दें कि इस मामले को सीधे साबित करना बहुत आसान है।
बोह्र संघनन और लगभग-आवधिकता
पोन्ट्रियाजिन द्वयात्मकता का एक महत्वपूर्ण अनुप्रयोग सुसंहत एबेलियन सांस्थितिक समूहों का निम्नलिखित लक्षण वर्णन है:
Theorem — A locally compact abelian group is compact if and only if the dual group is discrete. Conversely, is discrete if and only if is compact.
वह सुसंहत होने का तात्पर्य है असतत है या वह असतत होने का तात्पर्य है सुसंहत है, सुसंहत-ओपन संस्थितिविज्ञान की परिभाषा का एक प्राथमिक परिणाम है और पोन्ट्रियाजिन द्वंद्व की आवश्यकता नहीं है। बातचीत को साबित करने के लिए एक पोन्ट्रियाजिन द्वयात्मकता का उपयोग करता है।
बोह्र संघनन को किसी भी सामयिक समूह के लिए परिभाषित किया गया है , दोनों में से किसी की परवाह किये बिना स्थानीय रूप से सुसंहत या एबेलियन है। सुसंहत एबेलियन समूहों और असतत एबेलियन समूहों के बीच पोन्ट्रियाजिन द्वयात्मकता का एक उपयोग स्थानीय रूप से सुसंहत सांस्थितिक समूह के एक मनमाना एबेलियन के बोह्र सुसंहतिफिकेशन की विशेषता है। बोहर संघनन का है , जहाँ H की समूह संरचना है , लेकिन असतत संस्थितिविज्ञान दी। समावेशन मानचित्र के बाद से
स्पष्ट विचार
पोन्ट्रियाजिन द्वयात्मकता को लाभप्रद रूप से कार्यात्मक रूप से भी माना जा सकता है। निम्नलिखित में, LCA स्थानीय रूप से सुसंहत एबेलियन समूहों और निरंतर समूह समरूपता की श्रेणी (गणित) है। का दोहरा समूह निर्माण एक प्रतिपरिवर्ती फ़ैक्टर LCA → LCA है, जिसे वृत्त समूह द्वारा दर्शाया गया है (प्रतिनिधित्व योग्य फ़ंक्टर के अर्थ में) जैसा विशेष रूप से, डबल डुअल फंक्शनल सहपरिवर्ती है। पोन्ट्रियाजिन द्वयात्मकता का एक स्पष्ट सूत्रीकरण तब बताता है कि 'LCA' पर पहचान फ़ैक्टर और डबल डुअल फ़ंक्टर के बीच प्राकृतिक परिवर्तन एक समरूपता है।[3] एक प्राकृतिक परिवर्तन की धारणा को खोलना, इसका मतलब है कि मानचित्र किसी भी स्थानीय रूप से सुसंहत एबेलियन समूह के लिए आइसोमोर्फिज्म हैं , और ये समरूपताएँ क्रियात्मक हैं . यह समरूपता परिमित-आयामी सदिश रिक्त स्थान के दोहरे दोहरे के अनुरूप है (वास्तविक और जटिल सदिश रिक्त स्थान के लिए एक विशेष मामला)।
इस सूत्रीकरण का एक तात्कालिक परिणाम पोन्ट्रियाजिन द्वयात्मकता का एक और सामान्य श्रेणीबद्ध सूत्रीकरण है: दोहरी समूह फ़ंक्टर एलसीए से एलसीए की श्रेणियों का एक तुल्यता हैऑप।
द्वंद्व असतत समूहों और सुसंहत समूहों की उपश्रेणियों का आदान-प्रदान करता है। अगर एक अंगूठी (गणित) है और एक बायाँ है -मॉड्यूल (गणित), दोहरा समूह अधिकार बन जाएगा -मापांक; इस तरह हम उस डिस्क्रीट लेफ्ट को भी देख सकते हैं -मॉड्यूल पोन्ट्रियाजिन डुअल टू सुसंहत राइट होगा -मॉड्यूल। अंगूठी एलसीए में अंतःरूपांतरण को द्वयात्मकता द्वारा इसके विपरीत रिंग में बदल दिया जाता है # दिए गए से नए रिंग का निर्माण (गुणन को दूसरे क्रम में बदलें)। उदाहरण के लिए, अगर एक अनंत चक्रीय असतत समूह है, एक वृत्त समूह है: पूर्व में है तो यह बाद के बारे में भी सच है।
सामान्यीकरण
पोन्ट्रियाजिन द्वयात्मकता के सामान्यीकरण दो मुख्य दिशाओं में निर्मित होते हैं: कम्यूटेटिव सांस्थितिक समूहों के लिए जो स्थानीय रूप से सुसंहत समूह नहीं हैं, और गैर-अनुसूचित सांस्थितिक समूहों के लिए। इन दोनों मामलों में सिद्धांत बहुत अलग हैं।
क्रमविनिमेय सामयिक समूहों के लिए द्वयात्मकता
कब हॉउसडॉर्फ एबेलियन सामयिक समूह है, समूह सुसंहत-ओपन संस्थितिविज्ञान के साथ हॉसडॉर्फ एबेलियन सांस्थितिक समूह और नेचुरल मैपिंग है इसके दोहरे-दोहरे के लिए समझ में आता है। यदि यह मानचित्रण एक समरूपता है, तो ऐसा कहा जाता है पोन्ट्रियाजिन द्वयात्मकता को संतुष्ट करता है (या वह एक प्रतिवर्त समूह है,[4] या एक चिंतनशील समूह[5]). इस मामले से परे कई दिशाओं में इसे बढ़ाया गया है स्थानीय रूप से सुसंहत है।[6]
विशेष रूप से, सैमुअल कपलान[7][8] ने 1948 और 1950 में दिखाया कि मनमाना उत्पाद और स्थानीय रूप से सुसंहत (हॉसडॉर्फ) एबेलियन समूहों की गणनीय व्युत्क्रम सीमाएं पोन्ट्रियाजिन द्वयात्मकता को संतुष्ट करती हैं। ध्यान दें कि स्थानीय रूप से सुसंहत गैर-सुसंहत रिक्त स्थान का अनंत उत्पाद स्थानीय रूप से सुसंहत नहीं है।
बाद में, 1975 में, रंगाचारी वेंकटरमन[9] ने दिखाया, अन्य तथ्यों के साथ, कि एबेलियन सांस्थितिक समूह का हर खुला उपसमूह जो पोन्ट्रियाजिन द्वयात्मकता को संतुष्ट करता है, स्वयं पोन्ट्रियाजिन द्वयात्मकता को संतुष्ट करता है।
अभी हाल ही में, सर्जियो अर्दंज़ा-ट्रेविजानो और मारिया जेसुज चास्को[10] ने ऊपर उल्लिखित कपलान के परिणामों को बढ़ा दिया है। उन्होंने दिखाया कि पोन्ट्रियाजिन द्वयात्मकता को संतुष्ट करने वाले एबेलियन समूहों के अनुक्रमों की प्रत्यक्ष और व्युत्क्रम सीमाएं भी पोन्ट्रियाजिन द्वयात्मकता को संतुष्ट करती हैं यदि समूह मेट्रिज़ेबल हैं या -स्थान लेकिन जरूरी नहीं कि स्थानीय रूप से सुसंहत हो, बशर्ते कुछ अतिरिक्त शर्तें अनुक्रमों से संतुष्ट हों।
हालाँकि, एक मूलभूत पहलू है जो बदल जाता है अगर हम स्थानीय रूप से सुसंहत मामले से परे पोन्ट्रियाजिन द्वंद्व पर विचार करना चाहते हैं। ऐलेना मार्टिन-पीनाडोर[11] ने 1995 में साबित किया कि अगर हॉउसडॉर्फ एबेलियन सांस्थितिक समूह है जो पोन्ट्रियाजिन द्वंद्व और प्राकृतिक मूल्यांकन जोड़ी को संतुष्ट करता है
कम्यूटेटिव सांस्थितिक समूहों के व्यापक वर्गों के लिए पोन्ट्रियाजिन द्वयात्मकता को सामान्य बनाने का एक और तरीका है, दोहरे समूह को समाप्त करना थोड़ा अलग संस्थितिविज्ञान के साथ, अर्थात् पूरी तरह से बंधे हुए स्थान पर समान अभिसरण की संस्थितिविज्ञान # अन्य संदर्भों में परिभाषाएँ। पहचान को संतुष्ट करने वाले समूह इस धारणा के तहत[lower-alpha 2] स्टीरियोटाइप समूह कहलाते हैं।[5] यह वर्ग भी बहुत विस्तृत है (और इसमें स्थानीय रूप से सुसंहत एबेलियन समूह शामिल हैं), लेकिन यह चिंतनशील समूहों के वर्ग की तुलना में संकीर्ण है।[5]
सांस्थितिक सदिश स्थान के लिए पोन्ट्रियाजिन द्वयात्मकता
1952 में मैरिएन एफ। स्मिथ[12] ने देखा कि बनच स्थान और प्रतिवर्त स्थान , जिसे सांस्थितिक समूह (एडिटिव समूह कार्य प्रणाली के साथ) माना जाता है, पोन्ट्रियाजिन द्वंद्व को संतुष्ट करता है। बाद में बी.एस. ब्रुडोव्स्की,[13] विलियम सी. वाटरहाउस[14] और के. ब्रूनर[15] ने दिखाया कि यह परिणाम सभी अर्ध-पूर्ण बरेल्ड रिक्त स्थान (विशेष रूप से, सभी फ्रेचेट रिक्त स्थान) के वर्ग तक बढ़ाया जा सकता है। 1990 के दशक में सर्गेई अकबरोव[16] ने सांस्थितिक सदिश रिक्त स्थान के वर्ग का विवरण दिया जो शास्त्रीय पोन्ट्रियाजिन रिफ्लेक्सीविटी की तुलना में एक मजबूत संपत्ति को संतुष्ट करता है, अर्थात् पहचान
गैर-कम्यूटेटिव सांस्थितिक समूहों के लिए द्वयात्मकता
गैर-कम्यूटेटिव स्थानीय रूप से सुसंहत समूहों के लिए शास्त्रीय पोन्ट्रियाजिन निर्माण विभिन्न कारणों से काम करना बंद कर देता है, विशेष रूप से, क्योंकि पात्र हमेशा बिंदुओं को अलग नहीं करते हैं , और का अलघुकरणीय निरूपण हमेशा एक आयामी नहीं होते। साथ ही यह स्पष्ट नहीं है कि इरेड्यूसिबल एकात्मक निरूपण के समूह पर गुणन का परिचय कैसे दिया जाए , और यह भी स्पष्ट नहीं है कि क्या यह समूह दोहरी वस्तु की भूमिका के लिए एक अच्छा विकल्प है . अतः इस स्थिति में द्वयात्मकता निर्माण की समस्या पर पूर्ण पुनर्विचार की आवश्यकता है।
आज तक बनाए गए सिद्धांतों को दो मुख्य समूहों में विभाजित किया गया है: सिद्धांत जहां दोहरी वस्तु की प्रकृति स्रोत एक के समान होती है (जैसे कि पोन्ट्रियाजिन द्वयात्मकता में ही), और सिद्धांत जहां स्रोत वस्तु और इसकी दोहरी एक दूसरे से भिन्न होती है उन्हें एक वर्ग की वस्तुओं के रूप में गिनना असंभव है।
दूसरे प्रकार के सिद्धांत ऐतिहासिक रूप से पहले थे: पोन्ट्रियाजिन के काम के तुरंत बाद टाडाओ तनाका (1938) और मार्क करें (1949) ने मनमाना सुसंहत समूहों के लिए एक द्वयात्मकता सिद्धांत का निर्माण किया, जिसे अब तन्नाका-क्रेन द्वयात्मकता के रूप में जाना जाता है।[17][18] इस सिद्धांत में एक समूह के लिए दोहरी वस्तु एक समूह नहीं बल्कि अभ्यावेदन की एक श्रेणी है .
पहले प्रकार के सिद्धांत बाद में प्रकट हुए और उनके लिए प्रमुख उदाहरण परिमित समूहों के लिए द्वयात्मकता सिद्धांत था।[19][20] इस सिद्धांत में परिमित समूहों की श्रेणी संक्रिया द्वारा सन्निहित है समूह की अंगूठी लेने का (ऊपर ) परिमित आयामी हॉफ बीजगणित की श्रेणी में, ताकि पोन्ट्रियाजिन द्वयात्मकता क्रियाकार कार्य प्रणाली में बदल जाता है दोहरे सदिश स्थान को लेने का (जो परिमित आयामी हॉफ बीजगणित की श्रेणी में एक द्वयात्मकता कारक है)।[20]
1973 में लियोनिद आई. वेनरमैन, जॉर्ज आई. काक, मिशेल एनॉक और जीन-मैरी श्वार्ट्ज ने सभी स्थानीय सुसंहत समूहों के लिए इस प्रकार का एक सामान्य सिद्धांत बनाया।[21] 1980 के दशक से क्वांटम समूहों की खोज के बाद इस क्षेत्र में अनुसंधान फिर से शुरू किया गया, जिसमें निर्मित सिद्धांतों को सक्रिय रूप से स्थानांतरित किया जाने लगा।[22] इन सिद्धांतों को सी-स्टार बीजगणित|सी*-अलजेब्रा, या वॉन न्यूमैन बीजगणित की भाषा में तैयार किया गया है, और इसके प्रकारों में से एक स्थानीय रूप से सुसंहत क्वांटम समूहों का हालिया सिद्धांत है।[23][22]
हालांकि, इन सामान्य सिद्धांतों की कमियों में से एक यह है कि उनमें समूह की अवधारणा को सामान्य बनाने वाली वस्तुएं सामान्य बीजगणितीय अर्थों में हॉफ बीजगणित नहीं हैं।[20] सांस्थितिक बीजगणित की लिफाफा (श्रेणी सिद्धांत) की धारणा के आधार पर निर्मित द्वयात्मकता सिद्धांतों के ढांचे के भीतर इस कमी को ठीक किया जा सकता है (समूहों के कुछ वर्गों के लिए)।[24]
यह भी देखें
- पीटर-वील प्रमेय
- कार्टियर द्वंद्व
- स्टीरियोटाइप स्थान
टिप्पणियाँ
- ↑ Joint continuousness means here that the map is continuous as a map between topological spaces, where is endowed with the topology of cartesian product. This result does not hold if the map is supposed to be separately continuous, or continuous in the stereotype sense.
- ↑ Where the second dual group is dual to in the same sense.
- ↑ Hewitt & Ross 1963, (24.2).
- ↑ Morris 1977, Chapter 4.
- ↑ Roeder 1974.
- ↑ Onishchik 1984.
- ↑ 5.0 5.1 5.2 Akbarov & Shavgulidze 2003.
- ↑ Chasco, Dikranjan & Martín-Peinador 2012.
- ↑ Kaplan 1948.
- ↑ Kaplan 1950.
- ↑ Venkataraman 1975.
- ↑ Ardanza-Trevijano & Chasco 2005.
- ↑ Martín-Peinador 1995.
- ↑ Smith 1952.
- ↑ Brudovskiĭ 1967.
- ↑ Waterhouse 1968.
- ↑ Brauner 1973.
- ↑ Akbarov 2003.
- ↑ Hewitt & Ross 1970.
- ↑ Kirillov 1976.
- ↑ Kirillov 1976, 12.3.
- ↑ 20.0 20.1 20.2 Akbarov 2009.
- ↑ Enock & Schwartz 1992.
- ↑ 22.0 22.1 Timmermann 2008.
- ↑ Kustermans & Vaes 2000.
- ↑ Akbarov 2009, 2017a, 2017b
संदर्भ
- Akbarov, S.S. (2003). "Pontryagin duality in the theory of topological vector spaces and in topological algebra". Journal of Mathematical Sciences. 113 (2): 179–349. doi:10.1023/A:1020929201133. S2CID 115297067.
- Akbarov, Sergei S.; Shavgulidze, Evgeniy T. (2003). "On two classes of spaces reflexive in the sense of Pontryagin". Matematicheskii Sbornik. 194 (10): 3–26.
- Akbarov, Sergei S. (2009). "Holomorphic functions of exponential type and duality for Stein groups with algebraic connected component of identity". Journal of Mathematical Sciences. 162 (4): 459–586. arXiv:0806.3205. doi:10.1007/s10958-009-9646-1. S2CID 115153766.
- Akbarov, Sergei S. (2017a). "Continuous and smooth envelopes of topological algebras. Part 1". Journal of Mathematical Sciences. 227 (5): 531–668. arXiv:1303.2424. doi:10.1007/s10958-017-3599-6. MR 3790317. S2CID 126018582.
- Akbarov, Sergei S. (2017b). "Continuous and smooth envelopes of topological algebras. Part 2". Journal of Mathematical Sciences. 227 (6): 669–789. arXiv:1303.2424. doi:10.1007/s10958-017-3600-4. MR 3796205. S2CID 128246373.
- Brauner, Kalman (1973). "Duals of Fréchet spaces and a generalization of the Banach–Dieudonné theorem". Duke Mathematical Journal. 40 (4): 845–855. doi:10.1215/S0012-7094-73-04078-7.
- Brudovskiĭ, B. S. (1967). "On k- and c-reflexivity of locally convex vector spaces". Lithuanian Mathematical Journal. 7 (1): 17–21.
- Dixmier, Jacques (1969). Les C*-algèbres et leurs Représentations. Gauthier-Villars. ISBN 978-2-87647-013-2.
- Enock, Michel; Schwartz, Jean-Marie (1992). Kac Algebras and Duality of Locally Compact Groups. With a preface by Alain Connes. With a postface by Adrian Ocneanu. Berlin: Springer-Verlag. doi:10.1007/978-3-662-02813-1. ISBN 978-3-540-54745-7. MR 1215933.
- Hewitt, Edwin; Ross, Kenneth A. (1963). Abstract Harmonic Analysis. Vol. I: Structure of topological groups. Integration theory, group representations. Die Grundlehren der mathematischen Wissenschaften. Vol. 115. Berlin-Göttingen-Heidelberg: Springer-Verlag. ISBN 978-0-387-94190-5. MR 0156915.
- Hewitt, Edwin; Ross, Kenneth A. (1970). Abstract Harmonic Analysis. Vol. 2. ISBN 978-3-662-24595-8. MR 0262773.
- Kirillov, Alexandre A. (1976) [1972]. Elements of the theory of representations. Grundlehren der Mathematischen Wissenschaften. Vol. 220. Berlin, New York: Springer-Verlag. ISBN 978-0-387-07476-4. MR 0412321.
- Loomis, Lynn H. (1953). An Introduction to Abstract Harmonic Analysis. D. van Nostrand Co. ISBN 978-0486481234.
- Morris, S.A. (1977). Pontryagin duality and the structure of locally compact Abelian groups. Cambridge University Press. ISBN 978-0521215435.
- Onishchik, A.L. (1984). Pontrjagin duality. pp. 481–482. ISBN 978-1402006098.
{{cite book}}
:|journal=
ignored (help) - Reiter, Hans (1968). Classical Harmonic Analysis and Locally Compact Groups. ISBN 978-0198511892.
- Rudin, Walter (1962). Fourier Analysis on Groups. D. van Nostrand Co. ISBN 978-0471523642.
- Timmermann, T. (2008). An Invitation to Quantum Groups and Duality - From Hopf Algebras to Multiplicative Unitaries and Beyond. EMS Textbooks in Mathematics, European Mathematical Society. ISBN 978-3-03719-043-2.
- Kustermans, J.; Vaes, S. (2000). "Locally Compact Quantum Groups". Annales Scientifiques de l'École Normale Supérieure. 33 (6): 837–934. doi:10.1016/s0012-9593(00)01055-7.
- Ardanza-Trevijano, Sergio; Chasco, María Jesús (2005). "The Pontryagin duality of sequential limits of topological Abelian groups". Journal of Pure and Applied Algebra. 202 (1–3): 11–21. doi:10.1016/j.jpaa.2005.02.006. hdl:10171/1586. MR 2163398.
- Chasco, María Jesús; Dikranjan, Dikran; Martín-Peinador, Elena (2012). "A survey on reflexivity of abelian topological groups". Topology and Its Applications. 159 (9): 2290–2309. doi:10.1016/j.topol.2012.04.012. MR 2921819.
- Kaplan, Samuel (1948). "Extensions of the Pontrjagin duality. Part I: infinite products". Duke Mathematical Journal. 15: 649–658. doi:10.1215/S0012-7094-48-01557-9. MR 0026999.
- Kaplan, Samuel (1950). "Extensions of the Pontrjagin duality. Part II: direct and inverse limits". Duke Mathematical Journal. 17: 419–435. doi:10.1215/S0012-7094-50-01737-6. MR 0049906.
- Venkataraman, Rangachari (1975). "Extensions of Pontryagin Duality". Mathematische Zeitschrift. 143 (2): 105–112. doi:10.1007/BF01187051. S2CID 123627326.
- Martín-Peinador, Elena (1995). "A reflexible admissible topological group must be locally compact". Proceedings of the American Mathematical Society. 123 (11): 3563–3566. doi:10.2307/2161108. hdl:10338.dmlcz/127641. JSTOR 2161108.
- Roeder, David W. (1974). "Category theory applied to Pontryagin duality". Pacific Journal of Mathematics. 52 (2): 519–527. doi:10.2140/pjm.1974.52.519.
- Smith, Marianne F. (1952). "The Pontrjagin duality theorem in linear spaces". Annals of Mathematics. 56 (2): 248–253. doi:10.2307/1969798. JSTOR 1969798. MR 0049479.
- Waterhouse, William C. (1968). "Dual groups of vector spaces". Pacific Journal of Mathematics. 26 (1): 193–196. doi:10.2140/pjm.1968.26.193.