गेलफैंड-नैमार्क-सेगल निर्माण: Difference between revisions

From Vigyanwiki
(Created page with "{{Short description|Correspondence in functional analysis}} कार्यात्मक विश्लेषण में, गणित के भीतर एक अ...")
 
 
(7 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 पर समरूपता संक्रियक से प्रतिचित्रित करता है।
* π नॉनडीजेनरेट है, अर्थात सदिशों का स्थान π(''x'') ξ सघन है क्योंकि ''x'' की श्रेणी ''A'' से होती है और ξ की श्रेणी ''H'' से होती है। ध्यान दें कि यदि ''ए'' की एक पहचान है, तो नॉनडिजेनरेसी का मतलब है कि π इकाई-संरक्षण है, यानी π ''ए'' की पहचान को ''एच'' पर पहचान ऑपरेटर को मैप करता है।


सी*-बीजगणित ''ए'' पर एक स्थिति (कार्यात्मक विश्लेषण) मानक 1 का एक [[सकारात्मक रैखिक कार्यात्मक]] ''एफ'' है। यदि ''ए'' में एक गुणक इकाई तत्व है तो यह स्थिति ''एफ'' के बराबर है ''(1)=1.
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 का *-प्रतिनिधित्व है और π के लिए एक इकाई मानक चक्रीय वेक्टर है। तब
मान लीजिए π हिल्बर्ट समष्टि 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 = Given a state ρ of ''A'', there is a *-representation π of ''A'' acting on a Hilbert space ''H'' with distinguished unit cyclic vector ξ such that <math>\rho(a)=\langle \pi(a) \xi, \xi \rangle</math> for every ''a'' in ''A''.
| 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 = '''Construction of the Hilbert space ''H'' '''
| 1 = '''हिल्बर्ट समष्टि का निर्माण'' H'' ''''


Define on ''A'' a semi-definite [[sesquilinear form]]
A पर एक अर्ध-निश्चित [[सेसक्विलिनियर रूप]]
<math display="block"> \langle a, b \rangle =\rho(b^*a), \; a, b \in A.</math>
<math display="block"> \langle a, b \rangle =\rho(b^*a), \; a, b \in A</math> को परिभाषित करें।
By the [[Positive linear functional#Cauchy-Schwarz inequality|Cauchy–Schwarz inequality]], the degenerate elements, ''a'' in ''A'' satisfying ρ(''a* a'')= 0, form a vector subspace ''I'' of ''A''. By a C*-algebraic argument, one can show that ''I'' is a [[left ideal]] of ''A'' (known as the left kernel of ρ). In fact, it is the largest left ideal in the null space of ρ. The [[quotient space (linear algebra)|quotient space]] of ''A'' by the vector subspace ''I'' is an inner product space with the inner product defined by<math>\langle a+I,b+I\rangle :=\rho(b^*a),\; a,b\in A</math>. The [[Cauchy completion]] of ''A''/''I'' in the norm induced by this inner product is a Hilbert space, which we denote by ''H''.
[[धनात्मक रैखिक कार्यात्मक#कॉची-श्वार्ज़ असमानता|कॉची-श्वार्ज़ असमानता]] द्वारा, पतित अवयव, ''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 = '''Construction of the representation π '''
| 2 = '''निरूपण का निर्माण π'''
{{pb}}
{{pb}}
Define the action π of ''A'' on ''A''/''I'' by π(''a'')(''b''+''I'') = ''ab''+''I'' of ''A'' on ''A''/''I''. The same argument showing ''I'' is a left ideal also implies that π(''a'') is a bounded operator on ''A''/''I'' and therefore can be extended uniquely to the completion. Unravelling the definition of the [[adjoint]] of an operator on a Hilbert space, π turns out to be *-preserving. This proves the existence of a  *-representation π.
A/I पर A की क्रिया π को π(a)(b+I) = ab+I द्वारा A/I पर परिभाषित करें। ''I'' को बायां आदर्श दिखाने वाला वही तर्क यह भी दर्शाता है कि π(''a'') ''A''/''I'' पर एक परिबद्ध संचालिका है और इसलिए इसे पूर्णता तक विशिष्ट रूप से बढ़ाया जा सकता है। हिल्बर्ट समष्टि पर एक संक्रियक के [[संलग्न]] की परिभाषा को अनावृत करते हुए, π *-संरक्षित हो जाता है। यह *-निरूपण π के अस्तित्व को सिद्ध करता है।


| 3 = '''Identifying the unit norm cyclic vector ξ '''
| 3 = '''इकाई मानदंड चक्रीय सदिश की पहचान करना '''
{{pb}}
{{pb}}
If ''A'' has a multiplicative identity 1, then it is immediate that the equivalence class ξ in the GNS Hilbert space ''H'' containing 1 is a cyclic vector for the above representation. If ''A'' is non-unital, take  an [[approximate identity]] {''e<sub>&lambda;</sub>''} for ''A''. Since positive linear functionals are bounded, the equivalence classes of the net {''e<sub>&lambda;</sub>''} converges to some vector ξ in ''H'', which is a cyclic vector for π.
यदि ''A'' की गुणात्मक समरूपता 1 है, तो यह तत्काल है कि जीएनएस हिल्बर्ट समष्टि ''H'' में 1 युक्त समतुल्य वर्ग ξ उपरोक्त निरूपण के लिए एक चक्रीय समष्टि है। यदि A गैर-इकाई है, तो A के लिए एक [[अनुमानित समरूपता]] {''e<sub>&lambda;</sub>''} लें। चूँकि धनात्मक रैखिक कार्यात्मकताएँ परिबद्ध हैं, नेट {''e<sub>&lambda;</sub>''} के तुल्यता वर्ग H में कुछ सदिश ξ में परिवर्तित हो जाते हैं, जो π के लिए एक चक्रीय सदिश है।


It is clear from the definition of the inner product on the GNS Hilbert space ''H'' that the state ρ can be recovered as a vector state on ''H''. This proves the theorem.
जीएनएस हिल्बर्ट समष्टि ''H'' पर आंतरिक गुणनफल की परिभाषा से यह स्पष्ट है कि अवस्था ρ को ''H'' पर एक सदिश अवस्था के रूप में पुनर्प्राप्त किया जा सकता है। इससे प्रमेय सिद्ध होता है।
}}
}}
}}
}}


