View source for स्टाइनस्प्रिंग फैलाव प्रमेय

गणित में, स्टाइनस्प्रिंग का फैलाव प्रमेय, जिसे स्टाइनस्प्रिंग का गुणनखंडन प्रमेय भी कहा जाता है, जिसका नाम डब्ल्यू फॉरेस्ट स्टाइनस्प्रिंग के नाम पर रखा गया है, यह [[ऑपरेटर सिद्धांत|संक्रियक सिद्धांत]] का परिणाम है जो सी*-बीजगणित पर किसी भी [[पूरी तरह से सकारात्मक मानचित्र|पूर्ण रूप से धनात्मक प्रतिचित्र]] का प्रतिनिधित्व करता है, जिसमें से प्रत्येक में दो पूर्ण रूप से धनात्मक प्रतिचित्र होते हैं। एक विशेष रूप:
#A*- कुछ सहायक [[ हिल्बर्ट अंतरिक्ष |हिल्बर्ट समष्टि]] ''K'' पर ''A'' का प्रतिनिधित्व
#रूप ''T'' ↦ ''V*TV'' का संक्रियक प्रतिचित्र।
इसके अतिरिक्त, स्टाइनस्प्रिंग की प्रमेय एक संरचना प्रमेय है जो सी*-बीजगणित से हिल्बर्ट समष्टि पर परिबद्ध संक्रियकों के बीजगणित में है। पूर्ण रूप से धनात्मक प्रतिचित्रों को *-निरूपणों के सरल संशोधनों के रूप में दिखाया जाता है, या कभी-कभी *-समरूपता कहा जाता है।

== सूत्रीकरण ==
इकाई बीजगणित सी*-बीजगणित की स्थिति में, परिणाम इस प्रकार है:

: प्रमेय. मान लीजिए A इकाई सी*-बीजगणित है, H हिल्बर्ट समष्टि है, और B (H) H पर परिबद्ध संकारक हैं। प्रत्येक पूर्ण रूप से धनात्मक
::<math>\Phi : A \to B(H)</math> 
::के लिए, हिल्बर्ट समष्टि K और इकाई *- समरूपता
::<math>\pi : A \to B(K)</math>
:स्थित होते है जैसे कि
::<math>\Phi(a) = V^\ast \pi (a) V,</math>
:जहाँ <math>V: H \to K</math> परिबद्ध संकारक है। इसके अतिरिक्त, हमारे निकट
::<math>\| \Phi(1) \| = \| V \|^2</math> है।
अनौपचारिक रूप से, कोई कह सकता है कि प्रत्येक पूर्ण रूप से धनात्मक प्रतिचित्र <math>\Phi</math> को रूप <math>V^* (\cdot) V</math> के प्रतिचित्र तक "उठाया" जा सकता है।

प्रमेय का विलोम साधारण रूप से उचित है। इसलिए स्टाइनस्प्रिंग का परिणाम पूर्ण रूप से धनात्मक प्रतिचित्रों को वर्गीकृत करता है।

== प्रमाण का रेखाचित्र ==
अब हम संक्षेप में प्रमाण की रूपरेखा तैयार करते हैं। माना <math>K = A \otimes H</math>। <math>a \otimes h, \ b \otimes g \in K</math> के लिए,

:<math> \langle a \otimes h, b \otimes g  \rangle _K := \langle \Phi(b^*a) h, g  \rangle _H = \langle h, \Phi(a^*b)g \rangle_H</math>
को परिभाषित करें और अर्ध-रैखिकता द्वारा सभी K तक विस्तारित करें। यह [[हर्मिटियन ऑपरेटर|हर्मिटियन]] संक्रियक अनुक्रमिक रूप है क्योंकि <math>\Phi</math>* संचालन के साथ संगत है। <math>\Phi</math> की पूर्ण धनात्मकता तब यह दिखाने के लिए प्रयोग किया जाता है कि यह अनुक्रमिक रूप वस्तुतः धनात्मक अर्ध निश्चित है। चूँकि [[सकारात्मक-निश्चित मैट्रिक्स|धनात्मक-निश्चित आव्यूह]] हर्मिटियन अनुक्रमिक रूप कॉची-श्वार्ज़ असमानता को संतुष्ट करते हैं, उपसमुच्चय

