एबेलियन वॉन न्यूमैन बीजगणित: Difference between revisions
(Created page with "कार्यात्मक विश्लेषण में, एक एबेलियन वॉन न्यूमैन बीजगणित एक हि...") |
No edit summary |
||
Line 1: | Line 1: | ||
[[कार्यात्मक विश्लेषण]] में, | [[कार्यात्मक विश्लेषण]] में, [[वॉन न्यूमैन बीजगणित|'''एबेलियन वॉन न्यूमैन बीजगणित''']] एक [[ हिल्बर्ट अंतरिक्ष |हिल्बर्ट स्थान]] पर प्रचालकों का एक वॉन न्यूमैन बीजगणित होता है जिसमें सभी तत्व [[ विनिमेय |विनिमेय]] होते है। | ||
एबेलियन वॉन न्यूमैन बीजगणित का प्रोटोटाइपिक उदाहरण | एक एबेलियन वॉन न्यूमैन बीजगणित का प्रोटोटाइपिक उदाहरण हिल्बर्ट स्थान है L<sup>2</sup>(X, μ) पर प्रचालकों के बीजगणित के रूप में X पर μ a σ-परिमित माप के लिए बीजगणित L<sup>∞</sup>(X, μ) होता है: प्रत्येक f ∈ L<sup>∞</sup>(X, μ) की पहचान गुणन संकारक से की जाती है | ||
:<math> \psi \mapsto f \psi. </math> | :<math> \psi \mapsto f \psi. </math> | ||
अलग-अलग स्थान हिल्बर्ट | अलग-अलग स्थान हिल्बर्ट स्थान पर एबेलियन वॉन न्यूमैन बीजगणित विशेष रूप से महत्वपूर्ण होते है, खासकर जब से वे सरल आक्रमणकारियों द्वारा पूरी तरह से वर्गीकृत होते है। | ||
चूंकि गैर-वियोज्य हिल्बर्ट स्थान पर वॉन न्यूमैन बीजगणित के लिए एक सिद्धांत है (और वास्तव में उस स्थिति में बहुत सामान्य सिद्धांत अभी भी है) अलग-अलग स्थानों पर बीजगणित के लिए सिद्धांत अधिक सरल होते है और केवल गणित या भौतिकी के अन्य क्षेत्रों के लिए अधिकांश अनुप्रयोग वियोज्य हिल्बर्ट स्थान का उपयोग करते है। ध्यान दें कि यदि माप स्थान (X, μ) एक [[मानक माप स्थान]] है (अर्थात X - N कुछ शून्य सेट N के लिए एक [[मानक बोरेल स्थान]] है और μ एक σ-सीमित माप है) तो L<sup>2</sup>(X, μ) वियोज्य है। | |||
== वर्गीकरण == | == वर्गीकरण == | ||
क्रमविनिमेय वॉन न्यूमैन बीजगणित और माप स्थान के बीच | क्रमविनिमेय वॉन न्यूमैन बीजगणित और माप स्थान के बीच संबंध क्रमविनिमेय [[सी * - बीजगणित|सी*- बीजगणित]] और [[स्थानीय रूप से कॉम्पैक्ट]] हौसडॉर्फ रिक्त स्थान के बीच के समान है। एक वियोज्य हिल्बर्ट स्थान पर प्रत्येक कम्यूटेटिव वॉन न्यूमैन बीजगणित कुछ मानक माप स्थान (X, μ) के लिए L<sup>∞</sup>(X) के लिए समरूपी है और इसके विपरीत, प्रत्येक मानक माप स्थान X के लिए, L<sup>∞</sup>(X) एक वॉन न्यूमैन बीजगणित है। कहा गया है कि यह समरूपता एक बीजगणितीय समरूपता है। वास्तव में हम इसे और अधिक सटीक रूप से इस प्रकार बता सकते हैं: | ||
वास्तव में हम इसे और अधिक सटीक रूप से इस प्रकार बता सकते हैं: | |||
प्रमेय वियोज्य हिल्बर्ट स्थान पर संचालकों का कोई भी एबेलियन वॉन न्यूमैन बीजगणित निम्नलिखित में से ठीक एक के लिए *-समरूपी होता है | |||
*<math>\ell^\infty(\{1,2, \ldots, n\}), \quad n \geq 1 </math> | *<math>\ell^\infty(\{1,2, \ldots, n\}), \quad n \geq 1 </math> | ||
* <math>\ell^\infty(\mathbf{N}) </math> | * <math>\ell^\infty(\mathbf{N}) </math> | ||
Line 20: | Line 19: | ||
[[कमजोर ऑपरेटर टोपोलॉजी]] को संरक्षित करने के लिए समरूपता को चुना जा सकता है। | [[कमजोर ऑपरेटर टोपोलॉजी]] को संरक्षित करने के लिए समरूपता को चुना जा सकता है। | ||
उपरोक्त सूची में, अंतराल [0,1] में Lebesgue माप है और सेट {1, 2, ..., n} और 'N' में गिनती माप है। यूनियनें अलग-अलग यूनियनें | उपरोक्त सूची में, अंतराल [0,1] में Lebesgue माप है और सेट {1, 2, ..., n} और 'N' में गिनती माप है। यूनियनें अलग-अलग यूनियनें है। यह वर्गीकरण अनिवार्य रूप से वियोज्य माप बीजगणित के लिए महारम के वर्गीकरण प्रमेय का एक रूप है। महारम के वर्गीकरण प्रमेय का संस्करण जो सबसे अधिक उपयोगी है, उसमें तुल्यता का एक बिंदु बोध शामिल है, और कुछ हद तक एक गणितीय लोककथा है। | ||
यद्यपि प्रत्येक मानक माप स्थान उपरोक्त में से किसी एक के लिए | यद्यपि प्रत्येक मानक माप स्थान उपरोक्त में से किसी एक के लिए समरूपी है और सूची इस अर्थ में संपूर्ण है, एबेलियन वॉन न्यूमैन बीजगणित ए के मामले में माप स्थान के लिए अधिक विहित विकल्प है: सभी प्रोजेक्टरों का सेट एक है <math>\sigma</math>-पूर्ण बूलियन बीजगणित, जो एक बिंदु-मुक्त है <math>\sigma</math>-बीजगणित। विशेष मामले में <math>A=L^\infty(X,\mathfrak{A},\mu)</math> एक सार पुनर्प्राप्त करता है <math>\sigma</math>-बीजगणित <math>\mathfrak{A}/\{A \mid \mu(A)=0\}</math>. इस बिंदु मुक्त दृष्टिकोण को गेलफैंड के लिए एक द्वैत प्रमेय एनालॉग में बदल दिया जा सकता है - एबेलियन वॉन न्यूमैन बीजगणित की श्रेणी और अमूर्त की श्रेणी के बीच द्वैत <math>\sigma</math>-बीजगणित। | ||
: चलो μ और ν [[गैर-परमाणु उपाय]] | : चलो μ और ν [[गैर-परमाणु उपाय]] है | मानक बोरेल रिक्त स्थान X और वाई पर क्रमशः गैर-परमाणु संभाव्यता उपाय। फिर X का μ नल उपसमुच्चय N, Y का ν नल उपसमुच्चय M और बोरेल समाकृतिकता है | ||
:: <math> \phi: X \setminus N \rightarrow Y \setminus M, \quad </math> | :: <math> \phi: X \setminus N \rightarrow Y \setminus M, \quad </math> | ||
Line 30: | Line 29: | ||
ध्यान दें कि उपरोक्त परिणाम में, परिणाम कार्य करने के लिए माप शून्य के सेट को दूर करना आवश्यक है। | ध्यान दें कि उपरोक्त परिणाम में, परिणाम कार्य करने के लिए माप शून्य के सेट को दूर करना आवश्यक है। | ||
उपरोक्त प्रमेय में, कमजोर ऑपरेटर टोपोलॉजी को संरक्षित करने के लिए समरूपता की आवश्यकता होती है। जैसा कि यह निकला (और परिभाषाओं से आसानी से अनुसरण करता है), बीजगणित | उपरोक्त प्रमेय में, कमजोर ऑपरेटर टोपोलॉजी को संरक्षित करने के लिए समरूपता की आवश्यकता होती है। जैसा कि यह निकला (और परिभाषाओं से आसानी से अनुसरण करता है), बीजगणित L के लिए<sup>∞</sup>(X, μ), निम्नलिखित टोपोलॉजी मानक बाध्य सेटों पर सहमत है: | ||
# | # L पर कमजोर ऑपरेटर टोपोलॉजी<sup>∞</sup>(X, μ); | ||
# | # L पर अल्ट्रावीक ऑपरेटर टोपोलॉजी<sup>∞</sup>(X, μ); | ||
# | # L पर कमजोर अभिसरण की टोपोलॉजी<sup>∞</sup>(X, μ) को L का दोहरा स्थान माना जाता है<sup>1</sup>(X, μ). | ||
चूंकि, एक एबेलियन वॉन न्यूमैन बीजगणित ए के लिए एक वियोज्य हिल्बर्ट अंतरिक्ष पर प्रचालकों के बीजगणित के रूप में ए की प्राप्ति अत्यधिक गैर-अद्वितीय है। ए के ऑपरेटर बीजगणित की प्राप्ति का पूर्ण वर्गीकरण वर्णक्रमीय [[बहुलता सिद्धांत]] द्वारा दिया गया है और इसके लिए प्रत्यक्ष इंटीग्रल के उपयोग की आवश्यकता है। | |||
== स्थानिक समरूपता == | == स्थानिक समरूपता == | ||
प्रत्यक्ष अभिन्न सिद्धांत का उपयोग करके, यह दिखाया जा सकता है कि फॉर्म | प्रत्यक्ष अभिन्न सिद्धांत का उपयोग करके, यह दिखाया जा सकता है कि फॉर्म L के एबेलियन वॉन न्यूमैन बीजगणित<sup>∞</sup>(X, μ) L पर प्रचालकों के रूप में कार्य करता है<sup>2</sup>(X, μ) सभी अधिकतम एबेलियन है। इसका मतलब यह है कि उन्हें उचित रूप से बड़े एबेलियन बीजगणित तक नहीं बढ़ाया जा सकता है। उन्हें मैक्सिमल एबेलियन स्व-आसन्न बीजगणित (या M.A.S.A.) के रूप में भी जाना जाता है। उनका वर्णन करने के लिए इस्तेमाल किया जाने वाला एक अन्य वाक्यांश एकसमान बहुलता 1 का एबेलियन वॉन न्यूमैन बीजगणित है; यह विवरण केवल नीचे वर्णित बहुलता सिद्धांत के संबंध में समझ में आता है। | ||
वॉन न्यूमैन बीजगणित ए ऑन एच, बी ऑन के स्थानिक रूप से | वॉन न्यूमैन बीजगणित ए ऑन एच, बी ऑन के स्थानिक रूप से समरूपी (या एकात्मक रूप से समरूपी) है यदि और केवल अगर एक एकात्मक ऑपरेटर यू: एच → के ऐसा है कि | ||
:<math> U A U^* = B.</math> | :<math> U A U^* = B.</math> | ||
विशेष रूप से स्थानिक रूप से | विशेष रूप से स्थानिक रूप से समरूपी वॉन न्यूमैन बीजगणितीय रूप से समरूपी होता है। | ||
स्थानिक आइसोमोर्फिज्म तक पृथक हिल्बर्ट | स्थानिक आइसोमोर्फिज्म तक पृथक हिल्बर्ट स्थान एच पर सबसे सामान्य एबेलियन वॉन न्यूमैन बीजगणित का वर्णन करने के लिए, हमें एच के प्रत्यक्ष अभिन्न अपघटन को संदर्भित करने की आवश्यकता है। इस अपघटन के विवरण पर एबेलियन वॉन न्यूमैन बीजगणित के प्रत्यक्ष अभिन्न # अपघटन में चर्चा की गई है। विशेष रूप से: | ||
'प्रमेय' कोई भी एबेलियन वॉन न्यूमैन बीजगणित एक वियोज्य हिल्बर्ट | 'प्रमेय' कोई भी एबेलियन वॉन न्यूमैन बीजगणित एक वियोज्य हिल्बर्ट स्थान एच पर L के लिए स्थानिक रूप से समरूपी है<sup>∞</sup>(X, μ) अभिनय कर रहा है | ||
:<math> \int_X^\oplus H(x) \, d \mu(x) </math> | :<math> \int_X^\oplus H(x) \, d \mu(x) </math> | ||
Line 56: | Line 55: | ||
== ऑटोमोर्फिज्म का बिंदु और स्थानिक अहसास == | == ऑटोमोर्फिज्म का बिंदु और स्थानिक अहसास == | ||
[[एर्गोडिक सिद्धांत]] में कई समस्याएं एबेलियन वॉन न्यूमैन बीजगणित के ऑटोमोर्फिज्म के बारे में समस्याओं को कम करती | [[एर्गोडिक सिद्धांत]] में कई समस्याएं एबेलियन वॉन न्यूमैन बीजगणित के ऑटोमोर्फिज्म के बारे में समस्याओं को कम करती है। इस संबंध में, निम्नलिखित परिणाम उपयोगी है: | ||
प्रमेय।<ref>{{citation | last = Takesaki | first = Masamichi | authorlink = Masamichi Takesaki | title=Theory of Operator Algebras I | publisher=[[Springer-Verlag]] | year=2001 | isbn=3-540-42248-X }}, Chapter IV, Lemma 8.22, p. 275</ref> मान लीजिए μ, ν क्रमशः X, Y पर मानक उपाय | प्रमेय।<ref>{{citation | last = Takesaki | first = Masamichi | authorlink = Masamichi Takesaki | title=Theory of Operator Algebras I | publisher=[[Springer-Verlag]] | year=2001 | isbn=3-540-42248-X }}, Chapter IV, Lemma 8.22, p. 275</ref> मान लीजिए μ, ν क्रमशः X, Y पर मानक उपाय है। फिर कोई समावेशी समरूपता | ||
: <math> \Phi: L^\infty(X, \mu) \rightarrow L^\infty(Y, \nu) </math> | : <math> \Phi: L^\infty(X, \mu) \rightarrow L^\infty(Y, \nu) </math> | ||
जो कमजोर है*- [[द्विसतत]] निम्नलिखित अर्थों में एक बिंदु परिवर्तन से मेल खाता है: Y के X और N के बोरेल नल उपसमुच्चय और एक बोरेल समरूपतावाद | जो कमजोर है*- [[द्विसतत]] निम्नलिखित अर्थों में एक बिंदु परिवर्तन से मेल खाता है: Y के X और N के बोरेल नल उपसमुच्चय और एक बोरेल समरूपतावाद है | ||
:<math> \eta: X \setminus M \rightarrow Y \setminus N </math> | :<math> \eta: X \setminus M \rightarrow Y \setminus N </math> | ||
ऐसा है कि | ऐसा है कि | ||
# η माप μ को Y पर एक माप μ' में ले जाता है जो ν के बराबर है इस अर्थ में कि μ' और ν में माप शून्य के समान सेट | # η माप μ को Y पर एक माप μ' में ले जाता है जो ν के बराबर है इस अर्थ में कि μ' और ν में माप शून्य के समान सेट है; | ||
# η परिवर्तन Φ का एहसास करता है, अर्थात | # η परिवर्तन Φ का एहसास करता है, अर्थात | ||
::<math> \Phi (f) = f \circ \eta^{-1}. </math> | ::<math> \Phi (f) = f \circ \eta^{-1}. </math> | ||
ध्यान दें कि सामान्य तौर पर हम η से μ को ν में ले जाने की उम्मीद नहीं कर सकते | ध्यान दें कि सामान्य तौर पर हम η से μ को ν में ले जाने की उम्मीद नहीं कर सकते है। | ||
अगला परिणाम एकात्मक परिवर्तनों से संबंधित है जो एबेलियन वॉन न्यूमैन बीजगणित के बीच एक कमजोर*-द्विनिरंतर समरूपता को प्रेरित करता है। | अगला परिणाम एकात्मक परिवर्तनों से संबंधित है जो एबेलियन वॉन न्यूमैन बीजगणित के बीच एक कमजोर*-द्विनिरंतर समरूपता को प्रेरित करता है। | ||
प्रमेय।<ref>{{citation | last = Takesaki | first = Masamichi | authorlink = Masamichi Takesaki | title=Theory of Operator Algebras I | publisher=[[Springer-Verlag]] | year=2001 | isbn=3-540-42248-X }}, Chapter IV, Theorem 8.23, p. 277</ref> मान लीजिए μ, ν X, Y और पर मानक उपाय | प्रमेय।<ref>{{citation | last = Takesaki | first = Masamichi | authorlink = Masamichi Takesaki | title=Theory of Operator Algebras I | publisher=[[Springer-Verlag]] | year=2001 | isbn=3-540-42248-X }}, Chapter IV, Theorem 8.23, p. 277</ref> मान लीजिए μ, ν X, Y और पर मानक उपाय है | ||
:<math> H = \int_X^\oplus H_x d \mu(x), \quad K = \int_Y^\oplus K_y d \nu(y) </math> | :<math> H = \int_X^\oplus H_x d \mu(x), \quad K = \int_Y^\oplus K_y d \nu(y) </math> | ||
Line 79: | Line 78: | ||
:<math> U \, L^\infty(X, \mu) \, U^* = L^\infty(Y, \nu) </math> | :<math> U \, L^\infty(X, \mu) \, U^* = L^\infty(Y, \nu) </math> | ||
तब लगभग हर जगह परिभाषित बोरेल बिंदु परिवर्तन होता है η : X → Y जैसा कि पिछले प्रमेय और एक औसत दर्जे का परिवार {यू<sub>x</sub>}<sub>''x'' ∈ ''X''</sub> एकात्मक | तब लगभग हर जगह परिभाषित बोरेल बिंदु परिवर्तन होता है η : X → Y जैसा कि पिछले प्रमेय और एक औसत दर्जे का परिवार {यू<sub>x</sub>}<sub>''x'' ∈ ''X''</sub> एकात्मक प्रचालकों की | ||
: <math> U_x: H_x \rightarrow K_{\eta(x)} </math> | : <math> U_x: H_x \rightarrow K_{\eta(x)} </math> | ||
Line 85: | Line 84: | ||
:<math> U \bigg(\int_X^\oplus \psi_x d \mu(x) \bigg)= \int_Y^\oplus \sqrt{ \frac{d (\mu \circ \eta^{-1})}{d \nu}(y)} \ U_{\eta^{-1}(y)} \bigg(\psi_{\eta^{-1}(y)}\bigg) d \nu(y),</math> | :<math> U \bigg(\int_X^\oplus \psi_x d \mu(x) \bigg)= \int_Y^\oplus \sqrt{ \frac{d (\mu \circ \eta^{-1})}{d \nu}(y)} \ U_{\eta^{-1}(y)} \bigg(\psi_{\eta^{-1}(y)}\bigg) d \nu(y),</math> | ||
जहां वर्गमूल चिह्न में व्यंजक रैडॉन-निकोडीम प्रमेय है|राडॉन-निकोडीम का व्युत्पन्न μ η<sup>−1</sup> ν के संबंध में। यह कथन प्रत्यक्ष इंटीग्रल पर लेख में बताए गए विकर्ण योग्य | जहां वर्गमूल चिह्न में व्यंजक रैडॉन-निकोडीम प्रमेय है|राडॉन-निकोडीम का व्युत्पन्न μ η<sup>−1</sup> ν के संबंध में। यह कथन प्रत्यक्ष इंटीग्रल पर लेख में बताए गए विकर्ण योग्य प्रचालकों के बीजगणित को चित्रित करने वाले प्रमेय के साथ ऊपर बताए गए ऑटोमोर्फिज़्म के बिंदु प्राप्ति पर प्रमेय के संयोजन का अनुसरण करता है। | ||
==टिप्पणियाँ== | ==टिप्पणियाँ== |
Revision as of 09:22, 31 May 2023
कार्यात्मक विश्लेषण में, एबेलियन वॉन न्यूमैन बीजगणित एक हिल्बर्ट स्थान पर प्रचालकों का एक वॉन न्यूमैन बीजगणित होता है जिसमें सभी तत्व विनिमेय होते है।
एक एबेलियन वॉन न्यूमैन बीजगणित का प्रोटोटाइपिक उदाहरण हिल्बर्ट स्थान है L2(X, μ) पर प्रचालकों के बीजगणित के रूप में X पर μ a σ-परिमित माप के लिए बीजगणित L∞(X, μ) होता है: प्रत्येक f ∈ L∞(X, μ) की पहचान गुणन संकारक से की जाती है
अलग-अलग स्थान हिल्बर्ट स्थान पर एबेलियन वॉन न्यूमैन बीजगणित विशेष रूप से महत्वपूर्ण होते है, खासकर जब से वे सरल आक्रमणकारियों द्वारा पूरी तरह से वर्गीकृत होते है।
चूंकि गैर-वियोज्य हिल्बर्ट स्थान पर वॉन न्यूमैन बीजगणित के लिए एक सिद्धांत है (और वास्तव में उस स्थिति में बहुत सामान्य सिद्धांत अभी भी है) अलग-अलग स्थानों पर बीजगणित के लिए सिद्धांत अधिक सरल होते है और केवल गणित या भौतिकी के अन्य क्षेत्रों के लिए अधिकांश अनुप्रयोग वियोज्य हिल्बर्ट स्थान का उपयोग करते है। ध्यान दें कि यदि माप स्थान (X, μ) एक मानक माप स्थान है (अर्थात X - N कुछ शून्य सेट N के लिए एक मानक बोरेल स्थान है और μ एक σ-सीमित माप है) तो L2(X, μ) वियोज्य है।
वर्गीकरण
क्रमविनिमेय वॉन न्यूमैन बीजगणित और माप स्थान के बीच संबंध क्रमविनिमेय सी*- बीजगणित और स्थानीय रूप से कॉम्पैक्ट हौसडॉर्फ रिक्त स्थान के बीच के समान है। एक वियोज्य हिल्बर्ट स्थान पर प्रत्येक कम्यूटेटिव वॉन न्यूमैन बीजगणित कुछ मानक माप स्थान (X, μ) के लिए L∞(X) के लिए समरूपी है और इसके विपरीत, प्रत्येक मानक माप स्थान X के लिए, L∞(X) एक वॉन न्यूमैन बीजगणित है। कहा गया है कि यह समरूपता एक बीजगणितीय समरूपता है। वास्तव में हम इसे और अधिक सटीक रूप से इस प्रकार बता सकते हैं:
प्रमेय वियोज्य हिल्बर्ट स्थान पर संचालकों का कोई भी एबेलियन वॉन न्यूमैन बीजगणित निम्नलिखित में से ठीक एक के लिए *-समरूपी होता है
कमजोर ऑपरेटर टोपोलॉजी को संरक्षित करने के लिए समरूपता को चुना जा सकता है।
उपरोक्त सूची में, अंतराल [0,1] में Lebesgue माप है और सेट {1, 2, ..., n} और 'N' में गिनती माप है। यूनियनें अलग-अलग यूनियनें है। यह वर्गीकरण अनिवार्य रूप से वियोज्य माप बीजगणित के लिए महारम के वर्गीकरण प्रमेय का एक रूप है। महारम के वर्गीकरण प्रमेय का संस्करण जो सबसे अधिक उपयोगी है, उसमें तुल्यता का एक बिंदु बोध शामिल है, और कुछ हद तक एक गणितीय लोककथा है।
यद्यपि प्रत्येक मानक माप स्थान उपरोक्त में से किसी एक के लिए समरूपी है और सूची इस अर्थ में संपूर्ण है, एबेलियन वॉन न्यूमैन बीजगणित ए के मामले में माप स्थान के लिए अधिक विहित विकल्प है: सभी प्रोजेक्टरों का सेट एक है -पूर्ण बूलियन बीजगणित, जो एक बिंदु-मुक्त है -बीजगणित। विशेष मामले में एक सार पुनर्प्राप्त करता है -बीजगणित . इस बिंदु मुक्त दृष्टिकोण को गेलफैंड के लिए एक द्वैत प्रमेय एनालॉग में बदल दिया जा सकता है - एबेलियन वॉन न्यूमैन बीजगणित की श्रेणी और अमूर्त की श्रेणी के बीच द्वैत -बीजगणित।
- चलो μ और ν गैर-परमाणु उपाय है | मानक बोरेल रिक्त स्थान X और वाई पर क्रमशः गैर-परमाणु संभाव्यता उपाय। फिर X का μ नल उपसमुच्चय N, Y का ν नल उपसमुच्चय M और बोरेल समाकृतिकता है
- जो μ को ν में ले जाता है।[1]
ध्यान दें कि उपरोक्त परिणाम में, परिणाम कार्य करने के लिए माप शून्य के सेट को दूर करना आवश्यक है।
उपरोक्त प्रमेय में, कमजोर ऑपरेटर टोपोलॉजी को संरक्षित करने के लिए समरूपता की आवश्यकता होती है। जैसा कि यह निकला (और परिभाषाओं से आसानी से अनुसरण करता है), बीजगणित L के लिए∞(X, μ), निम्नलिखित टोपोलॉजी मानक बाध्य सेटों पर सहमत है:
- L पर कमजोर ऑपरेटर टोपोलॉजी∞(X, μ);
- L पर अल्ट्रावीक ऑपरेटर टोपोलॉजी∞(X, μ);
- L पर कमजोर अभिसरण की टोपोलॉजी∞(X, μ) को L का दोहरा स्थान माना जाता है1(X, μ).
चूंकि, एक एबेलियन वॉन न्यूमैन बीजगणित ए के लिए एक वियोज्य हिल्बर्ट अंतरिक्ष पर प्रचालकों के बीजगणित के रूप में ए की प्राप्ति अत्यधिक गैर-अद्वितीय है। ए के ऑपरेटर बीजगणित की प्राप्ति का पूर्ण वर्गीकरण वर्णक्रमीय बहुलता सिद्धांत द्वारा दिया गया है और इसके लिए प्रत्यक्ष इंटीग्रल के उपयोग की आवश्यकता है।
स्थानिक समरूपता
प्रत्यक्ष अभिन्न सिद्धांत का उपयोग करके, यह दिखाया जा सकता है कि फॉर्म L के एबेलियन वॉन न्यूमैन बीजगणित∞(X, μ) L पर प्रचालकों के रूप में कार्य करता है2(X, μ) सभी अधिकतम एबेलियन है। इसका मतलब यह है कि उन्हें उचित रूप से बड़े एबेलियन बीजगणित तक नहीं बढ़ाया जा सकता है। उन्हें मैक्सिमल एबेलियन स्व-आसन्न बीजगणित (या M.A.S.A.) के रूप में भी जाना जाता है। उनका वर्णन करने के लिए इस्तेमाल किया जाने वाला एक अन्य वाक्यांश एकसमान बहुलता 1 का एबेलियन वॉन न्यूमैन बीजगणित है; यह विवरण केवल नीचे वर्णित बहुलता सिद्धांत के संबंध में समझ में आता है।
वॉन न्यूमैन बीजगणित ए ऑन एच, बी ऑन के स्थानिक रूप से समरूपी (या एकात्मक रूप से समरूपी) है यदि और केवल अगर एक एकात्मक ऑपरेटर यू: एच → के ऐसा है कि
विशेष रूप से स्थानिक रूप से समरूपी वॉन न्यूमैन बीजगणितीय रूप से समरूपी होता है।
स्थानिक आइसोमोर्फिज्म तक पृथक हिल्बर्ट स्थान एच पर सबसे सामान्य एबेलियन वॉन न्यूमैन बीजगणित का वर्णन करने के लिए, हमें एच के प्रत्यक्ष अभिन्न अपघटन को संदर्भित करने की आवश्यकता है। इस अपघटन के विवरण पर एबेलियन वॉन न्यूमैन बीजगणित के प्रत्यक्ष अभिन्न # अपघटन में चर्चा की गई है। विशेष रूप से:
'प्रमेय' कोई भी एबेलियन वॉन न्यूमैन बीजगणित एक वियोज्य हिल्बर्ट स्थान एच पर L के लिए स्थानिक रूप से समरूपी है∞(X, μ) अभिनय कर रहा है
हिल्बर्ट रिक्त स्थान के कुछ मापने योग्य परिवार के लिए {एचx}x ∈ X.
ध्यान दें कि एबेलियन वॉन न्यूमैन बीजगणित के लिए इस तरह के प्रत्यक्ष अभिन्न स्थानों पर कार्य करना, कमजोर ऑपरेटर टोपोलॉजी की समानता, अल्ट्रावीक टोपोलॉजी और कमजोर * टोपोलॉजी नॉर्म बाउंड सेट पर अभी भी कायम है।
ऑटोमोर्फिज्म का बिंदु और स्थानिक अहसास
एर्गोडिक सिद्धांत में कई समस्याएं एबेलियन वॉन न्यूमैन बीजगणित के ऑटोमोर्फिज्म के बारे में समस्याओं को कम करती है। इस संबंध में, निम्नलिखित परिणाम उपयोगी है:
प्रमेय।[2] मान लीजिए μ, ν क्रमशः X, Y पर मानक उपाय है। फिर कोई समावेशी समरूपता
जो कमजोर है*- द्विसतत निम्नलिखित अर्थों में एक बिंदु परिवर्तन से मेल खाता है: Y के X और N के बोरेल नल उपसमुच्चय और एक बोरेल समरूपतावाद है
ऐसा है कि
- η माप μ को Y पर एक माप μ' में ले जाता है जो ν के बराबर है इस अर्थ में कि μ' और ν में माप शून्य के समान सेट है;
- η परिवर्तन Φ का एहसास करता है, अर्थात
ध्यान दें कि सामान्य तौर पर हम η से μ को ν में ले जाने की उम्मीद नहीं कर सकते है।
अगला परिणाम एकात्मक परिवर्तनों से संबंधित है जो एबेलियन वॉन न्यूमैन बीजगणित के बीच एक कमजोर*-द्विनिरंतर समरूपता को प्रेरित करता है।
प्रमेय।[3] मान लीजिए μ, ν X, Y और पर मानक उपाय है
हिल्बर्ट रिक्त स्थान के औसत दर्जे के परिवारों के लिए {एचx}x ∈ X, {कy}y ∈ Y. यदि U : H → K एक एकात्मक है जैसे कि
तब लगभग हर जगह परिभाषित बोरेल बिंदु परिवर्तन होता है η : X → Y जैसा कि पिछले प्रमेय और एक औसत दर्जे का परिवार {यूx}x ∈ X एकात्मक प्रचालकों की
ऐसा है कि
जहां वर्गमूल चिह्न में व्यंजक रैडॉन-निकोडीम प्रमेय है|राडॉन-निकोडीम का व्युत्पन्न μ η−1 ν के संबंध में। यह कथन प्रत्यक्ष इंटीग्रल पर लेख में बताए गए विकर्ण योग्य प्रचालकों के बीजगणित को चित्रित करने वाले प्रमेय के साथ ऊपर बताए गए ऑटोमोर्फिज़्म के बिंदु प्राप्ति पर प्रमेय के संयोजन का अनुसरण करता है।
टिप्पणियाँ
- ↑ Bogachev, V.I. (2007). माप सिद्धांत। वॉल्यूम। द्वितीय. Springer-Verlag. p. 275. ISBN 978-3-540-34513-8.
- ↑ Takesaki, Masamichi (2001), Theory of Operator Algebras I, Springer-Verlag, ISBN 3-540-42248-X, Chapter IV, Lemma 8.22, p. 275
- ↑ Takesaki, Masamichi (2001), Theory of Operator Algebras I, Springer-Verlag, ISBN 3-540-42248-X, Chapter IV, Theorem 8.23, p. 277
संदर्भ
- J. Dixmier, Les algèbres d'opérateurs dans l'espace Hilbertien, Gauthier-Villars, 1969. See chapter I, section 6.
- Masamichi Takesaki Theory of Operator Algebras I,II,III", encyclopedia of mathematical sciences, Springer-Verlag, 2001–2003 (the first volume was published 1979 in 1. Edition) ISBN 3-540-42248-X