उपरोक्त प्रमेय के प्रमाण में ए की स्थिति से *-निरूपण उत्पन्न करने के लिए उपयोग की जाने वाली विधि को 'जीएनएस निर्माण' कहा जाता है।
उपरोक्त प्रमेय के प्रमाण में A की स्थिति से *-निरूपण उत्पन्न करने के लिए उपयोग की जाने वाली विधि को '''जीएनएस निर्माण''' कहा जाता है। C*-बीजगणित A की स्थिति के लिए, संबंधित जीएनएस निरूपण अनिवार्य रूप से स्थिति, <math>\rho(a) = \langle \pi(a) \xi, \xi \rangle</math> द्वारा विशिष्ट रूप से निर्धारित किया जाता है जैसा कि निम्न प्रमेय में देखा गया है।
सी*-बीजगणित ए की स्थिति के लिए, संबंधित जीएनएस प्रतिनिधित्व अनिवार्य रूप से स्थिति द्वारा विशिष्ट रूप से निर्धारित किया जाता है, <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&apos;'' के साथ ऐसा हो कि सभी <math>\rho(a) = \langle \pi(a) \xi, \xi \rangle = \langle \pi'(a) \xi ', \xi ' \rangle</math> के लिए <math>a \in A</math> हो। फिर π, π' एकात्मक रूप से समतुल्य *-निरूपण हैं अर्थात ''H'' से ''H&apos;'' तक एक एकात्मक संक्रियक ''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 = Given a state ρ of ''A'', let π, π' be *-representations of ''A'' on Hilbert spaces ''H'', ''H&apos;'' respectively each with unit norm cyclic vectors ξ ∈ ''H'', ξ' ∈ ''H&apos;'' such that <math>\rho(a) = \langle \pi(a) \xi, \xi \rangle = \langle \pi'(a) \xi ', \xi ' \rangle</math> for all <math>a \in A</math>. Then π, π' are unitarily equivalent *-representations i.e. there is a unitary operator ''U'' from ''H'' to ''H&apos;'' such that π'(''a'') = Uπ(''a'')U* for all ''a'' in ''A''. The operator ''U'' that  implements the unitary equivalence maps π(''a'')ξ to π'(''a'')ξ' for all ''a'' in ''A''.}}