:<math>K' = \{x \in K \mid \langle x ,  x  \rangle _K = 0 \} \subset K</math>
एक उपसमष्टि है। भागफल समष्टि (रैखिक बीजगणित) <math>K / K' </math> पर विचार करके हम [[पतन (गणित)|पतन (गणित]]) को दूर कर सकते हैं। इस भागफल समष्टि का [[समापन (बीजगणित)|समापन (बीजगणित]]) तब हिल्बर्ट समष्टि है, जिसे <math>K</math> के द्वारा भी निरूपित किया जाता है। अगला <math>\pi (a) (b \otimes g) = ab \otimes g</math> और <math>V h = 1_A \otimes h</math> परिभाषित करें। कोई यह जांच सकता है कि <math>\pi</math> और <math>V</math> में वांछित गुण हैं।

ध्यान दें कि <math>V</math> H में K में प्राकृतिक बीजगणितीय [[एम्बेडिंग|अंतःस्थापन]] है। कोई यह सत्यापित कर सकता है कि <math>V^\ast(a\otimes h) = \Phi(a)h</math> धारण करता है। विशेष रूप से <math>V^\ast V = \Phi(1)</math> धारण करता है ताकि <math>V</math> एक समदूरीकता है यदि और मात्र यदि <math>\Phi(1)=1</math>। इस स्थिति में H को हिल्बर्ट समष्टि अर्थ में, K और <math>V^\ast</math> में अंतः स्थापित किया जा सकता है, K पर कार्य करते हुए, H पर प्रक्षेपण बन जाते है। प्रतीकात्मक रूप से, हम

:<math>\Phi (a) = P_H \; \pi(a) \Big|_H</math> लिख सकते हैं।
विस्फार सिद्धांत की भाषा में, यह कहना है कि <math>\Phi(a)</math>, <math>\pi(a)</math> का संपीडन है। इसलिए यह स्टाइनस्प्रिंग के प्रमेय का एक परिणाम है कि प्रत्येक इकाई पूर्ण रूप से धनात्मक प्रतिचित्र कुछ [[* - समरूपता|*- समरूपता]] का संपीड़न है।

== न्यूनतमता ==
त्रिक ({{pi}}, V, K) को Φ का 'स्टाइनस्प्रिंग प्रतिनिधित्व' कहा जाता है। स्वाभाविक प्रश्न अब यह है कि क्या कोई किसी अर्थ में दिए गए स्टाइनस्प्रिंग प्रतिनिधित्व को कम कर सकते है।

K<sub>1</sub> को {{pi}} (A) VH की संवृत रैखिक अवधि होने दें। सामान्य रूप से *-निरूपण के गुण द्वारा, K<sub>1</sub> सभी a के लिए {{pi}} (a) की अपरिवर्तनीय उपसमष्टि है। इसके अतिरिक्त, K<sub>1</sub> में VH होते है।

:<math>\pi _1 (a) = \pi (a) \Big|_{K_1}</math> परिभाषित करें।
हम सीधे

:<math display="block">\begin{align}
\pi_1 (a) \pi_1 (b) &= \pi (a) \Big|_{K_1} \pi (b) \Big|_{K_1} \\
&= \pi (a) \pi (b) \Big|_{K_1} \\
&= \pi (ab) \Big|_{K_1} \\
&= \pi_1 (ab)
\end{align}</math>
की गणना कर सकते हैं और यदि k और ℓ K<sub>1</sub>
:<math display="block">\begin{align}
\langle \pi_1 (a^*)k, \ell \rangle &= \langle \pi (a^*)k, \ell \rangle \\
&= \langle \pi(a)^* k, \ell \rangle \\
&= \langle k, \pi (a) \ell \rangle \\
&= \langle k, \pi_1 (a) \ell \rangle \\
&=\langle \pi_1 (a)^* k, \ell \rangle
\end{align}</math> में स्थित हैं।
तो ({{pi}}<sub>1</sub>, V, K<sub>1</sub>) भी Φ का स्टाइनस्प्रिंग प्रतिनिधित्व है और इसमें अतिरिक्त गुण है कि K<sub>1</sub> {{pi}} (A) V H की [[बंद रैखिक अवधि|संवृत रैखिक अवधि]] है। इस प्रकार के एक प्रतिनिधित्व को 'न्यूनतम स्टाइनस्प्रिंग प्रतिनिधित्व' कहा जाता है।

