प्रक्षेपण-मूल्य माप: Difference between revisions

From Vigyanwiki
(Created page with "{{Short description|Mathematical operator-value measure of interest in quantum mechanics and functional analysis}} गणित में, विशेष रूप से ...")
 
No edit summary
 
(6 intermediate revisions by 3 users not shown)
Line 1: Line 1:
{{Short description|Mathematical operator-value measure of interest in quantum mechanics and functional analysis}}
{{Short description|Mathematical operator-value measure of interest in quantum mechanics and functional analysis}}
गणित में, विशेष रूप से [[कार्यात्मक विश्लेषण]] में, एक प्रक्षेपण-मूल्य माप (पीवीएम) एक निश्चित सेट के कुछ उपसमुच्चय पर परिभाषित एक फ़ंक्शन है और जिसका मान एक निश्चित [[हिल्बर्ट स्थान]] पर स्व-सहायक [[प्रक्षेपण (गणित)]] हैं। प्रक्षेपण-मूल्यवान माप औपचारिक रूप से वास्तविक-मूल्यवान [[माप (गणित)]] के समान हैं, सिवाय इसके कि उनके मूल्य वास्तविक संख्याओं के बजाय स्व-संयुक्त अनुमान हैं। सामान्य उपायों की तरह, पीवीएम के संबंध में जटिल-मूल्यवान कार्यों को एकीकृत करना संभव है; इस तरह के एकीकरण का परिणाम दिए गए हिल्बर्ट स्थान पर एक रैखिक ऑपरेटर है।
गणित में, विशेष रूप से [[कार्यात्मक विश्लेषण]] में, प्रक्षेपण-मूल्य माप (पीवीएम) निश्चित सेट के कुछ उपसमुच्चय पर परिभाषि फलन है और जिसका मान निश्चित [[हिल्बर्ट स्थान]] पर स्व-सहायक [[प्रक्षेपण (गणित)]] हैं। प्रक्षेपण-मूल्यवान माप औपचारिक रूप से वास्तविक-मूल्यवान [[माप (गणित)]] के समान हैं, अतिरिक्त इसके कि उनके मूल्य वास्तविक संख्याओं के अतिरिक्त स्व-संयुक्त अनुमान हैं। सामान्य उपायों की तरह, पीवीएम के संबंध में जटिल-मूल्यवान कार्यों को एकीकृत करना संभव है; इस तरह के एकीकरण का परिणाम दिए गए हिल्बर्ट स्थान पर रैखिक ऑपरेटर है।