===जीएनएस निर्माण का महत्व===
===जीएनएस निर्माण का महत्व===
जीएनएस निर्माण गेलफैंड-नैमार्क प्रमेय के प्रमाण के केंद्र में है जो सी*-बीजगणित को ऑपरेटरों के बीजगणित के रूप में दर्शाता है। एसी*-बीजगणित में पर्याप्त रूप से कई शुद्ध अवस्थाएं हैं (नीचे देखें) ताकि संबंधित अपरिवर्तनीय जीएनएस अभ्यावेदन का प्रत्यक्ष योग [[ वफादार फनकार ]] हो।
जीएनएस निर्माण गेलफैंड-नैमार्क प्रमेय के प्रमाण के केंद्र में है जो C*-बीजगणित को संक्रियकों के बीजगणित के रूप में दर्शाता है। AC*-बीजगणित में पर्याप्त रूप से कई शुद्ध अवस्थाएं होती हैं (निम्न देखें) ताकि संबंधित अपरिवर्तनीय जीएनएस निरूपण का प्रत्यक्ष योग [[ वफादार फनकार |विश्वसनीय कारक]] हो।


सभी राज्यों के संगत जीएनएस अभ्यावेदन के प्रत्यक्ष योग को ''ए'' का [[सार्वभौमिक प्रतिनिधित्व (सी*-बीजगणित)]] कहा जाता है। ''ए'' के सार्वभौमिक प्रतिनिधित्व में प्रत्येक चक्रीय प्रतिनिधित्व शामिल है। जैसा कि प्रत्येक *-प्रतिनिधित्व चक्रीय अभ्यावेदन का प्रत्यक्ष योग है, यह इस प्रकार है कि ''ए'' का प्रत्येक *-प्रतिनिधित्व सार्वभौमिक प्रतिनिधित्व की प्रतियों के कुछ योग का प्रत्यक्ष योग है।
सभी अवस्थाओं के संगत जीएनएस निरूपण के प्रत्यक्ष योग को A का [[सार्वभौमिक प्रतिनिधित्व (सी*-बीजगणित)|सार्वभौमिक निरूपण (C*-बीजगणित)]] कहा जाता है। A के सार्वभौमिक निरूपण में प्रत्येक चक्रीय निरूपण सम्मिलित है। जैसा कि प्रत्येक *-निरूपण चक्रीय निरूपण का प्रत्यक्ष योग है, यह इस प्रकार है कि A का प्रत्येक *-निरूपण सार्वभौमिक निरूपण की प्रतियों के कुछ योग का प्रत्यक्ष योग है।


यदि Φ C*-बीजगणित ''ए'' का सार्वभौमिक प्रतिनिधित्व है, तो [[कमजोर ऑपरेटर टोपोलॉजी]] में Φ(''ए'') को बंद करने को ''ए'' का आवरण वॉन न्यूमैन बीजगणित कहा जाता है। इसे डबल डुअल ''ए**'' से पहचाना जा सकता है।
यदि Φ C*-बीजगणित A का सार्वभौमिक निरूपण है, तो [[कमजोर ऑपरेटर टोपोलॉजी|दुर्बल संक्रियक टोपोलॉजी]] में Φ(A) को संवृत करने को A का आवृत वॉन न्यूमैन बीजगणित कहा जाता है। इसे द्वितीय द्वैत ''A**'' से पहचाना जा सकता है।