== विशिष्टता ==
मान लीजिए ({{pi}}<sub>1</sub>, V<sub>1</sub>, K<sub>1</sub>) और ({{pi}}<sub>2</sub>, V<sub>2</sub>, K<sub>2</sub>) किसी दिए गए Φ के दो स्टाइनस्प्रिंग निरूपण हैं। आंशिक समदूरीकता W : K<sub>1</sub> → K<sub>2</sub> को

:<math>\; W \pi_1 (a) V_1 h = \pi_2 (a) V_2 h</math> द्वारा परिभाषित करें।
V<sub>1</sub>H ⊂ K<sub>1</sub> पर, यह परस्पर जुड़ा हुआ संबंध

:<math>\; W \pi_1 = \pi_2 W</math> देता है।
विशेष रूप से, यदि दोनों स्टाइनस्प्रिंग प्रतिनिधित्व न्यूनतम हैं, तो W एकात्मक संक्रियक है। इस प्रकार एकात्मक परिवर्तन के लिए न्यूनतम स्टाइनस्प्रिंग निरूपण अद्वितीय हैं।

== कुछ परिणाम ==
हम कुछ परिणामों का उल्लेख करते हैं जिन्हें स्टाइनस्प्रिंग प्रमेय के परिणामों के रूप में देखा जा सकता है। ऐतिहासिक रूप से, नीचे दिए गए कुछ परिणाम स्टाइनस्प्रिंग के प्रमेय से पहले के हैं।

=== जीएनएस निर्माण ===
गेलफैंड-नैमार्क-सेगल (जीएनएस) निर्माण इस प्रकार है। स्टाइनस्प्रिंग के प्रमेय में H को 1-विमीय, अर्थात [[जटिल संख्या]] होने दें। तो Φ अब A पर [[सकारात्मक रैखिक कार्यात्मक|धनात्मक रैखिक प्रकार्यक]] है। यदि हम मानते हैं कि Φ [[राज्य (कार्यात्मक विश्लेषण)|अवस्था (प्रकार्यक विश्लेषण]]) है, अर्थात, Φ का मानदंड 1 है, तो समदूरीकता <math>V : H \to K</math> को [[ यूनिट-मानदंड वेक्टर |इकाई -मानदंड सदिश]] के कुछ <math>\xi \in K</math> के लिए

:<math>V 1 = \xi</math>
द्वारा निर्धारित किया जाता है। तो

:<math display="block">\begin{align}
\Phi(a) = V^* \pi (a) V &= \langle V^* \pi (a) V 1, 1 \rangle _H \\
&= \langle \pi (a) V 1, V 1 \rangle _K \\
&= \langle \pi (a) \xi, \xi \rangle _K
\end{align}
</math>
और हमने अवस्थाओं के जीएनएस प्रतिनिधित्व को पुनर्प्राप्त कर लिया है। यह देखने की विधि है कि पूर्ण रूप से धनात्मक प्रतिचित्र, मात्र धनात्मक के अतिरिक्त, [[सकारात्मक कार्यात्मक|धनात्मक प्रकार्यक]] के यथार्थ सामान्यीकरण हैं।

सी*- बीजगणित पर रैखिक धनात्मक प्रकार्यक ऐसे अन्य प्रकार्यक (संदर्भ प्रकार्यक कहा जाता है) के संबंध में [[बिल्कुल निरंतर|पूर्णतः निरंतर]] है यदि यह किसी भी [[सकारात्मक तत्व|धनात्मक अवयव]] पर [[0]] है जिस पर संदर्भ धनात्मक प्रकार्यक शून्य है। यह रेडॉन-निकोडिम प्रमेय के गैर-अनुक्रमिक सामान्यीकरण की ओर जाता है। मानक [[ट्रेस (रैखिक बीजगणित)|अनुरेखण (रैखिक बीजगणित]]) के संबंध में [[मैट्रिक्स बीजगणित|आव्यूह बीजगणित]] पर अवस्थाओं का सामान्य [[घनत्व ऑपरेटर|घनत्व]] संक्रियक कुछ भी नहीं है, परन्तु रेडॉन-निकोडिम व्युत्पन्न है जब संदर्भ प्रकार्यक को अनुरेखण करने के लिए चुना जाता है। [[व्याचेस्लाव बेलावकिन]] ने दूसरे (संदर्भ) प्रतिचित्र के संबंध में पूर्ण रूप से धनात्मक प्रतिचित्र की पूर्ण निरपेक्ष निरंतरता की धारणा प्रस्तुत की और पूर्ण रूप से धनात्मक प्रतिचित्रों के लिए गैर-अनुवर्ती रेडॉन-निकोडिम प्रमेय के एक संक्रियक संस्करण को सिद्ध किया। आव्यूह बीजगणित पर अनुरेखण पूर्ण रूप से धनात्मक संदर्भ प्रतिचित्र के अनुरूप इस प्रमेय की विशेष स्थिति चोई संक्रियक को मानक अनुरेखण के संबंध में एक सीपी प्रतिचित्र के रेडॉन-निकोडिम व्युत्पन्न के रूप में ले जाती है (चोई के प्रमेय देखें)।