प्रक्षेपण-मूल्यवान उपायों का उपयोग [[वर्णक्रमीय सिद्धांत]] में परिणाम व्यक्त करने के लिए किया जाता है, जैसे कि स्व-सहायक ऑपरेटरों के लिए महत्वपूर्ण वर्णक्रमीय प्रमेय। स्व-सहायक ऑपरेटरों के लिए बोरेल कार्यात्मक कैलकुलस का निर्माण पीवीएम के संबंध में इंटीग्रल्स का उपयोग करके किया गया है। [[क्वांटम यांत्रिकी]] में, पीवीएम [[क्वांटम माप]] का गणितीय विवरण हैं।{{clarify|reason=Is this a novel term? It's not defined in the linked article.|date=May 2015}} उन्हें [[POVM]] (पीओवीएम) द्वारा उसी अर्थ में सामान्यीकृत किया जाता है जैसे एक [[मिश्रित अवस्था (भौतिकी)]] या [[घनत्व मैट्रिक्स]] एक [[शुद्ध अवस्था]] की धारणा को सामान्यीकृत करता है।
प्रक्षेपण-मूल्यवान उपायों का उपयोग [[वर्णक्रमीय सिद्धांत]] में परिणाम व्यक्त करने के लिए किया जाता है, जैसे कि स्व-सहायक ऑपरेटरों के लिए महत्वपूर्ण वर्णक्रमीय प्रमेय। स्व-सहायक ऑपरेटरों के लिए बोरेल कार्यात्मक कैलकुलस का निर्माण पीवीएम के संबंध में इंटीग्रल्स का उपयोग करके किया गया है। [[क्वांटम यांत्रिकी]] में, पीवीएम [[क्वांटम माप]] का गणितीय विवरण हैं। उन्हें [[POVM|पीओवीएम]] (पीओवीएम) द्वारा उसी अर्थ में सामान्यीकृत किया जाता है, जैसे [[मिश्रित अवस्था (भौतिकी)]] या [[घनत्व मैट्रिक्स|घनत्व आव्यूह]] [[शुद्ध अवस्था]] की धारणा को सामान्यीकृत करता है।


== औपचारिक परिभाषा ==
== औपचारिक परिभाषा ==


एक प्रक्षेपण-मूल्य माप <math>\pi</math> [[मापने योग्य स्थान]] पर
प्रक्षेपण-मूल्य माप <math>\pi</math> [[मापने योग्य स्थान]] पर <math>(X, M)</math>, जहाँ <math>M</math> के उपसमुच्चय का σ-बीजगणित <math>X</math> है, <math>M</math> से [[फ़ंक्शन (गणित)|फलन (गणित)]] है, हिल्बर्ट स्थान पर स्व-सहायक प्रक्षेपण ऑपरेटर के सेट पर <math>H</math> (अर्थात् ओर्थोगोनल अनुमान) जैसे कि
<math>(X, M)</math>, कहाँ <math>M</math> के उपसमुच्चय का σ-बीजगणित है <math>X</math>, से एक [[फ़ंक्शन (गणित)]] है <math>M</math> हिल्बर्ट स्थान पर स्व-सहायक प्रक्षेपण ऑपरेटर के सेट पर <math>H</math> (अर्थात् ओर्थोगोनल अनुमान) जैसे कि
 
: <math>
: <math>
\pi(X) = \operatorname{id}_H \quad  
\pi(X) = \operatorname{id}_H \quad  
</math>
</math>
(कहाँ <math>\operatorname{id}_H</math> का [[पहचान संचालक]] है <math>H</math>) और प्रत्येक के लिए <math>\xi,\eta\in H</math>, निम्नलिखित फ़ंक्शन <math>M \to \mathbb C</math>
(जहां <math>\operatorname{id}_H</math> का [[पहचान संचालक]] <math>H</math> है) और प्रत्येक के लिए <math>\xi,\eta\in H</math>, निम्नलिखित फलन <math>M \to \mathbb C</math>
:<math>  
:<math>  
E \mapsto \langle \pi(E)\xi \mid \eta \rangle  
E \mapsto \langle \pi(E)\xi \mid \eta \rangle  
</math>
</math>
पर एक जटिल उपाय है<math>M</math>(अर्थात, एक जटिल-मूल्यवान [[ सिग्मा additivity ]] फ़ंक्शन)।
पर जटिल उपाय <math>M</math> है (अर्थात, जटिल-मान [[ सिग्मा additivity |गणनीय रूप से योगात्मक]] फलन)।


हम इस माप को निरूपित करते हैं
हम इस माप को निरूपित करते हैं
  <math>\operatorname{S}_\pi(\xi, \eta)</math>.
  <math>\operatorname{S}_\pi(\xi, \eta)</math>.


ध्यान दें कि <math>\operatorname{S}_\pi(\xi, \xi)</math> एक वास्तविक-मूल्यवान माप है, और एक संभाव्यता माप है जब <math>\xi</math> लंबाई एक है.
ध्यान दें कि <math>\operatorname{S}_\pi(\xi, \xi)</math> वास्तविक-मूल्यवान माप है, और संभाव्यता माप है जब <math>\xi</math> लंबाई है;


अगर <math>\pi</math> एक प्रक्षेपण-मूल्य माप है और
यदि <math>\pi</math> प्रक्षेपण-मूल्य माप है और


: <math>
: <math>
Line 35: Line 33:
और वे आवागमन करते हैं।
और वे आवागमन करते हैं।


उदाहरण। कल्पना करना <math>(X, M, \mu)</math> एक माप स्थान है. मान लीजिए, प्रत्येक मापने योग्य उपसमुच्चय के लिए <math>E</math> में <math>M</math>,  
उदाहरण। कल्पना करना <math>(X, M, \mu)</math> माप स्थान है। मान लीजिए, प्रत्येक मापने योग्य उपसमुच्चय के लिए <math>E</math> में <math>M</math>,  
:<math>
:<math>
\pi(E) : L^2(\mu) \to L^2 (\mu):  
\pi(E) : L^2(\mu) \to L^2 (\mu):  
\psi \mapsto \chi_E \psi
\psi \mapsto \chi_E \psi
</math>
</math>
सूचक फ़ंक्शन द्वारा गुणन का संचालिका बनें <math>1_E</math> एलपी स्पेस पर|एल<sup>2</sup>(X). तब <math>\pi</math> एक प्रक्षेपण-मूल्य माप है। उदाहरण के लिए, यदि <math>X = \mathbb{R}</math>, <math>E = (0,1)</math>, और <math>\phi,\psi \in L^2(\mathbb{R})</math> इसके बाद संबंधित जटिल उपाय है <math>S_{(0,1)}(\phi,\psi)</math> जो एक मापने योग्य कार्य करता है <math>f: \mathbb{R} \to \mathbb{R}</math> और इंटीग्रल<ब्लॉककोट> देता है<math>S_{(0,1)}(\phi,\psi)(f) = \int_{(0,1)}f(x)\psi(x)\overline{\phi}(x)dx</math></ब्लॉककोट>
''L''<sup>2</sup>(''X'') पर सूचक फलन <math>1_E</math> द्वारा गुणन का संचालिका बनें। तब <math>\pi</math> प्रक्षेपण-मूल्य माप है। उदाहरण के लिए, यदि <math>X = \mathbb{R}</math>, <math>E = (0,1)</math>, और <math>\phi,\psi \in L^2(\mathbb{R})</math> इसके बाद संबंधित जटिल उपाय <math>S_{(0,1)}(\phi,\psi)</math> है, जो मापने योग्य कार्य करता है <math>f: \mathbb{R} \to \mathbb{R}</math> और <math>S_{(0,1)}(\phi,\psi)(f) = \int_{(0,1)}f(x)\psi(x)\overline{\phi}(x)dx</math> देता है।


== प्रक्षेपण-मूल्य माप, अभिन्न और वर्णक्रमीय प्रमेय का विस्तार ==
== प्रक्षेपण-मूल्य माप, अभिन्न और वर्णक्रमीय प्रमेय का विस्तार ==


अगर {{pi}} मापने योग्य स्थान (एक्स, एम) पर एक प्रक्षेपण-मूल्य माप है, फिर मानचित्र
अगर {{pi}} मापने योग्य स्थान (''X'', ''M'') पर प्रक्षेपण-मूल्य माप है, तो मानचित्र


: <math>
: <math>
  \chi_E \mapsto \pi(E)
  \chi_E \mapsto \pi(E)
</math>
</math>
एक्स पर चरण कार्यों के वेक्टर स्थान पर एक रेखीय मानचित्र तक विस्तारित होता है। वास्तव में, यह जांचना आसान है कि यह मानचित्र एक [[वलय समरूपता]] है। यह मानचित्र X पर सभी बंधे हुए जटिल-मूल्य मापन योग्य कार्यों के लिए एक विहित तरीके से विस्तारित होता है, और हमारे पास निम्नलिखित हैं।
X पर चरण कार्यों के वेक्टर स्थान पर रेखीय मानचित्र तक विस्तारित होता है। वास्तव में, यह जांचना आसान है कि यह मानचित्र [[वलय समरूपता]] है। यह मानचित्र X पर सभी बंधे हुए जटिल-मूल्य मापन योग्य कार्यों के लिए विहित विधियों से विस्तारित होता है, और हमारे पास निम्नलिखित हैं।


'प्रमेय'. एक्स पर किसी भी परिबद्ध एम-मापने योग्य फ़ंक्शन एफ के लिए, एक अद्वितीय परिबद्ध रैखिक ऑपरेटर मौजूद है
'प्रमेय' X पर किसी भी परिबद्ध ''M''-मापने योग्य फलन ''f'' के लिए, अद्वितीय परिबद्ध रैखिक ऑपरेटर उपस्थित है
:<math>
:<math>
\mathrm T_\pi (f) : H \to H
\mathrm T_\pi (f) : H \to H
Line 60: Line 58:
  \int_X f \ d \operatorname{S}_\pi (\xi,\eta)  
  \int_X f \ d \operatorname{S}_\pi (\xi,\eta)  
</math>
</math>
सभी के लिए <math> \xi,\eta \in H, </math> कहाँ <math> \operatorname{S}_\pi (\xi,\eta)</math> जटिल माप को दर्शाता है
सभी के लिए <math> \xi,\eta \in H, </math> जहाँ <math> \operatorname{S}_\pi (\xi,\eta)</math> जटिल माप को दर्शाता है


:<math>E \mapsto \langle \pi(E)\xi \mid \eta \rangle </math>
:<math>E \mapsto \langle \pi(E)\xi \mid \eta \rangle </math>
की परिभाषा से <math>\pi</math>.
<math>\pi</math> की परिभाषा से,


वो नक्शा
वो मानचित्र


: <math> \mathcal{BM}(X,M) \to \mathcal L(H):  
: <math> \mathcal{BM}(X,M) \to \mathcal L(H):  
f \mapsto \operatorname{T}_\pi(f)</math>
f \mapsto \operatorname{T}_\pi(f)</math>
एक वलय समरूपता है।
वलय समरूपता है।


एक अभिन्न संकेतन का प्रयोग प्रायः किसके लिए किया जाता है? <math>\operatorname{T}_\pi(f)</math>, के रूप में
अभिन्न संकेतन का प्रयोग प्रायः किसके लिए किया जाता है? <math>\operatorname{T}_\pi(f)</math>, के रूप में


: <math>\operatorname{T}_\pi(f)=\int_X f(x) \, d \pi(x) = \int_X f \, d \pi.</math>
: <math>\operatorname{T}_\pi(f)=\int_X f(x) \, d \pi(x) = \int_X f \, d \pi.</math>
प्रमेय असीमित मापनीय फलनों f के लिए भी सही है, लेकिन तब <math>\operatorname{T}_\pi(f)</math> हिल्बर्ट स्पेस एच पर एक असीमित रैखिक ऑपरेटर होगा।
प्रमेय असीमित मापनीय फलनों f के लिए भी सही है, लेकिन तब <math>\operatorname{T}_\pi(f)</math> हिल्बर्ट स्पेस H पर असीमित रैखिक ऑपरेटर होगा।


[[वर्णक्रमीय प्रमेय]] कहता है कि प्रत्येक स्व-सहायक संचालिका <math>A:H\to H</math> एक संबद्ध प्रक्षेपण-मूल्य माप है <math>\pi_A</math> वास्तविक अक्ष पर परिभाषित, जैसे कि
[[वर्णक्रमीय प्रमेय]] कहता है कि प्रत्येक स्व-सहायक संचालिका <math>A:H\to H</math> संबद्ध प्रक्षेपण-मूल्य माप <math>\pi_A</math> है, वास्तविक अक्ष पर परिभाषित, जैसे कि
:<math>A =\int_\mathbb{R} x \, d\pi_A(x).</math>
:<math>A =\int_\mathbb{R} x \, d\pi_A(x).</math>
यह ऐसे ऑपरेटरों के लिए बोरेल कार्यात्मक कैलकुलस को परिभाषित करने की अनुमति देता है: यदि <math>g:\mathbb{R}\to\mathbb{C}</math> एक मापने योग्य कार्य है, हम सेट करते हैं
यह ऐसे ऑपरेटरों के लिए बोरेल कार्यात्मक कैलकुलस को परिभाषित करने की अनुमति देता है: यदि <math>g:\mathbb{R}\to\mathbb{C}</math> मापने योग्य कार्य है, हम सेट करते हैं
:<math>g(A) :=\int_\mathbb{R} g(x) \, d\pi_A(x).</math>
:<math>g(A) :=\int_\mathbb{R} g(x) \, d\pi_A(x).</math>


Line 84: Line 82:
== प्रक्षेपण-मूल्य माप की संरचना ==
== प्रक्षेपण-मूल्य माप की संरचना ==


सबसे पहले हम [[प्रत्यक्ष अभिन्न]]ों के आधार पर प्रक्षेपण-मूल्य माप का एक सामान्य उदाहरण प्रदान करते हैं। मान लीजिए (X, M, μ) एक माप स्थान है और मान लीजिए कि {H<sub>''x''</sub>}<sub>''x'' ∈ ''X'' </sub> वियोज्य हिल्बर्ट रिक्त स्थान का μ-मापने योग्य परिवार बनें। प्रत्येक E ∈ M के लिए, मान लीजिए {{pi}}() 1 से गुणा का संचालक बनें<sub>''E''</sub> हिल्बर्ट स्थान पर
सबसे पहले हम [[प्रत्यक्ष अभिन्न]] के आधार पर प्रक्षेपण-मूल्य माप का सामान्य उदाहरण प्रदान करते हैं। मान लीजिए (X, M, μ) माप स्थान है और मान लीजिए कि {H<sub>''x''</sub>}<sub>''x'' ∈ ''X''</sub> वियोज्य हिल्बर्ट रिक्त स्थान का μ-मापने योग्य परिवार बनें। प्रत्येक E ∈ M के लिए, मान लीजिए {{pi}}(''E'') से गुणा का संचालक 1<sub>''E''</sub> हिल्बर्ट स्थान पर


:<math> \int_X^\oplus H_x \ d \mu(x). </math>
:<math> \int_X^\oplus H_x \ d \mu(x). </math>
तब {{pi}} (X, M) पर एक प्रक्षेपण-मूल्य माप है।
तब {{pi}} (X, M) पर प्रक्षेपण-मूल्य माप है।


कल्पना करना {{pi}}, ρ एच, के के अनुमानों में मूल्यों के साथ (एक्स, एम) पर प्रक्षेपण-मूल्य वाले उपाय हैं।   {{pi}}, ρ एकात्मक रूप से समतुल्य हैं यदि और केवल यदि कोई एकात्मक संकारक ''U'':''H'' → ''K'' ऐसा हो कि
कल्पना करना {{pi}}, ρ H, के के अनुमानों में मूल्यों के साथ (X, M) पर प्रक्षेपण-मूल्य वाले उपाय हैं। {{pi}}, ρ एकात्मक रूप से समतुल्य हैं यदि और केवल यदि कोई एकात्मक संकारक ''U'':''H'' → ''K'' ऐसा हो कि


:<math> \pi(E) = U^* \rho(E) U \quad </math>
:<math> \pi(E) = U^* \rho(E) U \quad </math>
प्रत्येक E ∈ M के लिए।
प्रत्येक E ∈ M के लिए।


'प्रमेय'. यदि (X, M) एक बोरेल बीजगणित#मानक बोरेल रिक्त स्थान और कुराटोस्की प्रमेय है, तो प्रत्येक प्रक्षेपण-मूल्य माप के लिए {{pi}} (एक्स, एम) पर एक अलग हिल्बर्ट स्थान के अनुमानों में मान लेते हुए, एक बोरेल माप μ और हिल्बर्ट रिक्त स्थान का एक μ-मापने योग्य परिवार है {एच<sub>''x''</sub>}<sub>''x'' ∈ ''X'' </sub>, ऐसा है कि {{pi}} इकाई रूप से 1 से गुणा के बराबर है<sub>''E''</sub> हिल्बर्ट स्थान पर
'प्रमेय'. यदि (X, M) बोरेल बीजगणित मानक बोरेल रिक्त स्थान और कुराटोस्की प्रमेय है, तो प्रत्येक प्रक्षेपण-मूल्य माप के लिए {{pi}} (X, M) पर अलग हिल्बर्ट स्थान के अनुमानों में मान लेते हुए, बोरेल माप μ और हिल्बर्ट रिक्त स्थान का μ-मापने योग्य परिवार है {''H<sub>x</sub>''}<sub>''x'' ∈ ''X'' </sub>, ऐसा है कि {{pi}} इकाई रूप से 1<sub>''E''</sub> से गुणा के बराबर है, हिल्बर्ट स्थान पर


:<math> \int_X^\oplus H_x \ d \mu(x). </math>
:<math> \int_X^\oplus H_x \ d \mu(x). </math>
माप वर्ग{{clarify|reason=What is a measure class? A measure up to measure-preserving equivalence? Should the measure be completed?|date=May 2015}μ का } और बहुलता फलन x → dim H का माप तुल्यता वर्ग<sub>''x''</sub> एकात्मक तुल्यता तक प्रक्षेपण-मूल्य माप को पूरी तरह से चित्रित करें।
माप वर्ग{{clarify|reason=What is a measure class? A measure up to measure-preserving equivalence? Should the measure be completed?|date=May 2015}μ का } और बहुलता फलन x → dim H का माप तुल्यता वर्ग<sub>''x''</sub> एकात्मक तुल्यता तक प्रक्षेपण-मूल्य माप को पूरी तरह से चित्रित करें।


एक प्रक्षेपण-मूल्य माप {{pi}} बहुलता n का सजातीय है यदि और केवल यदि बहुलता फ़ंक्शन का स्थिर मान n है। स्पष्ट रूप से,
प्रक्षेपण-मूल्य माप {{pi}} बहुलता n का सजातीय है यदि और केवल यदि बहुलता फलन का स्थिर मान n है। स्पष्ट रूप से,


'प्रमेय'. कोई भी प्रक्षेपण-मूल्य माप {{pi}} वियोज्य हिल्बर्ट स्थान के अनुमानों में मान लेना सजातीय प्रक्षेपण-मूल्य मापों का एक ऑर्थोगोनल प्रत्यक्ष योग है:
'प्रमेय'. कोई भी प्रक्षेपण-मूल्य माप {{pi}} वियोज्य हिल्बर्ट स्थान के अनुमानों में मान लेना सजातीय प्रक्षेपण-मूल्य मापों का ऑर्थोगोनल प्रत्यक्ष योग है:


:<math> \pi = \bigoplus_{1 \leq n \leq \omega} (\pi \mid H_n) </math>
:<math> \pi = \bigoplus_{1 \leq n \leq \omega} (\pi \mid H_n) </math>
कहाँ
जहाँ


:<math> H_n = \int_{X_n}^\oplus H_x \ d (\mu \mid X_n) (x) </math>
:<math> H_n = \int_{X_n}^\oplus H_x \ d (\mu \mid X_n) (x) </math>
Line 114: Line 112:
==क्वांटम यांत्रिकी में अनुप्रयोग==
==क्वांटम यांत्रिकी में अनुप्रयोग==


क्वांटम यांत्रिकी में, हिल्बर्ट स्पेस एच पर निरंतर एंडोमोर्फिज्म के स्थान के लिए मापने योग्य स्थान एक्स का एक प्रक्षेपण मूल्य माप दिया गया है,
क्वांटम यांत्रिकी में, हिल्बर्ट स्पेस H पर निरंतर एंडोमोर्फिज्म के स्थान के लिए मापने योग्य स्थान X का प्रक्षेपण मूल्य माप दिया गया है,


* हिल्बर्ट स्पेस एच के प्रक्षेप्य स्थान की व्याख्या क्वांटम प्रणाली के संभावित राज्यों Φ के सेट के रूप में की जाती है,
* हिल्बर्ट स्पेस एच के प्रक्षेप्य स्थान की व्याख्या क्वांटम प्रणाली के संभावित अवस्थाों Φ के सेट के रूप में की जाती है,
* मापने योग्य स्थान X सिस्टम की कुछ क्वांटम संपत्ति (एक अवलोकनीय) के लिए मूल्य स्थान है,
* मापने योग्य स्थान X प्रणाली की कुछ क्वांटम संपत्ति (अवलोकनीय) के लिए मूल्य स्थान है,
* प्रक्षेपण-मूल्य माप {{pi}} इस संभावना को व्यक्त करता है कि अवलोकन योग्य विभिन्न मान लेता है।
* प्रक्षेपण-मूल्य माप {{pi}} इस संभावना को व्यक्त करता है कि अवलोकन योग्य विभिन्न मान लेता है।


एक्स के लिए एक आम पसंद वास्तविक रेखा है, लेकिन यह भी हो सकती है
एक्स के लिए सामान्य पसंद वास्तविक रेखा है, लेकिन यह भी हो सकती है


* 'आर'<sup>3</sup> (तीन आयामों में स्थिति या गति के लिए),
* 'R'<sup>3</sup> (तीन आयामों में स्थिति या गति के लिए),
* एक असतत सेट (कोणीय गति, बाध्य अवस्था की ऊर्जा, आदि के लिए),
* असतत सेट (कोणीय गति, बाध्य अवस्था की ऊर्जा, आदि के लिए),
* Φ के बारे में एक मनमाने प्रस्ताव के सत्य-मूल्य के लिए 2-बिंदु सेट सही और गलत है।
* Φ के बारे में मनमाने प्रस्ताव के सत्य-मूल्य के लिए 2-बिंदु सेट सही और गलत है।


मान लीजिए कि E, मापने योग्य स्थान = 1. राज्य Φ में सिस्टम को देखते हुए, अवलोकन योग्य उपसमुच्चय में अपना मान लेने की संभावना है
मान लीजिए कि E, मापने योग्य स्थान = 1. अवस्था Φ में प्रणाली को देखते हुए, अवलोकन योग्य उपसमुच्चय E में अपना मान लेने की संभावना है


:<math>
:<math>
Line 132: Line 130:
जहां भौतिकी में बाद वाले अंकन को प्राथमिकता दी जाती है।
जहां भौतिकी में बाद वाले अंकन को प्राथमिकता दी जाती है।


हम इसे दो तरीकों से पार्स कर सकते हैं।
हम इसे दो विधियों से पार्स कर सकते हैं।


सबसे पहले, प्रत्येक निश्चित के लिए, प्रक्षेपण {{pi}}() एच पर एक स्व-सहायक ऑपरेटर है जिसका 1-ईजेनस्पेस राज्य Φ है जिसके लिए अवलोकन योग्य का मूल्य हमेशा में निहित है, और जिसका 0-ईजेनस्पेस राज्य Φ है जिसके लिए अवलोकन योग्य का मूल्य कभी झूठ नहीं बोलता है में.
सबसे पहले, प्रत्येक निश्चित E के लिए, प्रक्षेपण {{pi}}(E) H पर स्व-सहायक ऑपरेटर है जिसका 1-ईजेनस्पेस अवस्था Φ है जिसके लिए अवलोकन योग्य का मूल्य हमेशा E में निहित है, और जिसका 0-ईजेनस्पेस अवस्था Φ है जिसके लिए अवलोकन योग्य का मूल्य कभी झूठ नहीं बोलता है E में;


दूसरा, प्रत्येक निश्चित सामान्यीकृत वेक्टर अवस्था के लिए <math>\psi</math>, संगठन
दूसरा, प्रत्येक निश्चित सामान्यीकृत वेक्टर अवस्था के लिए <math>\psi</math>, संगठन
Line 142: Line 140:
E \mapsto  \langle\psi\mid\pi(E)\psi\rangle
E \mapsto  \langle\psi\mid\pi(E)\psi\rangle
</math>
</math>
एक्स पर एक संभाव्यता माप है जो अवलोकन योग्य के मानों को एक यादृच्छिक चर में बनाता है।
X पर संभाव्यता माप है, जो अवलोकन योग्य के मानों को यादृच्छिक चर में बनाता है।


{{Anchor|Projective measurement}}एक माप जो प्रक्षेपण-मूल्य माप द्वारा किया जा सकता है {{pi}} को प्रक्षेप्य माप कहा जाता है।
माप जो प्रक्षेपण-मूल्य माप द्वारा किया जा सकता है, {{pi}} को प्रक्षेप्य माप कहा जाता है।


यदि ''X'' वास्तविक संख्या रेखा है, तो इससे संबद्ध अस्तित्व मौजूद है {{pi}}, एक हर्मिटियन ऑपरेटर को एच द्वारा परिभाषित किया गया है
यदि ''X'' वास्तविक संख्या रेखा है, तो इससे संबद्ध {{pi}} अस्तित्व उपस्थित है, हर्मिटियन ऑपरेटर A को H द्वारा परिभाषित किया गया है


:<math>A(\varphi) = \int_{\mathbf{R}} \lambda \,d\pi(\lambda)(\varphi),</math>
:<math>A(\varphi) = \int_{\mathbf{R}} \lambda \,d\pi(\lambda)(\varphi),</math>
Line 152: Line 150:


:<math>A(\varphi) = \sum_i \lambda_i \pi({\lambda_i})(\varphi)</math>
:<math>A(\varphi) = \sum_i \lambda_i \pi({\lambda_i})(\varphi)</math>
अगर का समर्थन {{pi}} R का एक पृथक उपसमुच्चय है।
यदि {{pi}} का समर्थन R का पृथक उपसमुच्चय है।


उपरोक्त ऑपरेटर को वर्णक्रमीय माप से जुड़ा अवलोकनीय कहा जाता है।
उपरोक्त ऑपरेटर A को वर्णक्रमीय माप से जुड़ा अवलोकनीय कहा जाता है।


इस प्रकार प्राप्त किसी भी ऑपरेटर को क्वांटम यांत्रिकी में अवलोकनीय कहा जाता है।
इस प्रकार प्राप्त किसी भी ऑपरेटर को क्वांटम यांत्रिकी में अवलोकनीय कहा जाता है।


==सामान्यीकरण==
==सामान्यीकरण==
प्रक्षेपण-मूल्य माप के विचार को [[सकारात्मक ऑपरेटर-मूल्य माप]] (पीओवीएम) द्वारा सामान्यीकृत किया जाता है, जहां प्रक्षेपण ऑपरेटरों द्वारा निहित ऑर्थोगोनलिटी की आवश्यकता को ऑपरेटरों के एक सेट के विचार से प्रतिस्थापित किया जाता है जो एकता का एक गैर-ऑर्थोगोनल विभाजन है{{clarify|reason=Partition of unity in the operator sense is not defined in the article "partition of unity".|date=May 2015}}. यह सामान्यीकरण [[क्वांटम सूचना सिद्धांत]] के अनुप्रयोगों से प्रेरित है।
प्रक्षेपण-मूल्य माप के विचार को [[सकारात्मक ऑपरेटर-मूल्य माप]] (पीओवीएम) द्वारा सामान्यीकृत किया जाता है, जहां प्रक्षेपण ऑपरेटरों द्वारा निहित ऑर्थोगोनलिटी की आवश्यकता को ऑपरेटरों के सेट के विचार से प्रतिस्थापित किया जाता है, जो एकता का गैर-ऑर्थोगोनल विभाजन है, यह सामान्यीकरण [[क्वांटम सूचना सिद्धांत]] के अनुप्रयोगों से प्रेरित है।


== यह भी देखें ==
== यह भी देखें ==
Line 173: Line 171:
* Mackey, G. W., ''The Theory of Unitary Group Representations'', The University of Chicago Press, 1976
* Mackey, G. W., ''The Theory of Unitary Group Representations'', The University of Chicago Press, 1976
* [[Michael C. Reed|M. Reed]] and [[Barry Simon|B. Simon]], ''Methods of Mathematical Physics'', vols I–IV, Academic Press 1972.
* [[Michael C. Reed|M. Reed]] and [[Barry Simon|B. Simon]], ''Methods of Mathematical Physics'', vols I–IV, Academic Press 1972.
* {{Narici Beckenstein Topological Vector Spaces|edition=2}} <!-- {{sfn | Narici | 2011 | p=}} -->
* {{Narici Beckenstein Topological Vector Spaces|edition=2}}
* {{Schaefer Wolff Topological Vector Spaces|edition=2}} <!-- {{sfn | Schaefer | 1999 | p=}} -->
* {{Schaefer Wolff Topological Vector Spaces|edition=2}}
* [[Gerald Teschl|G. Teschl]], ''Mathematical Methods in Quantum Mechanics with Applications to Schrödinger Operators'', https://www.mat.univie.ac.at/~gerald/ftp/book-schroe/, American Mathematical Society, 2009.
* [[Gerald Teschl|G. Teschl]], ''Mathematical Methods in Quantum Mechanics with Applications to Schrödinger Operators'', https://www.mat.univie.ac.at/~gerald/ftp/book-schroe/, American Mathematical Society, 2009.
* {{Trèves François Topological vector spaces, distributions and kernels}} <!-- {{sfn | Treves | 2006 | p=}} -->
* {{Trèves François Topological vector spaces, distributions and kernels}}
* Varadarajan, V. S., ''Geometry of Quantum Theory'' V2, Springer Verlag, 1970.
* Varadarajan, V. S., ''Geometry of Quantum Theory'' V2, Springer Verlag, 1970.


Line 183: Line 181:
{{Functional analysis}}
{{Functional analysis}}
{{Analysis in topological vector spaces}}
{{Analysis in topological vector spaces}}
[[Category: लीनियर अलजेब्रा]] [[Category: उपाय (माप सिद्धांत)]] [[Category: वर्णक्रमीय सिद्धांत]]


[[Category: Machine Translated Page]]
[[Category:Collapse templates]]
[[Category:Created On 03/07/2023]]
[[Category:Created On 03/07/2023]]
[[Category:Lua-based templates]]
[[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 add a tracking category]]
[[Category:Templates that are not mobile friendly]]
[[Category:Templates that generate short descriptions]]
[[Category:Templates using TemplateData]]
[[Category:Wikipedia metatemplates]]
[[Category:उपाय (माप सिद्धांत)]]
[[Category:लीनियर अलजेब्रा]]
[[Category:वर्णक्रमीय सिद्धांत]]

Latest revision as of 17:19, 16 July 2023

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

प्रक्षेपण-मूल्यवान उपायों का उपयोग वर्णक्रमीय सिद्धांत में परिणाम व्यक्त करने के लिए किया जाता है, जैसे कि स्व-सहायक ऑपरेटरों के लिए महत्वपूर्ण वर्णक्रमीय प्रमेय। स्व-सहायक ऑपरेटरों के लिए बोरेल कार्यात्मक कैलकुलस का निर्माण पीवीएम के संबंध में इंटीग्रल्स का उपयोग करके किया गया है। क्वांटम यांत्रिकी में, पीवीएम क्वांटम माप का गणितीय विवरण हैं। उन्हें पीओवीएम (पीओवीएम) द्वारा उसी अर्थ में सामान्यीकृत किया जाता है, जैसे मिश्रित अवस्था (भौतिकी) या घनत्व आव्यूह शुद्ध अवस्था की धारणा को सामान्यीकृत करता है।

औपचारिक परिभाषा

प्रक्षेपण-मूल्य माप मापने योग्य स्थान पर , जहाँ के उपसमुच्चय का σ-बीजगणित है, से फलन (गणित) है, हिल्बर्ट स्थान पर स्व-सहायक प्रक्षेपण ऑपरेटर के सेट पर (अर्थात् ओर्थोगोनल अनुमान) जैसे कि

(जहां का पहचान संचालक है) और प्रत्येक के लिए , निम्नलिखित फलन

पर जटिल उपाय है (अर्थात, जटिल-मान गणनीय रूप से योगात्मक फलन)।

हम इस माप को निरूपित करते हैं

.

ध्यान दें कि वास्तविक-मूल्यवान माप है, और संभाव्यता माप है जब लंबाई है;

यदि प्रक्षेपण-मूल्य माप है और

फिर छवियाँ , एक दूसरे के लिए ओर्थोगोनल हैं। इससे यह निष्कर्ष निकलता है कि सामान्यतः,

और वे आवागमन करते हैं।

उदाहरण। कल्पना करना माप स्थान है। मान लीजिए, प्रत्येक मापने योग्य उपसमुच्चय के लिए में ,

L2(X) पर सूचक फलन द्वारा गुणन का संचालिका बनें। तब प्रक्षेपण-मूल्य माप है। उदाहरण के लिए, यदि , , और इसके बाद संबंधित जटिल उपाय है, जो मापने योग्य कार्य करता है और देता है।

प्रक्षेपण-मूल्य माप, अभिन्न और वर्णक्रमीय प्रमेय का विस्तार

अगर π मापने योग्य स्थान (X, M) पर प्रक्षेपण-मूल्य माप है, तो मानचित्र

X पर चरण कार्यों के वेक्टर स्थान पर रेखीय मानचित्र तक विस्तारित होता है। वास्तव में, यह जांचना आसान है कि यह मानचित्र वलय समरूपता है। यह मानचित्र X पर सभी बंधे हुए जटिल-मूल्य मापन योग्य कार्यों के लिए विहित विधियों से विस्तारित होता है, और हमारे पास निम्नलिखित हैं।

'प्रमेय' X पर किसी भी परिबद्ध M-मापने योग्य फलन f के लिए, अद्वितीय परिबद्ध रैखिक ऑपरेटर उपस्थित है

ऐसा है कि

सभी के लिए जहाँ जटिल माप को दर्शाता है

की परिभाषा से,

वो मानचित्र

वलय समरूपता है।

अभिन्न संकेतन का प्रयोग प्रायः किसके लिए किया जाता है? , के रूप में

प्रमेय असीमित मापनीय फलनों f के लिए भी सही है, लेकिन तब हिल्बर्ट स्पेस H पर असीमित रैखिक ऑपरेटर होगा।

वर्णक्रमीय प्रमेय कहता है कि प्रत्येक स्व-सहायक संचालिका संबद्ध प्रक्षेपण-मूल्य माप है, वास्तविक अक्ष पर परिभाषित, जैसे कि

यह ऐसे ऑपरेटरों के लिए बोरेल कार्यात्मक कैलकुलस को परिभाषित करने की अनुमति देता है: यदि मापने योग्य कार्य है, हम सेट करते हैं


प्रक्षेपण-मूल्य माप की संरचना

सबसे पहले हम प्रत्यक्ष अभिन्न के आधार पर प्रक्षेपण-मूल्य माप का सामान्य उदाहरण प्रदान करते हैं। मान लीजिए (X, M, μ) माप स्थान है और मान लीजिए कि {Hx}xX वियोज्य हिल्बर्ट रिक्त स्थान का μ-मापने योग्य परिवार बनें। प्रत्येक E ∈ M के लिए, मान लीजिए π(E) से गुणा का संचालक 1E हिल्बर्ट स्थान पर

तब π (X, M) पर प्रक्षेपण-मूल्य माप है।

कल्पना करना π, ρ H, के के अनुमानों में मूल्यों के साथ (X, M) पर प्रक्षेपण-मूल्य वाले उपाय हैं। π, ρ एकात्मक रूप से समतुल्य हैं यदि और केवल यदि कोई एकात्मक संकारक U:HK ऐसा हो कि

प्रत्येक E ∈ M के लिए।

'प्रमेय'. यदि (X, M) बोरेल बीजगणित मानक बोरेल रिक्त स्थान और कुराटोस्की प्रमेय है, तो प्रत्येक प्रक्षेपण-मूल्य माप के लिए π (X, M) पर अलग हिल्बर्ट स्थान के अनुमानों में मान लेते हुए, बोरेल माप μ और हिल्बर्ट रिक्त स्थान का μ-मापने योग्य परिवार है {Hx}xX , ऐसा है कि π इकाई रूप से 1E से गुणा के बराबर है, हिल्बर्ट स्थान पर

माप वर्ग{{clarify|reason=What is a measure class? A measure up to measure-preserving equivalence? Should the measure be completed?|date=May 2015}μ का } और बहुलता फलन x → dim H का माप तुल्यता वर्गx एकात्मक तुल्यता तक प्रक्षेपण-मूल्य माप को पूरी तरह से चित्रित करें।

प्रक्षेपण-मूल्य माप π बहुलता n का सजातीय है यदि और केवल यदि बहुलता फलन का स्थिर मान n है। स्पष्ट रूप से,

'प्रमेय'. कोई भी प्रक्षेपण-मूल्य माप π वियोज्य हिल्बर्ट स्थान के अनुमानों में मान लेना सजातीय प्रक्षेपण-मूल्य मापों का ऑर्थोगोनल प्रत्यक्ष योग है:

जहाँ

और


क्वांटम यांत्रिकी में अनुप्रयोग

क्वांटम यांत्रिकी में, हिल्बर्ट स्पेस H पर निरंतर एंडोमोर्फिज्म के स्थान के लिए मापने योग्य स्थान X का प्रक्षेपण मूल्य माप दिया गया है,

  • हिल्बर्ट स्पेस एच के प्रक्षेप्य स्थान की व्याख्या क्वांटम प्रणाली के संभावित अवस्थाों Φ के सेट के रूप में की जाती है,
  • मापने योग्य स्थान X प्रणाली की कुछ क्वांटम संपत्ति (अवलोकनीय) के लिए मूल्य स्थान है,
  • प्रक्षेपण-मूल्य माप π इस संभावना को व्यक्त करता है कि अवलोकन योग्य विभिन्न मान लेता है।

एक्स के लिए सामान्य पसंद वास्तविक रेखा है, लेकिन यह भी हो सकती है

  • 'R'3 (तीन आयामों में स्थिति या गति के लिए),
  • असतत सेट (कोणीय गति, बाध्य अवस्था की ऊर्जा, आदि के लिए),
  • Φ के बारे में मनमाने प्रस्ताव के सत्य-मूल्य के लिए 2-बिंदु सेट सही और गलत है।

मान लीजिए कि E, मापने योग्य स्थान = 1. अवस्था Φ में प्रणाली को देखते हुए, अवलोकन योग्य उपसमुच्चय E में अपना मान लेने की संभावना है

जहां भौतिकी में बाद वाले अंकन को प्राथमिकता दी जाती है।

हम इसे दो विधियों से पार्स कर सकते हैं।

सबसे पहले, प्रत्येक निश्चित E के लिए, प्रक्षेपण π(E) H पर स्व-सहायक ऑपरेटर है जिसका 1-ईजेनस्पेस अवस्था Φ है जिसके लिए अवलोकन योग्य का मूल्य हमेशा E में निहित है, और जिसका 0-ईजेनस्पेस अवस्था Φ है जिसके लिए अवलोकन योग्य का मूल्य कभी झूठ नहीं बोलता है E में;

दूसरा, प्रत्येक निश्चित सामान्यीकृत वेक्टर अवस्था के लिए , संगठन

X पर संभाव्यता माप है, जो अवलोकन योग्य के मानों को यादृच्छिक चर में बनाता है।

माप जो प्रक्षेपण-मूल्य माप द्वारा किया जा सकता है, π को प्रक्षेप्य माप कहा जाता है।

यदि X वास्तविक संख्या रेखा है, तो इससे संबद्ध π अस्तित्व उपस्थित है, हर्मिटियन ऑपरेटर A को H द्वारा परिभाषित किया गया है

जो अधिक पठनीय रूप लेता है

यदि π का समर्थन R का पृथक उपसमुच्चय है।

उपरोक्त ऑपरेटर A को वर्णक्रमीय माप से जुड़ा अवलोकनीय कहा जाता है।

इस प्रकार प्राप्त किसी भी ऑपरेटर को क्वांटम यांत्रिकी में अवलोकनीय कहा जाता है।

सामान्यीकरण

प्रक्षेपण-मूल्य माप के विचार को सकारात्मक ऑपरेटर-मूल्य माप (पीओवीएम) द्वारा सामान्यीकृत किया जाता है, जहां प्रक्षेपण ऑपरेटरों द्वारा निहित ऑर्थोगोनलिटी की आवश्यकता को ऑपरेटरों के सेट के विचार से प्रतिस्थापित किया जाता है, जो एकता का गैर-ऑर्थोगोनल विभाजन है, यह सामान्यीकरण क्वांटम सूचना सिद्धांत के अनुप्रयोगों से प्रेरित है।

यह भी देखें

संदर्भ

  • Moretti, V. (2018), Spectral Theory and Quantum Mechanics Mathematical Foundations of Quantum Theories, Symmetries and Introduction to the Algebraic Formulation, vol. 110, Springer, ISBN 978-3-319-70705-1
  • Hall, B.C. (2013), Quantum Theory for Mathematicians, Graduate Texts in Mathematics, vol. 267, Springer, ISBN 978-1461471158
  • Mackey, G. W., The Theory of Unitary Group Representations, The University of Chicago Press, 1976
  • M. Reed and B. Simon, Methods of Mathematical Physics, vols I–IV, Academic Press 1972.
  • Narici, Lawrence; Beckenstein, Edward (2011). Topological Vector Spaces. Pure and applied mathematics (Second ed.). Boca Raton, FL: CRC Press. ISBN 978-1584888666. OCLC 144216834.
  • Schaefer, Helmut H.; Wolff, Manfred P. (1999). Topological Vector Spaces. GTM. Vol. 8 (Second ed.). New York, NY: Springer New York Imprint Springer. ISBN 978-1-4612-7155-0. OCLC 840278135.
  • G. Teschl, Mathematical Methods in Quantum Mechanics with Applications to Schrödinger Operators, https://www.mat.univie.ac.at/~gerald/ftp/book-schroe/, American Mathematical Society, 2009.
  • Trèves, François (2006) [1967]. Topological Vector Spaces, Distributions and Kernels. Mineola, N.Y.: Dover Publications. ISBN 978-0-486-45352-1. OCLC 853623322.
  • Varadarajan, V. S., Geometry of Quantum Theory V2, Springer Verlag, 1970.