== इरेड्यूसिबिलिटी ==
== अपरिवर्तनीय ==


अघुलनशील प्रतिनिधित्व *-प्रतिनिधित्व और राज्यों के उत्तल सेट के चरम बिंदुओं के बीच का संबंध भी महत्वपूर्ण है। H पर एक प्रतिनिधित्व π अपरिवर्तनीय है यदि और केवल तभी जब H का कोई बंद उप-स्थान न हो जो H और तुच्छ उप-स्थान {0} के अलावा सभी ऑपरेटरों π (x) के तहत अपरिवर्तनीय हो।
अपरिवर्तनीय निरूपण *-निरूपण और अवस्थाओं के उत्तल समुच्चय के परम बिंदुओं के बीच का संबंध भी महत्वपूर्ण है। H पर निरूपण π अपरिवर्तनीय है यदि और मात्र तभी जब H का कोई संवृत उप-समष्टि न हो जो H और साधारण उप-समष्टि {0} के अतिरिक्त सभी संक्रियकों π (x) के अंतर्गत अपरिवर्तनीय हो।


{{math theorem | math_statement = The set of states of a C*-algebra ''A'' with a unit element is a compact [[convex set]] under the weak-* topology.  In general, (regardless of whether or not ''A'' has a unit element) the set of positive functionals of norm ≤ 1 is a compact convex set.}}
{{math theorem | math_statement = एक इकाई अयव के साथ C*-बीजगणित ''A'' की अवस्थाओं का समुच्चय दुर्बल-* टोपोलॉजी के अंतर्गत एक संहत [[उत्तल समुच्चय]] है। सामान्यतः, (इस बात की परवाह किए बिना कि ''A'' में एक इकाई अवयव है या नहीं) मानक ≤ 1 के धनात्मक फलनों का समुच्चय एक संहत उत्तल समुच्चय है।}}


ये दोनों परिणाम बानाच-अलाओग्लू प्रमेय का तुरंत अनुसरण करते हैं।
इस प्रकार से ये दोनों परिणाम बानाच-अलाओग्लू प्रमेय का तुरंत अनुसरण करते हैं।


इकाई क्रमविनिमेय मामले में, कुछ सघन द्रव्यमान ≤ 1. क्रेइन-मिलमैन प्रमेय से यह निष्कर्ष निकलता है कि चरम अवस्थाएं डायराक बिंदु-द्रव्यमान माप हैं।
इकाई क्रमविनिमेय स्थिति में, कुछ संहत X पर निरंतर फलनों के C*-बीजगणित ''C''(''X'') के लिए, रिज़्ज़-मार्कोव-काकुतानी प्रतिनिधित्व प्रमेय कहता है कि मानक ≤ 1 के धनात्मक फलन कुल द्रव्यमान ≤ 1 के साथ ''X'' पर यथार्थ रूप से बोरेल धनात्मक उपाय हैं। क्रेइन-मिलमैन प्रमेय से यह निष्कर्ष निकलता है कि परम अवस्थाएं डायराक बिंदु-द्रव्यमान माप हैं।


दूसरी ओर, C(X) का प्रतिनिधित्व अपरिवर्तनीय है यदि और केवल यदि यह एक-आयामी है। इसलिए, माप μ के अनुरूप C(X) का GNS प्रतिनिधित्व अप्रासंगिक है यदि और केवल यदि μ एक चरम अवस्था है। यह वास्तव में सामान्यतः C*-बीजगणित के लिए सत्य है।
दूसरी ओर, C(X) का निरूपण अपरिवर्तनीय है यदि और मात्र यदि यह एक-आयामी है। इसलिए, माप μ के अनुरूप C(X) का जीएनएस निरूपण अप्रासंगिक है यदि और मात्र यदि μ परम अवस्था है। यह वस्तुतः सामान्यतः C*-बीजगणित के लिए सत्य है।