=== चोई की प्रमेय ===
चोई द्वारा यह दिखाया गया था कि यदि <math>\Phi: B(G) \to B(H)</math> पूर्ण रूप से धनात्मक है, जहां G और H क्रमशः विमा n और m के [[परिमित-आयामी हिल्बर्ट रिक्त स्थान की श्रेणी|परिमित-विमीय हिल्बर्ट रिक्त समष्टि की श्रेणी]] हैं, तोर Φ रूप लेता है:

:<math>\Phi (a) = \sum_{i = 1}^{nm} V_i^* a V_i .</math>
इसे पूर्ण रूप से धनात्मक प्रतिचित्रों पर चोई का प्रमेय कहा जाता है। चोई ने रेखीय बीजगणित तकनीकों का उपयोग करके इसे सिद्ध किया, परन्तु उनके परिणाम को स्टाइनस्प्रिंग के प्रमेय के एक विशेष स्थिति के रूप में भी देखा जा सकता है: मान लीजिए ({{pi}}, V, K) Φ का न्यूनतम स्टाइनस्प्रिंग प्रतिनिधित्व है। न्यूनता से, K का विमा <math>C^{n \times n} \otimes C^m</math> से कम है। तो सामान्यता के हानि के बिना, K को

:<math>K = \bigoplus_{i = 1}^{nm} C_i^n</math> से पहचाना जा सकता है।
प्रत्येक <math>C_i^n</math> एन-विमीय हिल्बर्ट समष्टि की एक प्रति है। <math>\pi (a) (b \otimes g) = ab \otimes g</math> से, हम देखते हैं कि K की उपरोक्त पहचान को<math>\; P_i \pi(a) P_i = a</math> के रूप में व्यवस्थित किया जा सकता है, जहाँ P<sub>i</sub>, K से <math>C_i^n</math> का प्रक्षेपण है। माना <math>V_i = P_i V</math>। अपने निकट

:<math>\Phi (a) = \sum_{i = 1}^{nm} (V^* P_i) (P_i \pi(a) P_i) (P_i V) = \sum _{i = 1} ^{nm} V_i^* a V_i</math>
है और चोई का परिणाम सिद्ध हुआ है।

चोई का परिणाम आव्यूह बीजगणित पर अनुरेखण पूर्ण रूप से धनात्मक संदर्भ प्रतिचित्र के अनुरूप पूर्ण रूप से धनात्मक (सीपी) प्रतिचित्रों के लिए गैर-अनुसूचित रेडॉन-निकोडीम प्रमेय की विशेष स्थिति है। दृढ संचालिका रूप में यह सामान्य प्रमेय 1985 में बेलावकिन द्वारा सिद्ध किया गया था जिसने धनात्मक घनत्व संचालिका के अस्तित्व को एक सीपी प्रतिचित्र का प्रतिनिधित्व करते हुए दिखाया था जो संदर्भ सीपी प्रतिचित्र के संबंध में पूर्ण रूप से निरंतर है। स्टाइनस्प्रिंग प्रतिनिधित्व के संदर्भ में इस घनत्व संक्रियक की विशिष्टता मात्र इस प्रतिनिधित्व की न्यूनतमता से होती है। इस प्रकार, चोई का संक्रियक मानक अनुरेखण के संबंध में एक परिमित-विमीय सीपी प्रतिचित्र का रेडॉन-निकोडिम व्युत्पन्न है।

ध्यान दें कि, चोई के प्रमेय को सिद्ध करने में, साथ ही स्टाइनस्प्रिंग के सूत्रीकरण से बेलावकिन के प्रमेय, तर्क स्पष्ट रूप से क्राउस संक्रियकों को V<sub>i</sub> नहीं देता है, जब तक कि कोई रिक्त समष्टि की विभिन्न पहचान स्पष्ट नहीं करता है। दूसरी ओर, चोई के मूल प्रमाण में उन संक्रियकों की प्रत्यक्ष गणना सम्मिलित है।

