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

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

अवस्था और निरूपण

A *- हिल्बर्ट समष्टि H पर C*-बीजगणित A का निरूपण A से H पर परिबद्ध संचालकों के बीजगणित में प्रतिचित्रण (गणित) π है जैसे कि

• π एक वलय समरूपता है जो A पर अंतर्वलन (गणित) को संचालकों पर अंतर्वलन करता है
• π गैर-अपक्षयी है, अर्थात सदिशों की समष्टि π(x) ξ सघन है क्योंकि x की श्रेणी A से होती है और ξ की श्रेणी H से होती है। ध्यान दें कि यदि A की तत्समक है, तो नॉनडिजेनरेसी का मतलब है कि π इकाई-संरक्षण है, यानी π A की तत्समक को H पर तत्समक संचालक को मैप करता है।

C*-बीजगणित A पर स्थिति (फलनिक विश्लेषण) मानक 1 का सकारात्मक रैखिक फलनिक एफ है। यदि A में गुणक इकाई तत्व है तो यह स्थिति एफ के बराबर है (1)=1.

हिल्बर्ट स्पेस H पर C*-बीजगणित A के निरूपण π के लिए, तत्व ξ को चक्रीय वेक्टर कहा जाता है यदि वैक्टर का सेट

$\{\pi (x)\xi :x\in A\}$

H में मानक सघनता है, इस स्थिति में π को 'चक्रीय निरूपण' कहा जाता है। अघुलनशील निरूपण का कोई भी गैर-शून्य वेक्टर चक्रीय है। हालाँकि, सामान्य चक्रीय निरूपण में गैर-शून्य वैक्टर चक्रीय होने में विफल हो सकते हैं।

जीएनएस निर्माण

मान लीजिए π हिल्बर्ट स्पेस H पर C*-बीजगणित A का *-निरूपण है और π के लिए इकाई मानक चक्रीय वेक्टर है। तब

$$a\mapsto \langle \pi (a)\xi ,\xi \rangle$$

A की अवस्था है.

इसके विपरीत, A के प्रत्येक अवस्था को अवस्था (फलनिक विश्लेषण) के रूप में देखा जा सकता है #वेक्टर उपयुक्त विहित निरूपण के तहत ऊपर बताए अनुसार बताता है।

Theorem. — A की स्थिति ρ को देखते हुए, A का एक *-निरूपण π है जो हिल्बर्ट समष्टि H पर विशिष्ट इकाई चक्रीय सदिश ξ के साथ कार्य करता है जैसे कि $\rho (a)=\langle \pi (a)\xi ,\xi \rangle$ A में प्रत्येक A के लिए।

Proof

1. Construction of the Hilbert space H

   Define on A a semi-definite sesquilinear form

   $$\langle a,b\rangle =\rho (b^{*}a),\;a,b\in A.$$
   By the 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 of A by the vector subspace I is an inner product space with the inner product defined by$\langle a+I,b+I\rangle :=\rho (b^{*}a),\;a,b\in A$. The Cauchy completion of A/I in the norm induced by this inner product is a Hilbert space, which we denote by H.
2. Construction of the representation π
   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 π.
3. Identifying the unit norm cyclic vector ξ

   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_λ} for A. Since positive linear functionals are bounded, the equivalence classes of the net {e_λ} converges to some vector ξ in H, which is a cyclic vector for π.

   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.

उपरोक्त प्रमेय के प्रमाण में A की स्थिति से *-निरूपण उत्पन्न करने के लिए उपयोग की जाने वाली विधि को 'जीएनएस निर्माण' कहा जाता है। C*-बीजगणित A की स्थिति के लिए, संबंधित जीएनएस निरूपण अनिवार्य रूप से स्थिति द्वारा विशिष्ट रूप से निर्धारित किया जाता है, $\rho (a)=\langle \pi (a)\xi ,\xi \rangle$ जैसा कि नीचे प्रमेय में देखा गया है।

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

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

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

इरेड्यूसिबिलिटी

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

Theorem — 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.

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

इकाई क्रमविनिमेय मामले में, कुछ सघन द्रव्यमान ≤ 1. क्रेइन-मिलमैन प्रमेय से यह निष्कर्ष निकलता है कि चरम अवस्थाएं डायराक बिंदु-द्रव्यमान माप हैं।

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

Theorem — 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.

इस परिणाम को सिद्ध करने के लिए सबसे पहले यह नोट करें कि निरूपण अपरिवर्तनीय है यदि और केवल यदि π(ए) के वे आदान-प्रदान करते हैं , जिसे π(ए)' द्वारा निरूपित किया जाता है, में तत्समक के अदिश गुणक शामिल होते हैं।

ए पर एफ द्वारा प्रभुत्व वाले किसी भी सकारात्मक रैखिक फलनिक जी के रूप का है

$$g(x^{*}x)=\langle \pi (x)\xi ,\pi (x)T_{g}\,\xi \rangle$$

कुछ सकारात्मक संचालक टी के लिए_gसंचालक क्रम में 0 ≤ T ≤ 1 के साथ π(A)' में। यह रेडॉन-निकोडिम प्रमेय का संस्करण है।

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

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

C*-बीजगणित के लिए उपरोक्त प्रमेय अनुमानित तत्समक के साथ B-स्टार बीजगणित|B*-बीजगणित के संदर्भ में अधिक सामान्यतः मान्य हैं।

सामान्यीकरण

पूरी तरह से सकारात्मक मानचित्रों को दर्शाने वाला स्टाइनस्प्रिंग फैक्टराइजेशन प्रमेय जीएनएस निर्माण का महत्वपूर्ण सामान्यीकरण है।

इतिहास

गेलफैंड-नैमार्क प्रमेय पर गेलफैंड और नैमार्क का पेपर प्रकाशित हुआ था सेगल ने इस कार्य में निहित निर्माण को पहचाना और इसे धारदार रूप में प्रस्तुत किया। 1947 के अपने पेपर में सेगल ने दिखाया कि यह किसी भी भौतिक प्रणाली के लिए, जिसे हिल्बर्ट स्पेस पर संचालकों के बीजगणित द्वारा वर्णित किया जा सकता है, C*-बीजगणित के अपरिवर्तनीय अभ्यावेदन पर विचार करने के लिए पर्याप्त है। क्वांटम सिद्धांत में इसका अर्थ यह है कि C*-बीजगणित वेधशालाओं द्वारा उत्पन्न होता है। जैसा कि सेगल ने बताया, यह पहले जॉन वॉन न्यूमैन द्वारा केवल गैर-सापेक्षवादी श्रोडिंगर-हाइजेनबर्ग सिद्धांत के विशिष्ट मामले के लिए दिखाया गया था।

यह भी देखें

• चक्रीय और पृथक्कारी सदिश
• केएसजीएनएस निर्माण

संदर्भ

• 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)

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

श्रेणी:फलनिक विश्लेषण श्रेणी:C*-बीजगणित श्रेणी:स्वयंसिद्ध क्वांटम क्षेत्र सिद्धांत

आरयू:बीजगणितीय क्वांटम सिद्धांत