{{math theorem | math_statement = Let ''A'' be a C*-algebra. If π is a *-representation of ''A'' on the Hilbert space ''H'' with unit norm cyclic vector ξ, then π is irreducible if and only if the corresponding state ''f'' is an [[extreme point]] of the convex set of positive linear functionals on ''A'' of norm ≤ 1.}}
{{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>
कुछ सकारात्मक ऑपरेटर टी के लिए<sub>g</sub>ऑपरेटर क्रम में 0 ≤ T ≤ 1 के साथ π(A)' में। यह रेडॉन-निकोडिम प्रमेय का एक संस्करण है।
का है। यह रेडॉन-निकोडिम प्रमेय का संस्करण है।


ऐसे g के लिए, कोई f को सकारात्मक रैखिक कार्यात्मकताओं के योग के रूप में लिख सकता है: f = g + g' । तो π इकाई रूप से π के उप-प्रतिनिधित्व के बराबर है<sub>''g''</sub> ⊕ पी<sub>''g' ''</sub>. इससे पता चलता है कि π अपरिवर्तनीय है यदि और केवल यदि ऐसा कोई π है<sub>''g''</sub> इकाई रूप से π के समतुल्य है, अर्थात g, f का एक अदिश गुणज है, जो प्रमेय को सिद्ध करता है।
इस प्रकार से ऐसे g के लिए, कोई f को धनात्मक रैखिक फलनक के योग के रूप में लिख सकता है: f = g + g' । तो π इकाई रूप से π<sub>''g''</sub> ⊕ π<sub>''g'''</sub> के उप-निरूपण के समतुल्य है। इससे ज्ञात होता है कि π अपरिवर्तनीय है यदि और मात्र यदि ऐसा कोई π<sub>''g''</sub> इकाई रूप से π के समतुल्य है, अर्थात g, f का एक अदिश गुणज है, जो प्रमेय को सिद्ध करता है।


चरम अवस्थाओं को आमतौर पर राज्य (कार्यात्मक विश्लेषण)#शुद्ध अवस्थाएँ कहा जाता है। ध्यान दें कि एक राज्य एक शुद्ध राज्य है यदि और केवल यदि वह राज्यों के उत्तल सेट में चरम है।
परम अवस्थाओं को सामान्यतः अवस्था (फलनिक विश्लेषण) या शुद्ध अवस्थाएँ कहा जाता है। ध्यान दें कि अवस्था शुद्ध अवस्था है यदि और मात्र यदि वह अवस्थाओं के उत्तल समुच्चय में परम है।


C*-बीजगणित के लिए उपरोक्त प्रमेय अनुमानित पहचान के साथ B-स्टार बीजगणित|B*-बीजगणित के संदर्भ में अधिक सामान्यतः मान्य हैं।
इस प्रकार से 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.&nbsp;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.&nbsp;21–54, {{ISBN|0-8218-5175-6}} ([https://books.google.com/books?id=DYCUp0JYU6sC&pg=PA3 available from Google Books], see pp.&nbsp;21 ff.)</ref>
गेलफैंड-नैमार्क प्रमेय पर गेलफैंड और नैमार्क का लेख प्रकाशित हुआ था।<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.&nbsp;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.&nbsp;21–54, {{ISBN|0-8218-5175-6}} ([https://books.google.com/books?id=DYCUp0JYU6sC&pg=PA3 available from Google Books], see pp.&nbsp;21 ff.)</ref>
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>
 


इस प्रकार से 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 117: Line 114:
}}
}}
{{refend}}
{{refend}}


=== इनलाइन संदर्भ ===
=== इनलाइन संदर्भ ===
Line 124: Line 119:


{{DEFAULTSORT:Gelfand-Naimark-Segal construction}}
{{DEFAULTSORT:Gelfand-Naimark-Segal construction}}
श्रेणी:कार्यात्मक विश्लेषण
श्रेणी:सी*-बीजगणित
श्रेणी:स्वयंसिद्ध क्वांटम क्षेत्र सिद्धांत
आरयू:बीजगणितीय क्वांटम सिद्धांत


[[Category: Machine Translated Page]]
[[Category:CS1 maint|Gelfand-Naimark-Segal construction]]
[[Category:Created On 13/10/2023]]
[[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:Templates that add a tracking category|Gelfand-Naimark-Segal construction]]
[[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 की एक अवस्था है।

इसके विपरीत, A की प्रत्येक अवस्था को अवस्था को एक उपयुक्त विहित निरूपण के अंतर्गत उपरोक्त के अनुसार एक सदिश अवस्था के रूप में देखा जा सकता है।

Theorem.[1] — A की स्थिति ρ को देखते हुए, A का एक *-निरूपण π है जो हिल्बर्ट समष्टि H पर विशिष्ट इकाई चक्रीय सदिश ξ के साथ कार्य करता है जैसे कि A में प्रत्येक A के लिए।

Proof
  1. हिल्बर्ट समष्टि का निर्माण H '

    A पर एक अर्ध-निश्चित सेसक्विलिनियर रूप

    को परिभाषित करें।

    कॉची-श्वार्ज़ असमानता द्वारा, पतित अवयव, A' में A संतोषजनक ρ(A* A)= 0, रूप A की एक सदिश उपसमष्टि I बनाते है। C*-बीजगणितीय तर्क द्वारा, कोई यह दिखा सकता है कि I, A का बायाँ आदर्श है (जिसे ρ के बाएँ कर्नेल के रूप में जाना जाता है)। वस्तुतः, यह ρ की शून्य समष्टि में सबसे बड़ा बायां आदर्श है। सदिश उप-समष्टि I द्वारा A की भागफल समष्टि एक आंतरिक गुणनफल समष्टि है जिसका आंतरिक गुणनफल द्वारा परिभाषित है। इस आंतरिक उत्पाद से प्रेरित मानदंड में A/I की कौची समापन एक हिल्बर्ट समष्टि है, जिसे हम H द्वारा निरूपित करते हैं।
  2. निरूपण का निर्माण π
    A/I पर A की क्रिया π को π(a)(b+I) = ab+I द्वारा A/I पर परिभाषित करें। I को बायां आदर्श दिखाने वाला वही तर्क यह भी दर्शाता है कि π(a) A/I पर एक परिबद्ध संचालिका है और इसलिए इसे पूर्णता तक विशिष्ट रूप से बढ़ाया जा सकता है। हिल्बर्ट समष्टि पर एक संक्रियक के संलग्न की परिभाषा को अनावृत करते हुए, π *-संरक्षित हो जाता है। यह *-निरूपण π के अस्तित्व को सिद्ध करता है।
  3. इकाई मानदंड चक्रीय सदिश की पहचान करना

    यदि 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)

इनलाइन संदर्भ

  1. ↑ Kadison, R. V., Theorem 4.5.2, Fundamentals of the Theory of Operator Algebras, Vol. I : Elementary Theory, American Mathematical Society. ISBN 978-0821808191
  2. ↑ Kadison, R. V., Proposition 4.5.3, Fundamentals of the Theory of Operator Algebras, Vol. I : Elementary Theory, American Mathematical Society. ISBN 978-0821808191
  3. ↑ I. M. Gelfand, M. A. Naimark (1943). "हिल्बर्ट स्थान पर ऑपरेटरों की रिंग में मानक रिंगों को शामिल करने पर". Matematicheskii Sbornik. 12 (2): 197–217. (also Google Books, see pp. 3–20)
  4. ↑ 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.)
  5. ↑ I. E. Segal (1947). "संचालिका बीजगणित का अघुलनशील निरूपण" (PDF). Bull. Am. Math. Soc. 53 (2): 73–88. doi:10.1090/s0002-9904-1947-08742-5.
Retrieved from ‘https://www.vigyanwiki.in/index.php?title=गेलफैंड-नैमार्क-सेगल_निर्माण&oldid=276937’