=== नैमार्क का फैलाव प्रमेय ===
नैमार्क के प्रमेय का कहना है कि प्रत्येक B (H) -मानित, दुर्बलता से [[गणनीय-योगात्मक]] उपाय कुछ सघन हौसडॉर्फ समष्टि X पर उठाया जा सकता है ताकि माप [[वर्णक्रमीय माप]] बन जाए। इस तथ्य को जोड़कर यह सिद्ध किया जा सकता है कि C (X) क्रमविनिमेय सी*-बीजगणित और स्टाइनस्प्रिंग प्रमेय है।

=== एसजेड.-नागी का फैलाव प्रमेय ===
इस परिणाम में कहा गया है कि हिल्बर्ट समष्टि पर प्रत्येक [[संकुचन (संचालक सिद्धांत)|संकुचन (संचालक सिद्धांत]]) में न्यूनतम गुण के साथ [[एकात्मक फैलाव]] होता है।

== अनुप्रयोग ==
[[क्वांटम सूचना सिद्धांत]] में, [[क्वांटम चैनल]], या [[क्वांटम ऑपरेशन|क्वांटम संचालन]] को सी*-बीजगणित के बीच पूर्ण रूप से धनात्मक प्रतिचित्र के रूप में परिभाषित किया गया है। ऐसे सभी प्रतिचित्रों का वर्गीकरण होने के कारण, स्टाइनस्प्रिंग का प्रमेय उस संदर्भ में महत्वपूर्ण है। उदाहरण के लिए, प्रमेय के अद्वितीय भाग का उपयोग क्वांटम चैनलों के कुछ वर्गों को वर्गीकृत करने के लिए किया गया है।

विभिन्न चैनलों की तुलना और उनकी पारस्परिक निष्ठा और सूचना की गणना के लिए बेलवकिन द्वारा प्रारम्भ किए गए उनके राडोन-निकोडिम व्युत्पन्न द्वारा चैनलों का एक और प्रतिनिधित्व उपयोगी है। परिमित-विमीय स्थिति में, पूर्ण रूप से धनात्मक प्रतिचित्रों के लिए बेलावकिन के रेडॉन-निकोडीम प्रमेय के अनुरेखण संस्करण के रूप में चोई का प्रमेय भी प्रासंगिक है। संचालक <math>\{ V_i \}</math> व्यंजक

:<math>\Phi (a) = \sum_{i = 1}^{nm} V_i^* a V_i</math> से।
Φ के क्राउस संचालक कहलाते हैं। व्यंजक

:<math>\sum_{i = 1}^{nm} V_i^* ( \cdot ) V_i</math>
को कभी-कभी Φ का संचालक योग निरूपण कहा जाता है।

==संदर्भ==
* M।-D। Choi, ''Completely Positive Linear Maps on Complex Matrices'', Linear Algebra and its Applications, 10, 285&ndash;290 (1975)।
* V। P। Belavkin, P। Staszewski, ''Radon–Nikodym Theorem for Completely Positive Maps'', Reports on Mathematical Physics, v।&nbsp;24, No 1, 49&ndash;55 (1986)।
* V। Paulsen, ''Completely Bounded Maps and Operator Algebras'', Cambridge University Press, 2003।
* W। F। Stinespring, ''Positive Functions on सी*-algebras'', Proceedings of the American Mathematical Society, 6, 211&ndash;216 (1955)।

{{Functional analysis}}

[[Category:Collapse templates]]
[[Category:Created On 20/05/2023]]
[[Category:Machine Translated Page]]
[[Category:Navigational boxes| ]]
[[Category:Navigational boxes without horizontal lists]]
[[Category:Pages with script errors]]
[[Category:Sidebars with styles needing conversion]]
[[Category:Template documentation pages|Documentation/doc]]
[[Category:Templates Vigyan Ready]]
[[Category:Templates generating microformats]]
[[Category:Templates that are not mobile friendly]]
[[Category:Templates using TemplateData]]
[[Category:Wikipedia metatemplates]]
[[Category:ऑपरेटर सिद्धांत]]
[[Category:कार्यात्मक विश्लेषण में प्रमेय]]
[[Category:संचालक बीजगणित]]