गेलफैंड-नैमार्क-सेगल निर्माण: Difference between revisions
No edit summary |
m (8 revisions imported from alpha:गेलफैंड-नैमार्क-सेगल_निर्माण) |
||
(6 intermediate revisions by 3 users not shown) | |||
Line 1: | Line 1: | ||
{{Short description|Correspondence in functional analysis}} | {{Short description|Correspondence in functional analysis}} | ||
[[कार्यात्मक विश्लेषण| | [[कार्यात्मक विश्लेषण|फलनिक विश्लेषण]] में, गणित के भीतर एक अनुशासन, जिसे [[सी*-बीजगणित|C*-बीजगणित]] A दिया जाता है, '''<nowiki/>'गेलफैंड-नैमार्क-सेगल निर्माण'''' A के चक्रीय *-निरूपण और A (जिसे अवस्था कहा जाता है) पर कुछ [[रैखिक कार्यात्मक|रैखिक फलनक]] के बीच पत्राचार स्थापित करता है। पत्राचार को अवस्था की ओर से *-निरूपण के स्पष्ट निर्माण द्वारा दिखाया गया है। इसका नाम [[इज़राइल गेलफैंड]], [[ मार्क नमारिक |मार्क नमारिक]] और [[इरविंग सेगल]] के नाम पर रखा गया है। | ||
== | == अवस्था और निरूपण == | ||
इस प्रकार से A *-[[ हिल्बर्ट स्थान | हिल्बर्ट समष्टि]] ''H'' पर C*-बीजगणित A का निरूपण A से ''H'' पर परिबद्ध संक्रियकों के बीजगणित में प्रतिचित्रण (गणित) π है जैसे कि | |||
* π एक [[वलय समरूपता]] है जो A पर अंतर्वलन (गणित) को संक्रियकों पर अंतर्वलन करता है | |||
* π [[वलय समरूपता]] है जो | * π गैर-अपक्षयी है, अर्थात सदिशों की समष्टि π(''x'') ξ संहत है क्योंकि ''x'' की श्रेणी ''A'' से होती है और ξ की श्रेणी ''H'' से होती है। ध्यान दें कि यदि A की कोई समरूपता है, तो गैर अपभ्रष्टता का अर्थ निश्चित π इकाई-संरक्षण है, अर्थात π A की समरूपता को H पर समरूपता संक्रियक से प्रतिचित्रित करता है। | ||
* π | |||
C*-बीजगणित A पर स्थिति (फलनिक विश्लेषण) मानक 1 का [[सकारात्मक रैखिक कार्यात्मक|धनात्मक रैखिक]] फलनिक ''f'' है। यदि A में गुणात्मक इकाई अवयव है तो यह स्थिति ''f(1) = 1'' के समतुल्य है। | |||
हिल्बर्ट स्पेस | हिल्बर्ट स्पेस H पर C*-बीजगणित A के निरूपण π के लिए, एक अवयव ξ को '''चक्रीय सदिश''' कहा जाता है यदि सदिश | ||
:<math>\{\pi(x)\xi:x\in A\}</math> | :<math>\{\pi(x)\xi:x\in A\}</math> | ||
H में मानक | का समुच्चय H में मानक संहत है, तो इस स्थिति में π को '''चक्रीय निरूपण''' कहा जाता है। [[अघुलनशील प्रतिनिधित्व|अपरिवर्तनीय निरूपण]] का कोई भी गैर-शून्य सदिश चक्रीय है। यद्यपि, सामान्य चक्रीय निरूपण में गैर-शून्य सदिश चक्रीय होने में विफल हो सकते हैं। | ||
===जीएनएस निर्माण=== | ===जीएनएस निर्माण=== | ||
मान लीजिए π हिल्बर्ट | मान लीजिए π हिल्बर्ट समष्टि H पर C*-बीजगणित A का *-निरूपण है और π के लिए इकाई मानक चक्रीय सदिश है। तब | ||
<math display="block"> a \mapsto \langle \pi(a) \xi, \xi\rangle </math> | <math display="block"> a \mapsto \langle \pi(a) \xi, \xi\rangle </math> | ||
A की अवस्था | A की एक अवस्था है। | ||
इसके विपरीत, | इसके विपरीत, A की प्रत्येक अवस्था को अवस्था को एक उपयुक्त विहित निरूपण के अंतर्गत उपरोक्त के अनुसार एक सदिश अवस्था के रूप में देखा जा सकता है। | ||
{{math theorem | {{math theorem | ||
| name = Theorem.<ref>[[Kadison, R. V.]], Theorem 4.5.2, Fundamentals of the Theory of Operator Algebras, Vol. I : Elementary Theory, American Mathematical Society. {{ISBN|978-0821808191}}</ref> | | name = Theorem.<ref>[[Kadison, R. V.]], Theorem 4.5.2, Fundamentals of the Theory of Operator Algebras, Vol. I : Elementary Theory, American Mathematical Society. {{ISBN|978-0821808191}}</ref> | ||
| math_statement = | | math_statement = ''A'' की स्थिति ρ को देखते हुए, ''A'' का एक *-निरूपण π है जो हिल्बर्ट समष्टि ''H'' पर विशिष्ट इकाई चक्रीय सदिश ξ के साथ कार्य करता है जैसे कि <math>\rho(a)=\langle \pi(a) \xi, \xi \rangle</math> ''A'' में प्रत्येक ''A'' के लिए। | ||
}} | }} | ||
{{math proof | proof = | {{math proof | proof = | ||
{{ordered list | {{ordered list | ||
| 1 = ''' | | 1 = '''हिल्बर्ट समष्टि का निर्माण'' H'' '''' | ||
A पर एक अर्ध-निश्चित [[सेसक्विलिनियर रूप]] | |||
<math display="block"> \langle a, b \rangle =\rho(b^*a), \; a, b \in A | <math display="block"> \langle a, b \rangle =\rho(b^*a), \; a, b \in A</math> को परिभाषित करें। | ||
[[धनात्मक रैखिक कार्यात्मक#कॉची-श्वार्ज़ असमानता|कॉची-श्वार्ज़ असमानता]] द्वारा, पतित अवयव, ''A' में ''A'' संतोषजनक ρ(''A* A'')= 0, रूप ''A'' की एक सदिश उपसमष्टि ''I'' बनाते है। C*-बीजगणितीय तर्क द्वारा, कोई यह दिखा सकता है कि I, A का बायाँ आदर्श है (जिसे ρ के बाएँ कर्नेल के रूप में जाना जाता है)। वस्तुतः, यह ρ की शून्य समष्टि में सबसे बड़ा बायां आदर्श है। सदिश उप-समष्टि ''I'' द्वारा ''A'' की [[भागफल समष्टि (रैखिक बीजगणित)|भागफल समष्टि]] एक आंतरिक गुणनफल समष्टि है जिसका आंतरिक गुणनफल <math>\langle a+I,b+I\rangle :=\rho(b^*a),\; a,b\in A</math> द्वारा परिभाषित है। इस आंतरिक उत्पाद से प्रेरित मानदंड में ''A''/''I'' की [[कौची समापन]] एक हिल्बर्ट समष्टि है, जिसे हम ''H'' द्वारा निरूपित करते हैं। | |||
| 2 = ''' | | 2 = '''निरूपण का निर्माण π''' | ||
{{pb}} | {{pb}} | ||
A/I पर A की क्रिया π को π(a)(b+I) = ab+I द्वारा A/I पर परिभाषित करें। ''I'' को बायां आदर्श दिखाने वाला वही तर्क यह भी दर्शाता है कि π(''a'') ''A''/''I'' पर एक परिबद्ध संचालिका है और इसलिए इसे पूर्णता तक विशिष्ट रूप से बढ़ाया जा सकता है। हिल्बर्ट समष्टि पर एक संक्रियक के [[संलग्न]] की परिभाषा को अनावृत करते हुए, π *-संरक्षित हो जाता है। यह *-निरूपण π के अस्तित्व को सिद्ध करता है। | |||
| 3 = ''' | | 3 = '''इकाई मानदंड चक्रीय सदिश की पहचान करना ''' | ||
{{pb}} | {{pb}} | ||
यदि ''A'' की गुणात्मक समरूपता 1 है, तो यह तत्काल है कि जीएनएस हिल्बर्ट समष्टि ''H'' में 1 युक्त समतुल्य वर्ग ξ उपरोक्त निरूपण के लिए एक चक्रीय समष्टि है। यदि A गैर-इकाई है, तो A के लिए एक [[अनुमानित समरूपता]] {''e<sub>λ</sub>''} लें। चूँकि धनात्मक रैखिक कार्यात्मकताएँ परिबद्ध हैं, नेट {''e<sub>λ</sub>''} के तुल्यता वर्ग H में कुछ सदिश ξ में परिवर्तित हो जाते हैं, जो π के लिए एक चक्रीय सदिश है। | |||
जीएनएस हिल्बर्ट समष्टि ''H'' पर आंतरिक गुणनफल की परिभाषा से यह स्पष्ट है कि अवस्था ρ को ''H'' पर एक सदिश अवस्था के रूप में पुनर्प्राप्त किया जा सकता है। इससे प्रमेय सिद्ध होता है। | |||
}} | }} | ||
}} | }} | ||
उपरोक्त प्रमेय के प्रमाण में | उपरोक्त प्रमेय के प्रमाण में A की स्थिति से *-निरूपण उत्पन्न करने के लिए उपयोग की जाने वाली विधि को '''जीएनएस निर्माण''' कहा जाता है। C*-बीजगणित A की स्थिति के लिए, संबंधित जीएनएस निरूपण अनिवार्य रूप से स्थिति, <math>\rho(a) = \langle \pi(a) \xi, \xi \rangle</math> द्वारा विशिष्ट रूप से निर्धारित किया जाता है जैसा कि निम्न प्रमेय में देखा गया है। | ||
{{math theorem | name = Theorem.<ref>[[Kadison, R. V.]], Proposition 4.5.3, Fundamentals of the Theory of Operator Algebras, Vol. I : Elementary Theory, American Mathematical Society. {{ISBN|978-0821808191}}</ref> | math_statement = A की स्थिति ρ को देखते हुए, π, π' को *-हिल्बर्ट रिक्त समष्टि H, H' पर क्रमशः A का निरूपण करें, प्रत्येक इकाई मानक चक्रीय सदिश ξ ∈ ''H'', ξ' ∈ ''H''' के साथ ऐसा हो कि सभी <math>\rho(a) = \langle \pi(a) \xi, \xi \rangle = \langle \pi'(a) \xi ', \xi ' \rangle</math> के लिए <math>a \in A</math> हो। फिर π, π' एकात्मक रूप से समतुल्य *-निरूपण हैं अर्थात ''H'' से ''H''' तक एक एकात्मक संक्रियक ''U'' है जैसे कि A में सभी a के लिए π'(''a'') = Uπ(''a'')U*। संक्रियक U जो A में सभी a के लिए एकात्मक तुल्यता प्रतिचित्र π(a)ξ से π'(a)ξ' को लागू करता है।}} | |||
{{math theorem | name = Theorem.<ref>[[Kadison, R. V.]], Proposition 4.5.3, Fundamentals of the Theory of Operator Algebras, Vol. I : Elementary Theory, American Mathematical Society. {{ISBN|978-0821808191}}</ref> | math_statement = | |||
===जीएनएस निर्माण का महत्व=== | ===जीएनएस निर्माण का महत्व=== | ||
जीएनएस निर्माण गेलफैंड-नैमार्क प्रमेय के प्रमाण के केंद्र में है जो | जीएनएस निर्माण गेलफैंड-नैमार्क प्रमेय के प्रमाण के केंद्र में है जो C*-बीजगणित को संक्रियकों के बीजगणित के रूप में दर्शाता है। AC*-बीजगणित में पर्याप्त रूप से कई शुद्ध अवस्थाएं होती हैं (निम्न देखें) ताकि संबंधित अपरिवर्तनीय जीएनएस निरूपण का प्रत्यक्ष योग [[ वफादार फनकार |विश्वसनीय कारक]] हो। | ||
सभी | सभी अवस्थाओं के संगत जीएनएस निरूपण के प्रत्यक्ष योग को A का [[सार्वभौमिक प्रतिनिधित्व (सी*-बीजगणित)|सार्वभौमिक निरूपण (C*-बीजगणित)]] कहा जाता है। A के सार्वभौमिक निरूपण में प्रत्येक चक्रीय निरूपण सम्मिलित है। जैसा कि प्रत्येक *-निरूपण चक्रीय निरूपण का प्रत्यक्ष योग है, यह इस प्रकार है कि A का प्रत्येक *-निरूपण सार्वभौमिक निरूपण की प्रतियों के कुछ योग का प्रत्यक्ष योग है। | ||
यदि Φ C*-बीजगणित | यदि Φ C*-बीजगणित A का सार्वभौमिक निरूपण है, तो [[कमजोर ऑपरेटर टोपोलॉजी|दुर्बल संक्रियक टोपोलॉजी]] में Φ(A) को संवृत करने को A का आवृत वॉन न्यूमैन बीजगणित कहा जाता है। इसे द्वितीय द्वैत ''A**'' से पहचाना जा सकता है। | ||
== | == अपरिवर्तनीय == | ||
अपरिवर्तनीय निरूपण *-निरूपण और अवस्थाओं के उत्तल समुच्चय के परम बिंदुओं के बीच का संबंध भी महत्वपूर्ण है। H पर निरूपण π अपरिवर्तनीय है यदि और मात्र तभी जब H का कोई संवृत उप-समष्टि न हो जो H और साधारण उप-समष्टि {0} के अतिरिक्त सभी संक्रियकों π (x) के अंतर्गत अपरिवर्तनीय हो। | |||
{{math theorem | math_statement = | {{math theorem | math_statement = एक इकाई अयव के साथ C*-बीजगणित ''A'' की अवस्थाओं का समुच्चय दुर्बल-* टोपोलॉजी के अंतर्गत एक संहत [[उत्तल समुच्चय]] है। सामान्यतः, (इस बात की परवाह किए बिना कि ''A'' में एक इकाई अवयव है या नहीं) मानक ≤ 1 के धनात्मक फलनों का समुच्चय एक संहत उत्तल समुच्चय है।}} | ||
ये दोनों परिणाम बानाच-अलाओग्लू प्रमेय का तुरंत अनुसरण करते हैं। | इस प्रकार से ये दोनों परिणाम बानाच-अलाओग्लू प्रमेय का तुरंत अनुसरण करते हैं। | ||
इकाई क्रमविनिमेय | इकाई क्रमविनिमेय स्थिति में, कुछ संहत X पर निरंतर फलनों के C*-बीजगणित ''C''(''X'') के लिए, रिज़्ज़-मार्कोव-काकुतानी प्रतिनिधित्व प्रमेय कहता है कि मानक ≤ 1 के धनात्मक फलन कुल द्रव्यमान ≤ 1 के साथ ''X'' पर यथार्थ रूप से बोरेल धनात्मक उपाय हैं। क्रेइन-मिलमैन प्रमेय से यह निष्कर्ष निकलता है कि परम अवस्थाएं डायराक बिंदु-द्रव्यमान माप हैं। | ||
दूसरी ओर, C(X) का | दूसरी ओर, C(X) का निरूपण अपरिवर्तनीय है यदि और मात्र यदि यह एक-आयामी है। इसलिए, माप μ के अनुरूप C(X) का जीएनएस निरूपण अप्रासंगिक है यदि और मात्र यदि μ परम अवस्था है। यह वस्तुतः सामान्यतः C*-बीजगणित के लिए सत्य है। | ||
{{math theorem | math_statement = | {{math theorem | math_statement = मान लीजिए A एक C*-बीजगणित है। यदि π इकाई मानक चक्रीय सदिश ξ के साथ हिल्बर्ट समष्टि ''H'' पर ''A'' का *-निरूपण है, तब π अप्रासंगिक है यदि और मात्र यदि संबंधित स्थिति ''f'' मानक ≤ 1 के ''A'' पर धनात्मक रैखिक फलनक के उत्तल समुच्चय का एक [[परम बिंदु]] है।}} | ||
इस परिणाम को सिद्ध करने के लिए सबसे पहले यह नोट करें कि | इस परिणाम को सिद्ध करने के लिए सबसे पहले यह नोट करें कि एक निरूपण अपरिवर्तनीय है यदि और मात्र यदि π(A) के [[ वे आदान-प्रदान करते हैं |कम्यूटेंट]], जिसे π(A)' द्वारा निरूपित किया जाता है, में तत्समक के अदिश गुणक सम्मिलित होते हैं। | ||
''f'' द्वारा प्रभुत्व वाले A पर कोई धनात्मक रैखिक फलनक g, संक्रियक क्रम में 0 ≤ ''T'' ≤ 1 के साथ π(''A'')' में कुछ धनात्मक संक्रियक ''T<sub>g</sub>'' के लिए रूप | |||
<math display="block"> g(x^*x) = \langle \pi(x) \xi, \pi(x) T_g \, \xi \rangle </math> | <math display="block"> g(x^*x) = \langle \pi(x) \xi, \pi(x) T_g \, \xi \rangle </math> | ||
का है। यह रेडॉन-निकोडिम प्रमेय का संस्करण है। | |||
ऐसे g के लिए, कोई f को | इस प्रकार से ऐसे g के लिए, कोई f को धनात्मक रैखिक फलनक के योग के रूप में लिख सकता है: f = g + g' । तो π इकाई रूप से π<sub>''g''</sub> ⊕ π<sub>''g'''</sub> के उप-निरूपण के समतुल्य है। इससे ज्ञात होता है कि π अपरिवर्तनीय है यदि और मात्र यदि ऐसा कोई π<sub>''g''</sub> इकाई रूप से π के समतुल्य है, अर्थात g, f का एक अदिश गुणज है, जो प्रमेय को सिद्ध करता है। | ||
परम अवस्थाओं को सामान्यतः अवस्था (फलनिक विश्लेषण) या शुद्ध अवस्थाएँ कहा जाता है। ध्यान दें कि अवस्था शुद्ध अवस्था है यदि और मात्र यदि वह अवस्थाओं के उत्तल समुच्चय में परम है। | |||
C*-बीजगणित के लिए उपरोक्त प्रमेय अनुमानित | इस प्रकार से C*-बीजगणित के लिए उपरोक्त प्रमेय अनुमानित तत्समक के साथ B*-बीजगणित के संदर्भ में अधिक सामान्यतः मान्य हैं। | ||
== सामान्यीकरण == | == सामान्यीकरण == | ||
[[पूरी तरह से सकारात्मक मानचित्र]] | अतः [[पूरी तरह से सकारात्मक मानचित्र|पूर्ण रूप से धनात्मक प्रतिचित्रों]] को दर्शाने वाला [[स्टाइनस्प्रिंग फैक्टराइजेशन प्रमेय|स्टाइनस्प्रिंग गुणनखंडन प्रमेय]] जीएनएस निर्माण का एक महत्वपूर्ण सामान्यीकरण है। | ||
== इतिहास == | == इतिहास == | ||
गेलफैंड-नैमार्क प्रमेय पर गेलफैंड और नैमार्क का | गेलफैंड-नैमार्क प्रमेय पर गेलफैंड और नैमार्क का लेख प्रकाशित हुआ था।<ref>{{cite journal |author=[[I. M. Gelfand]], [[M. A. Naimark]] |title=हिल्बर्ट स्थान पर ऑपरेटरों की रिंग में मानक रिंगों को शामिल करने पर|journal=[[Matematicheskii Sbornik]] |volume=12 |issue=2 |year=1943 |pages=197–217 |url=http://mi.mathnet.ru/eng/msb6155}} (also [https://books.google.com/books?id=DYCUp0JYU6sC&pg=PA3 Google Books], see pp. 3–20)</ref> सेगल ने इस फलन में निहित निर्माण को पहचाना और इसे तीक्ष्ण रूप में प्रस्तुत किया।<ref>[[Richard V. Kadison]]: ''Notes on the Gelfand–Neimark theorem''. In: Robert C. Doran (ed.): ''C*-Algebras: 1943–1993. A Fifty Year Celebration'', AMS special session commemorating the first fifty years of C*-algebra theory, January 13–14, 1993, San Antonio, Texas, American Mathematical Society, pp. 21–54, {{ISBN|0-8218-5175-6}} ([https://books.google.com/books?id=DYCUp0JYU6sC&pg=PA3 available from Google Books], see pp. 21 ff.)</ref> | ||
1947 के अपने | |||
इस प्रकार से 1947 के अपने लेख में सेगल ने दिखाया कि यह किसी भी भौतिक प्रणाली के लिए, जिसे हिल्बर्ट समष्टि पर संक्रियकों के बीजगणित द्वारा वर्णित किया जा सकता है, C*-बीजगणित के अपरिवर्तनीय निरूपण पर विचार करने के लिए पर्याप्त है। क्वांटम सिद्धांत में इसका अर्थ यह है कि C*-बीजगणित वेधशालाओं द्वारा उत्पन्न होता है। जैसा कि सेगल ने बताया, यह पहले [[जॉन वॉन न्यूमैन]] द्वारा मात्र गैर-सापेक्षवादी श्रोडिंगर-हाइजेनबर्ग सिद्धांत के विशिष्ट स्थिति के लिए दिखाया गया था।<ref>{{cite journal |author=[[I. E. Segal]]|title=संचालिका बीजगणित का अघुलनशील निरूपण|journal=Bull. Am. Math. Soc. |volume=53 |year=1947 |issue=2 |pages=73–88 |url=https://www.ams.org/journals/bull/1947-53-02/S0002-9904-1947-08742-5/S0002-9904-1947-08742-5.pdf |doi=10.1090/s0002-9904-1947-08742-5|doi-access=free }}</ref> | |||
== यह भी देखें == | == यह भी देखें == | ||
*[[चक्रीय और पृथक्कारी सदिश]] | *[[चक्रीय और पृथक्कारी सदिश]] | ||
Line 121: | Line 120: | ||
{{DEFAULTSORT:Gelfand-Naimark-Segal construction}} | {{DEFAULTSORT:Gelfand-Naimark-Segal construction}} | ||
[[Category:CS1 maint|Gelfand-Naimark-Segal construction]] | |||
[[Category:Created On 13/10/2023|Gelfand-Naimark-Segal construction]] | |||
[[Category:Machine Translated Page|Gelfand-Naimark-Segal construction]] | |||
[[Category:Pages with script errors|Gelfand-Naimark-Segal construction]] | |||
[[Category:Short description with empty Wikidata description|Gelfand-Naimark-Segal construction]] | |||
[[Category:Template documentation pages|Short description/doc]] | |||
[[Category:Templates Vigyan Ready|Gelfand-Naimark-Segal construction]] | |||
[[Category: | [[Category:Templates that add a tracking category|Gelfand-Naimark-Segal construction]] | ||
[[Category: | [[Category:Templates that generate short descriptions|Gelfand-Naimark-Segal construction]] | ||
[[Category:Templates using TemplateData|Gelfand-Naimark-Segal construction]] | |||
[[Category:Vigyan Ready]] |
Latest revision as of 10:17, 11 December 2023
फलनिक विश्लेषण में, गणित के भीतर एक अनुशासन, जिसे C*-बीजगणित A दिया जाता है, 'गेलफैंड-नैमार्क-सेगल निर्माण' A के चक्रीय *-निरूपण और A (जिसे अवस्था कहा जाता है) पर कुछ रैखिक फलनक के बीच पत्राचार स्थापित करता है। पत्राचार को अवस्था की ओर से *-निरूपण के स्पष्ट निर्माण द्वारा दिखाया गया है। इसका नाम इज़राइल गेलफैंड, मार्क नमारिक और इरविंग सेगल के नाम पर रखा गया है।
अवस्था और निरूपण
इस प्रकार से A *- हिल्बर्ट समष्टि H पर C*-बीजगणित A का निरूपण A से H पर परिबद्ध संक्रियकों के बीजगणित में प्रतिचित्रण (गणित) π है जैसे कि
- π एक वलय समरूपता है जो A पर अंतर्वलन (गणित) को संक्रियकों पर अंतर्वलन करता है
- π गैर-अपक्षयी है, अर्थात सदिशों की समष्टि π(x) ξ संहत है क्योंकि x की श्रेणी A से होती है और ξ की श्रेणी H से होती है। ध्यान दें कि यदि A की कोई समरूपता है, तो गैर अपभ्रष्टता का अर्थ निश्चित π इकाई-संरक्षण है, अर्थात π A की समरूपता को H पर समरूपता संक्रियक से प्रतिचित्रित करता है।
C*-बीजगणित A पर स्थिति (फलनिक विश्लेषण) मानक 1 का धनात्मक रैखिक फलनिक f है। यदि A में गुणात्मक इकाई अवयव है तो यह स्थिति f(1) = 1 के समतुल्य है।
हिल्बर्ट स्पेस H पर C*-बीजगणित A के निरूपण π के लिए, एक अवयव ξ को चक्रीय सदिश कहा जाता है यदि सदिश
का समुच्चय H में मानक संहत है, तो इस स्थिति में π को चक्रीय निरूपण कहा जाता है। अपरिवर्तनीय निरूपण का कोई भी गैर-शून्य सदिश चक्रीय है। यद्यपि, सामान्य चक्रीय निरूपण में गैर-शून्य सदिश चक्रीय होने में विफल हो सकते हैं।
जीएनएस निर्माण
मान लीजिए π हिल्बर्ट समष्टि H पर C*-बीजगणित A का *-निरूपण है और π के लिए इकाई मानक चक्रीय सदिश है। तब
इसके विपरीत, A की प्रत्येक अवस्था को अवस्था को एक उपयुक्त विहित निरूपण के अंतर्गत उपरोक्त के अनुसार एक सदिश अवस्था के रूप में देखा जा सकता है।
Theorem.[1] — A की स्थिति ρ को देखते हुए, A का एक *-निरूपण π है जो हिल्बर्ट समष्टि H पर विशिष्ट इकाई चक्रीय सदिश ξ के साथ कार्य करता है जैसे कि A में प्रत्येक A के लिए।
- हिल्बर्ट समष्टि का निर्माण H '
A पर एक अर्ध-निश्चित सेसक्विलिनियर रूप
को परिभाषित करें। कॉची-श्वार्ज़ असमानता द्वारा, पतित अवयव, A' में A संतोषजनक ρ(A* A)= 0, रूप A की एक सदिश उपसमष्टि I बनाते है। C*-बीजगणितीय तर्क द्वारा, कोई यह दिखा सकता है कि I, A का बायाँ आदर्श है (जिसे ρ के बाएँ कर्नेल के रूप में जाना जाता है)। वस्तुतः, यह ρ की शून्य समष्टि में सबसे बड़ा बायां आदर्श है। सदिश उप-समष्टि I द्वारा A की भागफल समष्टि एक आंतरिक गुणनफल समष्टि है जिसका आंतरिक गुणनफल द्वारा परिभाषित है। इस आंतरिक उत्पाद से प्रेरित मानदंड में A/I की कौची समापन एक हिल्बर्ट समष्टि है, जिसे हम H द्वारा निरूपित करते हैं। - निरूपण का निर्माण π A/I पर A की क्रिया π को π(a)(b+I) = ab+I द्वारा A/I पर परिभाषित करें। I को बायां आदर्श दिखाने वाला वही तर्क यह भी दर्शाता है कि π(a) A/I पर एक परिबद्ध संचालिका है और इसलिए इसे पूर्णता तक विशिष्ट रूप से बढ़ाया जा सकता है। हिल्बर्ट समष्टि पर एक संक्रियक के संलग्न की परिभाषा को अनावृत करते हुए, π *-संरक्षित हो जाता है। यह *-निरूपण π के अस्तित्व को सिद्ध करता है।
- इकाई मानदंड चक्रीय सदिश की पहचान करना
यदि A की गुणात्मक समरूपता 1 है, तो यह तत्काल है कि जीएनएस हिल्बर्ट समष्टि H में 1 युक्त समतुल्य वर्ग ξ उपरोक्त निरूपण के लिए एक चक्रीय समष्टि है। यदि A गैर-इकाई है, तो A के लिए एक अनुमानित समरूपता {eλ} लें। चूँकि धनात्मक रैखिक कार्यात्मकताएँ परिबद्ध हैं, नेट {eλ} के तुल्यता वर्ग H में कुछ सदिश ξ में परिवर्तित हो जाते हैं, जो π के लिए एक चक्रीय सदिश है।
जीएनएस हिल्बर्ट समष्टि H पर आंतरिक गुणनफल की परिभाषा से यह स्पष्ट है कि अवस्था ρ को H पर एक सदिश अवस्था के रूप में पुनर्प्राप्त किया जा सकता है। इससे प्रमेय सिद्ध होता है।
उपरोक्त प्रमेय के प्रमाण में A की स्थिति से *-निरूपण उत्पन्न करने के लिए उपयोग की जाने वाली विधि को जीएनएस निर्माण कहा जाता है। C*-बीजगणित A की स्थिति के लिए, संबंधित जीएनएस निरूपण अनिवार्य रूप से स्थिति, द्वारा विशिष्ट रूप से निर्धारित किया जाता है जैसा कि निम्न प्रमेय में देखा गया है।
Theorem.[2] — A की स्थिति ρ को देखते हुए, π, π' को *-हिल्बर्ट रिक्त समष्टि H, H' पर क्रमशः A का निरूपण करें, प्रत्येक इकाई मानक चक्रीय सदिश ξ ∈ H, ξ' ∈ H' के साथ ऐसा हो कि सभी के लिए हो। फिर π, π' एकात्मक रूप से समतुल्य *-निरूपण हैं अर्थात H से H' तक एक एकात्मक संक्रियक U है जैसे कि A में सभी a के लिए π'(a) = Uπ(a)U*। संक्रियक U जो A में सभी a के लिए एकात्मक तुल्यता प्रतिचित्र π(a)ξ से π'(a)ξ' को लागू करता है।
जीएनएस निर्माण का महत्व
जीएनएस निर्माण गेलफैंड-नैमार्क प्रमेय के प्रमाण के केंद्र में है जो C*-बीजगणित को संक्रियकों के बीजगणित के रूप में दर्शाता है। AC*-बीजगणित में पर्याप्त रूप से कई शुद्ध अवस्थाएं होती हैं (निम्न देखें) ताकि संबंधित अपरिवर्तनीय जीएनएस निरूपण का प्रत्यक्ष योग विश्वसनीय कारक हो।
सभी अवस्थाओं के संगत जीएनएस निरूपण के प्रत्यक्ष योग को A का सार्वभौमिक निरूपण (C*-बीजगणित) कहा जाता है। A के सार्वभौमिक निरूपण में प्रत्येक चक्रीय निरूपण सम्मिलित है। जैसा कि प्रत्येक *-निरूपण चक्रीय निरूपण का प्रत्यक्ष योग है, यह इस प्रकार है कि A का प्रत्येक *-निरूपण सार्वभौमिक निरूपण की प्रतियों के कुछ योग का प्रत्यक्ष योग है।
यदि Φ C*-बीजगणित A का सार्वभौमिक निरूपण है, तो दुर्बल संक्रियक टोपोलॉजी में Φ(A) को संवृत करने को A का आवृत वॉन न्यूमैन बीजगणित कहा जाता है। इसे द्वितीय द्वैत A** से पहचाना जा सकता है।
अपरिवर्तनीय
अपरिवर्तनीय निरूपण *-निरूपण और अवस्थाओं के उत्तल समुच्चय के परम बिंदुओं के बीच का संबंध भी महत्वपूर्ण है। H पर निरूपण π अपरिवर्तनीय है यदि और मात्र तभी जब H का कोई संवृत उप-समष्टि न हो जो H और साधारण उप-समष्टि {0} के अतिरिक्त सभी संक्रियकों π (x) के अंतर्गत अपरिवर्तनीय हो।
Theorem — एक इकाई अयव के साथ C*-बीजगणित A की अवस्थाओं का समुच्चय दुर्बल-* टोपोलॉजी के अंतर्गत एक संहत उत्तल समुच्चय है। सामान्यतः, (इस बात की परवाह किए बिना कि A में एक इकाई अवयव है या नहीं) मानक ≤ 1 के धनात्मक फलनों का समुच्चय एक संहत उत्तल समुच्चय है।
इस प्रकार से ये दोनों परिणाम बानाच-अलाओग्लू प्रमेय का तुरंत अनुसरण करते हैं।
इकाई क्रमविनिमेय स्थिति में, कुछ संहत X पर निरंतर फलनों के C*-बीजगणित C(X) के लिए, रिज़्ज़-मार्कोव-काकुतानी प्रतिनिधित्व प्रमेय कहता है कि मानक ≤ 1 के धनात्मक फलन कुल द्रव्यमान ≤ 1 के साथ X पर यथार्थ रूप से बोरेल धनात्मक उपाय हैं। क्रेइन-मिलमैन प्रमेय से यह निष्कर्ष निकलता है कि परम अवस्थाएं डायराक बिंदु-द्रव्यमान माप हैं।
दूसरी ओर, C(X) का निरूपण अपरिवर्तनीय है यदि और मात्र यदि यह एक-आयामी है। इसलिए, माप μ के अनुरूप C(X) का जीएनएस निरूपण अप्रासंगिक है यदि और मात्र यदि μ परम अवस्था है। यह वस्तुतः सामान्यतः C*-बीजगणित के लिए सत्य है।
Theorem — मान लीजिए A एक C*-बीजगणित है। यदि π इकाई मानक चक्रीय सदिश ξ के साथ हिल्बर्ट समष्टि H पर A का *-निरूपण है, तब π अप्रासंगिक है यदि और मात्र यदि संबंधित स्थिति f मानक ≤ 1 के A पर धनात्मक रैखिक फलनक के उत्तल समुच्चय का एक परम बिंदु है।
इस परिणाम को सिद्ध करने के लिए सबसे पहले यह नोट करें कि एक निरूपण अपरिवर्तनीय है यदि और मात्र यदि π(A) के कम्यूटेंट, जिसे π(A)' द्वारा निरूपित किया जाता है, में तत्समक के अदिश गुणक सम्मिलित होते हैं।
f द्वारा प्रभुत्व वाले A पर कोई धनात्मक रैखिक फलनक g, संक्रियक क्रम में 0 ≤ T ≤ 1 के साथ π(A)' में कुछ धनात्मक संक्रियक Tg के लिए रूप
इस प्रकार से ऐसे g के लिए, कोई f को धनात्मक रैखिक फलनक के योग के रूप में लिख सकता है: f = g + g' । तो π इकाई रूप से πg ⊕ πg' के उप-निरूपण के समतुल्य है। इससे ज्ञात होता है कि π अपरिवर्तनीय है यदि और मात्र यदि ऐसा कोई πg इकाई रूप से π के समतुल्य है, अर्थात g, f का एक अदिश गुणज है, जो प्रमेय को सिद्ध करता है।
परम अवस्थाओं को सामान्यतः अवस्था (फलनिक विश्लेषण) या शुद्ध अवस्थाएँ कहा जाता है। ध्यान दें कि अवस्था शुद्ध अवस्था है यदि और मात्र यदि वह अवस्थाओं के उत्तल समुच्चय में परम है।
इस प्रकार से C*-बीजगणित के लिए उपरोक्त प्रमेय अनुमानित तत्समक के साथ B*-बीजगणित के संदर्भ में अधिक सामान्यतः मान्य हैं।
सामान्यीकरण
अतः पूर्ण रूप से धनात्मक प्रतिचित्रों को दर्शाने वाला स्टाइनस्प्रिंग गुणनखंडन प्रमेय जीएनएस निर्माण का एक महत्वपूर्ण सामान्यीकरण है।
इतिहास
गेलफैंड-नैमार्क प्रमेय पर गेलफैंड और नैमार्क का लेख प्रकाशित हुआ था।[3] सेगल ने इस फलन में निहित निर्माण को पहचाना और इसे तीक्ष्ण रूप में प्रस्तुत किया।[4]
इस प्रकार से 1947 के अपने लेख में सेगल ने दिखाया कि यह किसी भी भौतिक प्रणाली के लिए, जिसे हिल्बर्ट समष्टि पर संक्रियकों के बीजगणित द्वारा वर्णित किया जा सकता है, C*-बीजगणित के अपरिवर्तनीय निरूपण पर विचार करने के लिए पर्याप्त है। क्वांटम सिद्धांत में इसका अर्थ यह है कि C*-बीजगणित वेधशालाओं द्वारा उत्पन्न होता है। जैसा कि सेगल ने बताया, यह पहले जॉन वॉन न्यूमैन द्वारा मात्र गैर-सापेक्षवादी श्रोडिंगर-हाइजेनबर्ग सिद्धांत के विशिष्ट स्थिति के लिए दिखाया गया था।[5]
यह भी देखें
संदर्भ
- William Arveson, An Invitation to C*-Algebra, Springer-Verlag, 1981
- Kadison, Richard, Fundamentals of the Theory of Operator Algebras, Vol. I : Elementary Theory, American Mathematical Society. ISBN 978-0821808191.
- Jacques Dixmier, Les C*-algèbres et leurs Représentations, Gauthier-Villars, 1969.
English translation: Dixmier, Jacques (1982). C*-algebras. North-Holland. ISBN 0-444-86391-5. - Thomas Timmermann, An invitation to quantum groups and duality: from Hopf algebras to multiplicative unitaries and beyond, European Mathematical Society, 2008, ISBN 978-3-03719-043-2 – Appendix 12.1, section: GNS construction (p. 371)
- Stefan Waldmann: On the representation theory of deformation quantization, In: Deformation Quantization: Proceedings of the Meeting of Theoretical Physicists and Mathematicians, Strasbourg, May 31-June 2, 2001 (Studies in Generative Grammar) , Gruyter, 2002, ISBN 978-3-11-017247-8, p. 107–134 – section 4. The GNS construction (p. 113)
- G. Giachetta, L. Mangiarotti, G. Sardanashvily (2005). Geometric and Algebraic Topological Methods in Quantum Mechanics. World Scientific. ISBN 981-256-129-3.
{{cite book}}
: CS1 maint: multiple names: authors list (link)
इनलाइन संदर्भ
- ↑ Kadison, R. V., Theorem 4.5.2, Fundamentals of the Theory of Operator Algebras, Vol. I : Elementary Theory, American Mathematical Society. ISBN 978-0821808191
- ↑ Kadison, R. V., Proposition 4.5.3, Fundamentals of the Theory of Operator Algebras, Vol. I : Elementary Theory, American Mathematical Society. ISBN 978-0821808191
- ↑ I. M. Gelfand, M. A. Naimark (1943). "हिल्बर्ट स्थान पर ऑपरेटरों की रिंग में मानक रिंगों को शामिल करने पर". Matematicheskii Sbornik. 12 (2): 197–217. (also Google Books, see pp. 3–20)
- ↑ Richard V. Kadison: Notes on the Gelfand–Neimark theorem. In: Robert C. Doran (ed.): C*-Algebras: 1943–1993. A Fifty Year Celebration, AMS special session commemorating the first fifty years of C*-algebra theory, January 13–14, 1993, San Antonio, Texas, American Mathematical Society, pp. 21–54, ISBN 0-8218-5175-6 (available from Google Books, see pp. 21 ff.)
- ↑ I. E. Segal (1947). "संचालिका बीजगणित का अघुलनशील निरूपण" (PDF). Bull. Am. Math. Soc. 53 (2): 73–88. doi:10.1090/s0002-9904-1947-08742-5.